 ((-1)/1)/4*-212. Let k = o - 36. Let i = k - 6. Is 3 a factor of i?
False
Suppose 0*c = -f + 3*c + 35, f = 4*c + 40. Suppose 4*u - f = 9*u. Let b(v) = v + 8. Is b(u) a multiple of 2?
True
Let r(x) = -2*x**3 + 17*x**2 - 14*x + 53. Is 2 a factor of r(8)?
False
Let u = 53 - 51. Does 34 divide (-3 + u)*(-247 + 0)?
False
Let x(z) = z + 6. Let t be x(4). Suppose 4*v + 1218 = t*v. Does 36 divide v?
False
Let p(z) = -z**3 - 5*z**2 - 3*z - 12. Let x be p(-5). Suppose -35 = n + 4*n + a, -2*a = 2*n + 22. Is (7*-3)/(x/n) a multiple of 21?
True
Suppose -13*m = -3*m - 7000. Does 2 divide (m/15)/(-7)*-3?
True
Suppose -4*q = -4*c - 676, 44*c - 49*c = 2*q - 345. Is q a multiple of 5?
True
Suppose -5*m + 3162 = 2*b, 0 = 2*m - 0*m + 3*b - 1256. Suppose -3*c - 5*w + m = 0, 2*w + 1078 = 5*c + 5*w. Is 12 a factor of c?
False
Suppose -2*d - 2*d - 4*n + 1404 = 0, 705 = 2*d + n. Does 22 divide d?
False
Suppose -n + 420 = -i - 0*i, -4*n - 5*i + 1644 = 0. Is n a multiple of 8?
True
Let g(q) = 376*q + 138. Is 5 a factor of g(2)?
True
Let o = -9 - -12. Let l be 1/(o/2 + -1). Suppose 0 = -5*d - 5*r + 25, 17 = 2*d - d - l*r. Is d a multiple of 9?
True
Suppose -12 = -8*n + 12. Suppose n*m + 120 = 7*m. Does 15 divide m?
True
Let h = -15 + 5. Let f = -6 - h. Is 20 - (f*-1 - -3) a multiple of 6?
False
Let f = -106 + 123. Suppose -f = y - 29. Does 12 divide y?
True
Suppose 5*q - 14 = 1. Suppose -84 + 6 = -2*j - 5*i, -i - 151 = -q*j. Let k = -27 + j. Is 6 a factor of k?
False
Suppose 5*o = 689 + 2866. Suppose 3*g - 6*g = -o. Is g a multiple of 19?
False
Is 17 a factor of 1/5 + (-2236)/(-20)?
False
Let a(c) = -c**2 + 4*c. Let k be a(3). Suppose -k*u - 2*w = -35, 0 = 3*u - w - 26 + 3. Does 9 divide u?
True
Suppose 4*d - 37 + 17 = 0. Suppose 4*h - 3*h + g - 5 = 0, d*g = -3*h + 19. Suppose 0 = -m + l + 37, 19 - 88 = -2*m + h*l. Is m a multiple of 13?
False
Let a(y) = 9*y**3 - y. Let i be a(1). Let g(l) = -l**2 + 10*l + 4. Is 10 a factor of g(i)?
True
Let d(m) be the second derivative of m**5/20 - 2*m**4/3 + 7*m**3/6 + 5*m**2/2 + 4*m. Let b be d(7). Is (-16)/(-2) - (b - 3) a multiple of 3?
True
Suppose -c = -5, 0 = -3*b - 2*c - 8 - 3. Is 5/b - -1 - (-3825)/63 a multiple of 7?
False
Let b(d) = d - 14. Let s be b(4). Does 24 divide s*(-11 + 4 - -2)?
False
Suppose -3*a = -34 + 1. Suppose b + 800 = a*b. Does 19 divide b?
False
Let d = 2044 + 50. Is 13 a factor of d?
False
Suppose -3*j + 8 = -1, -3*j - 27 = -3*f. Suppose -36 = -f*q + 10*q. Is 6 a factor of q?
True
Let i be 2*((-130)/(-12) + (-6)/18). Let l = i + 0. Is 7 a factor of l?
True
Let m = 6437 - 4205. Does 24 divide m?
True
Let v be (8/4 - 1) + 1. Let n(u) = 3*u + 3*u**2 - 8 + 3 - v. Is n(-4) a multiple of 14?
False
Suppose -5*h + 19 = -16. Let n = h + 16. Is 2 a factor of n?
False
Does 7 divide ((-3)/((-6)/4))/(15/525)?
True
Let a = -10 + 28. Let y be 15 - a - (-7 - -1). Suppose 34 = y*k + 7. Does 9 divide k?
True
Suppose 3*g + o - 935 + 342 = 0, -5*o + 25 = 0. Is 2 a factor of g?
True
Let x(u) = -80*u. Let y be x(-5). Is 30 a factor of (72/20)/(2/(y/6))?
True
Let d(z) = -9*z**2 + 8*z**2 + 4 - 14*z + 9. Let l be d(-15). Let y(c) = 26*c**2 - 2*c - 3. Is y(l) a multiple of 23?
False
Let m be 7 - 2/4*6. Suppose 16*b = 15*b + m. Let v(n) = 2*n**3 - n**2 + n - 5. Is v(b) a multiple of 37?
True
Suppose 238 = 2*k + 4*u - 190, 0 = 3*k + u - 647. Suppose 60 = -3*b + k. Is 4 a factor of b?
True
Let v(y) = 50*y - 2. Let g be 72/54 - 1/3. Does 12 divide v(g)?
True
Let d(q) = q**3 - q**2 - q. Let g(t) = -5*t**3 + 3*t**2 + 3*t + 185. Let a(l) = 4*d(l) + g(l). Is a(0) a multiple of 37?
True
Let c = -85 - -87. Suppose -3*x + 5*m = -40, c*x - m = x + 14. Does 2 divide x?
False
Let t(w) = w**2 + 3*w - 1. Let s be t(-6). Let f = 20 - s. Suppose 2*c - 65 = -f*c. Does 5 divide c?
False
Suppose 9002 = -18*w + 52796. Is w a multiple of 20?
False
Let w = -459 + 714. Let j = w + -136. Does 17 divide j?
True
Let u = 24 + -34. Does 25 divide (-6)/(-4) + (-485)/u?
True
Is 24 a factor of (-10)/5 + -5 - -411?
False
Let t be (2/(-1))/((-4)/6). Suppose 5*o + 2*p - t = -p, 2*o = -p + 1. Suppose -3*d + 5*j + 83 = o, -d - 2*j - 54 = -3*d. Is 13 a factor of d?
True
Let f be 4/(-1) - (-1 - 105). Suppose -5*x + 2*x = -f. Is 16 a factor of x?
False
Suppose 0 = -3*j - 2*j - 5. Is 13 a factor of -26*(j/3 + 65/(-30))?
True
Let s(j) = -9*j + 5. Let v be s(-6). Let x = -11 + 15. Suppose -x*o = -2*h - 186, -o = -0*o - 3*h - v. Is 17 a factor of o?
False
Let a = 17 + -13. Suppose 3*l = -608 - a. Does 15 divide (-8)/2 - l/6?
True
Suppose -3*g - 4*j + 3464 = 0, 3*j - 48 = -60. Is 8 a factor of g?
True
Suppose 0 = 15*j - 27568 + 4513. Does 53 divide j?
True
Let y = -5 + 11. Is (-10)/y - -2 - (-4020)/36 a multiple of 15?
False
Let j(o) = 601*o + 11. Let c be j(1). Suppose -5*z = -c - 538. Is z a multiple of 42?
False
Let u = 485 - 379. Is u a multiple of 10?
False
Let h(d) = d**2 + 4*d - 3. Let a be h(-5). Suppose -2*g - a*g + 152 = 0. Is g a multiple of 19?
True
Suppose -6*n = -9*n + 21. Let u(c) = 2*c - 6. Is 4 a factor of u(n)?
True
Let v(p) = p**2 + 5*p - 6. Let d be v(-6). Suppose -5*c + 12 + 18 = d. Suppose -10 + 34 = c*s. Is s even?
True
Suppose -576 = 383*w - 387*w. Does 18 divide w?
True
Let y(v) = -v**3 - v + 3. Let b be y(0). Suppose -b*w = -2*w. Suppose w = -2*r + 38 + 10. Is 8 a factor of r?
True
Is 10 a factor of (-10 - (-7 + -2581)) + 1?
False
Is (-2)/(-6) - 7562/(-57) a multiple of 19?
True
Let w be -5*(4 - 6) + -2*1. Suppose w*z - 162 = 398. Is z a multiple of 10?
True
Let g = -13 + 17. Is -3*(-30 + g/4) a multiple of 31?
False
Let g(o) = -3*o**3 - 12*o**2 - 63. Is 25 a factor of g(-12)?
False
Suppose -5*c - 295 = -4*m + 2*m, 0 = -3*c - 5*m - 177. Let f = c - -94. Is 6 a factor of f?
False
Let o = 13 - 13. Suppose -2*n + o = 2. Is 7 a factor of n - (-118)/4*2?
False
Let n = 30 - 150. Is 2 a factor of (6/(-5) - 0)/(16/n)?
False
Let b be ((-12)/(-3) + -1)*1. Suppose -5*j = 2*g - 3*j, 3*j = -4*g - b. Does 5 divide 9/1 - (g + 2)?
True
Let n = 57 - 44. Suppose -n*r = -206 + 37. Is r a multiple of 12?
False
Let y(p) = p**2 - 2*p + 12. Is 2 a factor of y(-5)?
False
Suppose -3*z - 6*o + 32 = -5*o, -32 = -2*z + 2*o. Suppose 4 = -10*r + z*r. Suppose g + 14 = r*g - 5*c, -4*c - 4 = g. Does 4 divide g?
True
Let s(g) = g + 13. Suppose 5*v + 29 + 11 = 0. Let f be s(v). Suppose -q + 43 = f*h, -167 = -3*q - h + 5*h. Is q a multiple of 20?
False
Suppose -3*g = 1657 - 6766. Let i = -880 - g. Does 8 divide (-2)/15 - i/135?
False
Suppose t + 5 = 2*t. Suppose 167 = t*s - 18. Let g = -23 + s. Is 14 a factor of g?
True
Is ((-7)/14)/(5/(-5160)) a multiple of 9?
False
Is (-10)/(-185) + (-321132)/(-518) a multiple of 16?
False
Suppose 474 + 78 = 3*m. Does 6 divide m?
False
Suppose -4*f - 1098 = -3*d - 2*d, -2*d - 4*f + 428 = 0. Suppose -3*y + d = 3*v + 2*y, y = -2*v + 150. Is 19 a factor of v?
True
Suppose -d + 2*y + 189 = -15, y - 633 = -3*d. Is d a multiple of 7?
True
Suppose -42*v = -43*v + 106. Suppose 176 = 6*l - v. Is l a multiple of 29?
False
Suppose -2*j + 66 = -5*j. Let z = 32 + j. Let o = z - 0. Does 8 divide o?
False
Suppose 0 = -7*s + 66*s - 46728. Does 36 divide s?
True
Let g = 27 - -8. Does 46 divide 2/7 - (-6430)/g?
True
Let l(j) = j**3 + 48*j**2 + 42*j - 70. Does 2 divide l(-47)?
False
Let y(s) = -2*s + 12. Let b be y(6). Suppose b*z = -z. Suppose -j - 4*u + 35 = z, -2*j + 8*u = 4*u - 22. Is 14 a factor of j?
False
Suppose 330 = b + 7*s - 9*s, -4*s + 990 = 3*b. Does 22 divide b?
True
Suppose d + 4*q - 912 = 0, -2*d = -3*q - 864 - 971. Is d a multiple of 13?
False
Suppose 0*b - 84 = 4*b. Let a = b - -26. Suppose 3*g + 5*d - 82 = 0, -2*g + a*g = -d + 62. Does 8 divide g?
False
Let w = 325 + -101. Is 5 a factor of w?
False
Let n(f) = -f**3 + 6*f**2 - 2*f - 4. Let z be n(4). Suppose -5*r + 185 = z. Suppose l + 8 = 2*w - 3*l, 5*w + 3*l - r = 0. Is w a multiple of 4?
False
Suppose 14 = 61*o - 59*o. Let a(d) = d**2 - d + 4. Is a(o) a multiple of 11?
False
Suppose 0 = -9*i + 1690 - 286. Does 26 divide i?
True
Let p(x) = x. Let f be p(9). Suppose f*a - 637 = -4*a. Is a a multiple of 7?
True
Let o(s) = 12*s + 41. Is 2 a factor of o(-2)?
False
Let u = 23 + -2. Let s(a) = a + 46. Let x be s(-10). Let w = x - u. Is w a multiple of 4?
False
Let j(a) = -a**3 - 16*a**2 + 101*a - 40.