*v - d = 21. Is v a multiple of 4?
False
Does 18 divide ((-18)/8)/(-11 + 15835/1440)?
True
Let a(r) = 20*r**3 + 8*r**2 + 2*r + 12. Does 84 divide a(4)?
True
Let s(d) = -d**3 + 17*d**2 - 42*d + 20. Is s(14) a multiple of 2?
True
Let s(h) = 7*h - 80. Let n(j) be the first derivative of -3*j**2/2 + 40*j - 2. Let f(o) = 5*n(o) + 2*s(o). Is 8 a factor of f(0)?
True
Let p = 19 - 18. Suppose -46 = 5*h - p. Let m = h + 54. Does 15 divide m?
True
Let f = -1140 + 2476. Does 60 divide f?
False
Suppose q + 40 = 6*q. Let u(v) = -v**3 - 10*v**2 + 8*v + 15. Let c be u(-11). Suppose 2*s - c = -q. Is s a multiple of 10?
True
Let i(v) = 2*v**3 - v**3 - v - 2*v - 6*v**2. Let x be i(6). Let b = x + 26. Is b a multiple of 8?
True
Is ((-8)/(-10))/((-2)/(-35)) a multiple of 5?
False
Suppose 5*a - 2 - 3 = 0. Let r(n) = -13*n + a + n**2 - n**3 - 3 + 9 + 12*n**2. Is r(11) a multiple of 33?
False
Suppose -4*u + 5*o + 1685 = 0, 5*o - 1175 - 965 = -5*u. Does 14 divide u?
False
Let r(q) = q**3 + 7*q**2 + 6*q + 3. Suppose -x + 6 = -4*z, -2*z - 27 = 2*x - 9. Let k be r(x). Suppose k*b = 29 + 4. Is b even?
False
Let d = 13 + 12. Suppose 3*o + 8*g = 3*g + d, -o - 25 = -5*g. Suppose v - 5*l + 12 = o, -l - 1 - 46 = -4*v. Does 6 divide v?
False
Suppose 252*a - 250*a = 4, 0 = x - 4*a - 2888. Does 16 divide x?
True
Let h = -7 + 7. Suppose q - 7 - 23 = h. Is q a multiple of 10?
True
Suppose 9 = 5*v - 2*v. Suppose -7 - v = -5*d. Suppose -d*n = 5*o - 46, -n = -0*n - 4*o - 10. Is 6 a factor of n?
True
Suppose 5*t - 8*i + 5*i - 282 = 0, -3*t + 166 = -5*i. Does 28 divide t?
False
Let u(f) = -1 + 19*f**2 - f + 33*f**2 - 4*f**2 + 2. Let z = 9 - 8. Is u(z) a multiple of 16?
True
Let c be (3 - (-3 - -7))*7. Let s = 43 - 60. Let f = c - s. Is f a multiple of 5?
True
Let n = 11 + -4. Suppose -2*b + n*b + 65 = 0. Let u = b + 27. Is 6 a factor of u?
False
Suppose 4*k + 544 = 4*a, -1 = 3*k + 11. Suppose -a = n - 3*n + 2*s, 0 = s. Is n a multiple of 48?
False
Suppose -28*z + 23*z = -305. Suppose -z = -3*p + p - 5*d, -4*p + 131 = d. Does 5 divide p?
False
Suppose -419 = 5*a - 3*k, 3*a + 71 + 194 = -5*k. Let u = 135 - a. Is 20 a factor of u?
True
Let l(o) = -o**3 - 11*o**2 + 25*o + 24. Let k be l(-11). Let r = k + 366. Is 45 a factor of r?
False
Let j(x) = x**3 - 4*x**2 - 2*x - 3. Let v(n) = -n**3 + 5*n**2 + 3*n + 2. Let d(y) = -5*j(y) - 6*v(y). Does 12 divide d(11)?
True
Suppose 5*x + 59*x = 576. Let n be 2/(-8) - (-171)/12. Suppose -x*v = -n*v + 50. Does 2 divide v?
True
Suppose -5*i + 2*i + 15 = 0. Suppose 4*a + a + j = 348, -i*a + j = -342. Is a a multiple of 15?
False
Let x = 120 - -30. Does 5 divide x?
True
Suppose 9*u - 26*u = -5525. Is 13 a factor of u?
True
Let x be (-20)/8 - 3/(-6). Let m be 3 - 6 - 14/x. Let u(l) = l**2 - 2*l + 2. Is 9 a factor of u(m)?
False
Suppose -10*g = -5*g - 2530. Does 13 divide g?
False
Let y be (1 + -5)*(-11 + 13). Let j be y/36 + (-87)/(-27). Is j/9*-3 - -10 a multiple of 2?
False
Suppose 2 = -0*r - 2*r. Let a = 2 - r. Suppose a*d - 3*j = 43 + 26, -4*j = 4*d - 68. Is 18 a factor of d?
False
Suppose -4*u = -u. Is 153/3 + -2 - u - 0 a multiple of 5?
False
Let j(i) = -107*i**3 + 2*i**2 + 3*i + 2. Does 27 divide j(-1)?
True
Suppose 0 = 4*a - 3*p - 687, -180 = -9*a + 8*a - 2*p. Is 4 a factor of a?
False
Does 9 divide 133 - 3 - (-5 + (-3 - -3))?
True
Suppose -12*w + 6*w = -18. Suppose -2*g = -w*t + 214 + 106, g = 2*t - 214. Is t a multiple of 9?
True
Let d = -75 - -413. Does 40 divide d?
False
Let i(x) = -x + 5. Let y be i(5). Suppose 14 = -3*c + 4*c + 3*a, 3*c - a - 82 = y. Suppose 0 = 3*t - 55 - c. Does 9 divide t?
True
Suppose -2*v = 5*y - 17, 0 = -4*y + 4*v + v + 7. Let l be 4*y/12*1. Is (l + 2 + 0)*9 a multiple of 19?
False
Is (5/(30/(-39)))/((-20)/4120) a multiple of 24?
False
Let l(x) = -4*x + 8. Let k(h) be the first derivative of h**2/2 - h + 5. Let n(j) = 15*k(j) + 3*l(j). Does 7 divide n(8)?
False
Suppose -8*k - 3 + 35 = 0. Let h(u) = 2*u**3 - 3*u**2 + u. Let w be h(2). Does 15 divide (46/3)/(k/w)?
False
Suppose 2*p - 7 + 19 = 2*w, -2*p + 16 = 5*w. Is (1 + p)*(-59 - 3) a multiple of 18?
False
Let z(x) = -x**3 - 4*x**2 + 8*x + 8. Let g be z(-6). Let u be (-2)/7 - (-1)/((-14)/318). Let w = u + g. Does 7 divide w?
False
Suppose -8*q = -438 - 1594. Is 7 a factor of q?
False
Let j(g) = -42*g - 61. Let r(x) = -x**2 - 8*x + 24. Let k be r(-11). Does 33 divide j(k)?
False
Let l(h) = h**2 - 10*h + 657. Is 9 a factor of l(0)?
True
Let z be ((-3)/(-6))/((-2)/(-8)). Let g(y) be the second derivative of y**5/5 - y**4/12 - y**3/6 - 27*y. Does 6 divide g(z)?
False
Suppose 0 = -3*i - 9, 2*s + 7*i - 2*i - 3201 = 0. Is s a multiple of 12?
True
Let d(t) = t**2 + 5*t. Let m be d(-5). Suppose 4*n - g = -0*n + 561, m = -2*n - 4*g + 294. Is n a multiple of 7?
False
Let l be ((-8)/6)/(37/(-666)). Does 7 divide (6/l + -2)/(1/(-4))?
True
Let d(o) = -4*o**3 - 7*o**2 - 2*o + 10. Let p = 25 + -29. Does 18 divide d(p)?
True
Suppose -8*a + 1037 = -1787. Is 11 a factor of a?
False
Let c be (-228)/(-32) - (-1)/(-8). Suppose -4*u + 13 = -3*u. Let v = u - c. Does 3 divide v?
True
Let x(d) = 7*d**2 + 37*d - 29. Is x(-14) a multiple of 19?
False
Suppose c = 3*i + 27, 5*i + 33 = -2*c + 98. Is c a multiple of 2?
True
Let q be -1 - (6/3)/(-2). Suppose 2*r + r - 222 = q. Suppose -2 = -4*a - 4*s + r, 13 = a - 2*s. Is a a multiple of 4?
False
Let p be 6/39 + 48/26. Suppose 5*j - 6 = s + 2*s, -10 = -p*j + 5*s. Suppose j = 3*v - v - 40. Is 7 a factor of v?
False
Let f(c) = c**2 + 13*c - 10. Let d be f(-14). Suppose -h + 124 = 3*q, -d*q + 0*q + 576 = 5*h. Does 28 divide h?
True
Let a(n) = n**3 + 3*n**2 - 2*n + 2. Let b be a(2). Let d = b + -22. Is (d + 88/28)*-21 a multiple of 9?
True
Let x = 48 - 46. Suppose x*l + l = 165. Is l a multiple of 11?
True
Let d be -216*4/10*15/(-8). Suppose -3*y + 3*i = -d, y + 2*i - 42 = -i. Does 9 divide y?
False
Let i(b) = b**3 + 12*b**2 + 17*b - 19. Let u = 46 - 56. Does 11 divide i(u)?
True
Let r = 1055 - 275. Does 15 divide r?
True
Let f(n) = n + 16. Suppose 9*i = 4*i - 190. Let k = -23 - i. Does 13 divide f(k)?
False
Let g(p) = 3*p**3 + 5*p**2 - 5*p - 1. Let q(d) = -3*d**3 - 4*d**2 + 5*d + 1. Let l(c) = -5*g(c) - 6*q(c). Is l(3) a multiple of 9?
False
Suppose 3*q + 5*z - 30 = 4, -3*q - 3*z = -36. Suppose -l = 2*a - q, 0 = 4*l - 5*a + 2*a - 96. Is l a multiple of 3?
True
Let z(o) be the second derivative of o**4/12 - 10*o**3/3 - 9*o**2/2 + 43*o. Is z(-9) a multiple of 12?
True
Suppose 5 = -5*j, -y + 2*j + 43 = -7. Let f = 67 - y. Is 14 a factor of f?
False
Suppose -3*d - s + 295 = 0, 3*d = -3*s + 461 - 176. Is d a multiple of 7?
False
Let g(t) = -t**2 - 10*t + 10. Suppose 0 = -5*a + 3*w - 56, -2*a + a = -2*w + 14. Let l be g(a). Is ((-8)/l)/((-1)/45) a multiple of 12?
True
Suppose -5*l + 8 = i, -i + 1 + 1 = -l. Does 16 divide l/(2 + -1) + (-152)/(-2)?
False
Let c = -16 - -30. Let g = c + -10. Suppose -b + g = -44. Is b a multiple of 12?
True
Let p(v) = -v**2 + 7*v + 2. Let o be p(5). Let b = 5 + -9. Let i = o - b. Is 8 a factor of i?
True
Let z be 3 + 2 + -4 + 0. Let k(q) = 4 - 4 - 2 + 4*q + z. Is 8 a factor of k(13)?
False
Let g = -51 - -61. Suppose 5*p - g = 0, 0 = z + 4*p - 31 - 27. Is 10 a factor of z?
True
Let k = 737 - 426. Does 4 divide k?
False
Suppose -3*k - 40 = 2*r + k, 56 = -3*r - 5*k. Is (r + 6)*(-4)/(16/30) a multiple of 7?
False
Suppose z + 13 = 16. Suppose 0 = z*o + o + q - 5, 5*o = -2*q + 4. Suppose o*g - g = 89. Does 16 divide g?
False
Let w(x) = -90*x + 391. Is 12 a factor of w(-11)?
False
Suppose -4 = -4*h, -3*h - 227 = -3*q + 985. Does 78 divide q?
False
Let t be 1 + (-4)/8*-4. Suppose t*s - 24 = -s. Let f = 1 + s. Is f even?
False
Does 22 divide 8496/(6 + 0) + -4 + 7?
False
Suppose 5*n - 831 = -4*k, 0 = -5*k + 5*n - 2*n + 1085. Let s = k + -156. Does 6 divide s?
False
Let x be 2/(-5) + (-1368)/30. Let w = 198 - 123. Let s = x + w. Does 6 divide s?
False
Let r(b) = 3*b**2 - 15*b - 184. Does 4 divide r(19)?
False
Let k(b) = 219*b + 11. Let q be k(10). Suppose 4*c + 473 = q. Suppose v - 4*f - c = -4*v, -4*v = -f - 339. Is v a multiple of 14?
True
Let t(j) = j**2 - 6*j + 45. Is 66 a factor of t(19)?
False
Let j(f) = -f**3 - 2*f**2 + 2*f. Let n = 15 + -18. Let z be j(n). Suppose 25 = 5*y, z*y + 45 = 4*i - 0*y. Is 5 a factor of i?
True
Suppose -3