b + 2*c - 36. Is 12 a factor of b?
False
Suppose 0 = -g - 0*o - 4*o + 25, 2*g + o = 22. Is 2 a factor of 16/6*g/6?
True
Does 6 divide 3 + 3 - 0/2?
True
Let c(i) = -i + 4. Let n(f) = -4*f - 3. Let d be n(-2). Let v be c(d). Is 11 a factor of 17 + (1 - (v + 0))?
False
Suppose 4*v - 4*t - 20 = 0, -2*v - 2*t = 3*v - 53. Does 3 divide v?
True
Suppose -3*v - 6 = 4*t - 39, 3 = v. Suppose 4*r - 12 = 3*q - t*q, 3*q + r - 21 = 0. Does 4 divide q?
True
Let m(o) = -o - 2. Let q be m(-2). Suppose 3*r - 3*f - 99 = q, -5*f = 5*r - r - 159. Let n = -25 + r. Is 9 a factor of n?
False
Suppose 11*z = 8*z + 126. Is 21 a factor of z?
True
Suppose 11*l = 14*l - 9. Suppose -255 = -5*a + l*t, 3*a - 4*t = -2*t + 154. Does 16 divide a?
True
Suppose 0*v = 2*q + 5*v + 19, -10 = -5*q - v. Suppose 15 = q*i, -5*a - 5*i = -3*i - 45. Does 10 divide a - -18 - (-3)/1?
False
Let p(f) = f**3 + 10*f**2 + 14*f - 3. Is p(-8) a multiple of 4?
False
Let p(u) = 4*u + 6. Is p(10) a multiple of 17?
False
Suppose -h + 6 = -3*h. Let q be (0 - h)*(-10)/(-15). Suppose 0 = 3*o - q*o - 11. Is o a multiple of 4?
False
Let l = 48 - 33. Is 15 a factor of l?
True
Let s be (-1)/(-1) - 236/(-2). Suppose -s - 11 = -5*z. Is 13 a factor of z?
True
Suppose -x - 4 = -3*u, 0*x - x = -u - 2. Let y be (-74)/12 + u/18. Let g = 16 + y. Is 10 a factor of g?
True
Suppose m = 10 + 3. Suppose 5*n + m - 243 = 0. Is n a multiple of 16?
False
Let x(s) be the third derivative of -s**4/8 - 3*s**3/2 + s**2. Is x(-10) a multiple of 8?
False
Let j be 12/(-10)*(-75)/10. Let t(g) = g**3 - 10*g**2 + 11*g. Does 6 divide t(j)?
True
Does 8 divide 16/10 + (-20)/(-50) - -22?
True
Suppose -4*s + 3*s - 4 = 0. Let v be (-2)/(20/9 - 2). Let w = s - v. Does 2 divide w?
False
Let m be 2*(4 - (3 - 2)). Is 14 a factor of 42/(-28)*(-112)/m?
True
Let j(k) = -k**3 + 10*k**2 + 6*k - 8. Let c be j(10). Suppose c = -2*w + 4*w. Is 13 a factor of w?
True
Suppose 4*g + h - 32 = 6, 2*g - 26 = -4*h. Is g a multiple of 9?
True
Suppose s + 2*s = -114. Let n = s - -114. Is 19 a factor of (n/6)/(6/9)?
True
Is 11 a factor of (-69)/(-3) - (-3 + 0)*-1?
False
Let a(s) = s**3 - 4*s**2 - 5*s + 4. Let v be a(5). Let k = 2 - v. Let u(b) = -8*b - 1. Is u(k) a multiple of 11?
False
Let c(i) = i**3 + 6*i**2 - 5*i + 2. Let q be c(-5). Suppose j - 28 = -3*j. Suppose -4*r + j*a + q = 3*a, -2*a - 8 = -r. Does 5 divide r?
False
Suppose -5*p + 4*f + 1830 = 0, -4*p + 360 = -3*p - 2*f. Does 37 divide p?
True
Is 28 a factor of 5/((-15)/(-12)) + 52?
True
Let t(k) = k**2 - k - 6. Let l be t(0). Let f = l - -10. Does 2 divide f?
True
Let w(g) = g**3 - 9*g**2 + 9*g - 11. Let a be w(8). Does 8 divide (7 - a) + 2/(-1)?
True
Let a(s) = 13*s - 1. Let l be (-2 - 16/(-2))/2. Suppose -l*k + 14 = -t, -3*k = -2*k - 5. Is 6 a factor of a(t)?
True
Suppose 0 = -7*w + 387 + 397. Is 16 a factor of w?
True
Let w(x) = 8*x + 2. Let k be w(-4). Is 13 a factor of (10/k)/((-2)/156)?
True
Suppose 5*p = 2*p + a + 38, 3*a = 2*p - 37. Is 3 a factor of p?
False
Let u(z) be the first derivative of -1/4*z**4 + 1/2*z**2 + 0*z + 1 + 2/3*z**3. Is 21 a factor of u(-3)?
True
Is 11 a factor of (-70 - -3)*-2 - 2?
True
Let i(t) be the second derivative of -t**4/12 - 7*t**3/3 - 3*t**2/2 - t. Let s be i(-10). Suppose s = 5*c - 33. Is c a multiple of 7?
True
Let r(f) = -18*f - 4. Suppose 0 = -5*s + k - 17, 6*k = 2*s + 2*k - 4. Let c be r(s). Let t = -38 + c. Does 10 divide t?
True
Let n(c) = c**2 + 3*c + 1. Let p be n(-2). Let x = p - -12. Is 11 a factor of x?
True
Let x = 36 + -18. Is ((-11)/(-3) - 3)*x a multiple of 6?
True
Suppose -u + 0*j = -j - 58, 4*u - 260 = -3*j. Does 13 divide u?
False
Let k(h) = h**2 - h + 1. Let y(c) = -c**3 + 9*c**2 - 5*c + 5. Let v(b) = 6*k(b) - y(b). Does 4 divide v(4)?
False
Let q(p) = 16*p**2 - 3*p - 1. Let t be q(-1). Let u be -1 - (0 - 31/1). Let g = u - t. Does 4 divide g?
True
Suppose 0 = -3*c + q + 19, c + 2*q + q = 3. Does 7 divide (c/4)/3*42?
True
Let m be 4/((-3)/(-3) - -1). Let r be m/3*63/6. Suppose -2*j = 4*t - j - r, -3*j = 2*t + 9. Is t a multiple of 3?
True
Let j = 1 - -4. Suppose 4*c - 3*b - 104 = 0, 3*b - 67 = -j*c + 63. Is 13 a factor of c?
True
Suppose j + 0 - 1 = 0. Let o(p) = 22*p**3 - 1. Is o(j) a multiple of 7?
True
Suppose -5*z - 4*b = -0*b - 36, z + 8 = 3*b. Let l = z + -2. Suppose 32 = 2*x + l*x. Does 5 divide x?
False
Suppose -4*n - 19 = -5*n. Is 5 a factor of n?
False
Let s(w) = -w - 2. Suppose 4*h + 13 = 4*p - 15, -1 = -2*h - p. Let b be s(h). Suppose b = 5*q - r - 73, -4*q = -0*q + 3*r - 47. Does 14 divide q?
True
Suppose 0 = -2*f - 5*x + 115, -3*f + 3*x + 51 + 132 = 0. Is f a multiple of 26?
False
Let u = -6 + 10. Suppose -5*i = 4*y - 49 + u, -2*i - 5*y = -1. Suppose 3*o - 23 = i. Is 9 a factor of o?
False
Suppose -2*u + u - 2 = 0, -2*w = -3*u - 354. Does 22 divide w?
False
Let f(j) = -j**3 + 5*j**2 - 5*j - 4. Let z(b) = -b**3 + b**2 - b. Let l(m) = -f(m) + 2*z(m). Is 13 a factor of l(-5)?
True
Suppose -4*f + 43 = -37. Is f a multiple of 4?
True
Let a be -3*(-6)/9*-3. Let l = a + 10. Does 4 divide l?
True
Let a(v) = v**3 - 5*v - 14. Let b(i) = i**3 - 6*i + 3*i**2 - 4*i**2 - i**2 + 3*i**2 - 15. Let r(x) = -7*a(x) + 6*b(x). Is r(6) even?
True
Let d(p) = p**2 + p + 4. Let r be d(-5). Let s = r - 16. Does 15 divide ((-20)/3)/(s/(-36))?
True
Let i(w) = -w**3 + 2*w**2 + 2*w + 1. Is 10 a factor of i(-3)?
True
Suppose -4*u = i + 24, 0*u - 5*i + 30 = -5*u. Is u/(-10) - (-785)/25 a multiple of 15?
False
Is 3 a factor of 8/12 - ((-444)/9 - -1)?
False
Suppose -4*y = y - 5. Let z = y + 18. Is z a multiple of 7?
False
Let u(k) = k**2 - 4*k - 2. Let g be u(-4). Let q = -5 + -10. Let w = g + q. Is 4 a factor of w?
False
Let v = -39 + 127. Is v a multiple of 5?
False
Suppose -80 - 142 = -2*f. Is 37 a factor of f?
True
Let l(d) = d + 18. Let i be (-2)/(-4) - 6/(-4). Let y be 0/((i + 1)/(-3)). Is l(y) a multiple of 18?
True
Suppose -v + 0 + 16 = 0. Is 8 a factor of v?
True
Let f be (-3)/9 + 10/3. Let z be 3 - 2 - (-123)/f. Let c = 77 - z. Does 13 divide c?
False
Let p = -6 + 12. Suppose k - 15 = p*k + 4*h, -h = 0. Let v(m) = 5*m**2 + 3*m. Is 12 a factor of v(k)?
True
Suppose 112 = 2*h - h. Is h a multiple of 28?
True
Let z(x) = x - 1. Let k(q) = -2*q**2 + 2*q + 3*q**2 + 1 - 2. Let c(y) = k(y) - 3*z(y). Is c(2) even?
True
Let o(n) = 3*n - 8. Let s be o(4). Suppose 5*a + s*v = 160, 2*v + 123 = 3*a - v. Is a a multiple of 12?
True
Does 24 divide ((-8)/(-6))/((-1)/(-54))?
True
Let s = 8 - 5. Suppose -v + 4*g = -7, 26 = 2*v - s*g - g. Is 19 a factor of v?
True
Suppose 3*r + 80 = 5*a - 152, 0 = 2*r + a + 172. Does 29 divide (r/10)/((-15)/100)?
False
Let p(i) = -i**2 - 7*i - 3. Let c be p(-6). Let m be 8 - (2 - 0 - 3). Is 3 a factor of (21/9)/(c/m)?
False
Let d = 3 + -3. Suppose d*z - 8 = -2*z. Suppose -s = -z*s + 48. Is s a multiple of 8?
True
Let j = -38 + 65. Let b = j - 17. Is b/(-4)*-16 - 1 a multiple of 24?
False
Suppose 0 = 5*y + v - 560, -5*v - 112 = -4*y + 3*y. Is y a multiple of 4?
True
Let p(c) = -24*c + 1. Suppose -2*u - 5 = 3*u. Is 8 a factor of p(u)?
False
Let b(x) = -2*x. Let u be b(-2). Let t = u - -3. Does 4 divide t?
False
Suppose -2 = -2*f + f. Suppose w + 21 = f*n, 3*n - 4*w - 40 = -n. Is n a multiple of 3?
False
Suppose -120*g + 116*g = -312. Does 13 divide g?
True
Suppose -3*v + 2*j + 17 = 0, -3*j = -3*v + 2*j + 29. Suppose -v*g + 33 = -0*g. Suppose -1 - g = -2*h. Does 3 divide h?
True
Let v(a) = -a**3 - 2*a**2 + 12*a - 7. Is v(-7) a multiple of 23?
False
Suppose q = 3*q + 2, -x - 2 = 4*q. Suppose -4*k - 3*d + 4 = 1, 5*k - x*d = 21. Does 14 divide 66*(k/(-3))/(-2)?
False
Suppose -24 = -k + 2*l, 2*k + 2*l - 23 = l. Suppose -k = 5*n - d, -d = n - 6*d + 22. Is 7 a factor of 9/(-6)*-6 + n?
True
Let c = 118 - -74. Is c a multiple of 32?
True
Let a(c) = -2 + 7*c**2 - 3*c**2 + 6. Suppose 6*y + 13 + 5 = 0. Does 20 divide a(y)?
True
Suppose 3*c - 119 - 82 = 0. Suppose -5*q = -0*q - 485. Let f = q - c. Does 10 divide f?
True
Let u = 10 - -25. Let i = 59 - u. Suppose 2*j = -k + i, k + 4*j - 17 = 5. Does 13 divide k?
True
Let z = 18 + 62. Is z a multiple of 20?
True
Let y be ((-10)/(-3))/(4/6). Let s = -2 + y. Is 2 a factor of s?
False
Let q = -1 - -8. Let x(t) be the third derivative of -t**6/120 + t**5/10 + 7*t**4/24 + 2*t**3/3 + t**2. Does 2 divide x(q)?
Tru