et d = -11 - -17. Is 16 a factor of (-3)/(-2)*(44 - d)?
False
Let i(k) be the second derivative of -2*k**3/3 + 10*k**2 + k. Suppose 2*m - 20 = q, 26 = 4*q - 2*m + 76. Is i(q) a multiple of 23?
False
Suppose 5*c + 24 = -46. Let y = c - -14. Suppose -3*n + y*n = -57. Is n a multiple of 5?
False
Suppose 4*y = -5*r - 286, 0 = 5*r - r + y + 231. Let b = 104 + r. Does 8 divide b?
False
Let c(w) = w - 5. Suppose 3*l - 17 = 10. Is c(l) even?
True
Suppose 5*a = -4*d + d + 88, -2*a = 3*d - 28. Let w(x) = 9*x + 2 + a*x - 5. Does 18 divide w(3)?
False
Let i = 20 - 26. Let x(r) = r**3 + 7*r**2 - r + 14. Does 14 divide x(i)?
True
Suppose 0 = 3*y + 2*j - 836, -2*y + 2*j + 560 = 4*j. Is 8 a factor of y?
False
Suppose 2*n + i = -1, -6*n + 4*i - 8 = -2*n. Let p be (n - -2)*-1 + 32. Suppose 4*t + p - 283 = 0. Is 21 a factor of t?
True
Suppose 99*s - 1988 = 92*s. Does 23 divide s?
False
Let h = 486 + -157. Is 36 a factor of h?
False
Suppose -44 + 2 = -2*n. Suppose 2*f = -n + 81. Does 30 divide f?
True
Let i(k) = -3*k**3 - 2*k**2 + 3*k + 2. Let q(t) = -1. Suppose -p - 12 = 2*p. Let l(w) = p*q(w) - i(w). Is 14 a factor of l(2)?
True
Let j(o) = 9*o + 1024. Is j(0) a multiple of 64?
True
Suppose -4*p + 0 + 12 = 0. Suppose -p*b + 2*b = -27. Is 9 a factor of b?
True
Suppose 100 - 34 = g. Let z be 4344/g - (-4)/22. Let q = -40 + z. Is 26 a factor of q?
True
Let k(n) = -n**3 + 14*n**2 + 17*n + 3. Let v be k(15). Is 40 a factor of (-926)/(-10) - v/55?
False
Let i(l) = -2*l**2 - 4*l - 5. Let z be i(-4). Let c(h) = h**3 + 4*h**2 - 13*h - 7. Let a be c(-6). Is (z + 11)*(-5 + a) a multiple of 20?
True
Suppose -r - 230 = f, 7*r - 445 = 2*f + 4*r. Let m = f + 386. Does 21 divide m?
False
Let y = 21 + -11. Let l be 142/y + (-6)/30. Let w = l - -25. Is 18 a factor of w?
False
Suppose -v + 5 = -1. Suppose -v*i + 57 = -3*i. Suppose 3*r - 24 = -5*s, 5*r - 5*s - i - 21 = 0. Is r a multiple of 7?
False
Let o(k) = 29*k**3 - k**2 - k + 1. Let j be o(1). Suppose 4*z - 74 = -5*h, 4*h - 3*z = 56 + j. Is 6 a factor of h?
True
Let w be 2595/24 + 4/(-32). Let o = w - 19. Is 14 a factor of o?
False
Let j(v) = v + 4. Let t be j(0). Suppose -t*q + 72 = x + x, -144 = -4*x + q. Is x a multiple of 18?
True
Suppose -21 - 9 = 5*w. Let n be 1 - ((w - -2) + 2). Does 6 divide (-4)/((-24)/26)*n?
False
Let r(l) = l**3 - 68*l**2 - 65*l - 150. Does 66 divide r(69)?
False
Suppose -99440 = 27*m - 67*m. Does 11 divide m?
True
Let n(x) = 217*x + 8. Does 31 divide n(5)?
False
Let q be -2 + 2 + (-45)/(-3). Let u(j) = -j - 10. Let d be u(-6). Let p = q - d. Is 19 a factor of p?
True
Suppose -11 = 5*x - 1. Let h(g) = -43*g + 4. Is 18 a factor of h(x)?
True
Let c(t) = -5*t + t + 57 - 58. Does 2 divide c(-2)?
False
Let h(d) = 8*d**2 - 2*d + 5. Let x be h(2). Let w = 47 - x. Does 2 divide w?
True
Let j(r) = 115*r + 12. Let h be j(4). Suppose 9*g - h = 14. Is 6 a factor of g?
True
Let z = 5 - 2. Let b(w) = w**3 - 3*w**2. Let h be b(z). Suppose -5*a = -h*a - 180. Does 12 divide a?
True
Suppose -3*g = -u + 14, -4*u + 4 = g - 0*g. Let j = -57 - -17. Let p = g - j. Is 12 a factor of p?
True
Suppose -7*p + t = -2*p - 1023, p - 198 = -2*t. Is 8 a factor of p?
False
Let w be 10/8 - (-3)/4. Suppose 5*b = w*b + 42. Is b a multiple of 14?
True
Let s(y) = 5*y**2 - 2*y + 1. Let j be s(1). Suppose h = g + j, -5*g - 2 + 6 = 3*h. Is 6 a factor of 16/1 - 2/g?
True
Suppose -27 - 39 = -11*o. Suppose 0 = -o*k + 1081 - 217. Does 15 divide k?
False
Let v(f) = 70*f**3 - f**2 + 2*f - 1. Let x be v(1). Let l = x + -30. Is 5 a factor of l?
True
Let w(x) = -5*x + 0*x**2 - 1 - 3*x**2 + 3*x + 8*x**2. Is w(-2) a multiple of 6?
False
Suppose 2*n + 3*x + 2*x + 28 = 0, -5*n + 5*x = 0. Let s be (50/4)/(2/n). Let b = 81 + s. Does 13 divide b?
False
Suppose 8*q = 16*q - 10*q. Does 14 divide (594 + 2)/(2 + q)?
False
Suppose -4*r = g - 4 - 2, -r - 8 = 5*g. Suppose -5*x = 4*l - 424, -2*l + 172 = r*x + 2*l. Is x a multiple of 14?
True
Suppose d = -2*m + 1502, -d - m = 4*m - 1517. Is d a multiple of 6?
False
Suppose -6*q = -q + 55. Let a = 33 - q. Suppose 0*n + 2*n - a = 0. Is n a multiple of 6?
False
Let k = -9 + 11. Let f(l) = -2*l**2 - 4*l + 3. Let d(w) = -3*w**2 - 9*w + 7. Let c(s) = 2*d(s) - 5*f(s). Is 9 a factor of c(k)?
False
Let p be 3/(-1)*195/(-45). Suppose -8*m = -p*m + 60. Does 12 divide m?
True
Let u(s) = -169*s**3 + s**2 - 6*s - 16. Is 43 a factor of u(-2)?
False
Let r = -174 + 1220. Is r a multiple of 42?
False
Let i = 4 + 1. Suppose 5 = -5*g, -i*q + 190 = -g - 4*g. Let d = -22 + q. Is d a multiple of 5?
True
Let i(l) = -l + 1. Let z(b) = 9*b - 8. Let f(p) = 6*i(p) + z(p). Let h be f(2). Suppose -h*u - u = -120. Does 4 divide u?
True
Suppose -12 = -0*v + 4*v - 4*m, -v + 3*m - 9 = 0. Is 4 - (v + (-123)/3) a multiple of 27?
False
Let b = -357 + 513. Does 52 divide b?
True
Suppose 11*g - 2*g = 5*g. Does 52 divide 20/(((1 - g) + 3)/38)?
False
Let y be 0*-4*4/(-16). Suppose -5*s + 720 = 5*j, y = -s - 4*j - j + 160. Suppose 2*v + 3*v - s = 0. Is v a multiple of 8?
False
Let r be 20 + -17 - (1 + 0). Is 5 a factor of 142/6 - r/(-6)?
False
Let x be (-708)/(-36) - 4/6. Let z = 49 - x. Does 6 divide z?
True
Let l = 47 + -94. Let w = l - -77. Does 2 divide (-5)/10 + w/4?
False
Suppose 15*o - 17*o + 2 = 0. Let h = o - -27. Is h a multiple of 20?
False
Let q(h) = -27*h + 9. Let c(n) = -13*n + 4. Let l(g) = -13*c(g) + 6*q(g). Is 20 a factor of l(17)?
False
Let b(f) = 87*f - 459. Does 6 divide b(35)?
True
Let m = 439 + -185. Is m a multiple of 49?
False
Suppose -n + 8 = -2*k - 3, 0 = -n - 4*k + 5. Is 23 a factor of 1/(-3)*n*23/(-1)?
True
Suppose -2*d + 7*d + 5*n - 670 = 0, -2*d = -4*n - 286. Is d a multiple of 6?
False
Let a(x) = 4*x**2 - 17*x + 12 + 34*x - 13*x. Is a(-4) a multiple of 8?
False
Suppose 116 = -5*u - 2*z - 1616, -5*z = 2*u + 676. Is u/(-20) - 4/10 a multiple of 4?
False
Let v be (-5)/(-10) + (-5)/(-2). Suppose -3*h + 6*h = v*k - 21, 0 = -3*h + 6. Suppose 0 = -q + 3 + k. Is 3 a factor of q?
True
Let p be 3 - (-1 + -1 + 2). Let l(a) = -a - p*a**2 + 0*a**2 + 2 - a**2 + 7*a**2. Is 24 a factor of l(5)?
True
Let r = -44 - -40. Does 6 divide (-12)/(-2) - (3 + r)?
False
Suppose -2*r + 6 = 8. Let y(h) = 64*h**2 + h. Is 7 a factor of y(r)?
True
Suppose 0 + 10 = -a. Is (0 - 12/a)/((-17)/(-1870)) a multiple of 22?
True
Suppose o + 5*o = -312. Let m = 84 + o. Is m a multiple of 8?
True
Let h be 70/(-56)*10*-2. Let a = h + -15. Is 4 a factor of -5*(44/a)/(-2)?
False
Let r = 15 - 12. Suppose -u + 0 = -r. Let c(y) = 14*y - 4. Is c(u) a multiple of 19?
True
Let z(y) be the first derivative of 8*y**3/3 + 3*y**2/2 + 4. Does 13 divide z(-2)?
True
Suppose 21 = -t - 2*t. Let v = t - -9. Suppose 5*u - u - v*m = 30, -3*m = -3*u + 18. Is u a multiple of 9?
True
Let v = 8 - 9. Is 3 a factor of (6/3)/((-23)/25 - v)?
False
Suppose -2*a - 71 = -383. Does 26 divide a?
True
Let x(c) be the first derivative of 2*c**3/3 + c**2/2 - 7*c + 1. Suppose -5*y - 15 = 10. Does 15 divide x(y)?
False
Let x = 82 + -8. Let o = x - 40. Suppose o = 4*i - 2*i. Is i a multiple of 12?
False
Let c(z) = 6*z**2 - 5*z - 6. Is 15 a factor of c(-3)?
False
Let m = -2 + 9. Let s = 27 + m. Let t = s - 13. Does 7 divide t?
True
Let n(z) = 2*z - 52. Let d be n(25). Is 2 a factor of d/2 - (-3 + -2)?
True
Let j(y) = 2*y - 2. Let o be j(-2). Let v be 3/o*-2*-1. Is v/(-3) - 1235/(-39) a multiple of 16?
True
Suppose 12 = -c - m, c - 3*m = 2*m - 18. Let h = 11 - c. Is h a multiple of 2?
True
Suppose -29*b = -9055 + 1341. Is b a multiple of 38?
True
Suppose 87*w - 891 = 60*w. Is 2 a factor of w?
False
Let f = -2 - -6. Suppose -2*k - 6 = 0, -f*k = -2*r + 24 - 236. Let p = r + 196. Does 21 divide p?
True
Let u be (1 - 0)/((-9)/171). Let l = u + 24. Suppose l*i - 38 - 52 = 0. Does 5 divide i?
False
Let p = 109 + 362. Is 2 a factor of p?
False
Let n be 1/3 + 535/15. Let i be (0 + -30)*n/(-8). Suppose 9*o - 12*o = -i. Is 15 a factor of o?
True
Let l(p) = -4*p - p + 4*p - 50 + 0*p. Let j be l(0). Does 18 divide (-30)/j - 354/(-10)?
True
Suppose -j + 628 = 2*w, 4*j = -w + 6*w + 2473. Is j a multiple of 14?
False
Suppose -3*d = -3 - 3, -5*s = 5*d - 150. Let i = -21 + s. Does 2 divide i?
False
Let z(r) = 62*r**2 - 3*r - 54. Is 16 a factor of z(-5)?
False
Suppose -4*l - 3*t = -510, 128 = l - 5*t + 6*t. Does 16 divide