et x = -1617 + 3461. Does 11 divide x?
False
Suppose k - x - 2 = -0*x, -2 = -k - 4*x. Is (k - 3)*38/(-1) a multiple of 19?
True
Let s(y) = -y**3 - y**2 - 14. Let n be s(0). Is 44/(-154) + (-340)/n a multiple of 24?
True
Let v = -150 - -269. Suppose 12*l = 13*l - v. Is 8 a factor of l?
False
Suppose 5*b - 2*t + t = 27, -4*b = -5*t - 9. Let h be 1/3 - (-34)/b. Suppose 3*d - h*d - 2*y + 28 = 0, 38 = 4*d + 3*y. Is d a multiple of 7?
False
Let z(u) = -142*u - 5. Does 36 divide z(-2)?
False
Let c(k) = -2*k**3 - 8*k**2 - 4*k - 13. Let j be c(-3). Let f = -27 + 68. Let u = j + f. Is 11 a factor of u?
True
Is 28 a factor of 6/9*(37 + 1097)?
True
Let i(b) = -b**3 + 11*b**2 - 11*b + 15. Let z be i(10). Suppose 2*v - 5*u = 0, -3*v - 63 + 13 = z*u. Is 11 a factor of (-8)/v*55/2?
True
Let o be -2*(20/(-8) - 0). Suppose -3*d + 29 = -o*i, -121 = -5*d - 2*i - 21. Let n = d + 21. Is n a multiple of 13?
True
Suppose -5*c + 0*c = -385. Is c even?
False
Let l(c) = c**3 - 7*c**2 + c + 10. Let s = 23 + -18. Suppose -s = -3*t + 16. Is 17 a factor of l(t)?
True
Is 17 a factor of (1*890/(-25))/(2/(-10))?
False
Is 16 a factor of (-6905)/(-20) - 35/28?
False
Suppose -5*c + 55 + 5 = 0. Let t(l) = l - 20. Let y(p) = 2*p - 40. Let v(h) = -9*t(h) + 4*y(h). Does 3 divide v(c)?
False
Let s(c) = 5*c + 2. Let z be s(1). Suppose 0 = 4*o - z - 29. Is o a multiple of 2?
False
Let m(n) = -2*n**3 + 46*n**2 - 41*n - 24. Is m(22) a multiple of 42?
True
Suppose -2*x - r + 3403 = 0, -125*x + 5*r = -120*x - 8500. Is 21 a factor of x?
True
Let o = -156 - -263. Suppose 3*v - 55 - o = 0. Is v a multiple of 15?
False
Let k(b) = 623*b - 40. Does 15 divide k(1)?
False
Suppose -13*v + 1305 + 15296 = 0. Is v a multiple of 46?
False
Let c(i) = 2*i + 3. Let n be -2 + 7*6/3. Suppose -2*w = -0*w - 5*m - 14, n = 2*w - 4*m. Does 2 divide c(w)?
False
Let p(l) = 8*l + 57. Let c(x) = 9*x + 58. Let y be c(-7). Is p(y) even?
False
Suppose -15*t + 40 = -11*t. Does 15 divide 1116/t + 154/35 + -4?
False
Let v = -98 - -99. Is 8 a factor of 15/(-3) + v - -128?
False
Suppose -2*p + 2540 = -2*s, 0 = 4*p - 2*s - 2698 - 2374. Is p a multiple of 18?
False
Let w(p) = p**3 + p**2 + p + 1. Does 8 divide w(2)?
False
Let y = -38 - -65. Suppose -y*p = -24*p - 120. Is p a multiple of 15?
False
Let o(s) = 2*s + 4. Let j = 30 - 27. Let u be o(j). Suppose 42 = 5*k + 2*p - 0*p, 5*p + u = -k. Is 3 a factor of k?
False
Suppose -3 = -2*k + 5*z + 5, -z = 5*k + 34. Let g(i) = i - 1. Let v(u) = -7*u. Let d(r) = -5*g(r) + v(r). Is d(k) a multiple of 18?
False
Suppose 8 + 2855 = 7*w. Is w a multiple of 19?
False
Let u = 612 + 468. Is 120 a factor of u?
True
Let u(g) = -3*g**3 - 12*g**2 - 12*g - 21. Let x(p) = 7*p**3 + 26*p**2 + 24*p + 43. Let z(d) = 5*u(d) + 2*x(d). Is 8 a factor of z(-7)?
True
Suppose -7*m - 300 = -12*m. Suppose -z + 2*u + m = 0, -2*z + 108 = 2*u - 0*u. Is z a multiple of 14?
True
Let p = -10 - -26. Let t = p + 92. Is 27 a factor of t?
True
Suppose -2*x + 149 + 223 = 4*f, -4*x = -3*f - 711. Is x a multiple of 12?
True
Does 13 divide (3/((-120)/(-2272)))/((-2)/(-10))?
False
Let q = 56 - 54. Suppose 0 = a - q*a + 3*z + 68, -340 = -5*a + 2*z. Is 17 a factor of a?
True
Let m(i) = -i + 2. Let x be m(-13). Suppose 3*d + x*o - 490 = 10*o, 2*d - 326 = -3*o. Is 23 a factor of d?
False
Let o(j) = 13*j - 20. Let f be o(9). Suppose f + 167 = 3*x. Is 22 a factor of x?
True
Suppose -5*p - t + 78 = 0, -3*p + 3*t + 44 = 5*t. Is p a multiple of 8?
True
Let g(k) = 11*k**3 + 3*k**2 - 2*k + 1. Let o(b) = -6*b**3 - b**2 + b - 1. Let p(x) = -3*g(x) - 5*o(x). Let n(r) = r - 9. Let a be n(6). Does 15 divide p(a)?
False
Is 4*(8 + 955/20) a multiple of 24?
False
Let h = 131 - 93. Let b = -27 + h. Let x = 19 - b. Is x a multiple of 3?
False
Let m be -10*((-27)/6 - -3). Suppose -5*j - 5 = m. Let t(i) = i**3 + 4*i**2 - 5*i + 3. Is t(j) a multiple of 6?
False
Let m(n) = -n**3 - n + 75. Is m(0) a multiple of 15?
True
Let s be (-1)/(-3*(-5)/(-6450)). Suppose 0 = -5*g + 7*z - 2*z + s, 0 = 4*g + 4*z - 328. Is g a multiple of 6?
True
Let g(j) = -11*j + 9. Suppose 3*b = 4*x - b + 12, -4*b = 0. Does 8 divide g(x)?
False
Let n(q) = q**2 - 5*q - 4. Let s be n(6). Suppose 2*m - 164 = -s*z, -295 = -4*m + z + 8. Does 35 divide m?
False
Let m(n) = 5*n**2 + 2*n. Let q be m(-1). Suppose 302 = q*z - 400. Does 13 divide z?
True
Does 26 divide 100*2/3*(-39)/(-4)?
True
Suppose -1578 = 19*i - 22*i. Does 28 divide i?
False
Let y(l) = -4*l**3 - 2*l + 5*l**2 + 0*l + 5*l**3 - 5 - 2*l**3. Let v be y(6). Let c = 85 + v. Does 9 divide c?
False
Let d(j) be the first derivative of -3*j**2/2 + 87*j + 35. Is 29 a factor of d(0)?
True
Let c = -2 + 2. Does 29 divide 120 - 1 - (-5 - c - -8)?
True
Let o be (-5)/(51/(-48) - -1). Let g = o + -37. Let v = 23 + g. Is v a multiple of 11?
True
Let p be 90/11 - 8/44. Let o(y) = -y + 5. Let a be o(p). Is 2*-9*a/6 even?
False
Let f(i) = -26*i**2 + 5*i - 3. Let b be f(2). Let h = b - -246. Let q = 246 - h. Is q a multiple of 25?
False
Let m(a) = -9*a + 28. Let c be m(-7). Let h(d) = 14*d**2 - 3*d + 3. Let u be h(-3). Let p = u - c. Is 15 a factor of p?
False
Let l(b) be the second derivative of b**8/6720 + b**7/180 - b**6/120 - b**4/6 + 3*b. Let j(i) be the third derivative of l(i). Is j(-14) a multiple of 15?
False
Let x(a) = 2*a - 6. Let t be x(3). Is -12 - -11 - (-7 - t) a multiple of 3?
True
Let v(u) = -2*u**2 - 20*u - 21. Let c be v(-9). Is 147 - (30/18 - 1/c) a multiple of 6?
False
Suppose -3*f = -12, -373*u + 372*u - 2*f = -1081. Is u a multiple of 4?
False
Suppose -18*l + 16*l - 28 = 0. Is 10 a factor of (60/l)/(8/(-56))?
True
Suppose -4*n - 1551 - 51 = -2*l, -5*l + 2*n + 4021 = 0. Is 17 a factor of l?
False
Let i be 10/40 - -2*(-22)/(-16). Suppose 885 = 5*h - 2*k, -2*k - 527 = -6*h + i*h. Is h a multiple of 39?
False
Suppose 707*d - 708*d = -264. Does 63 divide d?
False
Suppose -5*t + 3*r = -336, 3*t - 205 = -5*r + 17. Is 2 a factor of t?
False
Let c(f) = -82*f**2 - 4*f + 22. Let l be c(6). Is (-2)/6 + l/(-42) a multiple of 14?
True
Let b = -432 - -514. Is b a multiple of 20?
False
Suppose 26*b + 714 = 28*b. Is b a multiple of 8?
False
Let x(j) = j**3 + 4*j**2 + 100. Suppose -7*o - 4 = -4. Does 15 divide x(o)?
False
Suppose m - 9 = -0*m. Does 4 divide ((-28)/6)/((-6)/m)?
False
Let v be (-10 - 2)*(-3 - 49/(-3)). Let h = -75 - v. Is h a multiple of 17?
True
Is -4 - (-106*1/2 + 5) a multiple of 6?
False
Let n = 189 - -966. Does 15 divide n?
True
Let f = -3432 - -6148. Is f a multiple of 97?
True
Suppose 8265 = 26*q + 3*q. Is q a multiple of 16?
False
Let c(p) = 21*p**2 + 3*p - 24. Let b = -119 + 123. Is c(b) a multiple of 12?
True
Let g = 396 + -102. Does 6 divide g?
True
Suppose 0 = -6*s + 1651 + 1031. Is 74 a factor of s?
False
Let m be (8 - 2) + -1 + 3. Suppose 5*l = 3*l - m. Is 19 a factor of (-1)/l + 2043/36?
True
Let h(x) = -83*x**3 + 2*x + 3. Let o = -18 + 17. Is h(o) a multiple of 9?
False
Suppose -s + 0*s = -4. Suppose -s*f = -2*f - 240. Suppose 5*n - 4*u = f, 110 = 3*n - u + 38. Does 12 divide n?
True
Let j = -2100 + 4190. Is j a multiple of 11?
True
Suppose 0 = x + 2*q - 156, -q + 4*q = -3. Is x a multiple of 8?
False
Suppose 2*n - 7 = -g, 0 = -2*n - 0*n - 2*g + 10. Does 19 divide (n*(-28)/32)/((-2)/152)?
True
Let n = -96 + 262. Suppose 5*z = 5*q + 631 - n, 3*z - 5*q - 279 = 0. Is z a multiple of 29?
False
Let c be 2/(1 + -1*2/4). Let t = c + 20. Is 3 a factor of t?
True
Let s(z) = -z**3 - 28*z**2 + 29*z - 13. Let n be s(-29). Let h(a) = a**3 + 14*a**2 + 7*a - 26. Is h(n) a multiple of 4?
True
Suppose -2*o + 1 + 1 = 0. Suppose -3*c - 132 + 126 = 0. Is 10 a factor of o/c - 41/(-2)?
True
Suppose 5*p = 31 - 11. Suppose -l + n + 10 = 0, -l - p*l = n - 26. Suppose -f = -7 - l. Does 13 divide f?
True
Suppose 3*v = l - 528, -19*l + 5*v = -14*l - 2590. Is 3 a factor of l?
True
Suppose -y = -9 - 17. Suppose -8 + y = -2*h. Does 9 divide 5*h/30*-12?
True
Let d(b) = -b**3 - 4*b**2 + 2*b - 10. Let y be d(-5). Suppose -4*g = 5*q - 53, 15 + 2 = g + y*q. Is g a multiple of 4?
True
Suppose 0 = 22*f - 19*f - g - 3508, -5850 = -5*f + g. Is 13 a factor of f?
False
Suppose -3*m + 20 = -8*m. Is -6*(-2)/m + 61 a multiple of 16?
False
Let j(d) = d**3 - 65*d**2 - 101*d - 270. Does 29 divide j(67)?
False
Let o = 2130 + -315. Is 33 a factor of o?