b(d) = 19*d**2 - 9*d + 31. Is b(-7) a multiple of 65?
False
Let y(f) = -f**3 + 19*f**2 + 22*f - 2. Let o be y(18). Suppose 5*j + 103 - o = 0. Does 38 divide j?
False
Let s = -1062 + 3104. Does 22 divide s?
False
Suppose 20 = -5*h - 5. Let o be h/(-10) - (-9)/6. Suppose 0 = o*z - 5*c - 113, 4*z + 2*c - 78 = 2*z. Is 22 a factor of z?
True
Suppose -3*t - t + 16 = 0. Suppose 6*n = t*n + 196. Is 14 a factor of n?
True
Let a = 30 + -28. Suppose -a*c = -3*d + 174, 0 = d - c - 2*c - 65. Is d a multiple of 8?
True
Let m be (40/(-16))/((-1)/2). Suppose -4*n = -2*j - 914, j = 2*n - m*n + 683. Is n a multiple of 38?
True
Suppose -9*t = -10*t + 88. Let z = t - -65. Does 17 divide z?
True
Suppose -5*k + 2*r = -20, 0*r = -5*k + 5*r + 20. Let q be ((-2)/(-4))/(k/432). Is 5*(-2 + q/15) a multiple of 8?
True
Does 46 divide (144/(-360))/((-1)/1615)?
False
Let i = 12 - 8. Let g be (i/(-4))/(-1) - -7. Suppose -l + 32 - g = 0. Is l a multiple of 17?
False
Let t(i) = i**2 - 2*i**2 + 6*i - 9 + 3*i + 6*i. Let s be t(14). Suppose s*c = -4*d + 293, c - 2 = -c. Is d a multiple of 24?
True
Let h(p) = -p**3 - 2*p**2 - p + 1. Let k be h(-2). Is 7 a factor of k + 1 + -8 + 11?
True
Suppose 4*o - 1416 = 4624. Suppose -5*s - d + 990 + 515 = 0, -5*s + o = 2*d. Suppose -2*j - j = -s. Is 25 a factor of j?
True
Let x(c) = c**2 - 6*c - 4. Let l(n) = -10*n - 3. Let h(u) = 19*u + 6. Let r(q) = 4*h(q) + 7*l(q). Let j(k) = 3*r(k) + 2*x(k). Does 27 divide j(5)?
True
Let m(p) = -2*p**2 - 6*p + 14. Let s be m(-6). Let z = -28 - s. Does 20 divide (4/z)/(5/(-600))?
True
Let m(b) = b - 2. Let p be m(2). Suppose -4*d + f + 369 = p, -3 - 7 = 2*f. Let a = -43 + d. Is 24 a factor of a?
True
Suppose -46*y = -14*y - 2208. Is 5 a factor of y?
False
Let i(u) = -u**3 - 10*u**2 + 2*u + 22. Let c be i(-10). Suppose -2*h + m = 1, -3*h - m - 20 = c*h. Let b = 29 + h. Is b a multiple of 8?
False
Let i(g) = 20*g + 11. Let b(p) = 59*p + 32. Let u(f) = 2*b(f) - 7*i(f). Is 6 a factor of u(-2)?
False
Suppose 2*n + 1 = 7. Suppose -n*p = -5*c + 3*c - 7, -3*c = -4*p + 11. Let a(w) = -8*w + 1. Is 11 a factor of a(c)?
False
Let n be ((-60)/(-50))/(4/(-10)). Let d be 4 + n - -44 - -3. Let x = d + -10. Is 12 a factor of x?
False
Let x(u) = u**2 - 3 - 12 + 1 - 6 + 12*u. Let l be x(-15). Let t = l - 9. Is 16 a factor of t?
True
Suppose k - 432 = -3*n - 3*k, 5*n = 5*k + 755. Let d be (-9)/((-99)/2) - 128/(-22). Suppose 0 = 2*s - d*s + n. Is 8 a factor of s?
False
Suppose 0 = 4*w + 7 + 21. Let j = 6 + w. Does 14 divide j/(3/729*-3)?
False
Suppose -3*s = -6*s + 6. Suppose -2*k = 2*f - 258, -690 = -s*k - 3*k + 4*f. Does 13 divide k?
False
Let k(g) = 223*g - 36. Does 61 divide k(7)?
True
Let l(z) = -z**3 + 6*z**2 + 4. Let f be l(6). Let p(y) = 3*y**2 - 8*y - 6. Is 5 a factor of p(f)?
True
Suppose 12*r - 5013 - 807 = 0. Is 11 a factor of r?
False
Let o = 175 - 60. Suppose 0 = -4*z + c + 536, -z + 5*c = -0*c - o. Is z a multiple of 45?
True
Let k = 36 - 72. Let a = k - -69. Is a a multiple of 12?
False
Suppose 0 = -4*w - 4*i + 282 + 13586, -3*i - 3471 = -w. Is 102 a factor of w?
True
Suppose -2*z + 22 = 14. Suppose 52 = 2*y - 4*m, 0 = -5*y + z*m + 84 + 28. Is 6 a factor of y?
False
Let f = -68 + 84. Let z = 39 + f. Does 18 divide z?
False
Let a = -354 - -1057. Does 19 divide a?
True
Suppose 22 + 2 = 4*y. Is 12 a factor of (-6)/4*(-26 - y)?
True
Let m = 7 + -7. Suppose m = 9*r - 10*r + 85. Is r a multiple of 17?
True
Let r(d) = d**3 - 11*d**2 + d - 1. Let x be r(11). Suppose -270 = -x*y + 7*y. Does 18 divide y?
True
Let y be 16/(-3)*-9 + -4. Let r = y - 30. Is r a multiple of 3?
False
Suppose -2*u - 15 + 1 = 0. Let c = -9 + u. Let p = -11 - c. Is p a multiple of 4?
False
Let z(u) be the first derivative of u**3/3 - 7*u**2/2 + 3*u + 5. Suppose 20 - 60 = -5*g. Does 11 divide z(g)?
True
Let v(q) = -3*q**2 + 95*q + 54. Is 11 a factor of v(32)?
True
Suppose 2*g - 9 = -5*i, g = 4*i - 4*g - 27. Suppose 0 = -i*m - b + 528, -m + 0*b = 4*b - 176. Does 16 divide m?
True
Let w be (-8)/(-32) - 3479/(-4). Suppose 344 = 2*x - b, 9*b + w = 5*x + 4*b. Is x a multiple of 10?
True
Suppose 5*n + 0*r - 3713 = -r, r + 3707 = 5*n. Is 14 a factor of n?
True
Let j(p) = p + 34. Let b(o) = 12*o + 376. Let v(x) = -3*b(x) + 32*j(x). Is v(-21) a multiple of 12?
False
Suppose h + 769 = 2*x, -4*h + h - 1539 = -4*x. Is x a multiple of 35?
False
Let n = 1041 - 721. Does 16 divide n?
True
Suppose -10*s + 49 - 1129 = 0. Is 17 a factor of s/10*20/(-3)?
False
Let n = -5 - -36. Suppose n + 309 = 5*v. Does 8 divide v?
False
Let b(a) = -174*a + 81. Is b(-5) a multiple of 21?
False
Suppose m + 4 = 44. Let n = 244 - 242. Suppose 0*y + 3*f - m = -y, 2*y - 60 = -n*f. Is y a multiple of 10?
False
Suppose 4*s - 2380 = 4*d, 792 + 413 = 2*s + 3*d. Is 23 a factor of s?
True
Suppose 0*s = s + 101. Let x = s + 425. Suppose -o + 326 = 2*p + 3*p, -x = -5*p + o. Is 30 a factor of p?
False
Let k be 4*(-3)/(-6) + -2*1. Suppose 18*c - 19*c + 118 = k. Does 17 divide c?
False
Suppose -7 = 2*m + 1. Let n be (-2 - m) + 0/(-3). Let d(z) = 18*z**2 - 3*z + 3. Is 30 a factor of d(n)?
False
Let j be (-7 + 3)/1 + 1903. Suppose 8*m + 219 = j. Does 42 divide m?
True
Let z be 1*-3 + (9 - 5). Let o(s) = 39*s - 3. Is o(z) a multiple of 9?
True
Suppose 4*s - 984 = -3*a, -5*a = -2*s + 421 + 71. Let o = 512 - s. Does 38 divide o?
True
Let c(m) = -m**3 - 12*m**2 + 9*m - 4. Let i be c(-10). Let a = -189 - i. Does 35 divide a?
True
Let x = -281 - -290. Does 9 divide x?
True
Let f(u) be the second derivative of -4*u**3/3 - 13*u**2 - 40*u. Suppose 0 = -0*y + 5*y + 65. Is 16 a factor of f(y)?
False
Let b(l) = -4*l - 14. Let p be b(-7). Suppose p*v = 11*v + 24. Is 3 a factor of v?
False
Suppose 5*u = 27 - 2. Suppose -u*f + 2*d + 41 = 0, 4*d - 17 = -0*f - f. Is 2 a factor of f?
False
Does 3 divide (-4266)/(-11) + 6 + (-320)/55?
False
Suppose -3*t + 5*k = -6 - 0, -4*t - 3*k = -8. Let l be (3 - 3)/(t + -1). Suppose l = -5*i + 54 + 66. Is 7 a factor of i?
False
Suppose 0*y + 4*y - 32 = 0. Suppose i + y = 2*i - 5*d, -4*d - 96 = -4*i. Suppose 2*n - 74 = -i. Does 13 divide n?
False
Suppose -2*z + 15 = 25. Let g be (80/25)/((-2)/z). Is (4/2)/(g/28) a multiple of 2?
False
Let t(g) = -2*g + 6. Let l be t(3). Suppose 2*u = 4*u - 5*s - 85, l = -5*u + 3*s + 184. Is u a multiple of 4?
False
Let b = -5 - -6. Let k = b - 1. Suppose -5 = 5*v + 3*y, v - 2*y + 7*y + 23 = k. Is v even?
True
Suppose -3*y = 2*y + 70. Let x(a) = a**2 + 6*a - 17. Is 10 a factor of x(y)?
False
Let y = 59 + -32. Let n = y + -23. Suppose 2*z + 72 = 3*u, -44 = n*u - 2*z - 138. Does 11 divide u?
True
Let w = 81 - 221. Let u = 68 - w. Is u a multiple of 13?
True
Suppose -23*v = -26*v - 5*w + 3219, 0 = -v + w + 1065. Is v a multiple of 12?
True
Let y(q) = -q**2 + 13*q + 2. Let u be y(11). Let m = u - -4. Is m a multiple of 14?
True
Let p be 0 + -3 + (-16)/(-2). Suppose 5*g - 5 = p. Suppose 0 = -0*b - 4*b - g*o + 68, 0 = 3*b + 2*o - 50. Does 9 divide b?
True
Suppose 16*z - 9985 + 3905 = 0. Suppose 3*q + w = 365, -3*q - 4*w + 0*w + z = 0. Does 15 divide q?
True
Let r be (-2)/(-11) + (-26)/22. Is 30 a factor of 1*4/r - -67?
False
Suppose 0 = -71*f + 67*f + 892. Let p = 411 - f. Is 13 a factor of p?
False
Let l = 74 + -8. Let g be 2/(-12) + 1039/6. Let d = g - l. Is 27 a factor of d?
False
Let l(c) = 16*c**2 - 176*c**3 - 10*c**2 - 2*c - 9*c**2. Is 30 a factor of l(-1)?
False
Suppose -28*i = -15*i - 3718. Does 3 divide i?
False
Suppose 0 = -11*o + 9948 + 5782. Does 43 divide o?
False
Let f be (9/(-6))/((-6)/20). Suppose -3*g - l = -4*g + 9, 2*g - 30 = f*l. Suppose -41 = -g*j - 4*z, 5*j + 5*z = 2*z + 37. Is j a multiple of 5?
True
Let f be -1 - (0 + (-2)/2). Suppose -5*j - 3*j + 784 = f. Is j a multiple of 9?
False
Suppose -24*b - 4452 = -21*b. Does 2 divide b/(-168) + (-1)/(-6)?
False
Suppose 0 = 3*i + 9, -5*i - 23 = -c - 0*i. Let n(a) = a - 2. Let m be n(3). Let j = m + c. Does 2 divide j?
False
Suppose 2*t + 3 = 13. Suppose -t = 3*s - 2*s. Let n = 2 - s. Is n a multiple of 5?
False
Let u(k) = 2*k**2 - 8*k + 16. Let g(b) = -3*b**2 + 1. Let o(h) = 4*h**2 - 2. Let m(r) = -3*g(r) - 2*o(r). Let l(y) = 3*m(y) - u(y). Is 7 a factor of l(-12)?
True
Let b(u) = -44*u - 15. Let g be b(-4). Let d = g - 100. Does 12 divide d?
False
Suppose -5*z = 25, 3*d + 3*z + 30 =