12 divide i?
True
Let v = 31 + -29. Does 17 divide 721/14*v/3*3?
False
Let j = -112 + 112. Suppose -7*s + 1251 + 170 = j. Is 8 a factor of s?
False
Let v = 136 + -76. Let h = v - 12. Is h a multiple of 36?
False
Suppose -10 = -2*a + 12. Suppose 0 = -16*t + a*t - 120. Is 5/3*(-6 - t) a multiple of 6?
True
Suppose 0 = -3*q - q - 16. Let r be (-18)/(-4) - 2/q. Suppose -460 = -4*i - 4*w, -r*w - 89 = -3*i + 272. Is 26 a factor of i?
False
Let t = -4 + 6. Suppose 8*o - 3*o - 20 = 0. Suppose 0 = 4*m - o*k - 132, 5 = -k + t. Does 10 divide m?
True
Let u(b) = 9*b + 69. Let q = 59 + -66. Is 5 a factor of u(q)?
False
Let q be (2/(-4))/(2/(-144)). Suppose j = 5*j + q. Is 2/j + (-336)/(-54) even?
True
Let q = 128 + -70. Let x = q + 35. Is x a multiple of 31?
True
Suppose -2*i = g - 743, i + 3*i + g - 1481 = 0. Suppose -6*z + 327 = -i. Does 29 divide z?
True
Let c(q) = 13*q**2 + 3*q + 2. Let g(h) = h**3 - 6*h**2 - 8*h - 5. Let u be g(7). Let y = u - -10. Is c(y) a multiple of 16?
True
Let t(w) = -5*w + 18. Let q be t(6). Is q/(-2) + (-16)/(-8) a multiple of 6?
False
Suppose 43*a - 18795 + 3530 = 0. Does 9 divide a?
False
Let v(b) = -b**3 + 7*b**2 - b - 6. Let o = -6 + 11. Suppose 2*z - 26 = -4*i, -o*i + 23 = 3*z - 3*i. Is v(z) a multiple of 13?
True
Let u be (-2)/(-5) - (-1415)/25. Suppose 375 = 8*g - u. Does 18 divide g?
True
Suppose -4*l + 16071 - 4524 = 5*f, -2*f + 2*l = -4608. Is 35 a factor of f?
False
Suppose 0 = 26*r + 658 - 7210. Does 81 divide r?
False
Suppose -3*g + 43 = 37, 5*x - 2*g = 3846. Does 10 divide x?
True
Suppose -403 = -4*g + 93. Suppose 7*m - 3*a = 2*m + 159, -4*m + g = -4*a. Is 11 a factor of m?
True
Let c(j) = 5*j + 15. Let a be c(-4). Does 3 divide 30/75 - 13/a?
True
Let t(v) = 13*v + 289. Does 33 divide t(13)?
False
Does 9 divide (-134)/(-4) + 3/2?
False
Does 13 divide 0 - (-281 - 6 - -1)?
True
Let x = -212 - -281. Is 8 a factor of x?
False
Let c = -48 - -46. Is (-7 + 8)/(c/(-114)) a multiple of 11?
False
Let c = 100 + -100. Is (c - (-4184)/14) + 6/42 a multiple of 21?
False
Let u = 52 - 52. Suppose -13*f + 9*f + 192 = u. Is f a multiple of 20?
False
Let n(h) = 8*h**3 - 5*h - 4. Let l be n(-2). Let o = l - -95. Is o a multiple of 3?
False
Let w(r) = 19*r + 12. Does 17 divide w(6)?
False
Let v = 652 - 334. Does 6 divide v?
True
Let o be (-74)/(-14) + (-6)/21. Suppose 0 = o*j + 2*b - 278, 6*j - 3*b - 283 = j. Suppose 3*a - 5*s - j = 0, -3*s + 12 = 3*a - a. Does 3 divide a?
True
Let v = 244 + -132. Suppose -4*g + 108 = -i - 4, -5*i + v = 4*g. Is g a multiple of 4?
True
Suppose l - 11 + 14 = 0, -610 = -u + 4*l. Does 22 divide u?
False
Let w(l) = -71*l + 2. Let t be w(1). Let i = t + 121. Let h = i + -8. Is 12 a factor of h?
False
Let d(k) = 27*k - 964. Let s be d(40). Let p = -159 - -93. Let x = s + p. Does 10 divide x?
True
Suppose -2*b = r - 2*r + 8, -2*b = 4*r - 12. Let a = -15 - -79. Suppose -a = -r*k - 0*k. Is k a multiple of 8?
True
Let s(k) = 64*k**3 + 2*k**2 - 1. Suppose 8*d - 3*d - 70 = 0. Let u = d - 13. Is s(u) a multiple of 22?
False
Let k = 72 - 28. Let p = 80 - k. Is p a multiple of 4?
True
Let q = 27 + -19. Suppose -q*m + 1004 = 164. Is 21 a factor of m?
True
Suppose 3*n - t = 2*n + 13, -3*n + 41 = -4*t. Suppose -7*x + 325 + n = 0. Does 16 divide x?
True
Is 30 a factor of -6 - 2 - -13 - -374?
False
Let g(b) = 231*b**3 + 5*b - 6. Is 6 a factor of g(1)?
False
Let p(j) = j + 6. Let l be 40/(-6) - (-4)/6. Let u be p(l). Suppose u = -3*n + 103 + 17. Is n a multiple of 20?
True
Let i(j) = 26*j**2 + 4. Let f be i(2). Suppose -5*u - 2*m + 167 = -2*u, -2*u - 2*m + f = 0. Is u a multiple of 11?
False
Suppose -5*b + w = -723, -4 = -4*w + 4. Let v be (3/1 - -3) + -1. Suppose 0 = k + 2*k - 15, -v*d + b = 4*k. Does 7 divide d?
False
Let p = -70 + 75. Suppose 175 = 5*l - 5*y, 118 = -p*l + 2*y + 293. Is l a multiple of 13?
False
Suppose -b = k - 25, 3*k - 87 + 201 = 4*b. Does 16 divide (20/3)/((-9)/b)*-4?
True
Does 36 divide (-1)/9 + 8/18*106?
False
Suppose 0 = 16*h + 17 - 2721. Is 17 a factor of h?
False
Let w = 473 + -46. Is w a multiple of 27?
False
Suppose -25 = -5*b - 4*y, 5 = b - 2*y - 2*y. Suppose b*x - 10*x = -760. Does 27 divide x?
False
Let t = 439 - 252. Does 28 divide t?
False
Suppose -p - 3*k + 501 = 0, 3*p - 1959 = -p + 3*k. Is p a multiple of 64?
False
Let x = -163 + 501. Suppose -4*f + 448 = -4*b, -3*b + 4*f - x = -0*f. Let u = 170 + b. Is 30 a factor of u?
True
Let i = -29 + 353. Does 12 divide i?
True
Suppose 5*q + 334 = 3*v, 5*v + 9*q = 4*q + 610. Let x(k) = -2*k**2 - 37*k + 19. Let i be x(-19). Suppose -v = -i*l - 2*l. Is l a multiple of 14?
False
Let t(n) be the first derivative of 5*n**2/2 - 28*n - 18. Does 2 divide t(8)?
True
Suppose -45*a - x = -50*a + 155, -x = 5*a - 165. Is a a multiple of 16?
True
Suppose 46 = 5*p - k + 2*k, -2*k - 8 = 0. Let i(j) = -j**3 + 11*j**2 - 8*j + 8. Does 9 divide i(p)?
False
Suppose -51*a + 26928 = -3*a. Does 17 divide a?
True
Suppose 3*i = 4*s - 239, -4*i - i = -15. Let z = -37 + s. Is 25 a factor of z?
True
Suppose -51 = 6*i + 27. Suppose 4*r = 5*a - 261, -5*a + 62 = 4*r - 207. Let x = a + i. Is x a multiple of 10?
True
Let i(z) = -49*z**3 - z - 3. Is 12 a factor of i(-2)?
False
Let s = -8 - -22. Let r(x) = x**3 + 5*x**2 + x + 7. Let t be r(-5). Suppose 4*a - s = -3*v + 2*a, -t*a = -2*v + 6. Is 4 a factor of v?
True
Suppose -4*b - b - 25 = 0. Let o = -17 - b. Does 8 divide (o/5)/(27/(-180))?
True
Let s(g) = -4*g + 864. Does 9 divide s(0)?
True
Let s be (10/(-1))/((-1)/(-2)). Let g be ((-15)/s)/(2/(-96)). Let w = g - -54. Is w a multiple of 9?
True
Does 4 divide 264/2 + 20/(-5)?
True
Suppose 4*l + 2 = 2*c - 10, -2*l = -4*c - 6. Is 14 a factor of (-232)/c + (-8)/4?
True
Suppose 3*o + 10 = 169. Let j = o - -2. Is 13 a factor of j?
False
Let i(n) = -216*n - 320. Is i(-13) a multiple of 28?
False
Let c(v) = -31*v**3 + v**2 - v - 1. Suppose -f + 3*r - r = -9, f - 4 = -3*r. Let h(k) = -k**2 + 6*k + 6. Let t be h(f). Does 16 divide c(t)?
True
Suppose 4*h = -4*r + r + 108, -4 = r. Let b(p) = 5*p + 1. Let i be b(1). Suppose 0 = -i*z + 7*z - h. Does 5 divide z?
True
Suppose -5*b + 2*y = -12353 + 1893, -2*b + 4195 = -3*y. Does 55 divide b?
True
Suppose -2*u = -7*u - 25. Let v = u - -41. Is 16 a factor of v?
False
Let o be (3 - ((-435)/9)/(-5))*-3. Is o/16*(99 + 3 - -2) a multiple of 26?
True
Suppose -18*d - 11800 = -28*d. Is 20 a factor of d?
True
Suppose -4*j + j + 9 = -5*w, -3*w = -3*j + 3. Is 15 a factor of 90*(-10 + 8)*1/j?
True
Let o(z) = 128*z**2 - 2*z + 5. Does 17 divide o(2)?
False
Let p(h) = 2*h**2 - 19*h - 152. Is 21 a factor of p(33)?
False
Suppose c + 4*m = 3821, 2*m + 3*m = 5*c - 19155. Is c a multiple of 35?
False
Suppose 0 = -5*v + 3*g + 590, 0 = -v + 5*v - 3*g - 472. Does 14 divide (63/(-12))/7 - v/(-8)?
True
Let y(i) = 5*i**3 + 20*i**2 - 9*i - 20. Let l(p) = 3*p**3 + 13*p**2 - 6*p - 13. Let f(t) = 8*l(t) - 5*y(t). Let n be f(3). Is 4 a factor of 11/(-44) - 17/n?
True
Is 33/2*40/(-3 - -8) a multiple of 11?
True
Is 33 + 0/((-4)/4 + 2) a multiple of 3?
True
Suppose 0*r + 2*m + 46 = -4*r, 4*r - 3*m + 61 = 0. Let w = 132 + r. Does 8 divide w?
False
Let b be -3 + -37 + 0 - -3. Let y = -29 - b. Let l(u) = -u**3 + 8*u**2 + 4*u - 9. Is l(y) a multiple of 5?
False
Suppose 27*o + 6289 = 46*o. Is o a multiple of 10?
False
Let p(b) = -b**2 + 8*b - 8. Let c be p(7). Let k(v) = -64*v + 2. Let t be k(c). Let w = t + -42. Does 11 divide w?
False
Let w(s) = -40*s**3 - 4*s - 4. Let a be w(-2). Suppose -17*c + a = -14*c. Is 6 a factor of c?
True
Suppose -15*n + 1637 = -238. Is n a multiple of 14?
False
Let y = 786 - 542. Does 4 divide y?
True
Let a(i) = i + 15. Let t(v) = v**3 + 1. Let p be t(-2). Let d be a(p). Suppose m = d + 7. Does 5 divide m?
True
Suppose 3*g - 1 = 2*g. Suppose 4*d - g = r - 0*d, 0 = -2*d + 2. Suppose r*p = p + 20. Is 6 a factor of p?
False
Suppose 0*b = -4*r + b - 15, r - 3 = -2*b. Is -2 + 3 - (r - 2)/1 a multiple of 2?
True
Suppose 5*g - 3*g = -66. Is (-7 - -3)*g/4 a multiple of 14?
False
Let s = -209 - -721. Suppose -3*p - 2*p - 4*z = -s, -5*z = -p + 114. Is 5 a factor of p?
False
Suppose 9*w - 3130 - 1451 = 0. Suppose w = 5*a - 2*z, -2*a - 2*a = 4*z - 396. Is 40 a factor of a?
False
Is 3299/(2 - -2 - 3) a multiple of 100?
False
Let p(s) = -2*s**2 - 2*s + 6. Let y be