- 87 = -c.  Is v a multiple of 30? 
False
Let g = -27257 + 38526.  Is g a multiple of 20? 
False
Let v(d) = d**2 + 12*d - 22.  Suppose 0 = -h + 5*h + 60.  Let g be v(h).  Suppose i = -g + 65.  Is i a multiple of 7? 
True
Suppose 0 = 9*d - 12*d - 159.  Let a = d + 65.  Suppose -a*x + 2634 = 978.  Does 29 divide x? 
False
Let i = 84 - 87.  Let g(x) = x**2 + x - 2.  Let v be g(i).  Suppose -v*t = -0*t - 20, 2*t = -m + 75.  Is m a multiple of 13? 
True
Let w = -46 + 53.  Suppose 0 = w*v - 69 + 391.  Let d = 87 + v. Does 3 divide d? 
False
Suppose -169*u + 98*u + 186872 = 0.  Is 47 a factor of u? 
True
Let l be (5 + -5)/(-1)*(3 - 4).  Suppose -5*w = 3*x - 142, -5*x + 2*w + 28 + 157 = l. Is 5 a factor of x? 
False
Let t(l) = 628*l**3 - 4*l**2 + 48*l - 143.  Does 33 divide t(3)? 
False
Let i be (-2472 + -1)*(-56)/(-56).  Let g = 3573 + i. Is g a multiple of 22? 
True
Let r(t) = -t**3 + 10*t**2 - 13*t - 19.  Let g be r(8).  Suppose -1024 = -g*b + 1041.  Is 59 a factor of b? 
True
Let o = 42 - 40.  Let l be o/8 - (-4)/((-32)/(-2118)).  Suppose 0 = 3*h - 0*k + 2*k - 769, 5*k - l = -h.  Is h a multiple of 51? 
True
Let w(l) = -903*l - 2454.  Does 87 divide w(-48)? 
True
Suppose 29*w - 3640 - 4522 = 1263.  Is w a multiple of 65? 
True
Let v(n) = 6480*n - 1289.  Does 33 divide v(2)? 
False
Let a be (-6 - -3 - -1) + 5.  Let v(j) = 73*j - 4.  Let x be v(a).  Let u = 321 - x. Does 19 divide u? 
False
Let d(s) = 165*s - 38.  Let u be d(3).  Suppose n = -168 + u. Is 12 a factor of n? 
False
Suppose -4*t - t + 28350 = 5*t.  Does 3 divide t? 
True
Let j = 13048 + -9854.  Does 40 divide j? 
False
Suppose 5*d + 10925 = 2*l, 67*l + 10922 = 69*l - 4*d.  Is 34 a factor of l? 
False
Let l be 715 - 2 - (6 + -1 - 3).  Suppose -m - 5*t = -5*m + 2837, 3*t = m - l. Is 59 a factor of m? 
True
Let m(l) = 76*l - 1030.  Is 27 a factor of m(37)? 
True
Let s = 6509 - 5506.  Is s a multiple of 17? 
True
Suppose -5*n + 2*m = -362, 407*n - 5*m = 404*n + 202.  Is n a multiple of 2? 
True
Let z(r) = r**3 + 11*r**2 - 31*r - 57.  Let u be z(-13).  Suppose -m - u*m + 3483 = 0.  Is m a multiple of 43? 
True
Let m = 333 + -329.  Suppose -2917 = -m*j - 5*n, 3*j + 9*n = 6*n + 2187.  Does 52 divide j? 
True
Suppose -82021 + 77294 = 30*n - 301727.  Does 18 divide n? 
True
Let s be 0 + 2/(6/9).  Suppose 5*y = -s*n + 25, -3*n + 15 = 3*y - 6*n.  Suppose y*v = 4*r - 639, 4*v + 664 = 5*r - 137.  Does 23 divide r? 
True
Is 5 a factor of (3 - 28)/(78/(-14586))? 
True
Suppose -308 = -5*x - 2*f, 4*x - 139 - 104 = -5*f.  Let m = x + -18.  Suppose -4*c = -2*j + 3*j - m, 0 = -c - 5*j - 8.  Does 4 divide c? 
True
Suppose 3*q - z = 9062, -5*q + 23*z - 27*z + 15092 = 0.  Is q a multiple of 10? 
True
Let x be 1 - (-5 - (-37)/(-1)).  Suppose x*q = 42*q + 5.  Suppose 2*p = -q*v + 898, 10*v - 11*v = -p - 174.  Does 7 divide v? 
False
Let d be 226/22 + 657/(-2409).  Let f be (20/(-25))/((-2)/(-10)).  Is (2952/(-90))/(f/d) a multiple of 11? 
False
Let y be (3 + -62)*21/7.  Let v = y - -309.  Does 8 divide v? 
False
Let k(i) = i**2 - 16*i + 60.  Let v be k(11).  Does 13 divide 3833/v + 4/10? 
True
Let v = 79 + -19.  Let z = 24 - v. Let y = z + 47.  Is 4 a factor of y? 
False
Suppose -34*t + 0*t + 8252 = -8374.  Does 2 divide t? 
False
Let x = 10594 - 1402.  Is x a multiple of 8? 
True
Let a(i) = 71*i**2 - 1 - 104*i + 101*i - 20.  Does 11 divide a(-3)? 
True
Let l(z) = -z**3 - 8*z**2 + 11*z + 9.  Let x be l(-9).  Let m(b) = -b + 16.  Is m(x) a multiple of 9? 
False
Let c(x) = 15*x.  Let k be c(1).  Suppose 2*u - 3*u = 5*a - 70, 3*u + k = 0.  Suppose -a*h - 224 = -17*h.  Does 14 divide h? 
True
Suppose -1672 = -5*n + 4*c + 1377, n = 13*c + 622.  Is 29 a factor of n? 
True
Let g(d) = 62*d + 8.  Let b be g(2).  Let k = b - -82.  Is 11 a factor of k? 
False
Let c(m) = -m**3 - 7*m**2 + 8*m + 2.  Let q be c(-8).  Let w(d) = 8*d**2 - 3*d - 3*d**q + 4*d**2 - 4*d**2 + 2.  Is w(5) a multiple of 14? 
True
Suppose 0 = -4*i + 2*o - 2, 4*i - 23 = -22*o + 19*o.  Does 72 divide (-1 - -1) + (-5 + i - -507)? 
True
Suppose -5*b - 314 + 69 = 0.  Let t(f) = 78*f + 7.  Let q be t(1).  Let i = q + b. Does 4 divide i? 
True
Let w be (44/(-8))/((-1)/2).  Suppose 14*y + 300 = 4*d + 12*y, -4*d + 5*y + 300 = 0.  Let i = d - w. Is 32 a factor of i? 
True
Suppose -5820 = 11*l - 16*l.  Let x = l - 781.  Does 21 divide x? 
False
Suppose 5*g - 975 = -4*c, -4*c + 487 = -2*c + 3*g.  Let q = 487 - c. Does 25 divide q? 
False
Suppose 35*c - 44 = 24*c.  Suppose c*n = 3463 + 137.  Does 60 divide n? 
True
Let d = -435 + 442.  Let y(s) = 3*s**3 - 7*s**2 - 15*s - 6.  Does 40 divide y(d)? 
False
Suppose 2*v - 3*d + 93 = -2*d, -4*v - 3*d - 181 = 0.  Let l = v + 17.  Is -2*(-2 + l/2) a multiple of 17? 
False
Let d(i) be the first derivative of i**3/3 + 9*i**2/2 + 17*i - 2.  Let z = -2095 - -2085.  Is d(z) a multiple of 17? 
False
Suppose 14*k = 8979 + 5987.  Let i = -534 + k. Is i a multiple of 29? 
False
Let z(b) = -2*b + 30.  Let w be z(12).  Suppose 0 = k - w + 1, 0 = -2*h + 4*k + 28.  Suppose 15*f - 17*f = -h.  Is f a multiple of 2? 
True
Let p = 218 - 385.  Let c = p + -8.  Is 15 a factor of c/7*9/(-3)? 
True
Let s = 57 - 55.  Let k be (-6)/s*(-10)/15.  Suppose 17 = -k*h - q + 78, 5*h = q + 149.  Is 3 a factor of h? 
True
Suppose -57 = -20*i + 183.  Suppose 4*m - m = -i.  Let v(y) = -2*y**3 - 2*y**2 + 6*y - 3.  Does 41 divide v(m)? 
False
Let t(o) = 4 + 14 + 0*o**2 + o**3 + o**2 + 7*o**2 + 7*o.  Does 6 divide t(-6)? 
True
Suppose 4*a + 100 = 14*a.  Suppose 3*g + 14 = 5*d - 52, -a = -d - g. Is d a multiple of 4? 
True
Let f(z) be the second derivative of -z**5/20 - 9*z**4/4 + 4*z**3 - 25*z**2 + 52*z.  Is 9 a factor of f(-28)? 
False
Let q(f) = -f**2 + 29*f + 33.  Let l be q(30).  Suppose l*w = -3*x + 660, 625 = 3*w - 4*x - 0*x.  Does 84 divide w? 
False
Suppose 363468 = 39*y - 18*y.  Suppose -29*j + y + 11866 = 0.  Does 35 divide j? 
False
Suppose 182 = 11*z - 71.  Is 20 a factor of (-2)/z + 4146/69? 
True
Suppose 9082 = 5*h - 2*v, 2*v + v + 5442 = 3*h.  Is 11 a factor of (-2)/(h/(-258) - -7)? 
False
Let m(q) = 5*q**2 - 5*q.  Let o be m(19).  Suppose -23*d + 4*d + o = 0.  Is d a multiple of 11? 
False
Let q(i) = -28*i**3 + i**2 + 40*i + 194.  Is q(-5) a multiple of 17? 
True
Let w = 6733 + -6119.  Is w a multiple of 19? 
False
Suppose 2*a + 70 = -2*v, -3*a - 25*v = -30*v + 113.  Let f be (1 + 5)/((-1)/(-11)).  Let i = f + a. Is i a multiple of 15? 
True
Suppose 4*k + 24 = -3*r, -2*k = -r + 3 - 21.  Is 8 a factor of r/78 + 44127/117? 
False
Let s(v) = -3*v - 6.  Let f be s(-5).  Let g(j) = -j + 11.  Let d be g(f).  Is 1 + d - 3 - -390 a multiple of 39? 
True
Is (117/351)/(2/67316) - 8/6 a multiple of 71? 
True
Let s(d) = 1773*d - 3894.  Is 59 a factor of s(10)? 
False
Let l = 203 + -70.  Let v be 1647/7 + (-38)/l.  Suppose -v = -8*d + 309.  Does 12 divide d? 
False
Let l(k) = -k**2 - 20*k - 88.  Let z be l(-7).  Suppose z*c + 166 - 799 = 3*y, -6 = 3*y.  Does 4 divide c? 
False
Let m(p) = 1680*p - 13746.  Is 69 a factor of m(17)? 
False
Is 24 a factor of (-2 - (-137 + 5))*(-720 - 0)/(-3)? 
True
Let t(r) = r**3 + 3*r**2 - 30*r + 203.  Is t(10) a multiple of 71? 
False
Let z(q) = -q**2 - 15*q + 6.  Let d be z(-15).  Suppose -7*x - d = -6.  Suppose x = -3*s + 54 + 93.  Is 7 a factor of s? 
True
Let d be ((-1)/(-1) + 4)*(-8)/(-10).  Suppose n + 4*n = -3*k + 2261, -k = d*n - 1813.  Suppose 5*v = 796 + n. Is v a multiple of 25? 
True
Let v be 125 - (-1 - 4 - -5).  Suppose -3*b - v = -q, 5*b = -q + 101 + 16.  Is q a multiple of 11? 
False
Let t(y) = 39*y**3 + 3*y**2 + 5*y - 9.  Let d be t(1).  Let o be 2160/(-2) - (3 - 1).  Does 12 divide o/(-15) - d/285? 
True
Let d = 68 - -48.  Let k be ((-8)/(-2) + 95)*-1.  Let r = k + d. Is r a multiple of 3? 
False
Let w(c) = 398*c**2 + 64*c + 404.  Is w(-8) a multiple of 6? 
False
Is (16 - (-120)/(-8))*(23 - 2) a multiple of 11? 
False
Suppose 0 = -3*u, 4*b + 3*u - 2750 - 6528 = -1958.  Is b a multiple of 15? 
True
Suppose -3*j = 4*u - 34, 5*j - 2*u - 27 = -5.  Let d(t) = 2*t**3 + 11*t**2 + 8*t + 17.  Is d(j) a multiple of 25? 
False
Let p(k) = k**3 - k**2 + 4*k - 1.  Let y be p(0).  Is 7 a factor of y/((-12)/18)*10? 
False
Suppose 70366*b + 67760 = 70376*b.  Does 3 divide b? 
False
Let k(o) = 18*o + 258.  Suppose -20 + 12 = -2*h, -5*h = -2*j + 16.  Is k(j) a multiple of 18? 
False
Suppose 5540 - 1548 = 22*s - 4918.  Is s a multiple of 9? 
True
Suppose b + 13 = 5*g, 7 = b + 4*b - g. Suppose -s + 16 = 3*w, 0*s - b*w = -2*s - 8.  Is (86 - -2) + (0 - 2)/s a multiple of 29? 
Fa