*b + 5*w = 28. Does 7 divide v(b)?
True
Let u(s) = -s**3 + 3*s**2 - 3*s + 2. Let o be u(3). Let x = 11 - o. Is 9 a factor of x?
True
Let z = -4 - -4. Suppose 3*y + 1 = 16. Let a = z + y. Is 2 a factor of a?
False
Suppose -7*o = -o - 54. Is 4 a factor of o?
False
Suppose -5*z = -0*z - 15. Suppose -4*c - 140 = -2*v, z*v - 3*c - 280 = -v. Suppose l = 6*l - v. Is l a multiple of 9?
False
Let o(p) = p - 6. Let u be 2/(-1*(-4)/10). Let s be o(u). Is 22 a factor of 0 + ((-46)/s - 2)?
True
Suppose b = -5*p + 79, 280 = 5*b + 5*p - 3*p. Is 15 a factor of b?
False
Let q(k) be the first derivative of k**3/3 + 5*k**2/2 - 3*k + 1. Let f be q(-6). Suppose -67 + 10 = -f*p. Is 19 a factor of p?
True
Suppose -z + 5*z - 468 = 0. Is z a multiple of 39?
True
Suppose r + 0*r + 8 = 0. Let j be r/(-6) + 10/15. Suppose 6 = j*t - 70. Does 17 divide t?
False
Suppose 15*d - 400 = 5*d. Is 8 a factor of d?
True
Let o(n) = 10*n + 4. Let f be o(5). Let w = -32 + f. Is w a multiple of 7?
False
Does 20 divide 20 + 0/(3 - 5)?
True
Let q(v) = -v**3 + 10*v**2 - 12*v + 10. Suppose -z + 0*z - 4*x = -1, -z = -3*x - 15. Let o be q(z). Let l = o + 40. Is l a multiple of 9?
False
Is 2 - (-1 - -5) - (-3 - 55) a multiple of 9?
False
Let w = -7 - -91. Does 14 divide w?
True
Let i(m) = -m**2 - 16*m + 4. Let a be i(-11). Suppose 4*q = 4*l - 80, -5*q + 57 + a = 4*l. Suppose -4*g + l = -4. Is g a multiple of 7?
True
Let y(i) = -6*i**3 - 3*i**2 - 4*i - 2. Let g(o) = -o**2 + 2*o. Let n be g(2). Suppose -4*h + 2*h - 4 = n. Is 14 a factor of y(h)?
True
Is 24/20*(-255)/(-6) a multiple of 28?
False
Let r(k) = 7*k + 1. Let g(w) = w**2 + 4*w - 5. Let c be g(-6). Is 25 a factor of r(c)?
True
Let t(u) be the first derivative of u**4/4 - 7*u**3/3 + 4*u**2 + 2*u - 5. Suppose 4*r = 18 + 6. Is t(r) a multiple of 7?
True
Suppose -b + 4*b = 324. Suppose 5*o = 2*u - b, -u + o + 0*o = -60. Is u a multiple of 16?
True
Suppose a - 3*f - 27 = -a, -2*f - 10 = 0. Let j = 11 - a. Does 3 divide j?
False
Suppose d - 2*d + 3 = 0. Suppose -d*g = -2*g + 4*c - 5, -5*g - 3*c + 25 = 0. Is 2 + 1*g/1 a multiple of 4?
False
Let l(f) = 2*f + 2. Suppose -2*t + 4*j = 4, 7*t + 4*j - 4 = 3*t. Suppose t = -v + 4*u - 11, 0 = 5*v - 2*u - 2*u - 9. Is 12 a factor of l(v)?
True
Suppose 4*c - 3*c - 5*t - 20 = 0, 5*c - 20 = 5*t. Let z(r) = 1 + c + 3 - 9*r. Is 17 a factor of z(-5)?
False
Let w(f) = f**2 - f + 4. Let c be w(0). Suppose 2*m - 2 = 2*j, c*m + 0 = -j + 24. Suppose -k = -5*g - 40, k = -j*g - 1 + 5. Does 10 divide k?
True
Let p = -19 - -79. Does 5 divide p?
True
Suppose 28 = 6*z - 2*z. Let d = 6 + z. Suppose 0 = -4*q + 27 + d. Is 5 a factor of q?
True
Let f(a) = a**2 - 4. Suppose 3*p + 2*p = 20. Does 8 divide f(p)?
False
Let y = -5 + 10. Suppose -6*x + 20 = -3*x + k, x - 16 = -y*k. Is 39/x + 2/4 a multiple of 4?
False
Let r = 15 + -10. Suppose -r*j = -300 - 75. Is j a multiple of 25?
True
Let x(f) = f**2 - 6*f - 2. Let h be x(10). Suppose 238 = 4*q - 2*w - h, 0 = -5*q - w + 359. Is q a multiple of 15?
False
Let o(c) = -3*c**2 - 6*c - 1 - 4 + 2*c**2. Let r be o(-5). Suppose 0 = b - r - 7. Is 4 a factor of b?
False
Suppose 0 = -4*k - 4 - 8. Let m = 4 + k. Is 7 + ((-6)/(-3) - m) a multiple of 3?
False
Is (0 - -12)/(22/4 + -4) a multiple of 4?
True
Suppose 269 = 5*v - 771. Does 24 divide v?
False
Let c be -3*((-20)/12 - 3). Does 15 divide (0 + c)*(-270)/(-105)?
False
Let h = -5 + 10. Suppose k - 20 + h = 0. Does 15 divide k?
True
Suppose 2*v - 6 = 0, -2*v = -2*i + 46 + 368. Does 15 divide i?
True
Suppose 16*q - 12*q = 1032. Does 71 divide q?
False
Suppose -10*t = -8*t - 14. Is t a multiple of 7?
True
Suppose 0 = -4*c + 2*c + 5*x + 672, 0 = -3*c - 4*x + 1054. Does 50 divide c?
False
Let n be 2/(-7) - 80/(-35). Suppose -23 = -5*d - n*r, -5*d + 0*d - r + 24 = 0. Is d even?
False
Suppose -13*h + 11*h + 78 = 0. Is 28 a factor of h?
False
Let a(r) = 4*r**2 + 5*r - 3. Let f(b) = 5*b**2 + 5*b - 2. Let z(x) = -4*a(x) + 3*f(x). Suppose 2*l - 6*l - 20 = 0. Does 4 divide z(l)?
False
Let a(k) = 3*k - 1. Let p be a(3). Suppose -3*o + p = -10. Suppose -2*i = -o*i + 128. Is i a multiple of 15?
False
Suppose -4*v + 29 = -151. Is v a multiple of 11?
False
Let s be 6/(-2) + -3 + 3. Let j(b) = -8*b. Let t be j(s). Suppose 4*n + t = 64. Is 10 a factor of n?
True
Let s = 42 - 21. Let a = 2 - 6. Let u = s + a. Does 6 divide u?
False
Let a be 1/2 - (-30)/4. Suppose -2*o = -x + 2*o + a, 4*o + 88 = 5*x. Is 11 a factor of x?
False
Is ((-6)/4)/(1/(-94)) a multiple of 39?
False
Suppose -2*z + 24 = 2*g - 16, 112 = 5*z + 2*g. Does 5 divide z?
False
Let i(x) = x**3 - 10*x**2 - 15*x + 24. Is i(12) a multiple of 22?
True
Let c = 13 - 19. Is 9 a factor of 471/21 - c/(-14)?
False
Let l = 69 + -41. Let v = l + 12. Is 22 a factor of v?
False
Suppose -2*w + 541 = d, 3*w - d = 4*w - 268. Is w a multiple of 13?
True
Suppose -7 = -3*y + 8. Suppose -5*v - 93 = -3*g, y*g - 5*v = -v + 142. Is 13 a factor of g?
True
Let u = 25 + -2. Is u a multiple of 18?
False
Let y(z) = -z**3 + 4*z**2 + 11*z - 11. Is y(5) a multiple of 19?
True
Does 13 divide ((-32)/(-16))/(1 + 11/(-13))?
True
Let s(r) = 5*r - 8. Let o be 2/(-3)*(-21)/2. Suppose 4*u = 12, -o*z + 5*z = -u - 9. Is s(z) a multiple of 11?
True
Let m(u) = -7 - 2 + 3 + 3*u - 6*u. Let d = -15 - -8. Is 15 a factor of m(d)?
True
Suppose n + 2*r - 7 = 9, -2*n = -4*r. Is n a multiple of 2?
True
Is 5 a factor of (-400)/(-8)*(-3)/(-6)?
True
Is 1 + 18 + 2/1 a multiple of 7?
True
Let m = 66 + -27. Is 4 a factor of m?
False
Let c(j) = -j**2 + 23*j + 16. Is c(8) a multiple of 51?
False
Let a = 469 + -277. Does 12 divide a?
True
Let m(z) = z**3 + 10*z**2 + 8*z - 4. Let b be m(-9). Suppose 0 = -2*g + 13 + b. Does 6 divide g?
False
Let i = 133 - 88. Is i a multiple of 5?
True
Suppose 12 = -2*v - 2*v, 4*v = 2*g - 22. Let p = 1 + g. Is (-3 + p)/(6/20) a multiple of 8?
False
Is 42 a factor of (-728)/((-4)/1) - 6?
False
Let o = -39 + 74. Does 7 divide (-2)/5 - (-749)/o?
True
Let o(x) = 2*x - 7. Does 4 divide o(6)?
False
Suppose -2*f - 3*g = f - 3, 5*g - 21 = -f. Is (36/15)/(f/(-10)) a multiple of 6?
True
Let r(d) = -5 + 3*d - 4*d**2 + 3 + 6 + d**3. Is 7 a factor of r(4)?
False
Let w(g) = 13*g - 3. Is w(3) a multiple of 12?
True
Suppose 5*g - 160 = 20. Does 15 divide g?
False
Let a = -19 - -37. Let l = a - 5. Suppose v - l = 7. Is 20 a factor of v?
True
Let v = -1 + 5. Suppose -3*l + 113 = v*w, 3*w = 2*w + l + 37. Is w a multiple of 16?
True
Let v(d) = 11*d**3 - 1. Is v(1) a multiple of 10?
True
Let o = 16 - 11. Suppose 3*s + 3*g = 138, s = -2*s - o*g + 134. Is 15 a factor of s?
False
Does 25 divide 6/(-4)*2/6*-350?
True
Let q = -8 + 18. Suppose q = 4*k - 2. Suppose 0 = t + t + 4*h - 40, -5*t + 152 = -k*h. Is t a multiple of 10?
False
Let n = 12 + 10. Does 7 divide n?
False
Let m = 39 - 1. Suppose 182 - m = 4*n. Does 18 divide n?
True
Suppose -5*u - p + 82 = -0*p, -2*u = -p - 37. Does 12 divide u?
False
Suppose -6*r = 108 - 300. Is 15 a factor of r?
False
Suppose 5*m + 3*o = 315, m + o = 23 + 38. Does 15 divide (m - 3 - 3) + 0?
True
Suppose 6 = -4*c + 2. Is (-330)/(-18) - c/(-3) a multiple of 9?
True
Suppose -p = -2 + 3. Let y(a) = -19*a. Let z be y(p). Suppose 2*x = 47 + z. Is 16 a factor of x?
False
Let n be 27/12 - 1/4. Let c(k) = 14*k + 2. Does 15 divide c(n)?
True
Let u(m) = -5*m**3 - 2*m**2 + 2*m - 3. Is 9 a factor of u(-3)?
True
Let g(i) = i**3 + 10*i**2 - 14*i + 6. Is 39 a factor of g(-11)?
True
Let l(s) = -2*s**2 + 3*s - 3. Suppose 0 = -2*k + 5*k - 9. Let h be l(k). Let w = 34 + h. Is 11 a factor of w?
True
Suppose -44*b + 160 = -42*b. Is b a multiple of 40?
True
Suppose 3*c - 7*c = -72. Does 5 divide c?
False
Suppose 2*b + 3*b = 3*i - 3, -4*i = -5*b + 1. Let m be (-310)/i*(-8)/10. Is m/(-10) + 3/(-15) a multiple of 3?
True
Suppose -m = -4*m. Let n be (m - (1 + 1)) + 4. Suppose 3 = j - n. Does 2 divide j?
False
Let l = -27 + 59. Suppose 4*t + 96 = 3*n, 0 = -n - 0*t + 5*t + l. Does 16 divide n?
True
Let p = 178 - 103. Is p a multiple of 15?
True
Let a(j) = j**3 + j + 1. Let n(c) = -2*c**3 - 3*c**2 - 7*c - 5. Let m(x) = -4*a(x) - n(x). Let z be m(-2). Suppose 4*s - z - 17 = 0. Does 4 divide s?
False
Let d(w) = w**3 + 10*w**2 - 8*w - 5. Does 33 divide d(-7)?
True
Let q = -720 + 1027. Suppose -89 = -4*u + q. Is u a multiple of 30?
False
Let c