. Suppose -42 + z = 2*t. Does 21 divide t?
True
Let r(y) = 2*y. Let p be r(0). Suppose -a + p*a = -102. Is a a multiple of 32?
False
Suppose -4*s + 902 + 182 = 0. Suppose -5*v + 94 = -s. Is v + (-7)/((-21)/6) a multiple of 22?
False
Let o be (-3 + 1 - 0)*(0 + -9). Let u = o - 6. Is 12 a factor of u?
True
Suppose -3*v - v - u = -610, 0 = -4*u + 8. Let j = -68 + v. Is j a multiple of 14?
True
Let x(k) = 71*k**3 - k**2 + k - 1. Let r be 2*-1*20/(-8). Let g be r/(5/3) - 2. Is x(g) a multiple of 20?
False
Let v = 110 - -6. Let o = v - 43. Does 29 divide o?
False
Let b(j) = 175*j**2 + 18*j + 6. Is 10 a factor of b(-2)?
True
Suppose -106*h - 19008 = -139*h. Is h a multiple of 32?
True
Let g = 14 - 5. Suppose 4*f + 120 = g*f. Does 23 divide f?
False
Let o(a) = -7*a + 210. Is o(22) a multiple of 28?
True
Let t(l) = l**2 - l + 98. Let h = -22 + 22. Let r be t(h). Suppose 3*v - 5*z = 67 - 13, 0 = -4*v - 2*z + r. Is v a multiple of 6?
False
Suppose -8*w = -10*w + 888. Does 6 divide w?
True
Let f(p) = 2*p + 6. Is f(-2) even?
True
Let i(h) = h - 4. Let v be i(11). Let z(u) = u**2 - 3*u - 7. Is 7 a factor of z(v)?
True
Suppose 3*n = -2*q - n, 0 = -3*q + n + 7. Suppose 0 = -4*j + 2*j + q. Is 7 a factor of ((-44)/33)/(j/(-21))?
True
Suppose -n = -4*n + 27. Let m(r) = -2*r**2 - 2*r**2 - n + r**3 + r**2 + 0*r**2. Is 6 a factor of m(4)?
False
Suppose -5*v + v = -20. Is 30 a factor of (6/v)/(14/700)?
True
Let h(w) = -273*w**3 - w**2 - 4*w - 4. Is 12 a factor of h(-2)?
True
Let d = 5 + -16. Is 6 a factor of (12 - 10)*d/(-1)?
False
Let b(q) = -q**2 + 10*q - 8. Let l be b(9). Let s(c) = 142*c**2 - 4*c + 2. Does 35 divide s(l)?
True
Let r = -16 - 1. Let i = r + 19. Suppose 5*x + 68 = 2*m, i*m + m - 2*x = 80. Is 8 a factor of m?
True
Let i be (40/(-16))/(2/(-4)). Is i + 3/(-1) - -12 a multiple of 3?
False
Let v = 945 + -777. Is 11 a factor of v?
False
Let f(h) = h - 7. Let o(r) = -2*r + 8. Let s(d) = -2*f(d) - 3*o(d). Let m = -25 + 32. Is 13 a factor of s(m)?
False
Suppose m + 2*l = 2*m + 3, -2*l - 2 = -2*m. Suppose -924 = -7*q - m*q. Does 11 divide q?
True
Suppose -4*d - 4 + 24 = 0. Is 18 a factor of -30*d/(100/(-72))?
True
Let g be 83530/(-150) - 2/15. Is g/(-5) + -3 - (-2)/(-5) a multiple of 52?
False
Let v(q) = -q**2 + 30*q. Let d be v(16). Suppose -6*p + d = 44. Is p a multiple of 7?
False
Let n = -169 + 1841. Is n a multiple of 19?
True
Suppose -3*y - 320 = 2*y. Let u = y + 78. Does 4 divide u?
False
Is 30 a factor of 10/55 - ((-3274)/22 + -1)?
True
Suppose 286 = -2*x + 1570. Is x a multiple of 18?
False
Let v = 178 + -142. Does 21 divide v?
False
Suppose 0 = 3*c - 0*c + 4*p - 167, 5*c = 2*p + 313. Does 19 divide c - (2 - 5) - -3?
False
Let t be (-17)/9*-3*-3. Let n = t + 23. Is 4 a factor of n?
False
Let t(x) = 2 + 0 + 2*x + 13*x. Let k be t(1). Suppose 15*m = k*m - 162. Is 26 a factor of m?
False
Suppose 1081*c - 1078*c - 702 = 0. Is 39 a factor of c?
True
Let h(b) = 4*b**2 + 34*b. Is h(15) a multiple of 30?
True
Suppose 2*x = 6 + 16. Suppose -1 + x = o. Suppose -4*i + 102 = o. Is i a multiple of 6?
False
Let h(x) = 3*x - 1 + 0*x - x - x + 33*x**2. Does 16 divide h(1)?
False
Suppose 405 = 5*b + 5. Is 6 a factor of b?
False
Let h(k) = -k**3 + k**2 - k - 2. Let s be h(0). Let u be s + 1 + (-352)/1. Let j = -241 - u. Is j a multiple of 28?
True
Let v be 5/15*1*195. Is (-1044)/(-10) + (-26)/v a multiple of 4?
True
Let t be (504/(-60))/((-6)/220). Suppose -5*j - t = 2*z - 3*z, 3*z - 118 = 2*j. Let f = -26 - j. Is f a multiple of 19?
False
Let m = -5 - -187. Let q be -1 + -3 + -116*1. Let k = q + m. Is 17 a factor of k?
False
Let f(z) = -z**3 - 19*z**2 - 2*z - 26. Let t be f(-19). Does 5 divide ((-4)/t)/((-183)/90 + 2)?
True
Let n(b) = 2*b**2 + 3*b + 5. Let u(l) = -6*l**2 - 9*l - 16. Let v(j) = 7*n(j) + 2*u(j). Let o be v(-2). Suppose -401 = -o*w - 36. Does 24 divide w?
False
Let a = -17 - -17. Let d = 3 - a. Suppose -z - 4*c = -57, 0 = 4*z + 2*c + d*c - 239. Is z a multiple of 29?
False
Let u(d) = d**3 - 8*d**2 + 14*d - 7. Let x be u(6). Suppose 2*r - 5*h = -2*r + 568, x*h = 0. Is r a multiple of 27?
False
Let z(r) be the second derivative of -3*r**3/2 - 12*r. Let j be z(5). Is 3 a factor of (-98)/(-10) + (-9)/j?
False
Let i(u) = u**3 - 6*u**2 + 6*u + 3. Let l be i(5). Is 13 a factor of (-35 - l)*(1 + -3)?
False
Suppose 32*x = 36*x - 28. Does 2 divide x?
False
Suppose -28 = 14*x - 15*x. Let s = 128 - x. Is 24 a factor of s?
False
Let t(p) = -p**3 + 6*p**2 - 2*p - 11. Let q = 36 - 31. Does 2 divide t(q)?
True
Let w = 861 + -346. Is 25 a factor of w?
False
Suppose 18*p - 9*p = 135. Does 10 divide p?
False
Let m be (51/2)/(1/12). Let x(r) = -17*r + 242. Let p be x(14). Is 19 a factor of (m/85)/(p/90)?
False
Let t(h) = -25*h - 29. Let b be t(5). Let m = b - -254. Is m a multiple of 10?
True
Suppose 0 = m + 3*r + 8, -13 = 2*m - 0*m + 5*r. Suppose -5*g + 5*a + m + 329 = 0, 3*g + 2*a = 203. Is -3 + -2 + g + 1 a multiple of 21?
True
Let q = -31 + 30. Does 12 divide 5 + q - (-50 + 1)?
False
Let f = 49 + -17. Is 3 a factor of f?
False
Suppose 1040 = 5*o - 10*o. Is 33 a factor of (-1*(-41)/(-4))/(26/o)?
False
Suppose 0 = 5*r - 89 - 6. Let a = -20 + r. Let d = a - -12. Is d a multiple of 5?
False
Let i be 3324/24 + 2/(-4). Let y = i + -37. Does 19 divide y?
False
Let f be 6/(-3) + (-3)/(-1). Suppose -j - p = -f, -7*j = -3*j - 4*p - 4. Is j*5/((-5)/(-34)) a multiple of 17?
True
Let o(y) = 13*y + 38. Does 42 divide o(16)?
False
Let g(p) = p**2 + 28*p - 94. Let l be g(-31). Let x(m) = m - 2. Let t be x(4). Is l/t + 210/4 a multiple of 13?
True
Let p(a) = a**2 + 6*a + 8. Let j be p(-5). Suppose 0*y = j*y - 45. Suppose 5*v = 2*v + y. Does 5 divide v?
True
Suppose -2*w + 6 = -b, -3*w = 4*b + 2*w + 50. Let u = b + 16. Suppose -u*i + 491 = -163. Is i a multiple of 24?
False
Is 46 a factor of (-9972)/(-6) + -8 + 2?
True
Let o(d) = d + 104. Let f be o(0). Let m = f - 67. Does 12 divide m?
False
Let u(f) = -f**2 + 31*f - 6. Does 8 divide u(9)?
True
Does 44 divide (-2160)/(-630)*462/4?
True
Suppose 4*p + 2*m - 710 = 0, 2*m = p + 4*p - 910. Is p a multiple of 36?
True
Suppose -3 = -m - 2. Is 62/2 + (-3)/m a multiple of 14?
True
Suppose -2*v - 233 = -685. Let a be (v/4)/(1/2). Suppose -171 = -f - 4*f - 4*o, 3*f + 5*o - a = 0. Is f a multiple of 16?
False
Let a(v) = 5*v**2 - 3*v - 3. Let w be a(-1). Suppose 6*y = w*y + 103. Does 41 divide y?
False
Let w = -78 + 206. Suppose 0 = -g + 2*g - w. Is g a multiple of 32?
True
Let w = 17 - 13. Suppose -w*u = -0*u - 52. Does 17 divide 689/u - 2/1?
True
Suppose -5*a = 3*a. Suppose -4*p + 5*d - 25 = -147, a = 3*p + 2*d - 103. Is 4 a factor of p?
False
Let c = 40 - 48. Let y = 13 + c. Does 2 divide y?
False
Suppose 0 = -2*f + 96 + 6. Is f a multiple of 5?
False
Let v(t) = 4*t**2 - 39*t - 296. Is v(-16) a multiple of 13?
True
Suppose -11*o + 1315 + 2909 = 0. Is o a multiple of 28?
False
Let v(s) = -s**3 - 6*s**2 + 7*s - 1. Let i be v(-5). Let j = -31 - i. Suppose -u = -2*u + j. Does 6 divide u?
True
Let q be 9/36 + (-30)/(-8). Suppose q*v + 0*v = 404. Is 25 a factor of v?
False
Let x = -608 + 1229. Is 23 a factor of x?
True
Let z = 7 + -30. Let d = -21 - z. Let o(j) = 53*j - 1. Is 27 a factor of o(d)?
False
Let r = 448 + -823. Let v = r - -641. Does 39 divide v?
False
Suppose -5*z = -0*z - 55. Suppose 160 = 5*j + 2*l, -5*j = -3*l - 146 + z. Is j a multiple of 7?
False
Let q(y) be the third derivative of y**6/120 + 17*y**5/60 + 5*y**4/6 - 3*y**3/2 - 17*y**2. Is q(-15) a multiple of 47?
True
Suppose -5*w + 34336 = 24*w. Is w a multiple of 26?
False
Suppose -127 + 2 = 5*s. Let q = -20 - s. Suppose -85 = -q*z + 35. Is z a multiple of 12?
True
Let t(r) = 8*r**3 - 15*r**2 + 3*r - 29. Let q(m) = -4*m**3 + 7*m**2 - 2*m + 15. Let f(d) = 7*q(d) + 4*t(d). Is 12 a factor of f(5)?
True
Suppose b + 11 - 102 = 0. Let q = b - 63. Is 14 a factor of q?
True
Suppose 3*s - 183 + 33 = 0. Suppose -s = -7*v - 15. Let q = 14 + v. Is 19 a factor of q?
True
Let y(j) = 2*j**3 + 20*j**2 - 2*j - 4. Is 18 a factor of y(-5)?
False
Suppose 0 = -3*u + 3 + 63. Let k = 2 + 1. Suppose 160 = k*d + u. Is d a multiple of 12?
False
Let f be 260/36 + 4/(-18). Suppose 2 + 12 = f*p. Suppose -p*s + 11 = -19. Is 4 a factor of s?
False
Let n = -2349 + 3506. Does 28 divide n?
False
Let a(l) = 34*