*v - 5*v + l. Suppose 5*x - v = 252. Is x a multiple of 11?
False
Let q be 3/15 + (-18)/(-10). Suppose w - 163 = -q*w + d, 3*d = -5*w + 281. Suppose w = 3*x - 2*a + a, 5*a = x - 23. Does 18 divide x?
True
Suppose -16*g - 2 = -15*g, 0 = -5*b - 5*g + 5310. Is 25 a factor of b?
False
Does 12 divide 438/4 + (-1)/2?
False
Let p(m) be the third derivative of m**4/24 + 31*m**3/6 - 6*m**2. Is p(-10) a multiple of 21?
True
Suppose 39 = 5*w + 14. Let d(n) = 3*n**3 - 7*n**2 - 2*n + 8. Is 22 a factor of d(w)?
True
Let s = 846 - 965. Let c be -2 + 2 - 34/(-1). Does 12 divide (-4)/c - 2870/s?
True
Let b(h) = 6*h + 1. Let m(p) = -p**2 - 5*p - 1. Let u(q) = -3*b(q) - 2*m(q). Suppose -f - 2*d - 2 = -2*f, -3*f = 5*d - 39. Is u(f) a multiple of 9?
True
Let h be (-20)/25*1*-10. Let t = h - 3. Suppose -2*j = -t*j + w + 47, w + 79 = 5*j. Does 8 divide j?
True
Let p(c) = 32*c + 227. Is 61 a factor of p(28)?
False
Is 1689*(-14)/(-63)*(-3)/(-2) a multiple of 16?
False
Let d = -33 - -46. Let l = d + -8. Suppose -5*x + 2*x = 0, -l*t + 30 = 2*x. Does 6 divide t?
True
Let q = 53 + 101. Is 14 a factor of q?
True
Let v(w) = 2*w**2 + 4*w + 3. Let j be v(-2). Suppose 499 = 3*r - 4*i, j*i = -6*r + 4*r + 344. Is r a multiple of 12?
False
Let y be 4 + 2 + (0 - -1). Suppose y = 2*w - 15. Suppose -w*l = -15*l + 168. Is l a multiple of 21?
True
Let d(n) = -3*n**3 - 2*n - 26. Does 6 divide d(-4)?
True
Let j(l) = 0*l**2 + 12 - l**3 - 5*l**2 + 5*l - 3*l**2 + 15*l**2. Is 9 a factor of j(7)?
False
Let w(b) = b**2 - 21*b + 4. Let k be w(21). Let g(i) be the first derivative of 15*i**2/2 + 2*i - 3. Is g(k) a multiple of 8?
False
Suppose -3*p + 2*o + 556 = 0, o = -5*p + 7*p - 369. Is 13 a factor of p?
True
Suppose -2*q = 3*g + 19, -4*q = -6*g + 2*g - 32. Let m = 20 + g. Is 11 a factor of m?
False
Suppose -p + 352 = 3*l - 0*p, -240 = -2*l - 2*p. Let a be (-1 - 5/(-3))/((-4)/294). Let t = l + a. Does 17 divide t?
False
Let u = -28 - -31. Suppose u*m - 32 - 151 = 0. Is m a multiple of 15?
False
Let h(t) = -t**2 + 12*t + 2. Let c be h(9). Let b = -27 + c. Let n(y) = 10*y + 2. Is n(b) a multiple of 9?
False
Let q = -7 + -2. Let t be ((-30)/105)/(1/21). Does 3 divide t/q*(-45)/(-6)?
False
Suppose -m = 4*u - 22, 4*m - 8 = -0*m. Suppose -2*k = -4*x + 22, -u*k = 2*x - 3*x + 19. Is 37 + (-5)/(5/k) a multiple of 24?
False
Let x be 3*(-3 + 2)*-1. Suppose 2*j - j - 5*w = 84, -3*j - x*w = -324. Suppose 3*z + 6 = 0, 2*h - 6*z + 2*z = j. Does 16 divide h?
True
Suppose -2*g + 0*g + 10 = 0. Suppose 0*c - 5*c - 170 = -g*q, -q - c + 38 = 0. Is q a multiple of 18?
True
Suppose 21*o + 26 = 20*o. Is (-45)/(-4 - o/8) a multiple of 12?
True
Let j(b) = 30 + 3*b**2 - 6 - 2 - 43*b - 2*b. Does 2 divide j(15)?
True
Let v = -6801 + 3201. Is 20 a factor of 6/5*v/(-54)?
True
Suppose 61 = 21*a - 107. Is 8 a factor of a?
True
Let i(c) = 6*c - 81. Let u be i(25). Does 4 divide (-5 + 6)*u + -4?
False
Suppose -5*x = 4*n - 446, 2*n = -5*x - 242 + 680. Let p = x - 36. Does 38 divide p?
False
Suppose 0 = -3*l + l + s - 39, 5*s = 4*l + 69. Let c = l - -36. Is c even?
False
Let y(z) = 44*z - 115. Is 21 a factor of y(5)?
True
Suppose 296*i - 153 = 287*i. Is 3 a factor of i?
False
Let y be ((-4)/(-5))/(5/850). Let m be (0 + 5)*(-8)/(-20). Suppose -y = -2*w - m*w. Is w a multiple of 17?
True
Suppose -25*u = -3662 - 2038. Does 35 divide u?
False
Let v(k) = 87*k**3 - 4*k + 3*k - 31*k**3 + 3*k**3. Let n be -1 + (-1 - -4) + -1. Does 20 divide v(n)?
False
Let k be (-9)/6*80/(-6). Suppose x = -5*r - k, x + 4*r = -20 + 5. Suppose 0 = -x*n - 27 + 147. Is n a multiple of 24?
True
Let l(q) = 2*q**2 + 16*q + 23. Is 10 a factor of l(-9)?
False
Let m(h) = h**3 + 23*h**2 + 75*h + 23. Does 3 divide m(-18)?
False
Let i = 14 + 11. Suppose 3*l - 4*p - 60 = 0, l - 2*p = p + i. Suppose l = n - 20. Does 9 divide n?
True
Suppose i - 353 = 2*j, 5*i + 3*j - 10 = 1755. Is 14 a factor of i?
False
Suppose 5*r - 42 = -12. Let m(v) = v**3 - 3*v**2 - 12*v - 1. Is 4 a factor of m(r)?
False
Let s be 4/16*2*32. Suppose -4*h + 12 = -s. Let i(z) = -z**2 + 10*z - 3. Does 15 divide i(h)?
False
Let y be (6/(-7))/(20/(-70)). Let x = y + 7. Is 17 a factor of x + -7 + 43*1?
False
Let t(j) = -131*j - 150. Is 55 a factor of t(-15)?
True
Let x(z) = -3*z**3 + 18*z + 63. Does 15 divide x(-8)?
True
Let p(z) = -z**2 - 20 - 2*z + 9*z + 10*z. Suppose -u + 12 = 2*w, 10 = u - 0*u + 4*w. Is p(u) a multiple of 11?
True
Let y = 302 + 58. Suppose 368 = 8*a - y. Is 16 a factor of a?
False
Let i(j) be the second derivative of -j**4/6 + j**3/6 + 17*j**2/2 - j. Suppose 50*t = 45*t - 4*b - 4, 3*t + 1 = -b. Does 11 divide i(t)?
False
Suppose -12*n = 8*n - 11000. Is n a multiple of 55?
True
Does 14 divide (-4 - -82)/(220/72 + -3)?
False
Let o(b) = -b**3 + 5*b**2 + b - 10. Let v be o(5). Let z be 6*((-45)/6)/v. Suppose -3*p - z = -4*p. Is 3 a factor of p?
True
Let j(r) = -r. Let u(v) = 2*v - 3. Let l(q) = 4*j(q) + u(q). Let w be l(-4). Suppose w*p - p = 28. Is p a multiple of 2?
False
Let p be 60/27 + (-2)/9. Suppose -3*i + a - 2 = 2*a, -2*i = -a - p. Suppose 3*t + 105 = 2*g - i*g, 111 = 2*g - 5*t. Is g a multiple of 16?
True
Suppose 3 = 2*g + r, g - 13 = -3*g + 5*r. Let u be g + (-3 - -2) + -5. Is (-3 - u) + 0 - -26 a multiple of 8?
False
Let i(u) = -u**3 - u**2 - u + 12. Let c be i(0). Is 17 a factor of (561/(-12))/((-3)/c)?
True
Let v(c) = 52*c + 11. Let l be v(4). Let h = l + -114. Is h a multiple of 9?
False
Suppose -914 = -8*k + 430. Is k a multiple of 36?
False
Let p(y) = -y**2 + 4*y - 1. Let q be p(1). Suppose q*w - 68 = 6*w. Let o = 15 - w. Is 16 a factor of o?
True
Let u = -8540 - -12737. Is u a multiple of 22?
False
Suppose -5*y = -7*y - 4. Let j(z) = -8*z**3 - 3*z**2 + z + 2. Does 9 divide j(y)?
False
Let v = 140 - 57. Is 7 a factor of v?
False
Let u be (-204)/(-119) + (-4)/(-14). Suppose -15 = -5*l, 0*l = -4*a - u*l - 158. Let s = a - -97. Does 8 divide s?
True
Let q(x) = -x**2 + 18*x - 14. Let n be q(17). Is -2*(0 - n - (44 + 11)) a multiple of 29?
True
Let k(y) = -11*y + 106. Is k(-5) a multiple of 7?
True
Suppose 3820 = 17*j - 8556. Is 5 a factor of j?
False
Let j(z) = -3*z + 6. Is 8 a factor of j(-6)?
True
Suppose 2*c = 3*c - 3. Suppose -47 + 344 = 5*k + c*d, k - 61 = d. Is k a multiple of 12?
True
Let r be 1/(4 - 644/160). Suppose -4*p = 7 + 1, -4*i + 3*p = 66. Let u = i - r. Is u a multiple of 11?
True
Suppose -256 = -2*g + 154. Is 42 a factor of g?
False
Suppose -5*i - 23 = -4*p - 4*i, 16 = 2*p - 2*i. Suppose -5*r + 133 = 5*s + 18, 3*s - 3*r - 57 = 0. Let d = s + p. Is d a multiple of 13?
True
Let b(k) = -10*k**2 - k + 3. Let x(z) = z**2 + z + 1. Let w(l) = 2*b(l) + 22*x(l). Is w(-12) a multiple of 3?
False
Let z be ((-4)/10)/((-5)/(-150)). Does 13 divide z + 8 + (-17)/(-1)?
True
Let s(u) = -10*u + 840. Is s(0) a multiple of 14?
True
Suppose 4*z = -3*n + 8846, -4*n + 6631 = 202*z - 199*z. Does 83 divide z?
False
Suppose -22*l + 9466 + 1292 = 0. Does 4 divide l?
False
Suppose 4*h = -125 - 239. Let y = 69 - h. Is y a multiple of 20?
True
Suppose -5*z - 2918 = -2*y - 876, 0 = -4*y + 2*z + 4068. Is 29 a factor of y?
False
Does 65 divide (-10)/6*(-1130 + -7 + 6)?
True
Let j(d) = 79*d**2 - d + 6. Does 60 divide j(-3)?
True
Let q be (-4)/18 + (-713)/(-9) + 0. Let j = q - -17. Does 17 divide j?
False
Suppose -6 = 3*h - 3*z, -4*h + 0*z + 2*z - 12 = 0. Let d(j) = j**2 - 10*j - 3. Is d(h) a multiple of 5?
False
Suppose 19 = 2*r + l, 0*r = -r - 2*l + 2. Is 24 a factor of (1470/45)/(2/r)?
False
Let p(y) = -30*y. Let r be p(-1). Does 6 divide (144/r)/(4/10)?
True
Suppose -15*o + 8*o = -357. Let m = o + 9. Does 12 divide m?
True
Let b be ((-18)/(-30))/((-4)/(-20)). Suppose -b*i = p - 0*i - 39, 0 = 5*p - 5*i - 155. Is 4 a factor of p?
False
Let h be 16/(((-27)/(-9))/((-213)/(-2))). Let f = h + -289. Is 13 a factor of f?
False
Let h(q) = 4*q + 13. Suppose -4*f = -10*f + 36. Is h(f) a multiple of 10?
False
Let h(k) = k**3 - k**2 - 2*k + 2. Let x be h(2). Let p be (x - 456/10)*-10. Suppose -p = -4*u - 112. Does 34 divide u?
False
Let n(w) be the first derivative of 74*w**3/3 + 3*w**2/2 - 2*w - 5. Is n(1) a multiple of 15?
True
Let q = 80 + -62. Suppose -15*o + q*o - 612 = 0. Is o a multiple of 12?
True
Suppose -3 - 7 = 5*a. Let q be a/2*0 + -3. Is (0 + 2)*(-102)/q a multiple of 17?
True
Supp