t g be l(-1). Let q = -95 - g. Suppose 3*k - q = -2*k. Is 14 a factor of k?
True
Let o(x) be the first derivative of -3*x**2/2 + 5*x + 1. Is 12 a factor of o(-4)?
False
Suppose c = 62 - 24. Let t = 71 - c. Is t a multiple of 6?
False
Let w = -11 + 43. Is 18 a factor of w?
False
Let l be (2 - (1 - 0)) + -3. Is (20 - (l - 0))*1 a multiple of 11?
True
Let n(o) = o**3 - 6*o**2 + 2*o - 18. Does 28 divide n(8)?
False
Let s be ((-42)/(-9))/2*-3. Let m be (-9)/s - (-8)/(-28). Let t(u) = 46*u**3 + 2*u**2 - u. Does 18 divide t(m)?
False
Suppose 5*z = z. Suppose -k + z*k = -3. Suppose -4*y - 88 = -2*i, 0 = k*i - y - 0*y - 152. Does 15 divide i?
False
Does 16 divide (-40)/(-10) - (-175 + 0)?
False
Let y(g) = 7*g**2 + 4*g - 5. Is 12 a factor of y(-5)?
False
Does 27 divide 81 - ((0 - 1) + 0) - 1?
True
Suppose g + 21 = 2*i + i, 5*g = -5*i + 15. Let u = 9 - i. Suppose 4*a + n - 33 - 38 = 0, -4*a = -u*n - 59. Does 17 divide a?
True
Let v be (3 - -2)*44/10. Let d(t) = t**3 + 11*t**2. Let z be d(-11). Suppose -n + 2*r + z*r + v = 0, -3*n + 2*r = -78. Is n a multiple of 14?
True
Suppose 8 + 5 = -2*z - 3*j, 0 = -2*z - j - 3. Is (1 - z) + 11 + 2 a multiple of 13?
True
Let r be (-17)/(-3) + 8/(-12). Suppose 0*h = r*h - 110. Is 11 a factor of h?
True
Suppose 3*v + 3*b - 36 = 0, b - 68 = -3*v - 2*v. Suppose c + 0*c = v. Is c a multiple of 14?
True
Let s(x) be the third derivative of x**6/120 - 4*x**5/15 + 23*x**3/6 + 2*x**2. Is s(16) a multiple of 11?
False
Let u = -535 - -787. Does 14 divide u?
True
Suppose 3*w = 2*w - 5*o + 4, -5*o = -2*w + 68. Is w a multiple of 12?
True
Suppose n = 2*s - 153, 9*s + 3*n - 355 = 4*s. Does 11 divide s?
False
Let n(g) = 21*g - 5. Let h = 3 + 3. Let o be n(h). Suppose 2*u = 4*w - u - o, 0 = -w - 4*u + 54. Does 17 divide w?
True
Suppose 0 = -7*m + 3*m. Suppose 4*v - 2*p + 4*p - 28 = m, 3 = 3*v - 3*p. Suppose -4*l + 0*l - 52 = -2*u, v*l = 5*u - 125. Is u a multiple of 12?
True
Suppose -4*p + 2*n = -83 - 17, 2*n - 84 = -4*p. Let r = 34 + -47. Let d = p - r. Does 12 divide d?
True
Suppose 5*x = x + 176. Suppose -x = -5*h + 11. Does 8 divide h?
False
Let j(i) = i**3 + 4*i**2 + 3*i + 1. Suppose 3 = -2*l - 1. Let g be j(l). Does 15 divide g/12 + (-59)/(-4)?
True
Is 33 a factor of (-1325)/(-10) + -2*(-2)/(-8)?
True
Let f be 0 + -2 + 2 + 3. Let a(y) = -y**2 + 3*y + 6. Let x be a(6). Let p = f - x. Does 9 divide p?
False
Let a be -1 + 0 + -1 - -7. Let p = 1 + a. Is 15 a factor of 177/p - 1/(-2)?
True
Suppose -46*c - 288 = -50*c. Is 24 a factor of c?
True
Let b(p) = -p**3 + 7*p**2 + 2*p + 7. Does 31 divide b(6)?
False
Suppose -4*i + 4*t - 16 = 0, 0*t = -2*i - 2*t + 8. Does 8 divide (6 - i)*14/6?
False
Let n(c) = 6*c**3 + c + 1. Let r be n(-2). Let g = r - -81. Is g a multiple of 16?
True
Let u(l) = 3*l**2 + 3*l**2 - 2*l - 7*l**2 + 5. Let n be u(5). Let y = n - -54. Is 12 a factor of y?
True
Let i = 90 - -10. Does 5 divide i?
True
Let l = 12 + 25. Suppose -2*g + 2*z = 5*z - l, -3*g - 3*z + 51 = 0. Is g a multiple of 14?
True
Suppose 8 + 92 = 4*h. Let g = -4 + 11. Let c = h - g. Does 8 divide c?
False
Suppose 0*b + 2*b = 0. Let o = b - -7. Does 4 divide o?
False
Is (-2)/(-3) + 5796/54 a multiple of 24?
False
Suppose 16 - 4 = 4*d. Suppose d*y = 69 + 60. Is 19 a factor of y?
False
Suppose 2*m = -2*m + 4*j + 32, -4*j - 5 = 5*m. Suppose -2*v + m = -25. Is 14 a factor of v?
True
Suppose 2*u - 33 = -9. Does 6 divide u?
True
Let t(w) = 6*w - 10. Let f(d) = 2*d - 3. Let n(y) = 14*f(y) - 5*t(y). Is 10 a factor of n(-6)?
True
Let d(c) = 11*c - 7. Suppose -7 = -3*q + 4*r, -4 = -2*r - 0*r. Does 16 divide d(q)?
True
Let s(l) be the third derivative of l**4/6 - l**3/3 - 4*l**2. Is 10 a factor of s(6)?
False
Let m(i) = 2*i + 48. Does 17 divide m(10)?
True
Let h be ((-4)/(-5))/((-2)/10). Let r be 1 - (1 + h - 1). Let p = r - -3. Is 4 a factor of p?
True
Is 5 a factor of (60/14)/(15/140)?
True
Suppose -17 = -4*f - 1. Suppose 0 = -f*i + 7 + 5. Suppose -w + 44 = i*w. Does 7 divide w?
False
Let j(b) = 16*b - 1. Let w be j(-1). Let n = w + 37. Let g = n + -1. Is 10 a factor of g?
False
Let o be (-2)/(1*(-2)/4). Suppose -4*h + 20 = 5*i - 0*i, -i = o. Suppose -q + 11 = -2*p, -2*p + h = 5*q + 3*p. Is q a multiple of 5?
True
Let t(g) = 9*g - 6. Let x(o) = 44*o - 30. Let l(a) = -14*t(a) + 3*x(a). Let k be l(4). Suppose k = 2*d + d. Is d a multiple of 6?
True
Let g(f) = 24*f - 4. Let q(d) = 6*d - 1. Let v(o) = 2*g(o) - 9*q(o). Is v(-1) a multiple of 3?
False
Let l(y) = 2*y - 14. Let k be l(7). Suppose -4*r + 12 + 40 = k. Is 13 a factor of r?
True
Let x = -79 + 108. Is x a multiple of 3?
False
Let w be 64/(-10) + (-2)/(-5). Let o = w + 10. Suppose 245 = 5*f - o*x + 95, x + 29 = f. Does 12 divide f?
False
Let s be (-8 + 7)*(5 + 0). Let d = -2 - s. Does 12 divide d + -30*(-4)/6?
False
Let y(a) = a + 3. Is 4 a factor of y(4)?
False
Let m(l) = -l**2 + 10*l + 16. Let o be m(11). Suppose o*r = 4*r + 12. Does 6 divide r?
True
Suppose 0*k + 4*k - 2 = -2*t, -3*t = 4*k + 1. Let j = k - -4. Does 3 divide j?
True
Is (-4*1)/((-2)/3) even?
True
Let b(p) = 7*p**2 + 7*p - 5. Let o(f) = -3*f**2 - 4*f + 3. Let j(a) = -2*b(a) - 5*o(a). Let m be j(-5). Let s = 40 + m. Does 15 divide s?
True
Suppose 0 = 2*x - 6*x + 24. Is x even?
True
Suppose 178 = 34*j - 32*j. Does 12 divide j?
False
Suppose 884 = 5*i + 3*x, -5*i + 348 = -3*i + 4*x. Does 9 divide i?
False
Let p = 0 + 0. Suppose h = 3*b + b + 7, -4*b - 1 = h. Suppose c + h*c - 124 = p. Does 16 divide c?
False
Suppose -5*k - 7*c + 3*c = -50, 19 = -k + 5*c. Is 4 a factor of k?
False
Let u = -9 + 11. Suppose 3*m = -u*m + 55. Is m a multiple of 7?
False
Suppose -264 = -4*m - 0. Is 5 a factor of m?
False
Suppose 5*g + 4*d - 28 = 2*g, -5*g - 2*d + 56 = 0. Let j(i) = i**3 - 11*i**2 - 12*i + 12. Does 12 divide j(g)?
True
Let k be (-3 - -4) + 49/1. Suppose 5*o - k = -4*q, -4*o - 4*q - 40 = -8*o. Is 2 - (0 - o)*1 a multiple of 10?
False
Does 21 divide 691/11 + (-28)/(-154)?
True
Let m = 248 - 168. Does 13 divide m?
False
Suppose 4*u - 70 - 78 = 0. Does 6 divide u?
False
Let m = 94 - 44. Is m a multiple of 43?
False
Suppose -2 = -3*z + 2*j - 0*j, 4*z - 5*j + 2 = 0. Suppose -z*r + 22 = -6. Is 14 a factor of r?
True
Suppose -6*b + 2*b = -4*c + 160, b = -3. Let f = c - -23. Does 15 divide f?
True
Let o = 20 + 10. Is 10 a factor of o?
True
Let v = -34 + 58. Is 17 a factor of v?
False
Suppose 16*g = 13*g + 108. Is 12 a factor of g?
True
Suppose 13 = 3*q - 35. Does 14 divide q?
False
Let d be 0 - -2 - (2 + -5). Suppose d*y - f = 7*y - 44, -66 = -3*y - 4*f. Suppose 0 = 5*a - 77 + y. Is a a multiple of 9?
False
Let c(v) = v**3 + 10*v**2 + v + 13. Let w be c(-10). Suppose -8*u + 3*u - w*g + 76 = 0, 4*g + 80 = 4*u. Does 6 divide u?
False
Let m(z) = z**3 - 8*z**2 - 5*z - 18. Does 33 divide m(10)?
True
Let i be (-326)/(-3) + (-2)/3. Suppose -4*s - 3*t = t - i, -3*t = -3*s + 99. Is s a multiple of 15?
True
Is 28/(-154) + (-972)/(-22) a multiple of 22?
True
Suppose 0 = -3*z - 2*d - 2*d + 31, d = 5*z - 90. Suppose -l - z + 6 = -3*s, -4*s + 20 = -4*l. Is (16/s)/((-2)/(-15)) a multiple of 14?
False
Let l(a) = -a**3 + 15*a**2 - 25*a + 26. Does 2 divide l(13)?
False
Is 9 a factor of 12*-2*(-25)/15?
False
Does 4 divide (-540)/50*(-20)/6?
True
Let b(k) = -k**3 + 6*k**2 - k + 8. Let q be b(6). Is 6*3/6 + q a multiple of 2?
False
Let d = 38 + -23. Let w = -10 + d. Suppose -x + w + 7 = 0. Is x a multiple of 10?
False
Let d(b) = 1. Let q(a) = -7*a**2 - 4*a - 6. Let l(o) = -3*d(o) - q(o). Is 19 a factor of l(-3)?
False
Suppose 0 = 3*v + 2*v + 15. Let o(b) = b**3 + 4*b**2 + b - 1. Let h be o(v). Suppose 2*r - 35 = w, -h*r + 53 = -2*r - 2*w. Is 17 a factor of r?
True
Is 5 a factor of (13 - 17)*(-3 + -1) - -4?
True
Let l(c) be the third derivative of c**6/180 + c**5/60 - c**4/6 - c**3/3 + c**2. Let m(d) be the first derivative of l(d). Does 8 divide m(-3)?
True
Let o = -549 + 390. Let f = -107 - o. Does 14 divide f?
False
Suppose -88 = -2*y + y. Does 11 divide y?
True
Let t = 180 + -76. Does 7 divide t?
False
Let k(x) = 2*x**2 - 5*x + 4. Let p be (6/(-4))/((-1)/2). Does 7 divide k(p)?
True
Let j = 50 - 34. Suppose 0 = 2*q - 38 + j. Is q a multiple of 3?
False
Suppose -2*d - 4*y + 73 = -143, -d + 73 = -5*y. Does 14 divide d?
True
Suppose -5*g + 5 = 0, 5*g = 3*c - 1 + 3. Let m(r) be