 + -4*(-1)/22?
False
Suppose 0 = 97*z - 120*z + 89585. Is z a multiple of 95?
True
Suppose -25 = 31*l - 36*l. Suppose l*p + a = 319, p - a - 65 = -6. Does 21 divide p?
True
Let s = 25 - 76. Let h = 103 + s. Suppose -3*b + h = -b. Is 11 a factor of b?
False
Suppose -12*f + 46 + 2 = 0. Suppose -2*i + 152 = -4*t, 0 = 4*i + f*t - 12 - 340. Is i a multiple of 42?
True
Suppose 0 = -5*q + k + 9, 5*q = 5*k + 5. Does 4 divide 25 + -6 - (1 + q)?
True
Let w(u) be the third derivative of u**8/20160 + u**7/2520 + u**6/240 + 7*u**5/60 - u**2. Let t(v) be the third derivative of w(v). Does 2 divide t(-2)?
False
Suppose -4*k = 5*z - 39, -4*k - 15 = -2*z + 23. Is z + 8/4 + -4 a multiple of 3?
True
Suppose 256 = 2*u - x + 3*x, -2*u = -3*x - 266. Is u a multiple of 5?
True
Suppose -5*w + 565 = -5*v - 510, 422 = 2*w + 2*v. Does 17 divide w?
False
Let f(l) = 2*l**2 + 12 - 8 - 5*l + 6*l**2 + 3*l. Is f(4) a multiple of 31?
True
Let r = 15 - 10. Let y(u) be the third derivative of u**4/4 - 13*u**3/6 + 21*u**2. Does 17 divide y(r)?
True
Let t = 117 - 67. Suppose -147 = -5*c + g, -3*c + 2*g = -134 + t. Does 14 divide c?
False
Let g(d) = -d**3 + 3*d**2 + 3*d - 4. Let f be g(3). Suppose 3*b - 3*v - 546 = 0, -f*b - 3*v + 916 = -2*v. Does 32 divide b?
False
Suppose -4948 + 15244 = 13*q. Is 36 a factor of q?
True
Suppose -3*h = -3*b - 3, h + 4*b = -4*h + 14. Let k = h + 3. Suppose 84 - 14 = k*m. Does 7 divide m?
True
Let j be 13/3 - 6/(-9). Suppose 113 = -j*s + 608. Let b = 167 - s. Is b a multiple of 17?
True
Is 7 a factor of (532/(-5))/(6*(-7)/105)?
True
Suppose -3*u - 105 = -t, -3*t - 33*u = -30*u - 351. Is t a multiple of 3?
True
Let x = 1854 + -1442. Is 40 a factor of x?
False
Suppose -237 = 5*r - 52. Suppose 3*g + 55 = -14*x + 16*x, -5*g - 4*x - 77 = 0. Let d = g - r. Is 14 a factor of d?
False
Let l(x) = 4*x**2 - 16*x + 16. Is 25 a factor of l(12)?
True
Let s(l) = -l**2 + 14*l - 24. Let j be (-2)/(16/12)*44/(-6). Does 2 divide s(j)?
False
Suppose 0 = -4*w - i - 1 + 16, -4*w = 5*i - 27. Let x be (-39)/(-6)*w*-2. Let n = x - -79. Does 10 divide n?
True
Let s = 495 + -321. Is s a multiple of 3?
True
Let b(i) = i - 18. Let h be b(21). Let w(g) = 10*g + 9. Let j be w(9). Is 13 a factor of (8/h)/(3/j)?
False
Let v(s) = 9*s**2 - 5*s - 26. Does 4 divide v(-6)?
True
Let r = -9 - -9. Suppose 2*t + 119 = y, -y = -r*y + 2*t - 103. Let w = y + -59. Is w a multiple of 13?
True
Let y = 247 - 103. Is y a multiple of 4?
True
Let v(i) = 2*i**3 + 32*i**2 + 30*i + 4. Let z be v(-15). Suppose -201 = -b - 5*k, 0*b + 2*b - z*k = 332. Is 16 a factor of b?
True
Let j(v) = v**2 + 18*v + 46. Does 12 divide j(-34)?
False
Suppose -4*o - 21 + 29 = 0. Suppose 40 = 3*m + o*m - q, 4*q - 20 = 0. Is m a multiple of 3?
True
Let z = 175 - 137. Is z a multiple of 5?
False
Let y(n) = -n + 3. Let v be y(-9). Let i(s) be the first derivative of 2*s**3/3 - 17*s**2/2 + 15*s + 9. Does 30 divide i(v)?
False
Let q(u) = u**3 + 10*u + 8. Does 8 divide q(0)?
True
Let p(n) = -2*n - 17. Is p(-34) a multiple of 9?
False
Let l be (-2 - (6 - 1))*52/(-4). Let d = -39 + l. Does 13 divide d?
True
Suppose 3*j - 9*j = 0. Suppose -6*o - 3*c = -4*o - 19, j = 2*o - 2*c - 34. Is (-60)/o*(-14)/3 a multiple of 10?
True
Let o(y) = -y**3 + 10*y**2 - 6*y - 1. Is 12 a factor of o(9)?
False
Let n = -685 - -2535. Suppose 2*m + n = 12*m. Does 28 divide m?
False
Let r = 43 - 32. Suppose -972 = -r*m - 7*m. Is 18 a factor of m?
True
Let c(a) = -18 - a**3 + 453*a + 5*a**2 - 226*a - 211*a. Does 6 divide c(6)?
True
Suppose -13*u + 2234 + 4084 = 0. Is 6 a factor of u?
True
Suppose -5*u - 184 = 2*l - 64, l = 3*u + 72. Let t = 264 + u. Does 15 divide t?
True
Let i(h) = 7*h**2 - 17*h + 40. Is i(16) a multiple of 84?
False
Let y(m) = -15*m + 6. Let f be y(-5). Let s = f - 34. Is s a multiple of 4?
False
Let w be -3*2/(-30) + (-642)/10. Let k = w + 136. Is k a multiple of 12?
True
Suppose -11*j - 715 = -24*j. Is 50 a factor of j?
False
Let r be (-10)/15*(-27)/(-2 + 3). Suppose -r*d + 80 = -13*d. Is d a multiple of 3?
False
Suppose -6*a = -a - 10. Suppose 2*p + 386 = 2*o, -a*o - 4 - 2 = 0. Let q = -132 - p. Does 14 divide q?
False
Suppose 0 = 2*p - 7*p + 130. Suppose 2 = -3*o + p. Let i(y) = -y**3 + 9*y**2 - 2*y - 10. Does 13 divide i(o)?
False
Suppose -73*z = -38*z - 77000. Does 110 divide z?
True
Let y(t) = t + 10. Let c be y(-7). Suppose 58 = -c*x + x. Let j = x - -43. Is j a multiple of 7?
True
Suppose 12*x - 613 - 1667 = 0. Does 58 divide x?
False
Let w be 4 + 18 - 3/(6/(-4)). Let i = 30 - 17. Let q = w - i. Does 11 divide q?
True
Let h = -8 + 5. Let w(d) be the first derivative of -d**4/2 - 2*d**3/3 + 3*d**2/2 + d + 8. Does 7 divide w(h)?
True
Suppose -5*d - 2*k = -461, -4*d + 5*k + 475 = d. Let f = d - 81. Does 12 divide f?
True
Let l be 9/2*(-3864)/(-18). Suppose l = 6*h + 15*h. Does 3 divide h?
False
Let q(f) = f**3 - 5*f**2 - 2*f + 7. Let r = -33 + 39. Does 17 divide q(r)?
False
Let n(u) = 45*u**2 - u. Let i be n(-1). Let w = -92 + 97. Suppose -5*d + w*y = -70, y + i = 5*d + 2*y. Is 2 a factor of d?
True
Does 4 divide (0 + 0 - -539) + 1?
True
Suppose -3*l + 7*l = -5*t + 109, 4*t - 5*l - 79 = 0. Suppose -20*i = -t*i + 60. Is i a multiple of 12?
True
Suppose b + 62 = -2*z - 3*z, 4*z + 4*b + 56 = 0. Does 6 divide (-272)/z*9/6?
False
Let b(p) = -p**2 + 6*p - 3. Let l be b(7). Let d(n) = -n**3 - 9*n**2 + 10*n + 4. Let t be d(l). Suppose 23 + 13 = t*c. Is 9 a factor of c?
True
Suppose -328*h = -340*h + 756. Is 7 a factor of h?
True
Suppose 0 = 4*s - 242 - 190. Is 12 a factor of s?
True
Let i be 2/(-1*(-4)/(-12)). Let r be 57/(-11) - i/33. Does 14 divide 260/(-8)*8/r?
False
Suppose -90 = 3*s - 0*s. Suppose -4*a - 11 = 3*d, -5*a = -3*d + 8*d + 20. Is (-1 - a) + s/(-6) even?
False
Suppose 4*a = 11 + 13. Let p be (-1 + 3/a)*0. Suppose 2*s + p*s - 16 = 0. Does 4 divide s?
True
Suppose -3*c + 264 = -5*r - 86, -c - 2*r + 135 = 0. Is c a multiple of 25?
True
Let w(j) = -52*j - 21. Let r(x) = x. Let s(p) = -4*r(p) - w(p). Is s(3) a multiple of 11?
True
Let y(z) = -z**2 + 15*z - 18. Let k be y(13). Suppose -a = -5*f + 2*f - k, -2*f - 5*a = -6. Is (f/4)/((-5)/40) a multiple of 3?
False
Suppose 4578 = 968*y - 961*y. Is 24 a factor of y?
False
Let o = -7 - -9. Suppose 3*r = -j + o*j - 97, -2*r - 6 = 0. Does 22 divide j?
True
Suppose -2*d + 5*d = 3*c + 654, 5*c = 3*d - 1094. Let t be (16/10)/((-8)/c). Let g = t - 17. Is 8 a factor of g?
False
Suppose 34 = 3*f + 22. Suppose 420 = f*j - 5*t, j - 4*t + 34 = 139. Does 13 divide j?
False
Let g(y) = -13*y - 5. Let w(n) = 4*n + 2. Let r(h) = 2*g(h) + 7*w(h). Let a be r(0). Let t = a - -3. Is 4 a factor of t?
False
Let q(l) = 4*l - 8. Let a be q(-4). Let x = 25 + a. Does 4 divide ((-2)/5)/(x/(-45))?
False
Suppose -f + 18 = -2*c + 8, -20 = 5*c. Suppose 2*b + f*b - 100 = 0. Is 5 a factor of b?
True
Let r be (-14)/6 - (-6)/(-9). Let j(l) = l + 9. Let m be j(r). Let o(t) = 3*t**2 - 3*t + 11. Is o(m) a multiple of 36?
False
Let f(l) = l + 19. Let a be f(6). Let g = -23 + a. Is (-1)/(2/(-176)*g) a multiple of 19?
False
Let h(x) = -8*x - x**3 + 2*x**3 + 6*x + 14 + 4*x**2. Let d(n) = -n**3 + n**2 - 1. Let b(t) = -2*d(t) - h(t). Does 14 divide b(7)?
False
Let s(i) = -i - 7. Let h be s(-4). Let p be 4/3*h/2. Does 14 divide 1/p + 1014/12?
True
Let h be 2/3*(-3 + 17 - 5). Suppose -444 = -6*v - h*v. Does 37 divide v?
True
Let a = -27 - -44. Suppose 0 = m + 5*b - a, -b + 51 = 3*m - 0*b. Is 12 a factor of m?
False
Let d(g) = -23*g - 12. Let q be d(4). Let l = 374 + q. Is l a multiple of 56?
False
Is 23 a factor of ((-156)/(-21) + 2)*161?
True
Let k be 1 + (76 - 0 - 1). Suppose 0 = -5*m + m + k. Let z = m + 13. Does 8 divide z?
True
Suppose -1341 = -8*j + 4*j + 3*c, -3*j + 1007 = -c. Is j a multiple of 14?
True
Suppose -5*t - 2*j = -6*j - 385, -375 = -5*t + 2*j. Let w = -35 + t. Is 25 a factor of w?
False
Let c(a) = 2*a + 20. Let l be c(-8). Suppose l*n - 44 - 172 = -4*m, 0 = -n + 4*m + 34. Suppose 0 = 20*s - 18*s - n. Does 17 divide s?
False
Let w = -65 - -342. Is 29 a factor of w?
False
Let t = -30 - -61. Suppose z - 6*z + 14 = 2*x, 2*z - 8 = -2*x. Suppose 2*m + s - t = 0, -z*s + 3*s + 71 = 4*m. Does 8 divide m?
False
Let k = -237 - -325. Is k a multiple of 22?
True
Let t(n) = n**3 + 18*n**2 + 17*n - 14. Let a be t(-17). Suppo