 c?
True
Suppose -3*s + 12 = s. Suppose -s*p + 26 = 4*n, -4*n + 42 + 12 = 5*p. Does 11 divide p?
False
Let u = -66 - -83. Is 17 a factor of u?
True
Let i(a) be the third derivative of a**5/60 + 13*a**3/3 - 3*a**2. Is i(0) a multiple of 13?
True
Suppose 15 = 3*a - 30. Let j = a + 6. Is 21 a factor of j?
True
Let u(w) = -w**2 - 7*w + 4. Suppose o = 1 - 5, -41 = 3*g + 5*o. Let j be u(g). Suppose -y - 19 = -2*y + 3*l, j*l + 68 = 4*y. Is y a multiple of 7?
False
Let g(v) = -v - 1. Let d = 0 - -1. Let l(y) = -3*y**3 - y**2 - 3*y - 4. Let x(q) = d*l(q) - 6*g(q). Is 14 a factor of x(-2)?
False
Let v = 39 - 27. Is 18/v*(-12)/(-1) a multiple of 6?
True
Suppose 0 = -5*t + 4*t + 4. Let m(i) = i**3 + i - t*i**2 - 1 + 4*i - 2. Is 2 a factor of m(3)?
False
Let n be (22/(-2))/((-4)/(-8)). Let d = n - -56. Let r = d - 14. Is r a multiple of 10?
True
Suppose 17 - 1 = p. Is p a multiple of 4?
True
Let o(u) = u + 5. Let g be o(0). Let d = 4 + g. Is d a multiple of 9?
True
Let c = -3 - 2. Let u(l) = -3 - 4*l - 6*l + 5*l. Is 22 a factor of u(c)?
True
Let r(g) = -7*g + 6. Let k be r(-6). Suppose -3*b - 5*q = -207, b - 21 = -3*q + k. Is 16 a factor of b?
False
Let c = 72 + -52. Is c a multiple of 3?
False
Suppose 3*u - 127 = 2*r, 2*u - u - 59 = 4*r. Is 13 a factor of u?
True
Let q(g) = g - 1. Let r be q(1). Suppose c + r - 11 = 0. Is 4 a factor of c?
False
Let k be ((-24)/10)/((-12)/30). Suppose k*z + 235 - 631 = 0. Is 22 a factor of z?
True
Let g be -17 - -1 - (1 + -3). Let q = -10 - g. Suppose -q*t + 3*w = -52, -4*t = -w - w - 52. Is 12 a factor of t?
False
Let a(t) be the third derivative of -t**4/6 - 2*t**3/3 - t**2. Let p be a(-3). Does 10 divide (-270)/(-24) - 2/p?
False
Let m(k) = -7*k + 1. Suppose g - 3*g = -6. Suppose g*b = -0*b - 24. Is m(b) a multiple of 25?
False
Suppose -150 = -4*q - 18. Is q a multiple of 5?
False
Let y(m) = m - 4. Let p be y(5). Is (-11 - p)*(-2)/3 a multiple of 8?
True
Is 21 - ((-2 - 2) + 2) a multiple of 4?
False
Suppose t - 51 = -5*p, -4*t - 4*p + 276 = -2*p. Does 9 divide t?
False
Let p = 12 - 12. Let c(z) = z**3 - z**2 + z + 27. Is c(p) a multiple of 6?
False
Let s(v) = v**3 + v**2 - 3*v + 3. Is s(3) a multiple of 6?
True
Let c = 128 + -83. Is 15 a factor of c?
True
Let o be (-3)/(-3)*(1 - -4). Let d = o - 3. Suppose -d*b - 4*w = -55 + 11, b = 4*w + 34. Does 26 divide b?
True
Let s(f) = 2*f**3 - 6*f**2 + 4*f - 3. Let x be s(5). Let u = x - 42. Suppose u = -0*t + 3*t. Is 12 a factor of t?
False
Suppose 3*c + 117 = -x, 2*c - 3*x + 85 = -6*x. Let m = c - -112. Is m/8 - (-6)/(-24) a multiple of 4?
False
Let r = 0 + 0. Suppose -2*p - p + 144 = r. Is p a multiple of 20?
False
Suppose -z + 56 = 3*z. Let m be z/(-3) + 2/(-6). Let s(j) = j**3 + 6*j**2 + 2*j - 7. Is s(m) a multiple of 5?
False
Let g = 9 + -11. Let o(v) = -21*v + 3. Is o(g) a multiple of 15?
True
Suppose 22 = 3*k - 5*d + d, 3*d + 18 = 3*k. Suppose -k = -2*u + 2. Does 4 divide (-2 + 11/2)*u?
False
Suppose 0 = -2*z + i + 5, -4*z + 0*i = -i - 11. Suppose u + 6 = z*u. Is 3 a factor of u?
True
Suppose v + 8 = -3*n + 99, -4*n - 119 = -v. Is 12 a factor of v?
False
Let z = -14 - -32. Is z a multiple of 3?
True
Let w(z) = 12*z**2 - 4*z + 9. Is w(-6) a multiple of 63?
False
Let n be 4/2*1/2. Let f be (-2)/(-4) + 57/(-6). Let p = n - f. Is p a multiple of 5?
True
Let x = 6 - 1. Let j = x + -2. Suppose 2*y + 3*o - 80 = 0, 5*y - 175 = j*o + 25. Does 17 divide y?
False
Let d(y) = -11*y - 6. Let r be d(6). Does 9 divide (r/20)/(1/(-5))?
True
Let d(u) = 7*u**2 - 3*u + 8. Is d(3) a multiple of 16?
False
Suppose 0 = -4*r - 20 - 88. Does 16 divide (-1422)/r - 1/(-3)?
False
Suppose 0 = -3*n + 2*j - 7, 0 = -4*n + 2*j - 13 + 5. Let v = n + 3. Suppose -v*f - 50 = -4*o + 48, f - 23 = -o. Does 12 divide o?
True
Let a be (1 + 1)*(-7 - 2). Does 3 divide (12 + a)/(3/(-8))?
False
Let v be 1/(-3) - (-55)/3. Does 3 divide ((-6)/4)/(-3)*v?
True
Let s = 533 - 368. Is s a multiple of 15?
True
Let a = 11 + 0. Is a even?
False
Is 4 a factor of (-3)/4 + (-1441)/(-44)?
True
Suppose -3*x - 2 - 40 = 0. Does 12 divide x/63 + (-200)/(-9)?
False
Let z(h) = 21*h**2 + h - 4. Let m(o) = -42*o**2 - o + 7. Let f(b) = -3*m(b) - 5*z(b). Suppose -v + 0 - 1 = 0. Is 11 a factor of f(v)?
True
Suppose -4*d + 0*d = -20. Suppose -3*i = -d - 4. Suppose 4*s + 0*t - t - 154 = 0, -i*s - 3*t = -108. Does 19 divide s?
True
Let s(n) = 3*n**2 - 14. Is 15 a factor of s(-7)?
False
Let b = 2 - 0. Suppose -b*j + 16 = -k, 3*k - 4 = 8. Is j a multiple of 6?
False
Suppose 0 = -5*a + 3*a + 72. Does 9 divide a?
True
Suppose -5*t - 14 = f, 0 = -5*f - 5*t + 10. Let i(s) = s**3 - 5*s**2 + s - 3. Is 18 a factor of i(f)?
False
Let r(p) = p + 2. Suppose 4*b + 2 + 6 = 0. Let k be r(b). Suppose k = i + i - 38. Is 10 a factor of i?
False
Suppose 4*z - 5*h - 291 = 0, 6*h + 84 = z + 7*h. Does 14 divide z?
False
Suppose -1 = -5*v - 16, 2*i - 4*v - 248 = 0. Does 3 divide i/14 - 16/(-28)?
True
Suppose v + 4 = d + 6, -2*v - 2*d = -4. Let f(t) = -t**v + t**2 - 2 + 0 + 3*t**2. Is 6 a factor of f(-2)?
False
Suppose 5*v + 3*v = 280. Is 7 a factor of v?
True
Let y(j) = -3*j + 5. Does 5 divide y(-4)?
False
Let c be 2/(-4)*-1*6. Suppose 38 = 5*x - 4*g - 0, x + c*g = 0. Let s = x + 0. Is s a multiple of 6?
True
Suppose -2*h + 3*h = -4*k + 236, -k - 1117 = -5*h. Does 14 divide h?
True
Suppose 0 = 5*f + 6 + 4. Let v be -1 - (4 + -2)/f. Suppose 20 = -5*b, r + v*b = -b + 26. Does 15 divide r?
True
Suppose -5*x - 3*q - 32 = -297, -4*x - 4*q + 220 = 0. Is x a multiple of 21?
False
Let z(d) = 7*d - 19. Does 16 divide z(6)?
False
Let w = 14 - 12. Suppose -c = -w*c + 27. Is 9 a factor of c?
True
Suppose -2*m = 2*n - 7*m - 60, -n - m + 16 = 0. Suppose 4*b + y = 5*y + 20, -4*y = 3*b + n. Suppose 4*s + b*s - 32 = 0. Is s a multiple of 4?
True
Suppose -4*l + 5*i - 2*i = -28, 4*i = 16. Let f = 29 - l. Let u = f - 0. Is u a multiple of 14?
False
Suppose -4*o - 124 = -0*o. Let f = 73 + o. Is 14 a factor of f?
True
Suppose 2*b - 3 = 7. Suppose -4*y = b*h - 185, h - 148 = -3*h - 2*y. Is 14 a factor of h?
False
Let h(a) = -a**3 + 12*a**2 - 3*a + 1. Let s be h(12). Let d = s - -52. Suppose -18 = -t + d. Is t a multiple of 14?
False
Let k(u) = u**3 + u + 2. Let z be k(0). Suppose -2*r - 44 = -b, -4*r - z = 2. Is b a multiple of 19?
False
Does 13 divide (4 + -33)/((-3)/6)?
False
Let w(x) = 3*x**3 + 2*x**2 + x. Let o be w(-1). Let r be (-2)/1 - (-9 - o). Suppose 5*c + 13 - 86 = b, -4*c + r*b = -71. Is c a multiple of 14?
True
Suppose 2*u - 22 = -4*m, -u + 0 = -5. Let k = m - -27. Is 14 a factor of k?
False
Let t = -7 - -7. Suppose 3*o = -2*h + 41 + 42, -3*o - 15 = t. Is h a multiple of 17?
False
Let b(d) = -56*d + 12. Is 18 a factor of b(-4)?
False
Suppose -5*w + 5*j + 20 = 0, -4*w - 3 + 15 = -5*j. Let d = w - 6. Suppose 0 = -d*y + 51 - 1. Is y a multiple of 13?
False
Is 6 a factor of (-3 - 10/5) + 17?
True
Let g be (-6)/((2 - 1) + 0). Let d be (-8)/(-10)*(1 + g). Does 4 divide (2/3)/(d/(-30))?
False
Suppose u - 4*u - 123 = -p, 0 = u + 3. Does 35 divide p?
False
Let c = 4 + -2. Let x(y) = -4*y**3 + y**3 + c*y**3 - 5*y - 5*y**2. Does 4 divide x(-4)?
True
Let y = -14 - -37. Let c be -1*-59*(-1 - -2). Let r = c - y. Is 15 a factor of r?
False
Suppose -4*a + 25 = -31. Suppose -5*n + 164 = a. Is n a multiple of 14?
False
Suppose 0 = -5*c - 0*c + 260. Let g = 100 - c. Does 8 divide 1/(3/g*2)?
True
Suppose -763 = -2*o - 113. Does 25 divide o?
True
Let q(t) = -2*t**3 - 2*t**2 + 2*t. Let x be q(-2). Suppose x*b - 2*h - 128 = 0, -38 = -b + h + h. Does 15 divide b?
True
Suppose -3*m - m - 1460 = -3*f, m = 3*f - 374. Is 13 a factor of m/(-10) - (-3)/(-15)?
False
Let d be ((-9)/6)/(3/(-44)). Suppose d = j - 5. Suppose u - j = 5. Is 16 a factor of u?
True
Let m = -47 - -99. Is 15 a factor of m?
False
Let g(c) = -c**2 - 9*c + 4. Let l be g(-8). Let k = -6 + l. Let b = k - -12. Is b a multiple of 9?
True
Suppose 2*g + 524 = 5*q, g - 515 = -5*q + 6*g. Is q a multiple of 22?
False
Let z = 52 + -6. Is z a multiple of 17?
False
Let n = 69 - 15. Suppose 0 = -v - 3*t + 26, -4*v - 2*t + 0 = -n. Is v a multiple of 5?
False
Suppose -4*m - 3 = -2*a + 15, a - 12 = 3*m. Is 12 a factor of 3 + (27/m)/(-1)?
True
Let x(p) = -1 - 9*p**2 - p + 9*p**2 + 2 + 12*p**2. Is x(1) a multiple of 6?
True
Suppose 0*r + 174 = 5*b +