 4*z - 3 - h. Suppose -z*w + w = -59. Does 24 divide w?
False
Let m = -1095 - -1196. Is 12 a factor of m?
False
Suppose 0*g - 4*u + 40 = -4*g, -4*g - 16 = 2*u. Let s = 34 + g. Suppose v + x - 10 = -2, -v + s = -4*x. Does 9 divide v?
False
Let c(z) = z - 5. Let s be c(2). Let f(y) = -4*y**3 - y + 3. Is f(s) a multiple of 28?
False
Let h(v) = v**3 - 17*v**2 + 18*v - 13. Let y = 49 + -33. Is 19 a factor of h(y)?
True
Suppose r + 13 - 5 = 0. Let f = r + 24. Is f a multiple of 8?
True
Suppose r = h - 6 - 0, 4*h - 17 = -3*r. Suppose 5*j - 49 = -a + 31, 3*a = -h*j + 290. Suppose -4*l = -191 - a. Is 37 a factor of l?
True
Let o(u) = -u**2 + 8*u - 5. Let q be o(7). Suppose 0 = a - q - 10. Does 11 divide (-43)/(-4) + 3/a?
True
Let v = -7 - -7. Suppose 0*b + 5*b + 5 = v. Let l = b - -57. Is 28 a factor of l?
True
Suppose -2*u + 2*a - 6 = 14, 0 = u + 3*a - 6. Let q be (-16)/u - 12/18. Suppose -5*k + 193 + 77 = -o, q*k - 3*o - 108 = 0. Does 22 divide k?
False
Let b be 5*(10 + -1) - 4. Let d = -26 + b. Is 5 a factor of d?
True
Let b(d) = -13*d**2 + d + 1. Let o be b(-1). Suppose -20 = -s - 3*g, -5*s - g + 3*g = -83. Let x = s - o. Does 9 divide x?
False
Let j = -276 + 477. Suppose -4*q + j = -71. Is q a multiple of 10?
False
Let a = 7 + -2. Suppose u + 3*y + 10 = 0, 2*y + a = -2*u - y. Suppose f + 3 = 0, -2*f + 7 - 148 = -u*w. Is w a multiple of 4?
False
Let j be (-87)/(-6) + (-3)/(-6)*-1. Suppose -j*v = -11*v - 351. Does 13 divide v?
True
Suppose -23*b - 3*b = -9854. Is b a multiple of 4?
False
Suppose 17*w + 252 = 1068. Is 48 a factor of w?
True
Suppose -3*l = -5*v + 2*v - 447, 2*l - v = 299. Is 8 a factor of l?
False
Let i(m) = 3*m**2 - 3*m - 5. Is i(-5) a multiple of 6?
False
Suppose 5*q + 7*q = 3168. Is q a multiple of 11?
True
Is 11 a factor of (216 - 63/9) + -3?
False
Let l be (-3 - (2 + -2)) + 5. Is -1 + l + -6 - -36 a multiple of 13?
False
Let n(k) = 4*k**2 + 60*k + 24. Is 32 a factor of n(10)?
True
Let o(h) = 15*h - 6. Let l be (-1 - -8)*(-4 - -1). Let b = l + 25. Is 6 a factor of o(b)?
True
Let z(k) = -6*k**3 - 12*k**2 - 39*k - 15. Does 48 divide z(-7)?
True
Suppose -3*p + 3*t - 6 = -0*p, 2*p - 5*t + 19 = 0. Suppose -p*i = -66 - 45. Is i a multiple of 6?
False
Suppose 1304 = 8*y - 6*y. Is 29 a factor of y?
False
Let l(x) = 164*x**3 - x**2 - 11*x + 23. Does 11 divide l(2)?
True
Suppose 4 = c - 5. Let b(j) = -8*j**2 + j**3 - 7*j + 8 - 2*j**2 + 2*j**2 - j. Is 17 a factor of b(c)?
True
Suppose -4*v = -5*u + 17, -2*u + 1 = -v - 7. Suppose 9*x = u*x + 72. Does 6 divide x?
True
Suppose 4*i + 4 = 6*i. Let x(p) = 9*p**3 + 15*p**3 - i*p**2 + 2*p + p**2 - p. Does 24 divide x(1)?
True
Let i = -645 + 1640. Does 8 divide i?
False
Suppose 2*v + 0*v = 52. Let z = v - 20. Is 15 a factor of -7 + z + 90 + 1?
True
Suppose 0 = -7*v + 207 + 59. Suppose -2*m = -23 + 57. Let a = m + v. Is 5 a factor of a?
False
Let r(t) = 3*t**2 + 1. Let v be r(1). Suppose -v*w + 15 = w. Suppose 0 = -2*s - w*s + 65. Is s a multiple of 13?
True
Let w be 4 - ((-3)/3 - -3). Suppose -2 = a + 3*z, -3*z + 0*z - 16 = w*a. Is 9 a factor of a/(-63) + 97/9?
False
Let c be 3 + 1 - (1 + -2). Suppose 2*d - 176 = -2*d - 4*x, -270 = -5*d + c*x. Suppose 16 + d = 5*p. Is 13 a factor of p?
True
Suppose 69*p + 624 = 72*p. Is p a multiple of 13?
True
Let i be ((-128)/24)/(1/(-123)). Suppose 26*d - i = 22*d. Is 30 a factor of d?
False
Let v = 722 - 664. Is v a multiple of 11?
False
Let q(x) = 4*x**2 - 21*x + 46. Does 5 divide q(11)?
False
Suppose 4*y + 4*k = 236, 2*k + 56 = 2*y - y. Does 5 divide y?
False
Suppose 5*n = 3*d + 7 + 11, -17 = -5*n + 2*d. Let s(z) = -z - 4. Let o be s(-4). Suppose o*t + n*b = -3*t + 93, 0 = 2*b + 8. Does 19 divide t?
False
Suppose 2*n = -4*d + 2284, 4*n - 3283 = -4*d + 1269. Does 27 divide n?
True
Suppose 1763*v - 1769*v = -3744. Is v a multiple of 8?
True
Suppose -13*s + 750 = -2474. Is 7 a factor of s?
False
Let b(f) = -f**3 - 11*f**2 - 22*f + 33. Is b(-12) a multiple of 11?
False
Suppose 3*g + 4*f - 5167 = -0*f, -1715 = -g - 5*f. Does 25 divide g?
True
Suppose 3*s = -0*s + 3. Is (-2 - s)/((-6)/54) a multiple of 7?
False
Suppose 3*f + 91 = -l, -3*f + 0 = -12. Let s = -49 - l. Is s a multiple of 18?
True
Let o(r) be the second derivative of -10*r**3 - r**2/2 - r. Let t(m) = m**2 + 4*m - 22. Let b be t(-7). Does 18 divide o(b)?
False
Let v be 1*7/((-7)/(-4)). Let w(z) = -z + 6. Let q be w(v). Suppose 6*r = q*r + 192. Is r a multiple of 8?
True
Let m = -17 + 8. Let n be 1/m*-3*36. Does 10 divide n/((-21)/(-9) - 2)?
False
Let b(z) be the second derivative of 2*z**3 + z**2 + z. Let j = -2 + 8. Is 22 a factor of b(j)?
False
Does 6 divide 5 + ((-2)/10)/((-3)/705)?
False
Let c be (0 + -2 + -17)*-3. Let n = -12 + c. Is 15 a factor of n?
True
Let y = 3 - 13. Let n = y - -10. Suppose 91 = -n*o + 2*o - 5*m, 2*m + 94 = 2*o. Is 16 a factor of o?
True
Suppose -42 = 5*x - 222. Let g be ((-8)/(-6))/(-2) + (-24)/(-9). Suppose -4*t = g*n - 54, 5*n = -0*t - t + x. Is t a multiple of 11?
True
Suppose 2*b - i = 1372 - 283, i = 5*b - 2715. Does 67 divide b?
False
Suppose -v + 18 = 2*v. Is (-100)/v*(-36)/15 a multiple of 15?
False
Let y = 356 - 142. Is y a multiple of 31?
False
Let v = 9 - 28. Let m(j) = -j**2 - 23*j + 12. Is 22 a factor of m(v)?
True
Suppose 5*r = 25, 3*j - 2604 = -r + 1874. Is j a multiple of 62?
False
Let h(u) = u**2 - 36*u + 26. Does 22 divide h(-16)?
True
Suppose -2522 = -5*p + 2*n, 11*p = 6*p - 5*n + 2515. Is 21 a factor of p?
True
Let l(u) = 15*u - 5. Let f be l(1). Suppose -4*i - 20 = -4*d, -3*d - i + f = -13. Is d a multiple of 7?
True
Let p be 0*((-1)/(-3) - 0). Let n be (p + -1)/((-11)/(-55)). Let z(x) = x**3 + 7*x**2 + 7*x. Does 15 divide z(n)?
True
Suppose -11*w = -6*w - 310. Let z = w - -146. Is 22 a factor of z?
False
Let p(b) = 123*b + 36. Is p(16) a multiple of 12?
True
Let g(s) = s**3 - 9*s**2 + 4*s + 12. Let o = -20 - -14. Let f = 3 - o. Is g(f) a multiple of 11?
False
Suppose 8 = 4*c - 5*i + 2, 5*c - i = -3. Let n = 12 + c. Does 3 divide n?
False
Let q(h) = -h + 1. Let r(v) = -5*v + 5. Let a(k) = 4*q(k) - r(k). Is a(9) a multiple of 4?
True
Let z = 5405 - 848. Is z a multiple of 47?
False
Suppose -8402 = -26*p + 308. Is 76 a factor of p?
False
Suppose -27*f + 5153 + 2866 = 0. Is f a multiple of 10?
False
Let m = 182 + -166. Suppose 0 = 5*c - 3 - 12. Suppose -c*h + m = -11. Is 2 a factor of h?
False
Let d = -51 + 178. Suppose -125 - d = -2*n. Does 20 divide n?
False
Let r be 1 + 3*(-4)/(-12). Suppose -r*f + 43 = -3*u + 4*u, -3*f + u = -67. Does 8 divide (-1 + f)*24/28?
False
Let l = 21 + -28. Does 16 divide (-144)/l - 12/(-28)?
False
Is 33/55*(143 + -3) a multiple of 21?
True
Let i(s) = -s**2 + 23*s - 22. Let t(f) = -f + 28. Let g(o) = o**2 - 5*o + 12. Let k be g(5). Let r be t(k). Is i(r) a multiple of 15?
True
Is (5 + -18)/((12/(-57))/4) a multiple of 13?
True
Let p be (-50)/4*1356/(-30). Suppose -6*y + 821 = -p. Is 21 a factor of y?
True
Let a(n) = -n**3 - 2*n**2 + n - 5. Let l = -10 - -7. Let u be 9/(-2) + l/6. Is a(u) a multiple of 13?
True
Let n(u) = u**3 - 13*u**2 - u + 63. Is n(13) a multiple of 4?
False
Let t = 4 + 1. Suppose d - 95 = -0*r + t*r, -5*r + 145 = 2*d. Is d a multiple of 10?
True
Let d = 225 + -421. Is 5 a factor of d/(-6) + -1*6/(-18)?
False
Let a(j) = 49*j**2 + 48*j - 96. Does 28 divide a(2)?
True
Let c = -37 + 37. Suppose -3*g + c*g = w - 46, -3*g = 5*w - 266. Suppose w - 10 = 3*a. Is 6 a factor of a?
False
Let f(s) = 6*s - 7 + 3*s + 21*s. Let m be f(5). Let b = -92 + m. Is b a multiple of 17?
True
Let k(q) = 4*q**2 + q + 2. Let j be k(2). Let v be 255/j - 2/(-8). Does 13 divide v/65 + (-358)/(-10)?
False
Let q(d) = d**2 - 3*d - 5. Suppose 40 = 4*n - 4*j, n = -5*j - 6 - 14. Let m be q(n). Suppose -m*l + 154 = -171. Does 18 divide l?
False
Suppose -3*t = -4 - 11. Suppose 3*b = -t*o + 17, -5*b + 8*o = 3*o - 55. Let d = -3 + b. Is d a multiple of 6?
True
Let r be (-102)/(-1) - 2 - -4. Let o = -40 + 57. Suppose 13*a + r = o*a. Is 13 a factor of a?
True
Suppose 4*w = 5*t - 4505, 45*t + 917 = 46*t - 4*w. Is 23 a factor of t?
True
Suppose -o + 5*t = 7, 2*t = -2*o + 6*t - 2. Suppose -o*u + 183 = -3*q, -3*u - 3*q = -7*q - 184. Let f = u - 38. Is f a multiple of 9?
False
Let s(f) = f**2 - 10*f + 16. Let j be s(6). Is (j/48 + (-2)/(-4))*273 a mult