 6?
False
Let b = 39 - 0. Is b a multiple of 13?
True
Let f(u) = -3*u - 4. Let h be f(-3). Suppose 384 = h*k + 5*r - 606, 0 = 4*r - 20. Suppose 17 = -4*x + k. Does 12 divide x?
False
Is (12/(-10))/((-60)/1400) a multiple of 28?
True
Suppose 7 = 5*v - 3. Suppose 0*s - 10 = -5*s. Suppose -s*y + 113 = 5*n, 5*n - 76 = n + v*y. Is n a multiple of 13?
False
Let p(j) = j**2 - 8*j + 7. Let x be p(5). Let f = -7 - x. Suppose -k + f = -3. Does 3 divide k?
False
Let n(y) = y**3 + 6*y**2 - y - 2. Let h be n(-6). Suppose -2*v - 64 = -h*v. Is v a multiple of 13?
False
Does 2 divide (-368)/(-48) + 1/3?
True
Let z be (-32*1)/(4/(-52)). Does 14 divide 4/10 - z/(-10)?
True
Let u(y) be the first derivative of -6*y**4 - 8. Is u(-1) a multiple of 8?
True
Let a(k) = k. Let j be a(2). Let w(g) = 2*g - 2*g + 4*g + 3*g**j. Is w(-4) a multiple of 20?
False
Suppose 0 = -3*s + 3*v + 189, -1 = -5*v - 16. Is s a multiple of 5?
True
Let c = 5 - 3. Suppose -o - 46 = -2*t - 3, -5*t + 94 = c*o. Is 13 a factor of t?
False
Let y = -1 + 1. Let s be 18/(-3 - 0) + y. Let c = 16 - s. Is c a multiple of 11?
True
Let m(v) = -3*v**3 - 3*v**2 - 3*v. Let c be m(-2). Suppose 3*i = 5*f - 24, 4*f = -f - i + 12. Suppose f*p = p + c. Does 9 divide p?
True
Let z(f) = f - 1. Let i(g) = -21*g - 7. Let n(t) = -i(t) + 6*z(t). Let r be n(1). Suppose -r = 2*o - 3*o. Is 10 a factor of o?
False
Suppose -2*g - 2*g + 140 = 0. Is (-9 - -7) + g*1 a multiple of 11?
True
Suppose -5*q + 9 + 36 = 0. Suppose 2*k - 30 = -3*x, 29 = 4*x - 4*k + q. Is x a multiple of 8?
True
Suppose -t + 1 = 5. Does 4 divide 3 - (-3 - t - 2)?
True
Suppose 0 = -g + 4*h - 6*h + 11, -4*g + 4*h = -20. Is 7 a factor of g?
True
Suppose 3*h - 255 = -5*f - 40, -3*h = 4*f - 175. Is 11 a factor of f?
False
Let f be (1 - 5)*(-21)/28. Suppose f*i = -g + 1, 4*i - 2*i = 4*g - 18. Suppose k - o - 18 = 0, -k = -3*k + g*o + 44. Is k a multiple of 14?
True
Suppose -l + 2 + 0 = 0. Suppose -l*s - o = -91, -o + 20 = s - 23. Is s a multiple of 16?
True
Suppose 3*v - 171 - 54 = 0. Suppose 4 = 2*u, -5*w - u = -v - 7. Is 8 a factor of w?
True
Suppose 4*f + 4*r = -72, 3*f - r + 61 = -9. Does 13 divide 3 + (-2 - f) + 3?
True
Suppose 0 = -8*y + 3*y + 50. Is y a multiple of 5?
True
Let p(j) = 54*j**3 + 4*j**2 - 6*j + 3. Is p(1) a multiple of 17?
False
Let t(o) = 2*o - 3. Let b be t(6). Let m = b + -16. Let z = -4 - m. Is 2 a factor of z?
False
Suppose 2*v - 24 = 6*v. Let s = 0 - v. Let r = 15 + s. Is 6 a factor of r?
False
Let r(m) = 5*m + 2*m - m**2 - 7 + 16. Let b be r(8). Is (b/2)/(2/44) a multiple of 10?
False
Suppose 0 = u - 5*d - 42, 3*u + 5*d - 26 = -0*u. Let o = 28 - u. Is o a multiple of 11?
True
Let z(w) = -4*w**3 + w**2 + 9*w + 3. Is 22 a factor of z(-4)?
False
Suppose -8 = -o - 1. Suppose o*t - 4*t - 201 = 0. Suppose -19 + t = 3*v. Is 15 a factor of v?
False
Let s(q) = q**3 + q**2 - 2. Let h be 2 + (-1)/(-2)*0. Suppose -3*i - h*t + 14 = 0, 2*i - 3*t + 8 = -0*i. Is s(i) a multiple of 10?
True
Suppose 0 = -3*h + d + 210, 10*d + 3 = 9*d. Does 8 divide h?
False
Suppose 2*p + 0*p = -3*s + 121, -185 = -5*s + 5*p. Let d = -15 + s. Is 12 a factor of d?
True
Suppose 15 = -3*t, 4*p = 7*p - 2*t - 178. Is p a multiple of 4?
True
Let h = 89 + -20. Let k = 103 - h. Suppose -2*z + 3*z = k. Is z a multiple of 15?
False
Let m = 87 - 33. Does 27 divide m?
True
Suppose -88 = -3*b + 2*o, -4*o = -5*b + o + 140. Is 16 a factor of b?
True
Let a = 13 - 8. Does 5 divide a?
True
Let b(l) = l**2 + 7*l + 7. Let c be b(-5). Let x = c + 1. Is ((-80)/24)/(x/12) a multiple of 7?
False
Let s(v) = 5*v - 1. Let f be s(1). Is 27 a factor of ((-24)/(-14))/(f/238)?
False
Let c(k) = k**2 - 4*k - 4. Let m be c(6). Let w = -8 + m. Suppose -104 = -2*o + 4*p, o + w*p - 40 = -p. Is 15 a factor of o?
False
Let j = 5 + -1. Suppose -58 = -j*p - k - k, -93 = -4*p + 5*k. Suppose -2*c + 25 = -5*i - 14, c = 3*i + p. Is 15 a factor of c?
False
Let p(w) = -w**3 + 7*w**2 + 8*w + 3. Let n be p(8). Suppose -3*o + 3 + 2 = u, -n*u - 4*o = -15. Is 5 a factor of u?
True
Does 2 divide 64/11 - (-40)/220?
True
Suppose -4*m + 4 = 4*c, -2*c - 6 + 4 = 0. Suppose -m*j + 20 = 3*j. Suppose 4*i = -5*b + 41, 0 = -2*i - 0*i - j*b + 16. Is 13 a factor of i?
False
Let t(o) = -o - 3. Let b(v) = -v - 4. Suppose -4*i - 5*f = 40, 0*i = -i + 2*f + 3. Let w(d) = i*b(d) + 7*t(d). Is 15 a factor of w(-8)?
True
Does 29 divide (-1013)/(-7) + 2/7?
True
Suppose 0 = a + 7*a - 72. Is 3 a factor of a?
True
Let a(t) = -t**2 - 15*t - 7. Let g(r) = -r**3 - 10*r**2 - 14. Let n be g(-10). Is a(n) even?
False
Let z be 25/(-10)*(-88)/10. Suppose z = 4*m + i - 12, -m = -3*i - 2. Is 8 a factor of m?
True
Let n = 17 + -1. Let d be n/3 + (-7)/21. Suppose -d*i + 2*i + 84 = 0. Does 10 divide i?
False
Let r(u) = 5*u**2 - 7*u + 4. Suppose -y - 4 + 0 = -2*t, 0 = -t - 4*y + 20. Is r(t) a multiple of 26?
False
Suppose -u - u + 8 = 0. Suppose 3*j + 4*n - 8 = 308, -2*n - 414 = -u*j. Suppose -2*y - 18 = -j. Does 17 divide y?
False
Suppose -5*b - 6 = -4*o + 24, 0 = -3*o - b + 13. Is o a multiple of 4?
False
Let d be (-4)/22 - 526/11. Does 16 divide (d/(-18))/((-2)/(-12))?
True
Let t(a) = -a. Let s(w) = -12*w. Let j(f) = s(f) - 8*t(f). Does 2 divide j(-1)?
True
Let h = -8 - -13. Suppose 3*k - h*d - 45 = 0, k + 4*k - 38 = -4*d. Suppose -c - 14 = -4*f, 5*c + k + 0 = 5*f. Is 2 a factor of f?
True
Let x(f) = f**2 + 4*f - 8. Let h be x(-6). Suppose -h*c = -15 - 13. Is c a multiple of 2?
False
Let m = 25 - 7. Does 9 divide m?
True
Does 8 divide ((-5)/10)/((-2)/92)?
False
Is (-4)/1 - (5 + -12) a multiple of 3?
True
Let k = 18 + -10. Is 4 a factor of k?
True
Suppose 3*t = t + 70. Is t a multiple of 7?
True
Suppose 42 = 2*c - 18. Does 17 divide c?
False
Let a = -6 - -19. Is 13 a factor of a?
True
Suppose -3*y + 10 = 2*y. Let h be 1 + -64 + y + -4. Is (-6)/24 + h/(-4) a multiple of 8?
True
Suppose -2*f + 4*f = -20. Let c(t) = t**2 + 6*t + 4. Is c(f) a multiple of 17?
False
Suppose -2*s - s = -5*n + 265, 0 = 5*s. Let q = n + -30. Is q a multiple of 16?
False
Suppose 7*t - 107 = -23. Does 3 divide t?
True
Let v(l) be the third derivative of -l**6/120 + l**5/15 + 5*l**4/24 - l**3/6 - l**2. Let x be v(5). Let c = x - -5. Does 2 divide c?
True
Suppose 0 = -4*z - 3*b + 225, 0 = 2*z - 4*b - 106 + 10. Is z a multiple of 9?
True
Let a(i) = i**3 - 2*i**2 + i. Let h be a(1). Suppose 3*f = -p + 99, f - 348 = -4*p + 103. Suppose h*m - p = -3*m. Does 19 divide m?
True
Is 12/18 + (-25)/(-3) a multiple of 2?
False
Let b(c) = c**3 - 5*c**2 + 3*c + 2. Let h be (-2 - -4 - 4) + 5. Let a be b(h). Is (3 + -4)*a*1 a multiple of 3?
False
Suppose -3*z = -5*l + 28, l - 4*z + 10 - 2 = 0. Suppose l*u + 20 = 13*u. Is u even?
True
Let i = 11 + -8. Let c be (1 + -1)/3 - -36. Suppose -3*d = o + 2*o - c, 4*d - 35 = -i*o. Is 13 a factor of o?
True
Let w be 0 + -1 + 7 + -2. Suppose -2*g + 27 = -j + 4*j, 3*g = -w*j + 41. Is 3/15 + 267/g a multiple of 15?
False
Let o(w) = 6*w - 6. Is o(7) a multiple of 6?
True
Let v = 63 + -89. Let r = -17 - v. Let y(o) = 3*o - 9. Is y(r) a multiple of 18?
True
Let y(p) = -p**2 - p + 3. Let s be y(-3). Let i be (-5)/3*s + -2. Let c = i - -9. Is 9 a factor of c?
False
Let x = -27 + 60. Let l = x + -50. Let p = 39 + l. Is p a multiple of 14?
False
Suppose 3*j = -j - 5*c + 85, 2*c = 2*j - 38. Suppose -t - j = -5*r, -3*r - t - 3*t + 35 = 0. Is r a multiple of 5?
True
Suppose 7*n = 10*n - 192. Is n a multiple of 16?
True
Let c = 9 - -12. Is 6 a factor of c?
False
Let h = 306 - -54. Is h a multiple of 40?
True
Suppose -l + 5*t + 171 = -35, -5*l = 3*t - 1002. Is 29 a factor of l?
False
Let r(d) = -d**2 - 6*d + 8. Let w be r(-7). Is 26 a factor of (w/2)/(5/430)?
False
Does 26 divide 3*(-9)/((-108)/208)?
True
Let d be (-2)/5 + 66/15. Suppose n + n - 64 = -3*z, -n - d = 0. Is z a multiple of 13?
False
Suppose -9 = -3*l - 3*h, -l - 5*h + 5 = -3*h. Let g = 7 + l. Is g a multiple of 8?
True
Is 18/(-20)*15/(-9)*22 a multiple of 11?
True
Suppose 4*l + b = 137, -3*l + 5*b = -47 - 50. Does 17 divide l?
True
Suppose 5*i + 5*t = 0, -5*t + 13 = -2*i + 48. Suppose -r + 0 + 2 = 2*y, 73 = 4*r - i*y. Is 5 a factor of r?
False
Let i(g) = g**2 - g - 3. Let d be i(5). Let a = d + -3. Is 7 a factor of a?
True
Let q = -86 - -60. Let f = -12 - q. Is 9 a factor of f?
False
Let v(j) = 3*j**2 - 8*