e of 6?
True
Suppose 12 = -2*b + 90. Is b a multiple of 4?
False
Suppose 3*z - 3 + 9 = 0. Let u = z - -2. Suppose u*y = y - 50. Is y a multiple of 19?
False
Let h = 817 - 558. Does 37 divide h?
True
Suppose -u - 10 + 9 = 0. Let n(t) = -14*t**3 - t**2 - 2*t - 1. Does 7 divide n(u)?
True
Let n(b) = b**2 + 2*b - 6. Is n(6) a multiple of 14?
True
Suppose 0*r - 2*r + 5*c - 4 = 0, 5*c = 10. Let i be (20/r)/(38/285). Let l = 89 - i. Does 13 divide l?
True
Let o(n) = -n**3 - 8*n**2 + 8*n - 2. Let b be o(-10). Suppose 463 = 3*x - 23. Suppose -5*r + 4*q = 48 - x, -5*r = -3*q - b. Is 18 a factor of r?
False
Suppose -2*p + 2 + 12 = 0. Let v = 25 - p. Does 11 divide v?
False
Is 7 a factor of (4 + (-183)/18)*-6?
False
Let q = -1079 - -2174. Is q a multiple of 25?
False
Let p(a) = -a**3 - 11*a**2 - 34*a - 16. Is p(-7) a multiple of 13?
True
Let x be (-5 - -5)*(-2)/6. Let d(w) = -w**3 + w**2 - w + 4. Let g be d(x). Suppose 3*m + 38 = 5*l + g*m, 4*m + 32 = 3*l. Is l a multiple of 4?
True
Let z(k) = -k**3 - 3*k**2 - k - 10. Let v be z(-5). Let x = -34 + v. Is x even?
False
Let d = -675 + 1036. Does 6 divide d?
False
Suppose -527*b + 119 = -526*b. Does 17 divide b?
True
Let t(h) = -2*h - 28. Let n be t(-15). Suppose n*z - 40 = 2. Is z a multiple of 4?
False
Let n(d) = d**3 + 14*d**2 - 18*d - 90. Is n(-14) a multiple of 15?
False
Suppose 0 = 2*d + 4, p = -p + 2*d + 368. Is 4 a factor of p?
False
Let x = 32 + -6. Let y be 4/x - 1106/91. Is (9/(-6))/(2/y) a multiple of 3?
True
Let r = -55 + 60. Suppose 4*l + r*d - 241 = 0, 6*d = 3*d + 15. Is l a multiple of 32?
False
Let z be (-57)/(-19) - (-1 + -66). Let c = -18 + z. Is 13 a factor of c?
True
Suppose 0 = 2*d - 3*d. Let o(s) = 3 + d + 1 - 46*s - 2. Is o(-1) a multiple of 8?
True
Suppose -14*m + 130 = -52. Is m a multiple of 13?
True
Let a(i) = -i**3 + 19*i**2 + 40*i + 56. Is 3 a factor of a(20)?
True
Suppose 0 = -7*d + 2*d + u + 1164, d - 237 = -4*u. Is 14 a factor of d?
False
Let g(t) be the third derivative of -t**6/120 - t**5/15 - t**4/12 - t**2. Suppose 0*o - 2 = 2*o - 2*c, -o + 5 = -3*c. Is g(o) a multiple of 4?
True
Suppose 3*t + 2 - 17 = -5*r, -5*r - 2*t = -20. Suppose -3*w - 669 = -5*g, -2*g + r*w = 2*w - 276. Is g a multiple of 33?
True
Let i be 2/3 - (-16)/3. Let t(s) = 2*s + 37 + 3*s - 50 + 3*s. Does 9 divide t(i)?
False
Suppose -66 = 5*a - 26. Does 2 divide 5*(1 - a/(-20))?
False
Let k(a) = 14*a**2 + 21*a - 115. Is k(9) a multiple of 7?
False
Let p(x) = 4*x**2 + 13*x + 4. Suppose -5*g = 0, 0*g + 24 = -4*h + 2*g. Is 12 a factor of p(h)?
False
Let c = 17 + 13. Let s = -4 - -3. Does 10 divide c*s/2*-2?
True
Let w(b) = -39*b**3 + 3*b**2 + 3*b + 1. Let a be 0 - 4/2 - -1. Is w(a) a multiple of 16?
False
Suppose -74 - 11 = -5*w + 5*x, 2*w - 30 = 4*x. Does 7 divide w?
False
Is 21 a factor of -2 - (-7 + 2 + -249)?
True
Let f be -1 + (-3)/9*3. Let c be 100/(f/5*-5). Suppose b = c + 10. Is b a multiple of 12?
True
Let i = -2935 + 4891. Does 115 divide i?
False
Let v be (-14)/49 - (-122)/(-14). Let b(h) = h**2 + 6*h - 6. Is 7 a factor of b(v)?
True
Suppose 116 = -5*l + 3*w, -5*w + 15 = 2*l + 49. Let q = l + 25. Suppose -q*m + 39 = 3*p, 4*m + 3*p = p + 48. Is 7 a factor of m?
False
Let i be 0 + -1*(-4)/1. Suppose -l = -5*f - 36, -5*f - l - 6 = -i*f. Let a(v) = -v**3 - 7*v**2 - 5*v - 17. Does 9 divide a(f)?
True
Suppose 2*t = 5*j + 9, 3*j + 13 + 0 = 5*t. Is 1 - -2*(-149)/(-4)*t a multiple of 30?
True
Let x = 104 - 150. Let o = x - -74. Is o a multiple of 3?
False
Let p(k) = 240 + 4*k - 228 + 7*k. Is 36 a factor of p(12)?
True
Suppose 5*p - 20 = 0, 6*s - 1412 = s - 3*p. Is s a multiple of 27?
False
Let m(n) be the second derivative of -1/3*n**3 + 0 + 6*n**2 + 3*n. Is m(-10) a multiple of 7?
False
Suppose 3*d = 2*n + 2*d + 7, 5*d + 15 = 0. Let t = 12 + n. Is t a multiple of 2?
False
Let r(t) = -93*t + 247. Does 35 divide r(-6)?
True
Let a = 232 + -73. Suppose 3*x - a = -n, x + x = 2*n + 106. Does 6 divide x?
False
Suppose -4 = k, -5*u - 5*k = 32 - 102. Is 3 a factor of u?
True
Suppose -1012 = -4*d - 4*y + 84, -y - 826 = -3*d. Is d a multiple of 13?
False
Let g(t) = 12*t**2 + 95*t + 1. Is 21 a factor of g(-11)?
False
Let h = -1225 - -2485. Does 21 divide h?
True
Is (-9)/108 + (-22687)/(-84) a multiple of 6?
True
Let h(c) = 8*c - 12. Let o be h(-13). Is -28*2*o/32 a multiple of 11?
False
Let s = -5 + 15. Let f = -10 + s. Suppose 7 = 3*u + z - 6, f = 3*z + 15. Does 3 divide u?
True
Let z = -74 - -219. Is 29 a factor of z?
True
Suppose -9 = 4*l + 11. Let n(m) = -13*m**2 + 2*m + 2. Let p(j) = 25*j**2 - 4*j - 4. Let s(o) = l*n(o) - 2*p(o). Does 11 divide s(2)?
False
Suppose -2*i = 0, f - 3*i = -0 + 2. Suppose f*l - 4*h + 156 = 56, 2*l + 106 = -2*h. Does 3 divide (-1*1)/(4/l)?
False
Let b = 1 + 18. Suppose 6*d = b + 41. Is 7 a factor of d?
False
Suppose -69*t + 81*t = 720. Does 21 divide t?
False
Let k(n) = -n**3 + 4*n**2 - n - 4. Let s be k(3). Suppose -s*q + 3*q - 2 = 0. Suppose 0 = -q*p + 3*o + 18 + 31, -5*p - 4*o + 111 = 0. Is 6 a factor of p?
False
Is (76*-1)/(17 + -19) a multiple of 8?
False
Let j(l) = -l**3 + 34*l**2 - 16*l + 79. Is 32 a factor of j(33)?
True
Suppose -4*s + 538 = 6. Suppose 3*j - s - 47 = 0. Is 10 a factor of j?
True
Let b(q) = 10*q + 201. Is 5 a factor of b(-12)?
False
Let d = 26 + -11. Suppose -6*o - d = -11*o. Suppose -o*k = -0*k - 132. Is k a multiple of 16?
False
Is (-3)/(-27) + 1700/90 even?
False
Let o(x) = -6*x - 12. Let z(c) = -c. Let w(n) = -o(n) - 4*z(n). Does 17 divide w(9)?
True
Let i(o) = -o**3 - o**2 + o - 1. Let r(l) = l**3 + 7*l**2 + l + 4. Let j(h) = -3*i(h) - r(h). Let d be (6 + -8)*2*-1. Does 17 divide j(d)?
False
Let j = -83 + 96. Suppose -j*s + 57 = -10*s. Does 3 divide s?
False
Suppose 4*f - 5*g + 5 = 0, 4*g - 2 = -2*f + 2. Suppose -4 = m, -4*l + 0*m + 5*m + 44 = f. Let a(o) = 10*o - 17. Is a(l) a multiple of 14?
False
Let z = -1 - -33. Does 8 divide z?
True
Suppose 0*x = 3*x - 78. Let r = -13 + x. Is r a multiple of 2?
False
Let c = -75 + 58. Let g = 21 - c. Is 19 a factor of g?
True
Let j be (-125)/(-15) - 3/9. Let g be (1 - 1/2)*j. Suppose -20 = g*u, 2*u = -3*p + 3*u + 167. Is p a multiple of 23?
False
Let u be 9*(2 + 2 + 13). Suppose -w + f = -0*f - 47, -4*w - 3*f + u = 0. Let m = w - -23. Is m a multiple of 23?
False
Suppose 0 = 3*y + 3*d - 453, -4*y - 5*d = -523 - 85. Let t = y + -101. Does 23 divide t?
True
Let b(j) be the third derivative of j**4/8 + j**3/2 + 4*j**2. Let y be b(-2). Let s(o) = -4*o + 4. Is s(y) a multiple of 4?
True
Suppose 0 = -7*m + 16*m - 1188. Is 12 a factor of m?
True
Is 49 a factor of 62/217 + (-21607)/(-7)?
True
Is 25 a factor of (592 - 36) + -6 + 0?
True
Suppose 0 = -2*g + 5 + 5. Suppose -k = -0*k - g. Suppose -k*p - 2*n + 63 = 0, -p - 5*n = -2*n - 10. Is p a multiple of 7?
False
Suppose 22*w - 17*w - 2535 = 0. Is 49 a factor of w?
False
Let n(l) = -7*l + 13. Suppose 0 = -4*o + 3*g + 47 - 112, -2*o - g = 25. Is 19 a factor of n(o)?
False
Let c be -7*(2 + -1)*-4. Suppose -q - 4*k + c = 2*q, -q - 4*k = -20. Does 16 divide (-156)/(-10)*10/q?
False
Let j = 360 - -1560. Is j a multiple of 48?
True
Suppose 4*v + 10 = 9*v. Suppose -4*l - l = v*o + 15, 0 = -l + 3*o + 14. Does 20 divide l - ((-82)/2)/1?
True
Suppose -16*s - 6 = -14*s. Is 21 a factor of 0*(s + -1 + 3) - -84?
True
Does 27 divide 3/4 + (-11502)/(-24) + -4?
False
Does 4 divide ((-290)/4 + 0)/(18/(-36))?
False
Suppose 0 = 13*v - 1961 + 401. Is 9 a factor of v?
False
Suppose -117 = 5*x - 512. Is x a multiple of 79?
True
Let x(l) = l**3 + 12*l**2 + 3. Let v be (2 - -1) + (-45)/3. Let f be x(v). Suppose -f*t = -20 - 25. Does 5 divide t?
True
Suppose -18*t + 96*t = 173628. Is 19 a factor of t?
False
Let h = 460 - 244. Does 27 divide h?
True
Let y = 24 - 19. Suppose 45 = y*x - 420. Does 22 divide x?
False
Let d = 74 - -32. Does 21 divide d?
False
Let h = 0 - -4. Suppose 4*y - 19 = -5*n, 0*n - h*n = -4*y - 8. Is 7 a factor of (5 - n) + 23 + 2?
False
Let z = 23 - 6. Suppose -l - z = -105. Suppose 3*o + 56 = s + 3*s, 5*o = -4*s + l. Is 17 a factor of s?
True
Let d(w) be the first derivative of w**4/24 - 3*w**2/2 + 4. Let x(a) be the second derivative of d(a). Is x(8) a multiple of 3?
False
Let a be (0/2 - 2) + 6. Suppose a*c = 2 + 6. Suppose 75 = 3*m + y, -4*m + 2*y = -c*m - 50. Is m a multiple of