n?
True
Suppose 10*m + 68 = -62. Let o(y) = y**3 + 13*y**2 - 3*y - 5. Is o(m) a multiple of 11?
False
Is 431 - (11/8 + (-9)/24) a multiple of 27?
False
Let h(f) = -f**2 + 9*f - 10. Let j be h(7). Suppose -j*x = -4 - 72. Is 15 a factor of x?
False
Let h be (4/(-3))/4*(1 - 1). Let f = 36 + h. Is f a multiple of 3?
True
Let j = -57 + 112. Suppose 3*z - 208 = -5*i - j, 4*i + 3*z = 120. Is i a multiple of 11?
True
Let s be (-12)/(-28) - (-36)/14. Suppose -69 + 9 = s*o. Let q = o - -46. Is 17 a factor of q?
False
Let q = 21 - 17. Suppose -t - 4*a + q = 1, -a - 29 = -4*t. Let x(d) = d**3 - 5*d**2 - 5*d - 3. Is x(t) a multiple of 15?
True
Let g = -167 + 237. Suppose v = j - g, -v = 4*v + 15. Does 6 divide j?
False
Suppose 536 = -5*z + 2521. Is 14 a factor of z?
False
Let o = -14 - -33. Suppose -22*w - o = -23*w. Is w a multiple of 12?
False
Let a(w) = -39*w**3 - 3*w**2 - 2*w - 4. Is a(-2) a multiple of 30?
True
Let d = -194 - -309. Suppose 0 = 2*f - 13 - d. Does 10 divide f?
False
Let z(x) = -4*x**2 - 21*x + 4. Does 3 divide z(-4)?
True
Let o be (-70)/63*21/2*-30. Suppose -5*h + o = 15. Is h a multiple of 18?
False
Suppose 8*g - 5090 = -1706. Is g a multiple of 65?
False
Let b be 58/18 + (-2)/9. Suppose 0 = -x + 4*x + b*s - 12, -20 = -5*x + 4*s. Suppose x*t - 6*t = -14. Is 7 a factor of t?
True
Suppose -3*y = 5*r - 51, -r + 5*y - 37 = -4*r. Suppose b = 32 - r. Is b a multiple of 23?
True
Let m = 287 - 124. Is m a multiple of 17?
False
Let n = -1197 - -1835. Is 58 a factor of n?
True
Let z be (((-116)/12)/(-1))/(1/33). Suppose -z = -10*y + 161. Is 6 a factor of y?
True
Suppose -3*l - 36 = -l - 4*n, n + 19 = -3*l. Let h = l + 86. Suppose 2*v - 23 - h = -j, v + 5*j - 37 = 0. Is 13 a factor of v?
True
Suppose -155 + 1 = 11*v. Let r = v - -41. Is r a multiple of 7?
False
Let j(t) = -2*t**2 + 16*t + 18. Let f be j(9). Suppose f = -88*c + 86*c + 528. Is 24 a factor of c?
True
Let h = -1113 - -3513. Is h a multiple of 50?
True
Suppose 2*h = -h + 81. Let w be 4/(-18) - (-168)/h. Suppose -11*o = -w*o - 120. Is 8 a factor of o?
True
Does 39 divide 6/(-48)*-78*24?
True
Let p(l) = -l**2 - 13*l - 7. Let h be p(-13). Let z be 3/h - (-456)/84. Suppose z*q - 33 = -4*c, 2*c + 7 + 8 = q. Is q a multiple of 3?
True
Let d be (63/(-2))/(6/(-12)). Let f = 70 - d. Is 2 a factor of f?
False
Let m(f) = f**3 - 6*f**2 - 6*f - 5. Let v be m(7). Suppose -4*q = -5*k - 17 + 6, -8 = -v*q. Does 14 divide -1 + 1/(k/33)?
False
Suppose 0*f + 40 = 5*f. Let d = -3 + f. Let w = d + 9. Is 7 a factor of w?
True
Let m(g) = g**3 + 4*g**2 + 2. Let p be m(-4). Suppose -2*f + 38 = -2*z, p = -0*z - z. Let l = -1 + f. Does 16 divide l?
True
Let r(j) = -j**3 + 7*j**2 - j + 4. Suppose -4*k - 15 = 4*a + 13, -5*a = -5. Let i be (-50)/(-8) + 2/k. Does 17 divide r(i)?
True
Suppose 4*x - 8 = 0, 2*t - 6 = -0*t + 5*x. Suppose t*y = 4*y + 616. Does 11 divide y?
True
Let f(x) = -x**2 - 13*x + 3*x**2 + 28 - x**2. Does 14 divide f(13)?
True
Let c = 599 + -260. Is c a multiple of 23?
False
Let z = 218 - -1054. Is 24 a factor of z?
True
Let r(q) = 136*q + 60. Does 21 divide r(11)?
False
Let u be 25/(20/88*4/10). Suppose 5*r - u = 5*c, 4*r + 5*c + 0*c - 175 = 0. Is 10 a factor of r?
True
Suppose -2*l = -d - 4*l - 20, -5*d - l = 91. Let u = d + 15. Let y = 12 - u. Does 6 divide y?
False
Let c(y) = -1 + 6 + 2 - 4 - 22*y. Is c(-1) a multiple of 15?
False
Suppose 21*h - 17*h - 960 = 0. Is h a multiple of 60?
True
Let p = 819 + -776. Is 41 a factor of p?
False
Let r(o) = -o**2 + 10*o - 3. Let b(m) = m**3 + 12*m**2 + 11*m + 6. Let c be b(-11). Is r(c) a multiple of 7?
True
Suppose -i = 8*i - 360. Suppose -i = 5*t - 13*t. Does 5 divide t?
True
Let i = -2 + 6. Let w(g) be the second derivative of g**4/3 - 4*g**2 + 34*g. Is 24 a factor of w(i)?
False
Let z(b) = 93*b - 15. Is z(4) a multiple of 21?
True
Let d be ((-1)/(-2))/(2/(-20)). Let o = d + 7. Suppose 0*r = o*r - 100. Does 6 divide r?
False
Let k(g) = 43*g. Let a = -68 + 70. Does 43 divide k(a)?
True
Let i(b) = -b**2 - 5*b + 10. Let j be i(-6). Suppose 4*y = -5*r - 479, -5*y - j*r - 354 = 247. Let l = y + 189. Is 22 a factor of l?
False
Let s = -3377 + 5078. Does 63 divide s?
True
Let r = -39 - -51. Does 5 divide (32/r)/((-12)/(-90))?
True
Let l(g) = -37*g - 9. Is l(-12) a multiple of 6?
False
Suppose 3*t - 18 = -m, -5*t + m = -3*t - 7. Suppose t*i - 4 - 1 = 0. Suppose v + i - 64 = 0. Is 24 a factor of v?
False
Suppose 4*y - 1292 = 5*a, 4*y - 4*a - 995 = 297. Does 19 divide y?
True
Let v(w) = 22*w - 11. Is 15 a factor of v(8)?
True
Let w = 1235 + 845. Is 20 a factor of w?
True
Let p = 1169 - 629. Is p a multiple of 15?
True
Suppose -696 = -2*f - 4*f. Is 58 a factor of f?
True
Suppose -11 = -2*a + 3*k, 5*k - 3*k - 14 = -4*a. Suppose -4*v + 136 = 2*o - 20, a*v = -4*o + 324. Does 15 divide o?
False
Is 15 a factor of 0 + (-8246)/(-26) + 4/(-26)?
False
Is (492/9)/(18/135) a multiple of 10?
True
Suppose 4*w = -4*f + 564, 3*w - w - 428 = -3*f. Let z = -14 + f. Is 33 a factor of z?
True
Suppose d = -5*m + 139, -3*d = -6*d + 4*m + 360. Is d/2 - 2*-1 a multiple of 21?
False
Suppose 22*t + 28 = 20*t. Is t/(-4)*(-6)/(-3) a multiple of 2?
False
Suppose -3*o = o - 16. Let l(a) = -a**2 - a + 3. Let t be l(0). Suppose -p - t*p + 60 = o*y, 93 = 5*p - 4*y. Is p a multiple of 12?
False
Let x = -420 + 714. Is x a multiple of 21?
True
Let b = -475 + 615. Is b a multiple of 7?
True
Let b(z) = 362*z + 74. Is 42 a factor of b(2)?
True
Let h(f) be the second derivative of 31*f**4/12 - f**3/6 - f**2/2 - f. Let r be h(-1). Let p = r - 20. Is 6 a factor of p?
False
Does 17 divide 16 + -9 - 3*-77?
True
Let l = -4 - 6. Suppose -2*n + 5*s - 24 = 128, -5*n = 4*s + 314. Let y = l - n. Is y a multiple of 28?
True
Let q = -13 + 35. Suppose 0 = -2*b + 68 - q. Suppose 0 = -z - 4, -3*a - b = -4*a - z. Is 7 a factor of a?
False
Let g(h) = 9*h**3 - 2*h**2 + h. Suppose w + w = 28. Let p = 15 - w. Does 6 divide g(p)?
False
Let z = 31 - 31. Suppose z = -v + 11 + 30. Is 30 a factor of v?
False
Let c(g) = 6*g**2 + 21*g - 51. Does 6 divide c(5)?
True
Let w be (-12)/16 + 11/4. Let p be (w - 3)/((-12)/(-252)). Is 7 a factor of -2 + 4 - (2 + p)?
True
Let v(f) = -f**3 - 5*f**2 + 7*f + 6. Let w be v(-6). Suppose 3*s - 130 = -4*k - 2, -3*s - 5*k + 133 = w. Is 12 a factor of s?
True
Suppose 4*b - 171 = -7. Let q = b + 61. Does 20 divide q?
False
Let h = -331 - -475. Is h a multiple of 4?
True
Let b = 1658 - 1023. Suppose -12*u = -421 - b. Is u a multiple of 22?
True
Suppose 29*q - 6528 = 21*q. Is q a multiple of 17?
True
Suppose -52 = -4*s + 4*v, -s + 2*s + 4*v - 38 = 0. Let u be 4/s + 3666/27. Is 17 a factor of ((-6)/8)/((-2)/u)?
True
Suppose -5*d - 3*z - 6 - 1 = 0, 2*d - 5*z + 9 = 0. Let u(l) = -2*l + 1. Let a be u(d). Suppose 20 = -5*h, a*h = 5*k - 320 - 165. Is 31 a factor of k?
True
Let b = 48 + -26. Is b a multiple of 6?
False
Let k(o) be the third derivative of -o**7/840 - o**6/180 + o**5/30 - 7*o**4/24 - o**3/6 - 6*o**2. Let h(v) be the first derivative of k(v). Does 6 divide h(-4)?
False
Suppose -76*k = -71*k - 1415. Suppose 3*d - k = 35. Is d a multiple of 15?
False
Let u = -1207 + 3180. Is u a multiple of 73?
False
Let w be (-42)/12*-2*203. Suppose 287 - w = -9*n. Is 21 a factor of n?
True
Suppose 4*f - x - 787 = 0, 5 = -2*x - 1. Is f a multiple of 14?
True
Let a(j) = j**3 + 9*j**2 + 6*j - 2. Let k be ((-24)/10)/((-33)/(-110)). Is 14 a factor of a(k)?
True
Let i = 149 + -85. Let g be (i/(-10))/((-1)/5). Let a = -7 + g. Is 10 a factor of a?
False
Let z(m) = 2*m**2 - 3*m - 2. Is 24 a factor of z(10)?
True
Let y(k) = k - 15. Let q be y(-7). Is 4 a factor of (11/q)/((-2)/168)?
False
Suppose -3*f + 845 = 5*p, 4*f + 23*p - 1144 = 25*p. Does 19 divide f?
True
Let g(y) = 2*y**2 + 17*y + 10. Let m be g(-8). Suppose -5*o - m*x + 762 = 0, 3*o = -2*o - 5*x + 765. Does 19 divide o?
True
Let k(c) = -2*c**2 - 2*c - 3. Let b be k(-6). Let x be (-18)/b - (-4616)/14. Suppose x = 5*g - 0*g. Is 22 a factor of g?
True
Let c = 1220 - 910. Is 10 a factor of c?
True
Let w(i) = -i - 1. Let g(d) = -d**3 - 6*d**2 + 9*d + 8. Let s be g(-7). Let q be w(s). Suppose -119 = q*y - 419. Does 30 divide y?
True
Let n be 146/6 + (-2)/(-3). Suppose -6*j - n = -1. Is -14*((-14)/j - 4) a multiple of 3?
False
Suppose 2*f = -3*f + 10. Is -1 + 20 