 -3*s. Does 2 divide y?
True
Let u(a) = a + 5. Let j be u(6). Let g = j + -2. Is 6 a factor of g?
False
Let k = -31 + 56. Suppose -3*f + 4*f + 3 = 4*w, 5*w = -3*f + k. Suppose 3*l + 4*d - 46 = 0, -l + w*d = -3*l + 28. Does 8 divide l?
False
Let u(q) = 3*q**2 - 2. Let h = 6 - 4. Does 10 divide u(h)?
True
Is 250/15*3 + -2 a multiple of 2?
True
Let t(r) = -187*r**3 - 2*r**2 + 3*r - 2. Let z be t(1). Let h = z + 272. Does 24 divide h?
False
Let w = 263 - -18. Is w a multiple of 32?
False
Is (-1017)/(-9) - (-6)/(6/(-3)) a multiple of 24?
False
Suppose -d - 6 = -3*d. Suppose -d*g + 11 = -2*g. Let j = 27 - g. Is 16 a factor of j?
True
Suppose -2*r - 8 = -2. Does 7 divide (-5 + (-6)/3)*r?
True
Let u = -11 - -156. Does 24 divide u?
False
Let z(j) = -j**2 - 13*j - 8. Let x be z(-12). Suppose 0*p = x*p, -4*y + 5*p + 88 = 0. Is 8 a factor of y?
False
Suppose 2*l - 93 = -3*c, -4*c + 2*l - l = -113. Does 16 divide c?
False
Let o(r) = 2*r**2 + 15*r - 3. Is 20 a factor of o(-13)?
True
Suppose x + 5*t = 11, -5*x + 18 = -2*t - 10. Let h = x - 4. Suppose -2*o + 13 = o + h*i, -4*o - 3*i + 18 = 0. Is o a multiple of 2?
False
Suppose -5*u = 2*y - 13, -2*u + 0*u = 5*y - 1. Suppose u = -5*s + 243. Is 12 a factor of s?
True
Let d = -2 - 2. Let k be 2*(-6)/d + 0. Suppose -q + 4*v + 22 = 0, 3*v + 18 = k*q - 12. Is 6 a factor of q?
True
Suppose 0 = -5*b + 16 + 24. Let d(h) = 10*h - 5. Let t be d(b). Let l = t - 42. Is l a multiple of 20?
False
Suppose 3*q = -w + 2, -2*q + 3*q + 3 = 0. Does 8 divide w?
False
Let m(t) = -t**2 + t + 2. Let q be m(2). Let k be -1*3/(3 - q). Let r(x) = 12*x**2 + x + 1. Is 12 a factor of r(k)?
True
Suppose -1751 = 18*v - 6341. Is v a multiple of 17?
True
Suppose 0 = b + 4*w - 25, w - 34 + 3 = -3*b. Does 8 divide b?
False
Let t(k) = k**3 - 2*k**2 + 2*k. Let w(l) = -2*l**3 + 3*l**2 - 2*l. Let c(p) = -3*t(p) - 2*w(p). Is c(3) a multiple of 8?
False
Suppose v + 77 = q, 3*v + 44 = q - 43. Does 24 divide q?
True
Let s = 1 - -1. Does 17 divide 51*s*1/2?
True
Let f(i) = i**3 + 5*i**2 + 2*i + 4. Let a be (-15)/4 - 12/48. Is f(a) a multiple of 3?
True
Let t(p) = 2*p + 2*p - 7*p + 6*p + 2. Does 5 divide t(6)?
True
Let k(j) = 4*j + 68. Is k(0) a multiple of 10?
False
Let w(d) be the second derivative of 0*d**2 + d - 1/6*d**3 + 1/12*d**4 + 0. Does 3 divide w(3)?
True
Suppose -8 = -4*t + 4*m, t + 3 - 13 = -3*m. Suppose -d = t*d - 215. Suppose 0 = -2*a + d - 15. Is a a multiple of 14?
True
Let d(x) = -3*x**3 - 5*x**2 + 3*x + 1. Let l(u) = -7*u**3 - 11*u**2 + 7*u + 2. Let f(m) = 9*d(m) - 4*l(m). Is f(4) a multiple of 15?
True
Let v(d) = 4*d + 12. Does 16 divide v(9)?
True
Suppose -3*t - w + 49 = 0, -t - 11 + 4 = 5*w. Does 9 divide t?
True
Let x(w) = 7*w**2 - 4*w + 10. Is 19 a factor of x(5)?
False
Let c = 19 - 9. Does 4 divide c?
False
Suppose -7*g + 2*g - l = -29, -l + 24 = 4*g. Suppose -8*u = -g*u - 108. Is u a multiple of 18?
True
Let n(u) = u**3 - 3*u**2 + 2*u - 1. Let x be n(3). Suppose x*r = 7 + 3. Is (1 - (-4 + r))*4 a multiple of 6?
True
Suppose 5*f = 284 - 44. Is 16 a factor of f?
True
Let l = -20 + 23. Does 3 divide l?
True
Suppose -3*b + 99 = -4*l + l, -3*b + 5*l + 109 = 0. Does 4 divide b?
True
Let n(b) = -12*b + 13. Is 17 a factor of n(-8)?
False
Let q(t) = t + 3*t - 3*t + 2 - 3*t. Let g be q(-2). Let y = g + 1. Is y even?
False
Let h = 66 + -54. Does 12 divide h?
True
Let y(q) be the third derivative of -q**6/120 - q**5/15 + 3*q**4/8 + q**3 - 3*q**2. Is 8 a factor of y(-6)?
True
Suppose 4*f = -2*l + f - 8, -3*l - 6 = 3*f. Suppose -6 = -l*a + 10. Does 3 divide a?
False
Let k(r) be the third derivative of r**8/560 - r**7/5040 - r**5/30 - r**2. Let p(x) be the third derivative of k(x). Does 14 divide p(1)?
False
Let x(u) = 7*u**2 - 4*u + 1. Is 7 a factor of x(2)?
True
Let x = -416 + 808. Is x a multiple of 28?
True
Let o(w) = -3*w + 12. Let y(s) = 2*s - 12. Let m(k) = 3*o(k) + 2*y(k). Is m(-9) a multiple of 14?
False
Let f(g) be the first derivative of g**7/120 - g**6/360 + g**5/120 - g**3/3 + 1. Let a(t) be the third derivative of f(t). Is a(1) a multiple of 5?
False
Suppose -2*g - 4*d + 117 + 67 = 0, 2*g + 5*d - 189 = 0. Let q be (g/4)/((-3)/(-18)). Does 11 divide (-3)/(-2) - q/(-6)?
True
Suppose -5*o = -o. Let f(s) = s + 2. Let a be f(o). Suppose a*x + x = 48. Does 6 divide x?
False
Suppose -3*u + 4 = 10. Is u/(-8) + (-895)/(-20) a multiple of 17?
False
Suppose 0 = -5*i + 1 - 11. Is 12 a factor of ((-9)/(-6))/(i/(-48))?
True
Is (0 + 10/3)/(3/9) a multiple of 3?
False
Suppose 3*h + 2*h - 10 = -s, s = 5*h - 10. Suppose -h*k = -4*k + 34. Does 6 divide k?
False
Suppose -2*u - u = -30. Let x = 19 - u. Is 6 a factor of x?
False
Suppose 0 = y + 3*j - 15, 5*y + 0*y + 2*j - 10 = 0. Let o = y - 0. Suppose o*r + 21 = 3*r. Is 3 a factor of r?
False
Let x = 88 - 4. Suppose 4*q - q = x. Suppose 0*c + q = 2*c. Is 7 a factor of c?
True
Let c be 6/(-27) + 182/9. Let b be 54/(-45)*c/(-6). Suppose b*o - 200 = -0*o. Is o a multiple of 25?
True
Let x = -54 - -96. Is x a multiple of 14?
True
Suppose -8*y + y = -238. Suppose -y = -g - 2. Is 16 a factor of g?
True
Let j(a) = 2*a + 1. Let z be j(1). Suppose -o + 5*c + 15 = 0, 3*o - c + z*c - 62 = 0. Is o a multiple of 10?
True
Let o(g) = g + 11. Let q be o(-7). Suppose -3*y + 8 = -q. Suppose -y*d + 74 = b, -d - 5*b = 3*d - 66. Does 9 divide d?
False
Let x be (3 - 2) + (-2)/(-1). Suppose 2*d - x*k = -0*k + 7, -3*k + 9 = 0. Is d a multiple of 6?
False
Let k(l) = 4*l + 6. Let t(u) = u + 2. Let c(w) = -3*k(w) + 8*t(w). Let a be c(-3). Does 9 divide a/(-5) - (1 + -12)?
True
Let p = -5 - -11. Let n = p + -4. Suppose n*c - 3*g - 51 = 0, -81 - 16 = -4*c + 5*g. Does 10 divide c?
False
Let l = 54 + -26. Let s = 39 - l. Is 11 a factor of s?
True
Suppose -2*j = -5*y + 13, -4 = -3*j - 1. Suppose 3*a + 72 = 3*l - 0, 0 = y*l + 3*a - 42. Is 17 a factor of l?
False
Suppose 126 = 3*b - 0*b. Suppose 4*r - 38 = 2*g + 20, 3*g + b = 3*r. Does 7 divide r?
False
Let b(w) = -7*w**2 - 5*w + 2. Let y be b(-4). Let l = y + 158. Suppose 6*c - l = 2*c. Is c a multiple of 10?
False
Let d = 5 + -16. Is (8 + -11)*(0 + d) a multiple of 17?
False
Let t = 20 - 6. Let i = 1 - -5. Is i/7*t/2 a multiple of 5?
False
Suppose -3*w = 2*w - 255. Suppose 0 = -s + 4*s - w. Is s a multiple of 17?
True
Let q(p) = -p**2 + 15*p + 4. Is q(10) a multiple of 24?
False
Suppose -2*f + 15 = 3*f. Suppose -f*i = 2*g - 1 - 14, i = -3*g + 19. Suppose 0*z + z = g. Does 6 divide z?
True
Suppose 0*m = 2*k - 4*m - 24, -5*k + 69 = -m. Suppose 3*z + k = 104. Is 11 a factor of z?
False
Let c be (-1)/(-4) - 382/(-8). Suppose -3*n = n - c. Is n a multiple of 8?
False
Let b(c) = 4*c + 99. Is 11 a factor of b(0)?
True
Let k(f) = 2 - 3 + 9 + 3*f. Suppose 3*b - 25 = -7. Is k(b) a multiple of 13?
True
Suppose 4*f = d - 122 + 41, -2*d - 2*f = -132. Is 23 a factor of d?
True
Is 24 a factor of (-736)/(-8) - (-2 + 0)?
False
Suppose -2*s + 6 = 2*v - 3*v, -v + 5*s - 15 = 0. Suppose v = 3*g - 261 - 9. Suppose f = 6*f - g. Is 9 a factor of f?
True
Is 34 a factor of ((-45)/30)/(3/(-272))?
True
Let d = 6 - -4. Is d a multiple of 4?
False
Let q be -1 + 3 + (-3 - -127). Let r = q - 57. Is r a multiple of 15?
False
Suppose -t - 123 = -z - 41, -2*z - 2*t + 164 = 0. Is z a multiple of 10?
False
Suppose 63 = 2*s + 3*r, -r + 3*r - 64 = -2*s. Does 11 divide s?
True
Let j(g) = 13*g. Does 9 divide j(3)?
False
Let h(i) = 3 + i**2 - i**2 - i**2 + 2*i. Let p be h(3). Suppose -3*s - 15 = 0, p*z = z - 4*s - 28. Is z a multiple of 4?
True
Let i(n) = n + 14. Let o be i(-5). Let j(q) = q**3 - q**2 - 2*q - 1. Let s be j(-1). Is ((-12)/o)/(s/18) a multiple of 12?
True
Let b be (3/(-2))/(6/(-8)). Suppose a + 4*a = -5*l + 195, l - 179 = -5*a. Suppose -13 = -b*f + a. Is 12 a factor of f?
True
Is 1776/27 - 2/(-9) a multiple of 22?
True
Is 24 a factor of (-7)/(252/(-8)) - 2426/(-18)?
False
Suppose 0*b = -b + 12. Let x = b + -96. Let v = 121 + x. Is 18 a factor of v?
False
Let x be (-5)/(-1) - 2/(-2). Let q(b) = 4 - x*b - 4. Does 12 divide q(-2)?
True
Let y(f) = 2*f - 1. Suppose 3*s + 3 = -3*r, -4*r - 2*s = -2 - 4. Let m be y(r). Suppose m + 18 = z. Does 11 divide z?
False
Let r(a) = -a - 3. Let p be r(-4). Let w be 1 - (p + -2) - -14. Let i = w - 5. Is 11 a factor of i?
True
Let z be 7/(((-3)/27)/(-1)). Suppose 12 = 5*g -