= c + g. Suppose -c = -3*s + 69. Suppose 2*r - s = -2. Is r a multiple of 5?
True
Let t = -428 - -481. Is t a multiple of 21?
False
Let p = -3 + -3. Let y(a) = a**2 + 7*a - 6. Let h(j) = -2*j**2 - 14*j + 11. Let n(o) = -2*h(o) - 5*y(o). Is n(p) a multiple of 5?
False
Is 22 a factor of (-1538)/(-7) + (-18)/(-63)?
True
Let j = 56 - 35. Let q be j/(-14)*13*2. Let s = 7 - q. Does 23 divide s?
True
Suppose -q - q + 630 = 0. Let m be (-158)/8 - 1/4. Is 1/4 - q/m a multiple of 4?
True
Suppose 2*q - 6278 = -4*v, q + 1565 = -5*v + 6*v. Is 56 a factor of v?
True
Let x = 1918 + -718. Is x a multiple of 60?
True
Suppose 0 = -5*m - 0*m + 155. Let i be m - (-4)/(-8)*4. Suppose v + 3*v + 5*y - i = 0, -6 = 2*y. Is v a multiple of 6?
False
Suppose 5*b = 3557 + 2893. Is b a multiple of 10?
True
Let f(g) = -50*g - 306. Does 3 divide f(-8)?
False
Suppose 5*x = -4*l + 3356, 9*l = 2*x + 10*l - 1340. Is x a multiple of 29?
False
Let x = 1381 - 919. Is 29 a factor of x?
False
Suppose -2*m + 6 = -2. Suppose -3*b + g + 91 = 0, b = 6*b + m*g - 146. Is b a multiple of 10?
True
Let v(z) be the third derivative of 0 - 1/8*z**4 + 3/2*z**3 - 5*z**2 + 0*z. Is 14 a factor of v(-6)?
False
Is 11 a factor of 8 + -3 + -2 + 3 + 1050?
True
Let t(a) = -a**3 + 5*a**2 + 2*a - 5. Let l = -8 + 13. Let o be t(l). Suppose 41 = o*r - 9. Is r a multiple of 5?
True
Let g(p) = 7*p**2 - 36*p - 10. Let k(y) = 11*y**2 - 54*y - 15. Let s(a) = -8*g(a) + 5*k(a). Does 11 divide s(6)?
True
Let i(l) = l**3 - 3*l**2 + 7*l + 2. Is i(4) a multiple of 10?
False
Let t = -8 - -20. Does 6 divide (t/9)/1*6?
False
Suppose h = -0*h + 5. Suppose 3 = o, -4*z + 0*o + h*o = -9. Suppose -z = -2*i - i. Does 2 divide i?
True
Suppose -4*v + 3*l + 5532 = 6*l, 0 = v + 4*l - 1383. Does 13 divide v?
False
Suppose 6*v = 7*v + 34. Let w = v - -72. Let u = w + -14. Is 12 a factor of u?
True
Let g = 16 - 10. Let r = g - 3. Let x = 10 - r. Is x even?
False
Let h = -2 - -7. Suppose -16 = -h*y + 3*y. Does 2 divide 6/(-8) + 62/y?
False
Let d = -37 - -43. Does 18 divide 6/(-12) + -1*(-717)/d?
False
Suppose -4*u - 205 = u. Is (u/(-3) - 3)/((-4)/(-6)) a multiple of 2?
True
Suppose -6 - 6 = -2*l. Does 17 divide ((-303)/l)/(2/(-4))?
False
Let n(b) = -b**3 + 22*b**2 - 6*b + 62. Is 34 a factor of n(-10)?
False
Let c be 1/1*(3 - 0). Suppose 0 = c*x + x. Suppose -4*j + 2*j + 108 = x. Is j a multiple of 18?
True
Let c be 1 + 2 + 0 + 0. Let t = -644 + 924. Suppose m - t = -c*m. Is m a multiple of 14?
True
Let x be (-12)/(-16) + 12/(-16). Suppose m + v = 2, 0*v - 19 = -5*m - 2*v. Let o = x + m. Does 5 divide o?
True
Suppose 0*v = -v + 462. Suppose -7*i = -4*i - v. Is 22 a factor of i?
True
Let d be (-1983)/(-7) + (-2)/7. Let v = -48 + d. Does 21 divide v?
False
Suppose -2 + 20 = -2*h. Is (h + 8)/(1/(-59)) a multiple of 17?
False
Let u(x) = 7*x**3 - 17*x**2 + 2*x + 14. Let q(o) = -8*o**3 + 18*o**2 - 2*o - 15. Let p(n) = 6*q(n) + 7*u(n). Does 44 divide p(12)?
True
Suppose 4*w + 4094 = 5*i - 3*i, i - 2053 = 4*w. Is 13 a factor of i?
True
Suppose 4*q = 3*u + 3015, -2271 = -3*q - 2*u + u. Is q a multiple of 54?
True
Suppose -i = -5*a - 16, 5*i + 3*a - 2 = 2*a. Is 17 a factor of ((-306)/(-54))/(i/9)?
True
Let r(m) = m**3 - 24. Let p be r(0). Does 25 divide (30/p)/(1/(-40))?
True
Let m(z) = 639*z**2 - z + 2. Let i be m(1). Suppose 0 = 4*a - 8*a + i. Suppose -5*r = -4*u + a, u - 3*r - 40 = r. Is 17 a factor of u?
False
Suppose -4*y - 20 = 0, -2*m - 2*m = 3*y + 39. Let u be (-137)/m - (-2)/12. Let h = u - 4. Is h a multiple of 10?
False
Let p(y) = 39*y + 20. Does 14 divide p(2)?
True
Is (-1)/((-5771)/(-43935) + 2/(-15)) a multiple of 12?
False
Is 13 a factor of (2571 + -2)*(2 + 72/(-42))?
False
Let m(n) = 42*n - 1. Let t be m(-1). Suppose 2*v - 16 = 76. Let a = v - t. Is 24 a factor of a?
False
Let d(n) = 23*n - 7. Let k be d(7). Suppose -5*u = -k - 41. Does 26 divide u?
False
Let z be 6/(-1)*(-1)/2. Suppose 0 = z*n + 2*v + 1, 2*v = n - 1 + 12. Does 19 divide (52 + 1)*(-2 - n)?
False
Suppose 0 = -2*s + 3*d + 2*d - 325, s - 2*d + 160 = 0. Let a = s - -232. Does 23 divide a?
False
Suppose -7*c - 61 = -145. Is 12 a factor of c?
True
Is 22 a factor of 14 + -10 + (153 - 3)?
True
Suppose 2*t + 5*v - 4*v - 874 = 0, -1760 = -4*t + 4*v. Let o = t - 297. Is o a multiple of 10?
False
Let f = -9 + 13. Suppose -19 = -3*u - f. Suppose 0 = -u*a + 9 + 1. Is a even?
True
Suppose 20 = 4*x + x. Let b(o) = -o**3 + 5*o**2 - 4*o + 2. Let i be b(x). Suppose -l = i*l - 6. Is 2 a factor of l?
True
Let b(i) = 2 - 6 + 7*i - 2 + 4*i**2 + 0*i. Does 23 divide b(4)?
False
Let b(q) = -2*q**2 + 10*q - 11. Let w be b(9). Let f be 6 + -3 - 2 - w. Suppose -2*p = 5*g - f, 5*p + 3*g - 210 = g. Is p a multiple of 16?
False
Let a(z) be the third derivative of 13*z**6/24 - z**5/60 + z**4/12 - z**3/6 + 2*z**2. Is a(1) a multiple of 23?
False
Let k(b) = -19*b + 2. Is 5 a factor of k(-10)?
False
Is 2256 + 1 + 3 + 1 a multiple of 17?
True
Let o = 702 - 402. Is o a multiple of 12?
True
Let q = -100 - -398. Does 21 divide q?
False
Let a(q) = 5*q**3 + 4*q**2 - q - 3. Let w be a(5). Suppose 0*s = -3*s - p + w, -15 = 5*p. Suppose -5*h = 5*c - s, 2*c - h + 0*h = 99. Is c a multiple of 16?
False
Let i = -11 + 10. Does 15 divide 66 - (1 + i)/2?
False
Let q(c) be the third derivative of c**5/12 - c**4/12 - 4*c**3/3 + 2*c**2. Let s be q(6). Suppose 0 = 4*j - 0*j - s. Is j a multiple of 10?
True
Does 10 divide 419/3 - (110/(-15) - -7)?
True
Let a(z) = 6*z**2 - 42*z + 136. Is a(5) a multiple of 38?
True
Let y(b) = -b + 10. Let f(i) = -i. Let c(g) = -2*f(g) + y(g). Let a be c(-8). Suppose -a*w - 2 = -60. Does 14 divide w?
False
Let u(s) = s**2 + s + 3. Let l = 10 - 4. Is 15 a factor of u(l)?
True
Suppose 5*u + 4*h + 0 = -5, -3*u + 24 = -3*h. Suppose 0 = n - 1 - u. Suppose -n*b = -5*b + 8. Is b a multiple of 4?
True
Is 15 a factor of -12 + 27/(243/12006)?
False
Suppose 0 = 3*i - 3*v + 96, -3*i - v - 75 = 17. Let l = i + 27. Let y(b) = 5*b**2 + 5*b + 5. Is 13 a factor of y(l)?
True
Let r = 35 - 18. Suppose 0 = -r*y + 22*y - 395. Does 10 divide y?
False
Suppose 3*x = -4*k - 103, 2*k = k + 2*x - 23. Let t = -21 + 65. Let i = t + k. Does 9 divide i?
False
Let v(q) = q**2 - 5*q + 8. Let w be v(2). Does 19 divide w + (2838/55 - (-4)/10)?
False
Let h = -278 + 503. Is 25 a factor of h?
True
Let z = 11 - 8. Suppose -z*h + 186 = h - 2*k, -3*k = -3*h + 138. Is h a multiple of 14?
False
Let s(t) = 5*t - 49. Is 5 a factor of s(11)?
False
Let d be (1 + (-12)/(-8))*6. Let n be d - (5 - (-1 - -3)). Suppose -270 = -n*u + 7*u. Is u a multiple of 23?
False
Suppose 2*j - 3 + 1 = 0. Let y(f) = 4 - 7 - f**3 - j - 2 + 11*f**2 + 2*f. Is y(11) a multiple of 5?
False
Let n(h) = -2*h**2 - 37*h - 17. Let z be n(-18). Is 3 a factor of z/(2/(272/4))?
False
Is 6 a factor of (0 - 2 - 2) + -8 + 108?
True
Let y(i) = i**2 - 13*i - 8. Let a be y(13). Is 22 a factor of 22/(-1*2/a)?
True
Suppose -4*n + 7*n = 4*n. Suppose -4*a = -2*o + 390, -5*o - 5*a + 1750 - 715 = n. Does 7 divide o?
True
Suppose 4*t - q - 338 = -12, 0 = 3*q + 6. Does 12 divide t?
False
Let f(d) be the first derivative of d**6/72 + d**5/40 + d**4/12 + 2*d**3 + 4. Let i(h) be the third derivative of f(h). Is 7 a factor of i(2)?
True
Let y(u) = u**2 + 9*u + 18. Let p be y(-4). Suppose 0 = -2*a - j + 31, -a - 61 = -5*a - j. Let v = a + p. Does 13 divide v?
True
Let r be 2/3*522/(-12). Let s = -27 - r. Suppose 2*h - 35 = a, h + s*h = 2*a + 50. Does 10 divide h?
True
Let o be 1/3 + ((-240)/(-9))/(-5). Does 30 divide o/(-2*4/112)?
False
Suppose -4*i + 286 = -l + 83, -3*i + l + 151 = 0. Suppose 6*v = 122 + i. Is v a multiple of 29?
True
Let f = 13 + -2. Let x = 64 - f. Is 11 a factor of x?
False
Is 7 a factor of -1*14193/(-27) - (-4)/(-6)?
True
Suppose -s + 209 = -5*x, 2*s - 390 = -4*x - 0*x. Is 3 a factor of s?
False
Suppose 5*r = -4*w - 16, -9 = 4*r - 4*w + 11. Let m be (6/8)/((-1)/r). Suppose m + 4 = g. Does 4 divide g?
False
Let i be 3/(-2) + (-6 - (-279)/18). Suppose 44 - i = 6*l. Does 6 divide l?
True
Suppose 208*p = 207*p + 420. Is 17 a factor of p?
False
Does 7 divide (-183)/(-4)*(-7 - 133/(-7))?
False
Let z be 220/18 + (-12)/54. Suppose -4*d + 8 = -z. Suppose 11 = 3*h + d*s, -3*h = -6*h - s + 31. Does 12 divide h?
True
Let m = 0 + -5. Let p(w) = -w**3 - 5*w**2 - 7*w - 4. L