Is c a multiple of 6?
False
Does 5 divide 3/3*1*20?
True
Suppose 0 = -b + 4*b + 105. Let i = b + 91. Does 28 divide i?
True
Let f(v) be the third derivative of v**5/60 + v**4/6 - v**3/2 + 3*v**2. Let u be f(2). Suppose u = -p + 2*p. Does 3 divide p?
True
Let i(t) = t**2 - 5*t + 2. Let y be 23/2 + 4/(-8). Does 17 divide i(y)?
True
Let c(d) = 2*d**2 - 10*d - 3. Let m(v) = 3*v**2 - 21*v - 5. Let g(n) = -5*c(n) + 3*m(n). Does 21 divide g(-7)?
True
Let v(j) = j + 6. Is v(2) a multiple of 3?
False
Let t(z) = 2*z + 5. Is t(8) a multiple of 5?
False
Let j = 1 + -1. Suppose j = 3*z, 2*b = 3*z - 0*z. Suppose b = -5*i + 9 + 6. Does 2 divide i?
False
Suppose 3*l - 144 = 282. Is 21 a factor of l?
False
Let w be (0 - -4)/(4/2). Suppose 2 = f - 5*r, -w*f + 5*r + 3 = -1. Suppose f*b + 4*z - 36 = 0, -3*b - 2*z - 38 = -6*b. Is b a multiple of 7?
True
Does 6 divide (2 + -52)*4/(-8)?
False
Let r(w) = w**3 - 15*w**2 - 6*w - 14. Does 7 divide r(16)?
False
Let j = 244 - 119. Let v = j - 68. Is 17 a factor of v?
False
Let w = -45 - -26. Is (-5 - -1)*w/4 a multiple of 13?
False
Let z be (-8)/20*(-68 - 2). Suppose 3*p = 4*p - z. Is 14 a factor of p?
True
Let y(i) = -19*i**2 - 3*i + 2. Let b be y(1). Is b/6*6/(-4) a multiple of 2?
False
Suppose -3*a + 27 = 4*l + 11, -2*a + 4*l = -44. Is a a multiple of 2?
True
Let s be 3/(-4) - (-27)/36. Suppose -5*i + 5 = 5*u - s, 2*u - 17 = i. Does 4 divide u?
False
Let o(h) = h**3 - 6*h**2 - h + 4. Let t be o(6). Let r(l) = l**2 + 13*l + 17. Let x be r(-10). Is 1/t*6 - x a multiple of 5?
True
Let p(o) be the first derivative of o**4/4 - 8*o**3/3 - o**2/2 + o + 1. Let v be p(8). Does 18 divide 2/v - 508/(-14)?
True
Let v = 29 - 42. Suppose 147 = 4*z + 31. Let i = v + z. Does 8 divide i?
True
Let y be 2/8 + (-6)/24. Suppose 3*f = -y*f. Is (-2*7)/(f + -2) a multiple of 7?
True
Does 10 divide (3/(-2) - -2)*(136 - -4)?
True
Let o(b) = b**3 - 4*b**2 + 3*b - 6. Let i be 0 + 0 + 2 - -2. Let q be o(i). Suppose 5*t - 4 - q = 0. Does 2 divide t?
True
Let p = -90 + 190. Is 25 a factor of p?
True
Let i(u) = u**3 + 13*u**2 - u + 12. Is i(-12) a multiple of 21?
True
Let a = -79 - -135. Does 7 divide a?
True
Suppose -4*l = -i + 15, -2*i = -l - 0*l + 5. Does 8 divide 6/(-10) + (-43)/i?
True
Let r(c) = -3 + 4 + 0*c - 6*c - 3. Is 4 a factor of r(-1)?
True
Let x(t) = -8*t**2 - 2. Let i be x(2). Let s = i + 62. Does 7 divide s?
True
Let y be (-4)/((-8)/(-14)) + -1. Let l = y - -29. Does 8 divide l?
False
Let v(c) = -c**2 - 7*c - 1. Let p be v(-6). Suppose 0 = p*z - 43 - 77. Does 11 divide z?
False
Is -6 + 146 - (1 + -5) a multiple of 36?
True
Let h(k) = 3*k**3 - k**2 + k + 2. Let c(p) = -p**3 - p + 1. Let y(f) = -2*c(f) - h(f). Let m be y(0). Let l(x) = -2*x + 4. Does 7 divide l(m)?
False
Suppose -5*y = 6 - 31. Suppose -2*h = -y*h. Suppose f + r + 2 = 6*r, h = 3*f - 2*r - 33. Is 13 a factor of f?
True
Suppose -f - 2*n - 822 = -4*f, 2*f - 538 = -2*n. Suppose 4*t + 4*d - 240 = 0, 0*t + f = 5*t - 2*d. Suppose 0*k = 4*k - t. Is k a multiple of 14?
True
Suppose 0*i + 2*i = -x - 3, 0 = 5*x - 2*i - 21. Is x + -8 - -3 - -15 a multiple of 13?
True
Does 4 divide 2/(5 - 4) - -26?
True
Let n be -1 + 11*(-3)/3. Let u = n - -20. Does 4 divide u?
True
Let z(i) = -3*i + 6. Let h be z(4). Let g = h + 11. Let s(r) = r**3 - 5*r**2 + 8*r - 4. Does 18 divide s(g)?
True
Suppose 295 = 3*d + 5*z - 418, -3*d - 2*z + 728 = 0. Is d a multiple of 41?
True
Suppose 2*q - 82 = -4*v + 4, -2*q + 10 = 0. Let y = 29 - v. Is 10 a factor of y?
True
Let n = 90 - 6. Is n a multiple of 12?
True
Suppose 2*d - 3*k + 64 = 270, 5*d = 3*k + 506. Suppose f = -3*g + d, -5*g + 124 = -g - f. Does 32 divide g?
True
Suppose -27 - 59 = -2*g. Is 11 a factor of g?
False
Let i = -5 - -8. Suppose 33 = -i*h + 81. Is 6 a factor of h?
False
Let z(o) be the second derivative of 13*o**4/4 - o**3/3 + o**2/2 + 3*o. Is 19 a factor of z(1)?
True
Does 12 divide 2 + 145/(-10)*-6?
False
Suppose -2*r - 7 = -211. Does 34 divide r?
True
Suppose -4*l + 33 = -7. Let z = 24 - l. Is 5 a factor of z?
False
Is 36 a factor of 2/((2/(-20))/((-108)/15))?
True
Let a = -3 - 12. Let i = a - -24. Is i a multiple of 7?
False
Suppose -4*y - 2*p = -7 - 5, -5*y - 2*p = -16. Let d be 24/(-9) + y/6. Does 5 divide (-24)/(-5) + d/(-10)?
True
Let n(v) = 3*v - 12. Let u be n(5). Suppose 3*m = -3*l + 36, 0*l + 3*m + 6 = u*l. Is l a multiple of 7?
True
Let h(d) = 3*d + 3. Let t be h(-4). Let l be 3/(-9) + (-21)/t. Is 10 a factor of (-1 - l)*(-20)/6?
True
Suppose -5*s - p + 14 = 0, -11 = 5*s + 4*p - 37. Suppose 0 = -s*t - 76 + 184. Is 18 a factor of t?
True
Suppose -2*j + 1 = 5*n - 2, -2*j + 9 = -n. Let s be (10/(-6))/(j/(-72)). Suppose -45 = -3*o + 2*b, -3*o - b - 2*b = -s. Does 5 divide o?
False
Does 15 divide -1*10/6*-18?
True
Let q = 47 + -3. Is 11 a factor of q?
True
Let f = -14 - -24. Is 5 a factor of f?
True
Let b be 101/(-3) + 8/(-24). Let s = 53 + b. Is 15 a factor of s?
False
Suppose 2*k = k - 5*j, 3*k + 4*j = 0. Suppose k = 2*p - h - 11, 3*p + 2*h - 6 = 7. Suppose 4*s - 61 + p = 0. Is 8 a factor of s?
False
Let v = -8 - -12. Suppose v*w = w + 12. Let g = 19 - w. Is 12 a factor of g?
False
Let f be ((-3)/(-4))/((-2)/(-8)). Suppose -2*y - f = 1. Is 5 a factor of y/(21/(-15) + 1)?
True
Suppose 5 = 4*g + 3*p - 7, -16 = 4*g - 4*p. Suppose g = 4*o + 2*a - 46, -2*a = 6 - 0. Is 5 a factor of o?
False
Let k = -36 - -72. Is k a multiple of 17?
False
Let n(m) = m - 8. Is 2 a factor of n(13)?
False
Suppose 5*h = -42 - 33. Let p = -23 + -2. Let j = h - p. Does 8 divide j?
False
Let h(z) = 17*z**2 + 7*z - 4. Let i(c) = 17*c**2 + 6*c - 3. Let l(r) = -4*h(r) + 5*i(r). Is l(-1) a multiple of 8?
True
Let u be (2 + -5)/(2/6). Let w(i) = i**2 + 6*i + 7. Is w(u) a multiple of 18?
False
Let a be (10/4 + -2)/(2/116). Let k = -36 - -55. Suppose a + k = 4*h. Is h a multiple of 7?
False
Let z = -40 + 79. Is 13 a factor of z?
True
Let z = 6 - 0. Suppose 2*g - 4*g = -8. Suppose z*p - g*p - 30 = 0. Does 8 divide p?
False
Suppose -5*h + 22 = -3*h. Suppose k + f = h, -k + 8*f + 5 = 3*f. Is 6 a factor of 6/2*k/3?
False
Let g(x) = -3*x**2 - 1 + 5*x**2 + x - 1 + 3*x. Let t be g(-5). Suppose -t = s - 3*s. Is 7 a factor of s?
True
Suppose 5*k - 5*y + 10 = 0, 2*y + 2 = -2*k - 18. Let l be (1 + -1)/(k - -4). Suppose z = p + 28, -2*z - 2*p - p + 36 = l. Is z a multiple of 10?
False
Suppose -v + 16 + 53 = 4*l, 0 = -l - 4*v + 21. Is l a multiple of 13?
False
Let b = 4 + 5. Is b even?
False
Suppose -d + 108 = -0*d. Suppose -2*i - 2*y + d = 0, -i + 2*y + 11 = -52. Does 10 divide i?
False
Let k = 0 - 0. Suppose k = p - 3*p. Suppose p = 3*r + r - 104. Is 13 a factor of r?
True
Suppose 0 = -3*u + 451 + 224. Does 21 divide u?
False
Suppose c + 3*c = -140. Is (-10)/c + 80/14 even?
True
Suppose h - 76 = -2*m, m + 251 + 96 = 5*h. Is 34 a factor of h?
False
Is 63 - 3/(12/(-8)) a multiple of 13?
True
Let k(n) = 2*n - 4. Let h be k(3). Suppose -y + 102 = 5*r - h*y, 5*y = -10. Is r a multiple of 9?
False
Let c = 2 - 0. Suppose 3*b = -p - 2*p, 5*p = -c*b. Let o(l) = l**2 - l + 4. Is 2 a factor of o(p)?
True
Let c = 19 + 5. Is 24 a factor of c?
True
Suppose 0 = 2*x + 2*x + 100. Let t = x - 0. Let f = -9 - t. Is 7 a factor of f?
False
Suppose a - 2 = 38. Is 10 a factor of a?
True
Suppose -m + 4*h = -48, -m + 4*h + 33 = 3*h. Is m a multiple of 14?
True
Suppose -168 = -4*l - 4*a, -5*l = a + a - 210. Is 21 a factor of l?
True
Let k be (-1 + 3)*(-2)/4. Let z be 2 + -1 - -1 - k. Suppose -4*w - 3*m + 59 = -21, -46 = -2*w - z*m. Is w a multiple of 11?
False
Suppose -2*s = -2*l - 8, s - l - 2 = l. Let z be -1 + (s - 1)*-1. Does 6 divide 8 + 2 + z/(-3)?
True
Let z(m) = -m - 5. Let q be z(-6). Let w = 8 - q. Is 7 a factor of w?
True
Suppose 3*n = -n + 4. Let h = 2 + n. Does 3 divide h?
True
Let p(w) = -2*w**3 - 2*w**2 + 2. Is p(-3) a multiple of 14?
False
Let l be 3 - 0 - 6 - -5. Let g = -6 + l. Let x(u) = -u**3 - 4*u**2 - 4*u - 3. Is x(g) a multiple of 13?
True
Suppose 0 = -x - k - 0*k + 11, k = 2*x - 37. Is x even?
True
Is 8 a factor of 1/(1/(-2 - -10))?
True
Suppose -j - j = 0, -32 = 4*v - 2*j. Is 19 a factor of v/(-6)*(-180)/(-8)?
False
Let v(y) be the first derivative of -y**4/4 - y**3 + y**2 - 4*y - 3. Let m be v(-4). Suppose -j + 5*k = -27, j - m*k + 62 = 4*j. Is 11 a factor of j?
True
Let f 