p - -2)*4/u a multiple of 6?
True
Suppose 0 = -26*z + 1579 + 111. Is z a multiple of 5?
True
Let j(x) = 2*x**2 - 5*x + 7. Let o be j(12). Suppose o = v + 4*v. Does 10 divide v?
False
Let z = -33 + 33. Suppose -u + 4*u = 0. Suppose 5*v - 2 - 3 = u, z = 3*x - 2*v - 34. Is 9 a factor of x?
False
Let s(h) = -19*h - 18. Let v(c) = c**3 + 17*c**2 - c - 21. Let w be v(-17). Is 10 a factor of s(w)?
False
Let c = 5 - 6. Let o(v) = 28*v**2. Is 7 a factor of o(c)?
True
Suppose 3*p = 15, 0*g + 4*g = -p + 17. Suppose -g*k - n = -21, 5*k + 2*n + n - 31 = 0. Let l = k + 0. Is 3 a factor of l?
False
Suppose 0 = -w + 166 - 42. Let s be 6/(-4) + w/8. Let m = s + -5. Does 6 divide m?
False
Let n = -110 - -451. Is 68 a factor of n?
False
Let f = -2602 + 1190. Is 1/((-6)/f) - (-5)/(-15) a multiple of 9?
False
Let d be (-2)/(-5) - 128/20. Does 16 divide (-2 - d)/((-2)/(-34))?
False
Let x = 35 + -20. Let n = 27 - x. Is n a multiple of 12?
True
Let d(x) = -13*x - 4. Suppose 2*v = -4*f + 74, -v + 1 = 2. Let w = 13 - f. Does 33 divide d(w)?
False
Let f = -1584 + 2304. Does 33 divide f?
False
Let j(n) = -16*n - 11. Let g(u) = u + 1. Let q(k) = 10*g(k) + 2*j(k). Is q(-1) a multiple of 3?
False
Suppose -6*f - 7*f = -3939. Is 5 a factor of f?
False
Suppose 5*a - 7*a + 2*d = -4862, a = 5*d + 2427. Does 61 divide a?
False
Suppose -9*o - 26400 = -49*o. Is 44 a factor of o?
True
Let y(z) = 2*z + 1. Let b be y(1). Suppose -5*r - 5*s = 5, 4*s = -5*r + 2*r - b. Let u(i) = -20*i**3 + i**2 + 3*i + 2. Is 4 a factor of u(r)?
True
Suppose 2*o = -3*g - 3*o + 83, -2*g + 54 = 4*o. Is 5 a factor of g?
False
Let k = 3 - -1. Suppose -5*j - k*c = 8, 4 = 3*j + 4*c + 12. Suppose 3*g - 2*g - 18 = j. Does 6 divide g?
True
Suppose -k = x + 5, -2*x + 3*x = k - 1. Is 20 a factor of ((-2)/k)/((-1)/(-186)*2)?
False
Let c(p) = 29*p**2 + 5*p + 27. Is 27 a factor of c(-6)?
False
Let y = 20 - 10. Let p be 2/(-3)*(-75)/y. Suppose -w + 17 = 3*i, 0 = 3*w + w - p*i - 51. Is w a multiple of 7?
True
Let n(r) = 62*r**2 + 97*r - 5. Is n(6) a multiple of 53?
True
Suppose 0 = -2*d + 6*d - 336. Suppose 6*i = 10*i - d. Suppose -4*h - 1 = -i. Is 5 a factor of h?
True
Suppose 0 = 4*i + 3*a - 4419, 8*a - 4415 = -4*i + 9*a. Is i a multiple of 12?
True
Let q = 280 + 221. Does 13 divide q?
False
Let b be -2 - (-1 + 1) - -33. Suppose -205 = -2*k + g, -2*g - 483 = -5*k + b. Does 8 divide k?
True
Is -1*(-1076 - 0)*(-44)/(-88) a multiple of 11?
False
Suppose 4 - 2 = c. Suppose -t + 21 = c*t. Suppose 2*d = 4*y + 182, -5*d + t*y = 2*y - 435. Does 29 divide d?
False
Suppose -a - 4 = -1. Let h be a/(-2)*(-40)/(-12). Suppose 0 = -3*m - 3*u + 37 - 13, 3*m - h*u - 24 = 0. Does 8 divide m?
True
Let d be (2 - 1)/((-3)/(-111)). Let v = d - 112. Does 5 divide 1/(-2) - v/6?
False
Let d = 232 - 118. Is d a multiple of 6?
True
Suppose 3*w = -4*f + 7*f - 408, 2*f - 276 = 4*w. Is f a multiple of 3?
False
Let x be 20/(-6)*(-6)/5. Let v be 0/(-4) - -3 - 3. Suppose v*w = x*w - 32. Does 4 divide w?
True
Let t be 3/(3/2) + 30 + -18. Let a(f) be the second derivative of f**5/20 - 7*f**4/6 + f**3/2 - f**2/2 - f. Is 16 a factor of a(t)?
False
Let r = 13 + -8. Let u be (-2 - 0) + (69 - r). Let q = u - 43. Is 4 a factor of q?
False
Let a(b) = 2*b - 10. Suppose 0 = -3*s + 2 + 13. Let m(d) = 5*d - 8. Let g be m(s). Is 24 a factor of a(g)?
True
Let f = -4 + -10. Let q = -13 - f. Let z = q + 53. Is 18 a factor of z?
True
Let q = 47 + -142. Let v = q + 135. Is v a multiple of 7?
False
Let r = 21 + -13. Suppose 12*m - r*m = -44. Let t = m - -19. Is 2 a factor of t?
True
Let h = 894 - 1746. Does 36 divide h/(-24)*1*4?
False
Let q(c) = c. Suppose 10 = -2*p - 8. Let h be q(p). Let b = h - -12. Does 3 divide b?
True
Suppose 2 - 34 = 4*u. Let n = u + 9. Does 7 divide 14/(-6)*n*-6?
True
Suppose -u - u + 6 = 3*j, 32 = 5*u - j. Let b(x) = -3*x**2 + 26*x + 1. Does 11 divide b(u)?
False
Let n = 660 + -360. Is n a multiple of 30?
True
Suppose 0 = -5*y - r + 13, -5*y + 0*r + 3*r + 21 = 0. Suppose -7 + 73 = y*c. Is c a multiple of 3?
False
Let h = 104 - 173. Let k = h - -27. Let r = 62 + k. Is 13 a factor of r?
False
Let n = -1044 + 1533. Is 20 a factor of n?
False
Is 20 a factor of (-9*23/(-12))/(3/96)?
False
Let y(u) = -18*u - 75. Is 20 a factor of y(-17)?
False
Let b(d) = d**2 - 8*d + 19. Let i = -29 + 30. Let p be 21 + -18 + i*6. Does 5 divide b(p)?
False
Let j(l) = -l**3 - 5*l**2 - 5*l. Let v = -32 - -28. Does 2 divide j(v)?
True
Suppose 0*l + 1365 = 13*l. Let m = l - 44. Is m a multiple of 14?
False
Let w be (-14)/(-3) + (-1)/(-3). Suppose 0 = -w*l + 16 + 4. Suppose -3*z - 3*m = -102, 3*m + 134 + 2 = l*z. Is z a multiple of 11?
False
Suppose 12*d - 634 = 14474. Is d a multiple of 26?
False
Suppose -o - 7 = -4*m + 7, 5*o - 2*m = 20. Suppose -o*b = -2*b + 100. Let n = b - -42. Does 14 divide n?
False
Let j(x) = -8*x + 59. Let d be j(7). Suppose 0*g = d*g + 9, 150 = v - 5*g. Is v a multiple of 10?
False
Suppose 20 = -5*f, -4*k - 14 = 5*f + 6. Suppose 4*o + 5*u - 15 = -k, 0 = 4*u + 4. Suppose 79 = o*g - 11. Is 8 a factor of g?
False
Suppose -21 = 2*g + g. Let i(r) be the second derivative of -r**5/20 - r**4/2 + 5*r**3/6 + 2*r**2 - 12*r - 2. Is i(g) a multiple of 9?
True
Let y = 4 - -11. Let d(h) = -h**2 + 16*h + 29. Does 22 divide d(y)?
True
Suppose -12886 = -8*c + 3*c + 4*j, 3*c - 7734 = 3*j. Is 11 a factor of c?
True
Suppose 3*m = 8 - 2. Let j = -130 + 132. Suppose -6*s + 147 = -m*s - q, s = j*q + 42. Does 11 divide s?
False
Is (-115260)/(-195) - (-2)/(-26) a multiple of 8?
False
Let s = 13 + -11. Suppose 112 = s*i + 5*i. Does 16 divide i?
True
Let y = 19 + -14. Suppose -2 - 5 = -2*s + m, -y*s + 4*m = -13. Does 14 divide 16/s*(-140)/(-8)?
True
Let w(k) = 8*k - 59. Is w(8) a multiple of 3?
False
Let g(b) = b + 13. Let o be g(-10). Let m(d) = 13*d - 3. Let w(a) = -a. Let c(i) = m(i) + 3*w(i). Is c(o) a multiple of 10?
False
Suppose t + 4*t + 2*n = 2046, n = -5*t + 2048. Is t a multiple of 10?
True
Let q(m) = 6*m**2 - 2. Let y be q(-1). Suppose 0 = -y*r + 7*r - 99. Is 14 a factor of r?
False
Suppose -4416 = -3*q - 3*s, 2*q + 5*s + 107 = 3051. Is q a multiple of 139?
False
Let o(i) = -i**3 + 11*i**2 + 13*i - 8. Let a be o(12). Suppose -5*h + 2*k = -653, 0 = -5*h - a*k - k + 625. Is h a multiple of 19?
False
Let d(v) = 7*v**2 - 60*v + 450. Is 18 a factor of d(9)?
False
Suppose 5*k + 19 - 124 = 0. Let u = -45 + k. Is 12 a factor of (-1 + 5)*(-186)/u?
False
Suppose 0 = b - 5*o - 1969, 5*o - 9935 = -9*b + 4*b. Does 35 divide b?
False
Suppose 5*m - 2096 = 2*y, 0*y + 1690 = 4*m + 5*y. Does 10 divide m?
True
Let m(w) be the first derivative of w**4/4 + 2*w**3 + w**2 - 4*w - 7. Is m(-5) a multiple of 11?
True
Suppose 40 + 5 = -5*x. Does 14 divide ((-21)/(-1))/(0 + x/(-66))?
True
Suppose 4*r - r = j - 311, -5*j = -4*r - 1544. Is j a multiple of 77?
True
Is 11 a factor of 3665/25 + (0 - (-10)/25)?
False
Suppose 3*t = -4*h + 43, -2*t - 2*t + h + 32 = 0. Suppose -8*r + 241 = t. Is r a multiple of 6?
False
Let q = 19 + -13. Let f(a) = 0 + 5*a + q + 3*a. Is 18 a factor of f(6)?
True
Let d(l) = -11*l - 8. Suppose o + 25 = -5*r, 2*o = -4*r - 18 + 4. Does 9 divide d(r)?
False
Let o be 4/2 - 2*23. Let n(z) = -z**3 + 19*z**2 + 44*z + 32. Let x be n(21). Let j = x + o. Does 6 divide j?
True
Let s(r) = -36*r**3 - r. Let y be s(-1). Suppose 0 = 5*x - 4*f - y, x + 3*f = -x + 24. Does 9 divide x?
True
Suppose 0 = 2*d - 4*d + 2*r + 6, 3*d = -4*r + 9. Let a be ((-26)/4)/(4/(-8)). Suppose d*v - 77 = a. Is 30 a factor of v?
True
Suppose -56*i + 57*i - 2240 = 0. Is 14 a factor of i?
True
Let v = -492 + 929. Does 29 divide v?
False
Let h be -2 + 6/2 + 1. Let k(i) = i**2 + 22*i + 120. Let o be k(-10). Suppose 2*f = -4, 94 = -o*y + 5*y - h*f. Does 6 divide y?
True
Let g = 36 - 34. Suppose g*a = 3*x + 47, 33 = 2*a - 5*x - 16. Is 22 a factor of a?
True
Let r = 2 - 1. Suppose 0 = h - 2*v + 4, -4*h - r = -2*v - 9. Suppose 15 = 2*d + h*z - 37, 5*z = -15. Is 32 a factor of d?
True
Suppose 2*k - 90 = 114. Suppose 6*s = 2*s + 236. Let o = k - s. Does 17 divide o?
False
Suppose -1 = -w - 3*y, 2*w + 4*y + 2 = 6. Suppose 2*n - 3*i = 37, w*i - 23 = -n + 23. Suppose 3*r - 7*r = -z + n, 3*z = -2*r + 36. Is z a multiple of 12?
False
Let w(g) be the second derivative of g**4 + 5*g**3/6 + 5*g**2/2 - 2*g. Does 21 