 of d(6)?
False
Suppose g - 2 + 1 = 0, 2*g = m. Suppose 5*p + 18 = -f + 4*p, 0 = 2*f - m*p + 20. Let x = -6 - f. Does 8 divide x?
True
Suppose -2*d - 1570 = -2*n, 1540 = 2*n - 6*d + 10*d. Does 6 divide n?
True
Suppose 5*u + 9 = -3*n - 15, -5*n - 2*u - 21 = 0. Let w be 1 + 100 + (n - 0). Suppose -112 = -3*k - 5*r, -4*k + 2*r + w = -k. Is k a multiple of 7?
False
Does 26 divide (-7050)/225*(-45)/2?
False
Let p(g) = 9 + 0*g + 2*g + 1 + 8*g**2 - 13. Let r(q) = q**2 + 9*q + 11. Let d be r(-8). Does 13 divide p(d)?
False
Suppose 2*m - 3*u - 3 - 21 = 0, 0 = -2*m - 4*u + 10. Is 8 a factor of (-7)/m - -1 - (-3768)/54?
False
Suppose -4*m + 2*m = -8. Suppose -49 = m*o + 79. Let z = o + 56. Is 8 a factor of z?
True
Let t be ((28/12)/(-7))/(2/30). Is 18 a factor of (-1)/5 - t/(125/1355)?
True
Let j(i) = i**3 - 31*i**2 - 24*i - 102. Is 14 a factor of j(32)?
True
Let a = 9 - 10. Does 13 divide (-1254)/(-8) + a + (-1)/(-4)?
True
Let j be (-2 + (-513)/(-6))*2. Let c = j + 1117. Is c/44 - (-2)/(-11) a multiple of 14?
False
Suppose -19*r + 23*r + 3462 = 2*f, 0 = -3*f + 3*r + 5190. Does 19 divide f?
True
Is 78 a factor of (-50)/4*(453/(-15) + -1)?
True
Let t = -14 - -15. Suppose 2*r = s - t - 1, 0 = -5*s - 2*r - 2. Suppose 0 = -2*i - 2*z + 48, 3*i + s*i - 64 = -z. Is 20 a factor of i?
True
Let v(q) = -q**3 + 30*q**2 + 28*q + 61. Does 106 divide v(21)?
False
Let t(m) = m**2 + 3*m + 4. Let u be t(-3). Let l(d) = 12*d**2 + 7*d - 16. Let f be l(4). Suppose -4*s - 4*j = -f, u*j - 19 = -7. Is 14 a factor of s?
False
Let b = 610 + -382. Is 19 a factor of b?
True
Let u(t) be the second derivative of t**5/60 - 5*t**4/24 + 3*t**3/2 - 4*t**2 + 9*t. Let d(s) be the first derivative of u(s). Is d(6) a multiple of 15?
True
Suppose 2*k + 2*l = 16, 1 = 4*k - l - 6. Suppose 2*v - 100 - 76 = k*y, -5*v + 2*y + 418 = 0. Is v a multiple of 41?
True
Let g(n) = -n**3 - 4*n**2 - n - 4. Let j be g(-4). Suppose 2*q + 12 = -j. Does 21 divide (q/10)/(2/(-70))?
True
Let a = 33 - 89. Is (-15)/75 + a/(-5) a multiple of 3?
False
Let h(c) = c**3 - 51*c**2 + 36*c + 39. Is 71 a factor of h(52)?
True
Suppose -4*b - 3*g + 11 = -4*g, -b - 2*g = -5. Does 15 divide (-9 + 0)*(b + -8)?
True
Let w(c) = c**3 - 8*c**2 - 19*c - 8. Let h be w(10). Suppose h*t + 4*n = 124, 2*t - 3*n = 6*t - 238. Is t a multiple of 7?
False
Let y(w) = -8*w - 45. Let q be y(-6). Suppose 0 = -s + q*b + 151, -b + 291 = 5*s - 528. Is s a multiple of 17?
False
Let d(t) = 3*t**3 + 18*t**2 - 19*t - 31. Let f(i) = -8*i**3 - 54*i**2 + 56*i + 92. Let c(n) = -11*d(n) - 4*f(n). Is c(17) a multiple of 2?
False
Let q(t) = -t**2 - 8*t - 5. Let g be q(-8). Let d(l) = 696 - 9*l + 2*l**2 + 13*l - 702. Does 10 divide d(g)?
False
Let y be (-2)/(-4)*36/(-18). Let w be -2 + (1 - -14 - y). Is (-10)/35 - (-102)/w a multiple of 7?
True
Suppose u + 8 - 28 = 2*p, 0 = p + 2. Suppose -o = 3*o + u. Let m = 21 - o. Does 5 divide m?
True
Let s(y) = y**2 - 3*y - 15. Let p be s(6). Let b = 26 + p. Is 10 a factor of b?
False
Suppose 10 = -3*t + 1. Let k = -3 - t. Suppose -a + 1 + 2 = k. Is a a multiple of 2?
False
Let n = 0 - -7. Suppose 6*p - n*p + 2 = 0. Suppose -83 + p = -3*b. Is 8 a factor of b?
False
Suppose 3*w - w = 0. Let s be w*(-2)/(-16)*4. Suppose s = z - 19 - 11. Is 15 a factor of z?
True
Let v be (1/(-3))/(2/(-30)). Suppose 4*x = -v*x + 1395. Is x a multiple of 17?
False
Let y(s) be the first derivative of -10*s**2 - 3*s + 10. Suppose 24 = -4*v - 3*u, 0*u = -5*v + 2*u - 7. Is y(v) a multiple of 8?
False
Let h be (-3)/12*-4 + 1. Suppose -58 = -h*t + 202. Is 26 a factor of t?
True
Let y(x) = -x**3 - 12*x**2 - 22*x + 8. Is 28 a factor of y(-10)?
True
Let r(p) = 8*p - 38. Let l be (-1 - -2) + (-50)/15*-3. Is r(l) a multiple of 19?
False
Is (7/1)/(5 + (-3632)/728) a multiple of 7?
True
Let m(x) = -x**3 - 5*x**2 + 7*x + 8. Let u be m(-6). Let f be -3 - (-2 + (-3 - u)). Suppose 119 = 2*y - 3*p, f*p = 5*y - 233 - 47. Does 24 divide y?
False
Let x = -820 + 840. Is 5 a factor of x?
True
Suppose -3131 = -19*z - 509. Is 6 a factor of z?
True
Let u(m) = 159*m**3 + m**2 - 2*m + 1. Does 53 divide u(1)?
True
Is 14 a factor of 45/(-75) - (6288/5)/(-6)?
False
Suppose 3 + 11 = -w. Let t be (-262)/w + (-2)/(-7). Let d = t + -8. Is d a multiple of 11?
True
Let c = 1363 - 610. Does 23 divide c?
False
Let c = -449 + 302. Does 36 divide (-9)/(3 + 0) - c?
True
Let u(d) = -d**3 + 4*d**2 - 4*d + 3. Is u(-8) a multiple of 11?
True
Is ((-21)/9)/((-1)/93) a multiple of 15?
False
Let l = 67 - 39. Let x be (l/(-12))/(1/(-3)). Is (-3)/2*(-11 + x) a multiple of 2?
True
Let r(c) = -3*c - 4. Let h be r(-7). Suppose 0 = g - 3*s + h, 5*g = -2*s - 0*s - 17. Let j = 26 + g. Does 18 divide j?
False
Suppose 0 = -p + 5, -595 = -5*j + 2*p - p. Is 5 a factor of j?
True
Let d = 99 + -109. Does 4 divide -7 - -4 - (d - 2) - -3?
True
Let a = -2199 - -2727. Is a a multiple of 33?
True
Is 9 a factor of 15/(-25) + 686/10 + 2?
False
Let k be (-2)/(-9) - (-3336)/54. Suppose -k = -v - 5*r, -r - 106 = -4*v + v. Suppose 9*q - 8*q = v. Is 9 a factor of q?
False
Let x(k) = k**2 - 4*k - 2. Let y = 0 + -6. Does 23 divide x(y)?
False
Let l be (-22)/5 - (-4)/10. Let d be (0 + 1)*(l - -6). Suppose -k + 45 = d*k. Is k a multiple of 5?
True
Let d be (-43)/(-4)*(22 - 10). Suppose 5*x = 4*f + 161, -2*x + 6*x - 3*f = d. Let b = -23 + x. Is 7 a factor of b?
False
Let i(n) = 6*n**3 - 11*n**2 + 7*n - 48. Is 10 a factor of i(7)?
True
Suppose 17*x = 13*x + 8. Is (x/(-6))/(2*(-2)/228) a multiple of 3?
False
Let u(z) = 4 + 31*z - 43*z + 20*z - 2*z**3 - 3 + 30*z**2. Is u(15) a multiple of 11?
True
Let p(r) = r**3 + 20*r**2 - 28*r - 3. Does 8 divide p(-19)?
False
Let q = 224 - 77. Does 4 divide q?
False
Let a = 6 - 3. Suppose -a*m = -3*u + 3, -u - 17 + 2 = 3*m. Is (m/(-3))/(4/66) a multiple of 11?
True
Suppose 18 = i + 2*r, 0*r = 3*i - r - 68. Does 13 divide -3*(-1 - -1 - i - -3)?
False
Let x(z) = -5*z - 1. Let b be x(-1). Let v be ((-12)/28)/((-1)/7). Suppose -3 = -2*o - v*m, -m - b*m - 16 = o. Is o a multiple of 8?
False
Let i(b) = 30*b - 7. Let t be i(1). Let m = -2 - 2. Is 5 a factor of (m + t - -2) + 4?
True
Is -1 - (-1119)/21 - 12/42 a multiple of 26?
True
Suppose -2*z = -l - 3827, 3*z - 5729 = 3*l + 10. Is 33 a factor of z?
True
Suppose -3*u + 93 = -48. Is u a multiple of 36?
False
Let l = -584 + 928. Is 4 a factor of l?
True
Let c(q) be the first derivative of q**3/3 + q**2/2 - q - 2. Let s be c(1). Does 22 divide (-3 - (s + -51)) + 3?
False
Let q be 72/10 + ((-4)/5)/4. Suppose -2*y + q*y + v - 431 = 0, 0 = -2*y - 4*v + 176. Is 40 a factor of y?
False
Suppose 0*q + 69 = -3*q. Let t be (9/(-12))/(2/16). Let s = t - q. Does 5 divide s?
False
Let g be (2 + 0)*5*(-5)/(-50). Let j(z) = -z**2 + 11*z - 6. Let y be j(5). Is 12 a factor of -1*(g - 2)*y?
True
Let i(g) be the third derivative of -g**5/60 - g**4/2 + 11*g**3/6 - g**2 - 12. Let z(p) = p - 8. Let a be z(0). Does 23 divide i(a)?
False
Is (-3)/(-8) + 41067/312 a multiple of 66?
True
Let i(y) = y**3 - 3*y**2 + 4*y - 2. Let j be i(2). Suppose 4*g - j*g + 94 = 5*z, -3*g = z - 29. Suppose -4*n + z = -0. Is 2 a factor of n?
False
Suppose -c - v = -34 + 10, -c = -2*v - 9. Let l be (-1 - c)*(-5)/20. Suppose -116 = -l*u + 44. Is 16 a factor of u?
True
Let a(y) = -y**2 + 13*y + 21. Let p(t) = 3*t. Let o(q) = -2*q. Let w(x) = -8*o(x) - 5*p(x). Let v(i) = -a(i) - w(i). Is 11 a factor of v(16)?
True
Suppose 14472 = 290*g - 266*g. Does 70 divide g?
False
Is 3 a factor of -3*(-9)/(-36)*-4?
True
Let q(c) = -c**3 - 27*c**2 + 59*c - 214. Is 2 a factor of q(-30)?
True
Let z(l) = l**3 + 11*l**2 - 5*l - 14. Is 10 a factor of z(-11)?
False
Suppose 5*m + f + 117 = -2*f, f = -4*m - 95. Let j be (1 - -2)*(-40)/m. Suppose j*u = -u + 84. Is u a multiple of 14?
True
Suppose 0 = -0*q + 8*q + 1000. Let r(p) = -15*p + 4. Let x be r(5). Let n = x - q. Does 27 divide n?
True
Let l(y) = 12*y**2 + y**3 - 1 - 3*y - 2*y - 3. Let u(g) = g**3 - 17*g**2 + 12*g + 52. Let o be u(16). Does 14 divide l(o)?
True
Let q(b) = b**3 + 11*b**2 - 31*b - 35. Let g(y) = -y**3 - 11*y**2 + 31*y + 34. Let t(k) = -5*g(k) - 4*q(k). Does 13 divide t(-13)?
False
Suppose 3330*k + 10779 = 3333*k. Is k a multiple of 21?
False
Let g = -52 + 55. Suppose -4*a + 96 = g*c - 0, -104 = -4*a - c. Is 5 a factor of a?
False
Suppose -2