e
Does 29 divide (-15)/6*13572/(-45)?
True
Suppose 2*t - q + 1947 = 5*t, -3244 = -5*t - 2*q. Does 10 divide t?
True
Let f be (5 - 35)*2/4. Let c = f + 19. Suppose 0 = 3*m - 0*m, -126 = -2*i + c*m. Does 18 divide i?
False
Let l be ((-1)/(-2))/((-4)/(-8)). Let z = 6 - l. Suppose -z*d + 125 = -2*y, 3*d - 3*y - 75 = -4*y. Does 25 divide d?
True
Suppose 52 = 4*f + 3*y - y, 5*f = 5*y + 50. Is 13 a factor of (-5)/(-4) + -1 - (-477)/f?
False
Let n(t) be the first derivative of -1/4*t**4 - 4 - t**2 + 2*t**3 - 6*t. Does 3 divide n(5)?
True
Suppose -7*b + 8*b + 3 = 0, 216 = 5*a - 2*b. Is 7 a factor of a?
True
Does 29 divide (2610/40)/(4/((-96)/(-9)))?
True
Suppose i + 3*t - 7 = 0, 0 = 3*i + 2*i - 2*t + 16. Let h be i*(25/10 - 4). Suppose 8*y = -p + 3*y + 10, h*y - 30 = -3*p. Does 10 divide p?
True
Let y = 4281 - 673. Is y a multiple of 22?
True
Suppose h = -4*s - 3 - 1, -3*h + 2*s = -30. Suppose -60 = 3*y - h*y. Does 37 divide y/10*(-85)/(-2)?
False
Let s = 60 - -361. Is s a multiple of 35?
False
Let n(z) = z**2 - 5*z - 12. Let x = -32 + 40. Does 6 divide n(x)?
True
Let u be (-3)/(-15) - (-70)/25. Suppose 0 = h + 4*h - 2*k - 755, -5*h + u*k = -750. Is h a multiple of 17?
True
Let c = 99 - 20. Let r = 212 - c. Suppose 5*s - r = 4*o, 5*o = -5*s + o + 157. Is s a multiple of 11?
False
Let j be 6/8 - 39/(-12). Suppose 8*w + 420 = 3*w - i, -j*i + 168 = -2*w. Let d = -43 - w. Is d a multiple of 19?
False
Let x = 393 + -398. Let v be 1/2*(2 - -34). Let j = v - x. Is j a multiple of 23?
True
Suppose 350 = 3*a + 104. Let t = -57 + a. Suppose 66 = 5*x + u, 3*x + t = 5*x - u. Is x a multiple of 4?
False
Let f = -336 + 720. Is 10 a factor of f?
False
Suppose -72 = -d - 5*d. Is (1 + 3 + 2)*d/9 a multiple of 2?
True
Does 7 divide 8892/(-24)*4/(-2) - -1?
True
Suppose 0 = z - 3*l - 419, -6*z - 2*l + 2078 = -z. Is z a multiple of 9?
False
Let o(i) = 2*i**3 - 9*i**2 + 2*i + 5. Is 33 a factor of o(7)?
True
Let c(i) = -i - 5. Let p(k) = -4*k. Let j be p(-2). Let x be c(j). Let f = 0 - x. Does 13 divide f?
True
Suppose -12*c + 204 = -9*c. Suppose -p = -3*u - 68, -2*p + 3*p = 2*u + c. Suppose 3*j = p + 52. Does 10 divide j?
True
Let m(u) = u**2 + 2*u - 118. Does 7 divide m(-19)?
False
Suppose 45 + 99 = 2*i. Let x = 8 + i. Is x a multiple of 8?
True
Suppose 36 = -5*h - 9. Is 35 a factor of ((-24)/(-10))/(h/(-510))?
False
Suppose 5*d + z + 102 = 0, -3*d - 48 = -d - 2*z. Let m be 264/(-10) + (-6)/(-15). Let u = d - m. Is 2 a factor of u?
False
Let w(r) = 4*r**3 - 3*r - 1. Let l be 2*3/(-3)*(-2 + 1). Is w(l) a multiple of 7?
False
Let w = 39 + -39. Let h(a) = -6*a + 194. Is h(w) a multiple of 32?
False
Let g = 173 + -119. Suppose 2*b = 5*h - 33, 3*b + g = 4*h + 22. Suppose -141 = -4*x - 3*j, -h*j + 167 = 4*x + 28. Is 9 a factor of x?
True
Let h(d) be the second derivative of -d**3/6 + 10*d**2 + 6*d. Is h(4) a multiple of 15?
False
Let o be ((-12)/8)/((-6)/8). Suppose -o*u - u = -273. Does 17 divide u?
False
Suppose 5*k + 9 = 29. Let f(c) = c**3 + 4 - 145*c**2 + 5 - 5*c + 142*c**2. Does 2 divide f(k)?
False
Suppose 5*p - 19 = -a + 42, 5*p - 53 = -3*a. Does 4 divide p?
False
Suppose 2*v - 5*z - 11 = 0, -3*v + 2*z = 7*z - 4. Suppose 5*x + 2*n + v*n - 155 = 0, 0 = 4*x - n - 114. Is x a multiple of 7?
False
Suppose 0 = -j - j + 40. Let l(z) = -z**2 + 25*z - 6. Does 18 divide l(j)?
False
Suppose 4*l - 2*i - 96 = 664, l = 4*i + 190. Does 9 divide l?
False
Let r(q) = 24*q**2 - 22*q + 43. Is r(2) a multiple of 9?
False
Let f(r) = r**2 + 3*r + 3. Let u be f(0). Does 36 divide 108/(((-12)/(-40))/(u/15))?
True
Let l(k) = 4*k - 18. Let q be l(6). Suppose 88 = q*c - 2*c. Let p = 41 - c. Does 19 divide p?
True
Let n = -34 - -598. Is 12 a factor of n?
True
Let m(u) be the third derivative of u**6/10 - u**5/60 + u**4/24 - u**3/6 - 22*u**2. Is 9 a factor of m(2)?
False
Let j(k) = 436*k**2 + k. Is j(2) a multiple of 14?
False
Suppose 131 - 347 = -3*r. Suppose -5*h + 4*s - 41 = -158, -5*h + 3*s + 119 = 0. Suppose 5*v + 3*z = -0*z + r, -h = -2*v - 5*z. Is 8 a factor of v?
False
Let s = -62 - -58. Does 3 divide 764/36 + s/18 + 3?
True
Suppose -l = 3*l. Suppose l = 3*d - 6*d + 12. Suppose m = -3*m - 16, d*w - 2*m - 104 = 0. Is 4 a factor of w?
True
Let n(o) be the first derivative of 0*o**2 + 5 - 4*o + 1/3*o**3. Is 4 a factor of n(-4)?
True
Let u be 6/4 - 99/6. Does 40 divide (935/u + -3)/((-4)/6)?
False
Suppose -4*l = -t - 23, 4*l + 3*t - 38 = t. Let x(c) = 2*c - l + 6 + 2*c - 4*c**2 + 2*c**3. Is x(4) a multiple of 14?
False
Suppose 1 = -3*n - 14, o = 2*n + 15. Let a be 43/o - 4/(-10). Suppose 2*m - 25 = -a. Is 3 a factor of m?
False
Let s = 1226 + -1082. Is s a multiple of 24?
True
Suppose -2*q + 4*q - 4*w - 326 = 0, 5*q = w + 779. Suppose 64*v = 65*v - q. Is v a multiple of 36?
False
Let t = -39 + -33. Let i be (3/4)/(6/t). Let d(g) = -g**2 - 11*g + 10. Is d(i) a multiple of 16?
False
Let c(a) = -a**2 - 5*a - 7. Let k be c(-4). Does 15 divide 0 - (k - -7 - 79)?
True
Let p(y) = -y**2 - 13*y - 12. Let f be p(-12). Let c be (0 - f)/(2*-1). Suppose -4*d + 111 = o - 2*o, c = -2*d - 4*o + 42. Is 9 a factor of d?
True
Let h(d) = -2*d**3 - 14*d**2 + 4*d + 8. Let r(f) = 5*f**3 + 41*f**2 - 11*f - 25. Let c(o) = 8*h(o) + 3*r(o). Is 16 a factor of c(8)?
False
Suppose -5*m = 109*o - 114*o + 3355, -5*m = o - 677. Is o a multiple of 96?
True
Let c(t) be the third derivative of 1/8*t**4 + 0 - 11/6*t**3 + 0*t - 3*t**2. Is 7 a factor of c(6)?
True
Is (-27 + 232)*3*4 a multiple of 123?
True
Let j be (-1)/(-3 + 92/32). Let d = 8 - j. Suppose 3*s + 5*u - 115 - 24 = 0, u + 1 = d. Does 24 divide s?
True
Suppose -4*n + 2*r = -2*r - 12, -2*n = -3*r - 5. Suppose 3*g + 2*l = 110, n*l + 18 = g - 14. Does 3 divide g?
True
Suppose 2 = 2*x - x. Suppose 6*j + x = 5*j. Is 12 + (-3 - 1) + j a multiple of 3?
True
Suppose 1 = 2*z + 1. Suppose 5*l = -2*o + 30, z = -2*o - 2*l + 9 + 27. Does 20 divide o?
True
Let r(f) = 44*f**2 + 5*f + 21. Does 5 divide r(4)?
True
Suppose 7*k - 205 - 215 = 0. Is 10 a factor of k?
True
Let m be (0 - -1)*(3 - 3). Suppose -i - 2*x = 2*x - 35, 3*i + 4*x - 65 = m. Does 9 divide i?
False
Suppose -j = 3*k - 43, k - 9 - 2 = 3*j. Let q = k + -12. Suppose q*s = -0*s + 40. Does 5 divide s?
True
Suppose -473 - 2007 = -10*a. Is 8 a factor of a?
True
Suppose -772 = -j + 4*c, -3*c + 7*c = -16. Is 9 a factor of j?
True
Let g(c) = -c**2 - 49*c + 83. Is g(-36) a multiple of 19?
True
Let w(y) = -21*y - 18. Let g be w(-7). Suppose -5*u = 4 - g. Does 15 divide u?
False
Let y = -5 + 7. Does 23 divide 1/(((-1)/113)/(-1)) + y?
True
Let x(b) = -b**3 - 8*b**2 - 11*b + 8. Let r be x(-6). Let q = r + 23. Is q a multiple of 5?
True
Suppose -2809 = -t - 4*q - 739, 2*t - 4*q = 4152. Is 61 a factor of t?
True
Suppose -7*t + 534 = -4*t. Let h = 335 - t. Is h a multiple of 10?
False
Let n = 41 + -38. Suppose -5*g + u - 4 = -134, 0 = -g + n*u + 40. Does 9 divide g?
False
Suppose 5*w + 4*d + 3059 = 11214, 0 = -2*d + 10. Does 29 divide w?
False
Suppose -5*f - 3*t - 14 = 0, 19 = -3*f + 2*t + 3. Let k = -2 - f. Suppose q + k*l = -2*q + 15, 4*q + 4*l = 16. Does 2 divide q?
False
Let y = -38 - -78. Suppose -x - 4*x = y. Let z(i) = -3*i - 12. Is z(x) a multiple of 12?
True
Let o = -21 - -28. Suppose 4*p = -3*m - 209, -3*p + 194 = -o*p + 2*m. Let t = -11 - p. Is t a multiple of 10?
False
Suppose 0 = 3*t + 335 - 515. Is t a multiple of 10?
True
Let o = 793 + -318. Does 48 divide o?
False
Suppose -13 = -3*a + i + 2, 3*i = -4*a + 7. Suppose 2*q = -4, 208 = 4*d - a*q - 0*q. Suppose -p + 10 + d = 0. Is p a multiple of 17?
False
Let q(f) = 2*f**2 - 11*f - 36. Is 15 a factor of q(-4)?
False
Suppose 0 = -t + 5*g, 43 = 3*t - 2*g + 17. Let b(q) = q. Let p(f) = 4. Let n(v) = b(v) + p(v). Is n(t) a multiple of 6?
False
Suppose 29*d = 20*d + 1314. Does 39 divide d?
False
Let z(n) = n**3 + 13*n**2 + 7*n - 12. Let j be -4 + (2 - -2) + 26. Suppose 15 = -3*s + u - j, 0 = 2*s - 3*u + 39. Is 16 a factor of z(s)?
True
Let o be 12*(66/4)/3. Suppose -2*f - 3*u + o = 0, 4*f + 0*f - 126 = -3*u. Suppose -3*x = -3*w + f, 2*w + 3*x - 19 = -2*w. Is w a multiple of 7?
True
Does 58 divide 2/(4/(-464)*-4)?
True
Let s = 4 + 4. Let i = s - 8. Suppose -7 + 43 = b - x, 2*b + 5*x - 37 = i. Does 15 divide b?
False
Suppose 981*p - 991*p = -11700. Is p a multiple of 65?
True
Let 