= -4*i + 1847. Is i a multiple of 56?
False
Suppose -121 - 92 = -3*v. Suppose -3*t + 5*r + 120 = 2*t, 2*r + v = 3*t. Is 23 a factor of t?
True
Let h = 53 + -9. Does 17 divide h?
False
Let j = -158 - -248. Let x = 5 - 3. Suppose 4*m - q - 160 = q, -4*q + j = x*m. Is m a multiple of 20?
False
Let o be (-40)/(-2) + 2 + -4. Let g = o + -4. Is 7 a factor of g?
True
Suppose -86 = 4*t - 374. Does 12 divide t?
True
Suppose 0 = -3*p - 5*y + 412, -y + 296 = 2*p - 3*y. Is p a multiple of 12?
True
Suppose -2*t = -0*t - 16. Is t a multiple of 3?
False
Is (-36)/7*42/(-9) a multiple of 12?
True
Let h(b) = -5*b**3 - 16*b**2 - 16*b + 221. Let v(y) = -y**3 - 3*y**2 - 3*y + 44. Let w(p) = -2*h(p) + 11*v(p). Is w(0) a multiple of 14?
True
Let w = -78 + 52. Let z = -12 - w. Is 7 a factor of z?
True
Does 9 divide 1066/(-39)*(-6)/4?
False
Let d = 6 - 5. Let l be (-1 + 2)/(d/(-2)). Is 3/(l*9/(-24)) a multiple of 4?
True
Suppose -2*c - 6 = -5*c. Is c even?
True
Suppose -3*x = 109 - 409. Is 27 a factor of x?
False
Let s = -14 - -12. Let w(d) = 2*d**2 + 3*d + 2. Does 2 divide w(s)?
True
Suppose o - 945 = -4*o. Suppose 5*x = -3*p + o, 2*x + 4*p - 23 - 61 = 0. Does 12 divide x?
True
Let c = 13 - -15. Does 13 divide c?
False
Let y(f) = f**2 + 4*f - 10. Is y(-8) a multiple of 11?
True
Let w(g) = 12*g - 10. Does 6 divide w(3)?
False
Let h = -7 + 11. Suppose -n = a + h*n - 1, n = -a + 17. Does 12 divide a?
False
Let r(t) = 45*t + 24. Does 32 divide r(3)?
False
Let f(w) = -w + 12. Let r be f(10). Suppose 4*l = -4*m + 12, -2 = 2*l - r*m + 4. Suppose -3*d = -3*p - 6, l = d - 0*p + p - 10. Is d a multiple of 4?
False
Suppose 5*t = 4 + 6. Suppose 0 = -3*a + 2*l + 32, -l - 2 = -t*a + 20. Is 6 a factor of a?
True
Let w(u) = 9*u**3 + u**2 - u - 1. Let m be w(-1). Let p = 64 + -46. Let h = p - m. Is 18 a factor of h?
False
Suppose 0*a + 5*a = 100. Is 2 a factor of a?
True
Let i(d) = 3*d - 10. Is 7 a factor of i(6)?
False
Let w(x) = 20*x**2. Let j = -2 + 1. Is w(j) a multiple of 10?
True
Let l(f) = 4*f. Let x be l(1). Let h = x - -1. Is 2 a factor of h?
False
Let p = 0 + 7. Let s = 3 + p. Let c = s - 0. Is 10 a factor of c?
True
Suppose 4*n - 3*n + 5*u = 18, 5*u - 20 = 0. Let f be (1 + -2 + 0)*n. Suppose 2*c + f*c = 152. Is c a multiple of 15?
False
Suppose -2*o = -88 - 12. Suppose -c - o = -3*c. Suppose 2*b + c = 3*b. Is b a multiple of 10?
False
Suppose -2*y + 5*y + 57 = 3*c, 3*c - 25 = -5*y. Is 6 a factor of c?
False
Let f(i) = 3*i**2 + 6*i + 16. Is 8 a factor of f(-4)?
True
Let o be (-296)/16*(1 + -3). Let j = 33 + o. Is 35 a factor of j?
True
Suppose -f + 3*q - 31 = -5*f, 5*f - 3*q = 5. Suppose -f*w + 8*w = 88. Is w a multiple of 11?
True
Let d(r) be the first derivative of -r**4/4 - 8*r**3/3 - 9*r**2/2 - 10*r + 1. Let t be d(-7). Suppose 2*p = p + 1, t*p + 7 = a. Is a a multiple of 8?
False
Let l(s) = 3*s**3 - 4 + 3*s**2 + 3*s + s**3 - 6*s**3 + 3*s. Let x be l(-5). Is 12 a factor of (-1)/4 - x/(-12)?
True
Let g(o) = o**3 + 3*o**3 + 0*o**2 - 115 - 3*o**3 - o**2. Let b be g(0). Is 3 a factor of b/(-20) + (-2)/(-8)?
True
Let o(a) = 3 - 5 + 6 + a**3 - 3*a + 2*a**2. Let n be o(-3). Suppose 0 = n*c + 9 - 65. Is c a multiple of 7?
True
Let z be -2*(-1 - 0)*2. Suppose 0*t + 49 = 4*j + 3*t, z*j - 3*t - 79 = 0. Does 11 divide j?
False
Suppose 8*d - 3*d + 5*b + 105 = 0, -2*b = -2*d - 42. Let p be 65/7 + 6/d. Is 11 a factor of 2 + -2 + p + 2?
True
Suppose 0 = -2*v + 336 - 62. Does 13 divide v?
False
Let s(w) = -9*w + 6. Suppose 2*v = -0*v + 2*f - 10, -2*v - 3*f = 10. Is s(v) a multiple of 20?
False
Let q(j) = 4*j**3 + 12*j**2 - 7*j + 13. Let x(t) = t**3 + t**2 + 1. Let y(w) = -q(w) + 5*x(w). Let m be y(6). Let u = m - -14. Is 6 a factor of u?
True
Suppose 0*q = -4*q + 12, -2*y = -2*q - 2. Is 52*-2*y/(-32) a multiple of 3?
False
Let x(z) = z**3 - 8*z**2 + 9*z + 1. Is 15 a factor of x(7)?
True
Let t be 79/(-2) - 2/4. Suppose 0 = 8*v - 4*v + 5*b + 13, 3*v + 3*b = -9. Is (6/15)/(v/t) a multiple of 4?
True
Suppose 9*l - 8*l = 72. Is l a multiple of 15?
False
Let m = 18 + -17. Is m*((-8)/(-4) - -5) a multiple of 3?
False
Let u(l) = 27*l**3 - l. Does 26 divide u(1)?
True
Let t(c) = -c**3 + 11*c**2 - 2*c - 11. Is 26 a factor of t(10)?
False
Let l(v) = v**2 - 6*v + 10. Let z(m) = -m**3 - 3*m**2 + m - 5. Let t be z(-4). Is l(t) a multiple of 13?
False
Let w(l) be the third derivative of l**5/60 - 7*l**4/24 + l**3/3 + l**2. Suppose 4*c = 9 + 19. Is 2 a factor of w(c)?
True
Let f = 5 - 2. Suppose -4*d - 4*b = 3 + 1, d + f*b = -3. Suppose -2*m + d*p + 51 = -5*p, -4*m + p = -57. Is 13 a factor of m?
True
Does 19 divide 109 + 7 - (-1 + 3/1)?
True
Let a = 160 + -90. Is 5 a factor of a?
True
Let d = 22 + 34. Does 18 divide d?
False
Suppose -5*f = -4*y + 52, y = 3*y + 4*f. Let n be 0*(2 + -4 + 1). Suppose n = z + z - y. Is 4 a factor of z?
True
Let a = -9 + 6. Let p = a - -12. Suppose 0 = b + p - 11. Is b a multiple of 2?
True
Let g = -58 + 37. Let s = -7 - g. Suppose -4 = -a, -3*o + 4*a = 2*o - s. Is o a multiple of 3?
True
Is (-10 - -8)*18/(-4) a multiple of 2?
False
Let z be 90*(2 - 1) + -1. Suppose -2*r - 4*l + 7*l = -56, 3*r - 2*l - z = 0. Does 7 divide r?
False
Let v(j) = -18*j**2 - 6*j - 7. Let r(l) = 17*l**2 + 5*l + 6. Let y(p) = 6*r(p) + 5*v(p). Is 9 a factor of y(-1)?
False
Suppose 3*n + 20 = t, 5*n + 6 + 14 = -t. Suppose -t*v = -v - 40. Is 5 a factor of v?
True
Let b = -32 - -64. Does 16 divide b?
True
Let z be (-111)/21 + (-8)/(-28). Let w(u) be the second derivative of -u**3/6 + 5*u**2/2 - u. Is w(z) a multiple of 5?
True
Let j be (-3 - -4)/(2/20). Is 8/j*(-500)/(-8) a multiple of 17?
False
Suppose g - 2*x + 6 = 21, 2*g - 16 = -3*x. Is 4 a factor of g?
False
Let c(j) = -14*j + 5. Suppose -4*r - 5 - 15 = 0. Let n be c(r). Let k = -35 + n. Is k a multiple of 11?
False
Let k(d) = d**2 + 5*d - 4. Let u be k(-6). Suppose -14 = -0*b - u*b. Suppose a - 41 = -5*o, -b*o = -4*a - 3*o + 68. Is 12 a factor of a?
False
Does 9 divide 50/(-20)*128/(-10)?
False
Suppose 2*h + 4*o - 20 = 0, 17 = 2*h + 5*o - 6. Let n = -3 + h. Suppose -s = 2*t + 3*t - n, -s + 5*t + 31 = 0. Is 16 a factor of s?
True
Suppose -5*i = -219 - 201. Let b be i/10*(-50)/(-15). Suppose 44 = 3*p - b. Does 9 divide p?
False
Let m(d) = 3*d**2 - 4*d + 6. Is 10 a factor of m(6)?
True
Let g(p) = -p**3 - 6*p**2 - 4*p + 10. Does 3 divide g(-5)?
False
Suppose -2*v - 83 + 323 = 0. Is 40 a factor of v?
True
Suppose h + 3*h - 218 = -5*p, 4*p = 3*h - 179. Is 18 a factor of h?
False
Let x be 0 - (0 - -1) - -43. Suppose 4*c = 5*p + 57, -2*c - x = -4*c - 2*p. Does 9 divide c?
True
Let a = 38 - -13. Does 6 divide a?
False
Let g = -3 + -2. Let n = 14 + g. Suppose 2*s = s + n. Is 6 a factor of s?
False
Let h(s) = 15*s - 6. Let c be h(-6). Let o be (-1)/(-3) - c/9. Let j = 5 + o. Does 7 divide j?
False
Suppose -3*x + 25 = 2*x. Suppose -3 = y - x. Suppose -y*d + 0*d = -6. Is 2 a factor of d?
False
Suppose 3*j - 139 = 23. Is j a multiple of 54?
True
Is 3*(128/12 + -2)/2 a multiple of 2?
False
Suppose -3*r - 4*d + 177 = 0, -5*r + 4*d + 0*d + 295 = 0. Is r a multiple of 9?
False
Let w(o) = -o**3 - 8*o**2 + 10*o - 1. Let a be w(-7). Does 15 divide a/28*(-6 - 1)?
True
Let j = 108 - 45. Is 13 a factor of j?
False
Let f(q) = -q**2 - 8*q - 2. Let b be f(-7). Suppose 5*t + b*m - 85 = 0, -t - m - 43 = -3*t. Is 18 a factor of t?
False
Suppose 2 = x - k, 0 = 7*x - 3*x + 2*k - 14. Does 11 divide (0 - 5)/(x/(-33))?
True
Let k be 22/5 + (-4)/10. Suppose 2*b - 8 = -2*b. Let o = b + k. Does 6 divide o?
True
Suppose -c + 0 = 12. Does 4 divide ((-4)/2)/(c/42)?
False
Let r be (16/(-2))/((-2)/4). Suppose -3*c = b - 0*c + 9, 4*c + r = 0. Suppose s = -m - 4*s - 4, b*s - 24 = -3*m. Does 8 divide m?
False
Let w(n) = n**3 + 5*n**2 - 8*n + 2. Let s = -21 - -15. Does 7 divide w(s)?
True
Let b = 87 - 75. Does 2 divide b?
True
Let x(v) = 13*v**2 + 4*v + 7. Is x(-2) a multiple of 17?
True
Let c = -42 + 64. Is 11 a factor of c?
True
Suppose -z + 71 = 4*u - 11, 5*z - 2*u - 388 = 0. Is 11 a factor of z?
False
Let c be 4 + -1 - (0 - -1). Let d = -7 - -15. Suppose 0 = -c*j + d + 14. Does 7 divide j?
False
Is 17 a factor of (-12)/4 + 0 - -117?
False
Suppose 5*r - 4*r - 32 = 0. Let h = r - -10. Does 7 divide h?
True
Let b(j) = -j**3 - j**2 - 2*j - 3. Let v be b(-2). Let c be ((-4)/v)/(2/(-100))