e of 6?
True
Let s = -81 - -32. Is -8 - -4 - -3*1 - s a multiple of 8?
True
Let r(o) = 3*o + 32. Let f be r(8). Suppose -5*z - 15 = 0, -408 = -5*x - 0*x + z. Let q = x - f. Is q a multiple of 15?
False
Does 124 divide -8908*11/(-44) + -6?
False
Let v(a) = a**3 - a**2 + a + 1. Let l(j) = 4*j**3 - 7*j**2 + 4*j + 7. Let o(p) = l(p) - 3*v(p). Let f be o(4). Suppose 0 = 9*m - f*m - 27. Does 14 divide m?
False
Let c be 2*7*(-1)/(-2). Let x(g) = g**3 - 6*g**2 - 6*g - 4. Let r be x(c). Does 4 divide 3/(-2 + 7/r)?
False
Let k(z) = -z**3 - 10*z**2 - 10*z - 4. Let g be k(-9). Suppose r = 5*c - 4*c - 16, g*c - 94 = -2*r. Is 9 a factor of c?
True
Suppose 0 = -5*j + 27 + 133. Let g = j - -88. Is 20 a factor of g?
True
Is 4 a factor of (-30)/(-9)*(-8364)/(-205)?
True
Let c = 435 + -111. Is c a multiple of 12?
True
Let q = 3 - -28. Suppose -68 = -11*o + q. Is o a multiple of 9?
True
Let r(b) = 366*b**2 - 5*b - 6. Is r(-1) a multiple of 75?
False
Let i = -37 - -379. Is 4 a factor of i?
False
Let n = -58 + 63. Suppose n*q - 683 = -2*j - j, 2*q - 1170 = -5*j. Is 36 a factor of j?
False
Let x = 323 + -160. Does 24 divide x?
False
Let g(x) = 21*x - 6. Suppose 28 + 2 = 5*p. Is g(p) a multiple of 24?
True
Let z = -17 + 35. Let y = z - -31. Let j = y - 1. Is j a multiple of 24?
True
Suppose -5*a = 0, 11*h - 3*a = 7*h + 16. Suppose 3*p - 4*w = 296, -p = -h*w + 28 - 116. Is p a multiple of 13?
True
Does 17 divide -7 + -3*(-501 - 0)?
True
Suppose 20 = 2*a + 2*a. Suppose 0 = -f - 5*h + 16 - 3, 2*f - h = 4. Suppose -89 = -f*l - a. Does 14 divide l?
True
Let j be (-1 + 1 + 1)*5. Suppose 2*g - 14 = -0*g. Suppose -2*k - 65 = -j*p, 2*p + 2*k + k - g = 0. Does 4 divide p?
False
Let i(m) = -66*m - 306. Is i(-6) a multiple of 3?
True
Let z = 14 + -14. Suppose -s + 2*w + 398 = 0, z = -4*s - 2*w + 4*w + 1586. Suppose 0 = 5*q - q - 4*y - s, 0 = -4*y - 16. Is q a multiple of 28?
False
Let p(q) be the third derivative of q**6/720 + 13*q**5/120 - 11*q**4/24 - 4*q**2. Let m(a) be the second derivative of p(a). Does 8 divide m(8)?
False
Let n be (-1 + 0)/(2/(-4)). Suppose n*b - 64 = -28. Is 18 a factor of b?
True
Suppose 689*o = 696*o - 12012. Is 66 a factor of o?
True
Let s = 51 + -31. Does 10 divide ((-60)/6)/((-2)/s)?
True
Suppose 15 = 11*r - 18. Suppose 0 = r*a + 6, 0*z - 5*a = -5*z + 720. Is 13 a factor of z?
False
Suppose 5*q = w + 3*q + 6, 5*w + 22 = 2*q. Let p(o) = 3*o**2 - 3*o + 9. Is 23 a factor of p(w)?
True
Suppose -2*y - 1364 = 5*q - 3365, q - 405 = -2*y. Does 19 divide q?
True
Does 2 divide 4970/30 + 4/(-6)?
False
Let j(f) = 7*f - 16. Suppose 8*x + 12 = 4*x. Let i(g) = -4*g + 8. Let v(y) = x*j(y) - 5*i(y). Does 4 divide v(-9)?
False
Suppose 3*g - 4*j = 1978, -5*j - 3305 = -9*g + 4*g. Is 18 a factor of g?
True
Let r(y) = 60*y - 552. Is r(29) a multiple of 33?
True
Suppose 6*i - 5*o = 2*i + 1824, -2*i + 2*o + 912 = 0. Does 29 divide i?
False
Suppose -4*s - 28 = -3*w, 0*w = -2*w - 4*s + 52. Is 2 a factor of (2*12/w)/(1/6)?
False
Let c = -2635 + 2985. Is c a multiple of 50?
True
Let v(n) = 3*n + 15. Let a be v(0). Does 23 divide a/(-6)*-10 + -2?
True
Let o(g) = -14*g - 6. Let s be o(-8). Let a = s + -53. Is 11 a factor of a?
False
Suppose -3*i = -0*i - 5*n - 5328, 0 = 4*i - 5*n - 7104. Is i a multiple of 16?
True
Let h = -10 - -28. Suppose h = 2*t - 3*m - 6, m - 4 = 0. Is t even?
True
Let m(y) = 2*y + 18. Let n be m(-14). Let h be -4 + (n - -2)/(-1). Does 14 divide 2 - (-22 + 4)*h?
False
Suppose -3*i = -4*i - 15. Let j = i - -42. Suppose 246 = 3*m + j. Is 20 a factor of m?
False
Let g(l) = -l**2 + 14*l - 13. Let x be g(13). Suppose -5*i + 6*i - 110 = x. Does 17 divide i?
False
Suppose 9*h = 10*h + 2, -4*h = -4*b + 17284. Is 11 a factor of b?
False
Let o(y) = -8*y - 64. Let r(v) = 16*v + 11*v - 26*v. Let w(h) = -o(h) - 4*r(h). Does 16 divide w(0)?
True
Let z(d) = -6 + d**2 + d**2 + d + 0*d**2. Suppose 7 = 3*p - m, 3*p - 5 + 2 = -3*m. Is z(p) a multiple of 3?
False
Let a(g) = -g**2 - 49*g - 113. Does 15 divide a(-38)?
False
Let r(u) = -u**2 - 82*u + 42. Is 9 a factor of r(-61)?
True
Let c = -15 + 15. Suppose 106 = -3*d + j, -4*j - 205 = -c*d + 5*d. Let u = 121 + d. Is 26 a factor of u?
False
Let r = -149 + 441. Is 12 a factor of r?
False
Suppose l = -2*o - 4*l + 181, l = -o + 89. Is o a multiple of 11?
True
Suppose 9*f + 35200 = 25*f. Does 40 divide f?
True
Is 5 a factor of 11*(-1*1)/((-7)/280)?
True
Suppose 3*r + 44 + 34 = 0. Let o be 1 + (-1 - 46)*10/(-10). Let u = r + o. Is 4 a factor of u?
False
Suppose 43*z - 44*z + 5*a = -1775, -3*a + 15 = 0. Is z a multiple of 25?
True
Let f = -4 + 10. Suppose f*n + 91 = 397. Is n a multiple of 17?
True
Suppose -540 = 2*j - 7*j. Suppose 0 = -2*f + 5*f - j. Is f a multiple of 6?
True
Suppose 0 = 3*l + 105 + 129. Let z = l + 222. Is z a multiple of 12?
True
Suppose 3*q - 51 = l, -4*q = -0*q - 5*l - 79. Let v be (-2)/1 - q*-1. Does 25 divide (-1224)/(-28) - (-4)/v?
False
Let w(o) = 10*o**3 + 8*o - 9. Does 23 divide w(3)?
False
Let o(l) = 51*l**3 - l**2 + 10*l - 14. Is 82 a factor of o(2)?
True
Suppose 29*f = 2905 + 42335. Does 24 divide f?
True
Suppose 4*b - 1344 = 4*p, 22*b - 23*b = 4*p - 336. Is b a multiple of 3?
True
Let x = 73 + -78. Is (-1 - 19)/x - -12 a multiple of 3?
False
Suppose -6*a - 19*a = -6000. Is 10 a factor of a?
True
Let v be 2 + -133 + 0 - -3. Is -2 - 0 - v/4 a multiple of 10?
True
Let u be (311 - -3 - 4) + 2. Is 20 a factor of (u/20)/(1/(-15)*-3)?
False
Let m = -19 + 15. Let w be -4 - (24/m)/1. Suppose 154 = 3*u + w*c, -4*c - 46 = -u - 2*c. Does 22 divide u?
False
Let m = -159 + 375. Is m a multiple of 97?
False
Let q(y) = -2*y**2 - 2*y + 2. Let w be q(1). Is 32 a factor of 85 + (3 - (-6)/w)?
False
Let d(i) = 4*i + 74. Let h be d(0). Suppose 0 = 2*p - 5*v - 256 + h, 2*p - 2*v - 188 = 0. Is p a multiple of 22?
False
Let g(d) be the first derivative of -d**4/4 - 4*d**3 + 9*d**2 - 32*d + 11. Is g(-14) a multiple of 12?
True
Let a(r) = -r**3 - 2*r**2 - 2*r - 2. Let n be ((-22)/33)/(2/9). Is 4 a factor of a(n)?
False
Let v(a) = -a**3 + 14*a**2 + 21*a - 96. Does 22 divide v(14)?
True
Suppose z + 5*u - 27 = -6, 0 = 2*z + 5*u - 17. Does 17 divide 35 - (-6 - z)/(-2)?
True
Suppose -l - 3*q - 1 = 0, 2 + 2 = 4*q. Let x(h) = -24*h**3 + 2*h - 2. Let f be x(1). Let z = l - f. Is z a multiple of 10?
True
Let l be (-1294)/(-30) - (-28)/(-210). Suppose 128 + l = 3*j. Is j a multiple of 10?
False
Let u(z) be the second derivative of z**7/840 - z**6/72 + z**5/20 - z**4/8 + 4*z**3/3 - 3*z. Let t(j) be the second derivative of u(j). Is 5 a factor of t(4)?
True
Let m(y) = 6*y + 12. Let p(b) = -8*b - 6. Let v be p(-2). Does 8 divide m(v)?
True
Let i be 34*((-6)/(-4) - 0). Suppose -2*v = -43 - i. Suppose -3*y = -19 - v. Is 10 a factor of y?
False
Suppose -5*w = -6*w + 2*a + 746, -4*w + 3*a + 2994 = 0. Is w a multiple of 75?
True
Suppose 3*h + 79 = 4*h - 2*o, 83 = h + 2*o. Suppose 0*c - h = -3*c. Is 9 a factor of c?
True
Let y = 49 - 38. Let i = y - -16. Is 4 a factor of i?
False
Suppose 2*u - 1578 = -3*o, -3*o - 3388 = -5*u + 599. Is 21 a factor of u?
False
Suppose -4*b + 3*o = -2680 - 197, -716 = -b + 4*o. Does 48 divide b?
True
Does 7 divide (-4 - (-4)/2) + (-43)/(-1)?
False
Let h(x) be the second derivative of x**3/6 + 37*x**2/2 + 13*x. Is 10 a factor of h(-7)?
True
Let d be (-5 - -7)/(6/3). Suppose -t + d = -10. Is t a multiple of 3?
False
Let s(b) be the first derivative of -b**2 + 5*b + 7. Let r be s(0). Suppose -5*o = -0*o + g - 134, r*o = -4*g + 131. Is 9 a factor of o?
True
Let n(c) = -c**2 + 8*c + 2. Let s be n(8). Suppose 6*b = -s + 98. Is 3 a factor of b?
False
Let r = 345 - -114. Does 51 divide r?
True
Suppose f = -7 + 147. Suppose -12*y + 2144 - f = 0. Is y a multiple of 7?
False
Suppose -430 = -21*b + 2573. Is b a multiple of 13?
True
Let p(k) be the third derivative of -k**6/40 - 37*k**5/60 + 17*k**4/24 + 11*k**3/6 + 45*k**2. Does 8 divide p(-13)?
True
Suppose -5*c + q - 186 = 0, 190 = -5*c - 0*q + 5*q. Let i = c + 80. Let x = 5 + i. Is 16 a factor of x?
True
Let h be (-1)/((-3)/(-9))*-1. Suppose 1 = -h*d + 13. Suppose 20 = 2*p + 3*m, 2*p + 3*p + d*m = 36. Is p a multiple of 4?
True
Let s(p) = p**3 + 5*p**2 - 8*p - 7. Let j(q) = q - 9. Let z be j(4). Does 11 divide s(z)?
True
Suppose 13734 = 12*s - 7*s + q, -13737 = -5*s + 2