112/21) + 3971 a multiple of 32?
True
Let y be (232/(-16))/(3/6). Does 18 divide (y/2)/(1 + 14/(-12))?
False
Does 33 divide (0 - 3)*5*-11?
True
Let x(j) = j**2 - 8*j + 2. Let w be x(8). Suppose -4*p + w*k + 5 = 3*k, 4*k - 20 = 0. Suppose p = 2*v - v - 10. Is v a multiple of 5?
True
Let k = 672 + -399. Is 23 a factor of k?
False
Let x(y) = 2*y + 4. Let g be x(-1). Suppose 5*i + 4*m - 182 = 0, -g*i - 5*m = 7 - 73. Does 19 divide i?
True
Let j(l) = 13*l + 3. Let a be j(17). Let u = a + -127. Is u a multiple of 9?
False
Suppose -2 = c - 0, 4*x - 2150 = -5*c. Is 15 a factor of x?
True
Suppose 7*n - 4*n - 263 = 4*r, 0 = 2*n + 5*r - 183. Let b = 284 - n. Is 17 a factor of b?
False
Let c be 11 + -15 - (1 - 4). Let g = 7 - c. Let y(a) = a**3 - 7*a**2 - 6*a - 10. Is 2 a factor of y(g)?
True
Suppose 3*u = -3*m + 3, -3*m - 4 = -4*u - 0*u. Suppose 3*z + z - 8 = m. Suppose -2 = -z*o + 8. Is o a multiple of 5?
True
Is 14 a factor of (225/(-10))/(6/(-56))?
True
Let d be -2 - (-248 + (-6)/2). Suppose -2*l - l = -d. Is 30 a factor of l?
False
Let s = -19 - -19. Suppose 5*t - 153 = -3*d, 5*d - 4*t = -s*t + 255. Is 12 a factor of d?
False
Suppose 3*k - 2*b = 4, -2*b = -5*k - 0*b + 8. Suppose 0 = -4*r - 4*p - 4, k*p + 4 = -4*r + 2. Suppose r = -2*t - 0*t + 28. Is t a multiple of 7?
True
Suppose -t - z + 2373 + 588 = 0, -2952 = -t - 4*z. Is t a multiple of 114?
True
Let j = -22 - -29. Suppose -s + j = -5*u + 22, 5*u - 15 = 4*s. Suppose -4*t - 84 = -4*v, u*v + v - 5*t = 82. Is v a multiple of 23?
True
Let d(s) = 529*s**2 - 17*s - 18. Is d(-1) a multiple of 4?
True
Let t be 5 + -2 - 6 - -270. Suppose -t = 3*a + 156. Is 7 a factor of a/(-4) - 4/16?
True
Let m = -16 + 27. Let w(k) = -m + k**3 - 4 + 13*k**2 - 5 - 16*k. Is w(-14) a multiple of 3?
False
Let m(j) = j**3 - 14*j**2 - 32*j. Let k be m(16). Suppose 5*y - 2*y = k, 4*d = y + 528. Is d a multiple of 22?
True
Is 148 + 3*1 + -26 + 21 a multiple of 49?
False
Let x(t) = -3*t**3 - 2*t**2 - 4*t - 2. Let g be x(-2). Suppose -3*v + 38 = -g. Suppose -5*y + 4*i = -i - v, 65 = 5*y + 4*i. Is y even?
False
Let n(z) = -8*z**3 - 9*z**2 + 2*z - 18. Is n(-5) a multiple of 14?
False
Suppose 4*o - 4*j - 252 = 0, -5*j = 5*o - 3*o - 119. Let g = o - -92. Is 19 a factor of g?
False
Let h = -275 - -157. Let a = h - -173. Is 55 a factor of a?
True
Let i(b) be the third derivative of -b**4/24 + 17*b**3/6 - b**2. Let t be i(14). Suppose -t*o - 2*o = 15, 4*p - 75 = o. Does 12 divide p?
False
Let r = -20 + 25. Suppose 5*t = 10, 0*t = -5*s + r*t + 230. Is s a multiple of 16?
True
Suppose -2*l - 4416 = -3*j - 7*l, -j - 2*l = -1472. Is 55 a factor of j?
False
Suppose -2*i + 1 + 25 = 4*f, -2*i + 14 = f. Suppose 0 = -f*z - 0*z - 16, 4*o - 5*z = 284. Does 9 divide o?
False
Suppose -4 - 2 = -z. Suppose -78 = -l + c, -9*c = 4*l - z*c - 347. Does 9 divide l?
False
Suppose 6706 = 12*h - 482. Is h a multiple of 49?
False
Let c = 41 - -123. Is c a multiple of 16?
False
Let q = -2 - -4. Suppose 5*z + 39 = q*c, -3*z = c - 7*z - 27. Is 4 a factor of c?
False
Suppose 2208 = -21*w + 37*w. Is w a multiple of 22?
False
Suppose -31 = 2*m + 3*h, 4*m + 4*h = -0*h - 56. Let u = -7 - m. Let w(x) = 14*x + 1. Is w(u) a multiple of 19?
True
Let k(c) = c**3 - 7*c**2 + c - 12. Let g be k(7). Let h = 39 - g. Does 22 divide h?
True
Let b(z) = -z**3 + z**2 - 2*z + 1. Let n be b(4). Let s = n - -117. Is s a multiple of 31?
True
Let j(r) = -106*r + 49*r + 44*r. Let h be (-16)/3 + (-1)/(-3). Is j(h) a multiple of 13?
True
Let z = 1052 + -602. Is z a multiple of 25?
True
Suppose 0 = 4*b - 4*i - 88, -3*b = -b + 5*i - 58. Suppose -b = -8*c + 5*c. Is c + 3 + 8/(-2) a multiple of 7?
True
Let o = 135 + -19. Is 8 a factor of o?
False
Let y = 1 + -16. Let l = 30 + y. Is 5 a factor of l?
True
Let y(b) = 22*b**2 - 15*b - 36. Does 9 divide y(-9)?
True
Let j = 1223 - -250. Does 98 divide j?
False
Is (-24)/180 + 46446/45 a multiple of 25?
False
Suppose 3*b - 106 = -10. Is 5 a factor of 126/4 - 48/b?
True
Let r(c) = -2*c**2 - 3*c - 22. Let s be r(-9). Let p = s - -373. Is p a multiple of 18?
True
Suppose 0*g + g - 79 = 0. Let f = 15 - g. Is 8 a factor of f/(-10)*(-50)/(-20)?
True
Suppose 8*t = 5*t - 159. Let n = t + 31. Let r = -7 - n. Is r a multiple of 6?
False
Suppose 0*c = -4*c - 5*u + 1905, 4*c - u = 1875. Is c a multiple of 94?
True
Suppose 4*j - 2146 - 4498 = -2*c, 0 = -j - 4. Does 55 divide c?
False
Suppose -2863 = -8*w + 2761. Does 8 divide w?
False
Does 23 divide 1*(-293 + -6)/(8/(-40))?
True
Let h(f) = 10*f**2 - 1. Let a be h(1). Let y(q) = -3*q + 11. Let o be y(a). Is 0/5 - 1*o a multiple of 10?
False
Suppose 14*v = 16*v + 160. Let w = 120 + v. Is 17 a factor of w?
False
Let n = 100 + -74. Suppose 11 - n = -a. Does 2 divide a?
False
Let z(t) = 667*t**2 + 12*t + 13. Does 44 divide z(-1)?
False
Let g = -24 + 26. Suppose 0 = g*r + 5*w + 6, 4*w + 12 = 5*r + 3*w. Is 12 a factor of (-1)/r + 122/4?
False
Let k(f) = -5*f**3 + 12*f**2 - 6*f - 15. Is 12 a factor of k(-6)?
False
Let v(q) = -q - 2*q + 2*q + 0*q. Let b be v(4). Let o(h) = 3*h**2 - 3*h + 5. Is o(b) a multiple of 12?
False
Let w(g) = 878*g - 14. Is 12 a factor of w(1)?
True
Let i = 88 + -93. Is 20 a factor of (-230)/i - 3 - 3?
True
Suppose 4*c - 649 = -5*n, -c + 5*n + 85 + 71 = 0. Is c a multiple of 7?
True
Let g(c) = c**3 + 6*c**2 + 3*c + 4. Let a(j) = -2*j**3 - 7*j**2 - 2*j - 5. Let y(s) = 2*a(s) + 3*g(s). Let n be y(5). Suppose -z + 51 = -n. Is 21 a factor of z?
False
Let o = 290 + -222. Is o a multiple of 49?
False
Suppose -n + 2*q + 16 = 0, 5*q - 27 = -3*n - 12. Suppose 3*f - 5*f = 4*y + n, -2*y = 4*f + 20. Suppose -47 = -3*m + 2*o + 3*o, y = -3*m - 2*o + 19. Is m even?
False
Let m = 30 + -30. Suppose 0 = -f - 5*c - 13, 2*f + m + 5 = -3*c. Suppose -6*j = -f*j - 76. Does 7 divide j?
False
Suppose 15*o - 391 - 2639 = 0. Is 7 a factor of o?
False
Does 11 divide ((-160)/25 + 2)*-90?
True
Let l be (-198)/12 - 6/4. Does 16 divide 4/l - (-5160)/135?
False
Is 9 a factor of (6/24 - (-129)/12)*9?
True
Let p = 2098 - 1753. Does 23 divide p?
True
Let v be 1/2*-2 - -2. Suppose 0 = 5*w - 7*z + 4*z - 2, 5*z - v = 4*w. Let o = w - -11. Is 4 a factor of o?
True
Suppose 0 = 2*n - l + 4*l + 32, -4*l + 48 = -3*n. Let k = n + 19. Is k*(25 + 2)*1 a multiple of 20?
False
Let q(o) = -4*o**3 + 20*o + 10. Suppose -55*d - 10 = -53*d. Is q(d) a multiple of 18?
False
Let i be 2*1 + 15 + 177. Suppose -3*f + 8*f = -q - 233, 3*q - i = 4*f. Let h = f + 122. Does 15 divide h?
True
Suppose 229*l - 226*l = 6. Let a be -69*(2 - 20/6). Suppose -l*m + a = -6. Is m a multiple of 12?
False
Suppose -2*d + g = -727 + 102, 3*d - 3*g - 945 = 0. Does 3 divide d?
False
Suppose -32 - 73 = 3*g. Let o be (g/10)/((-2)/4). Suppose 0 = o*s - 3*s - 168. Is 12 a factor of s?
False
Let k be (-12 - -7)*(-13)/1. Suppose -5*n + k = -175. Is n a multiple of 12?
True
Let s(a) = -19*a - 45. Let g(r) = -9*r - 22. Let v(l) = 9*g(l) - 4*s(l). Let p be v(-12). Let u = -20 + p. Does 15 divide u?
False
Let m = -153 + 255. Let x = 217 - m. Is x a multiple of 23?
True
Let x be (0 + 12)*(-8)/(-16). Suppose -4 - x = -5*b. Is b a multiple of 2?
True
Let r(y) = -4*y + 7. Does 5 divide r(-2)?
True
Let q(k) = k**3 - k**2 - 6*k - 2. Is 16 a factor of q(5)?
False
Let u be 24*(-2)/(-8 + 2). Suppose u*v - 245 = 3*v. Does 5 divide v?
False
Let n = -48 + 71. Suppose -n*c = -20*c - 18. Is 6 a factor of c?
True
Let h(y) = -y**3 - 6*y**2 + 7*y + 7. Let p be h(-7). Suppose p*c = 4*c - 120. Let d = c + 73. Is 28 a factor of d?
False
Suppose -2*v + 3*f + 2611 = 0, 7*v - 5*f - 5221 = 3*v. Does 12 divide v?
False
Let d be 3/(3 + 3)*0. Let j be (-2 - d)/(4/(-40)). Suppose 2*o - 12 = 2*n, -2*o + j = o - 4*n. Is 3 a factor of o?
False
Is (-7 + 5)*3 + 646 a multiple of 80?
True
Suppose 4*s - 1244 = -4*x, 58*x - 60*x + 2 = 0. Let i = -9 - -17. Suppose -s = -i*v + 194. Is 9 a factor of v?
True
Let t(f) = -34*f + 118. Is 4 a factor of t(-3)?
True
Let w(n) = -2*n + 12. Let k be w(-5). Suppose -k = -r + 45. Is 32 a factor of r?
False
Let i(b) be the third derivative of b**4/12 + b**3/6 - 11*b**2. Let w be i(1). Suppose 3*l = w*k + 66, -1 = k - 2. Does 7 divide l?
False
Let u = 373 + -349. Is 4 a factor of u?
True
Suppose -10*j - 4 = -12*j. Suppose 0 = j*a - 71 - 169. Is a a multiple of 30?
True
Let a(f) = -f + 7