4 a factor of u(19)?
False
Suppose 3*m - 5*i - 35 = 0, -2*m + 4 = i - 2. Let f(b) = b**3 - 7*b**2 + 8*b + 10. Let u be f(m). Let c(d) = -d**3 + 2*d**2 + d + 6. Is c(u) a multiple of 3?
True
Let i = -92 - -91. Let c be i + (-4 + (-210)/2 - 0). Is (-5)/(c/(-4)) + 1940/22 a multiple of 6?
False
Suppose -58 = -5*w - 3*x, 5*w - 3*x = -0*x + 82. Suppose 5*o - 15 = 0, -o = -4*z + o + 130. Suppose w + z = 4*u. Is 3 a factor of u?
True
Let q(n) be the first derivative of -n**4/4 - 5*n**3/3 + 1442*n + 28. Let s be q(0). Is s/10 + ((-128)/20)/(-8) a multiple of 41?
False
Let j be 13*(-8)/(48/(-222)). Suppose 3*v = 2*z - j, 5*v = z + 2*v - 233. Is z a multiple of 13?
False
Let y(x) = -2908*x**3 - 11*x**2 + 12*x + 21. Is y(-2) a multiple of 9?
False
Suppose 0 = 75*b - 61*b - 7952. Is b a multiple of 4?
True
Let l = 7042 + 9722. Is 61 a factor of l?
False
Let j(z) = -9*z**3 - 31*z**2 + 13*z + 120. Does 9 divide j(-9)?
False
Suppose -64 = -z - 4*q + 44, -5*z + 471 = -3*q. Suppose -v = -268 - z. Let a = -164 + v. Is 20 a factor of a?
True
Let z = 1963 - 742. Is z a multiple of 25?
False
Suppose -50*r = -205758 - 141092. Is r a multiple of 208?
False
Suppose 3491*n = 3490*n + 504. Does 8 divide n?
True
Let o = 12354 - 6164. Is 29 a factor of o?
False
Let a(p) = 4*p**3 + 19*p**2 + 15*p - 44. Does 78 divide a(10)?
True
Suppose 42298 - 8186 = 13*x. Suppose -35*g + 31*g + x = 0. Is 30 a factor of g?
False
Suppose -82*t + 88*t - 29104 = -4*r, -2*t + 29112 = 4*r. Is r a multiple of 101?
False
Let s = -343 + 6048. Suppose -18*i + s = -2935. Is i a multiple of 14?
False
Let t = -3 - -12. Suppose -5*v + x = 0, 4*v + t = 4*x - 7. Let d = 146 - v. Is 29 a factor of d?
True
Let p = 3824 + -2111. Suppose 2*o + m - 751 = 0, -4*m + p + 157 = 5*o. Is 7 a factor of o?
True
Suppose 5*y - 2*z = -0*z + 8, -z + 3 = y. Suppose 0 = 3*o - y - 4. Suppose 4*i - 222 = 2*r, i - 5*r = o*i - 61. Does 7 divide i?
True
Let s(t) = 7*t**3 - 2*t + 1. Let x be s(1). Let j(u) = -3*u + 18. Let k be j(x). Suppose k = -3*m - 6, -3*o + 271 = m. Is 25 a factor of o?
False
Suppose 0*o = -o + p, 3*o + 2*p + 15 = 0. Let h be (-1 - -1) + 4 + 9*o. Is 25 a factor of (h - (-3 + 5))*-3?
True
Let f(h) = h + 18. Let j be f(-5). Suppose -10*u + j*u - 336 = 0. Is u a multiple of 14?
True
Suppose -2*n + 2*d = 52, d + d - 4 = 0. Is (-462)/n + (-5)/4 a multiple of 9?
True
Suppose 3*m = m + 32. Let x be ((-198)/(-36))/(2/m). Let c = x - 20. Is c a multiple of 6?
True
Let d = 21 - 17. Suppose 4*f + d*g - 266 = -98, -3*f - g = -122. Let k = 54 - f. Does 2 divide k?
True
Suppose 0 = q - 2*q - 1. Let c be q/(-2) - 5*(-6)/(-60). Suppose 3*l - 2*o = 476, c = -2*l + 3*l - o - 158. Is l a multiple of 15?
False
Let m(u) = -2*u**3 + 24*u**2 + 3*u - 11. Let r be m(12). Suppose -r*s = 7981 - 22331. Does 24 divide s?
False
Is 3 - ((-278685)/(-110))/((-3)/18) a multiple of 28?
True
Let r(m) = -20*m + 2125. Is r(86) a multiple of 4?
False
Let i be ((-12)/(-8) - -2)*12. Is i/28*1/(-3)*-1426 a multiple of 31?
True
Let m be (-3 + 27/9)*-1. Suppose 2*n + 856 = 6*a - a, m = a + 4*n - 158. Is 10 a factor of a?
True
Suppose 67*t - 243521 = -0*t + 176636. Is t a multiple of 69?
False
Is (-460152)/(-315) - 8/10 a multiple of 6?
False
Let o = 346 + -376. Is 3 a factor of 2130/8 - o/(-24)?
False
Is -6 - (-11 + (-204732)/((-132)/(-12))) a multiple of 5?
False
Let c(t) = -35*t + 11. Let j be c(-3). Let b = j + 32. Is 37 a factor of b?
True
Suppose 169422 = 320*q - 303*q. Does 99 divide q?
False
Let b(k) = 17*k**2 - 16*k + 12. Let q be b(6). Suppose -11*z + 1056 = -q. Is z a multiple of 16?
True
Suppose -5*m = 2*t + 11, 0 = 4*t + t - 2*m - 16. Suppose -5*k + 0*k = 4*x - 31, -t*x - 1 = -3*k. Suppose k*r - 221 - 154 = 0. Is 25 a factor of r?
True
Let d be 3/18 + 1/6*53. Let p be 20/d + -2 + 64/36. Suppose 0 = p*h - 0*h - 12. Does 4 divide h?
False
Let s(d) = -9*d - 15. Let i be s(-10). Suppose -2*j - 3*w - 109 = 0, 2*w + 272 = -4*j + 66. Let p = i - j. Does 23 divide p?
False
Suppose -2*v + 11 = 2*d - 3*d, 1 = v + 4*d. Suppose 3*u + 2*u + v*l = 725, -4*u - l = -577. Is u a multiple of 18?
True
Suppose 1718 + 2832 = 26*h. Suppose 3*u - 10*u = -h. Is 3 a factor of u?
False
Suppose -u + 2*u = -w + 31, 5*u - 95 = -3*w. Let a = -30 + w. Does 37 divide a + 220 + (-1 - -2)?
False
Let h = 90 + -89. Is h - -1 - (-123 - 0) - 0 a multiple of 16?
False
Let v be (6/(-7))/((99/(-77))/(-9)). Does 5 divide (-140)/16*(v/2 + -5)?
True
Let f = 3569 + -3547. Suppose -26 + 2 = -4*a. Is 2/a*3*(f - -2) a multiple of 12?
True
Suppose -5*u - 12*u + 40052 = 0. Suppose u = 4*b - w, 3*b + 2*w - 49 = 1729. Is b a multiple of 24?
False
Let g(x) = -x**3 + 8*x**2 - 3*x + 2. Suppose -7*y + 56 = -0*y. Let s be g(y). Let b = s - -100. Does 9 divide b?
False
Suppose -3*u + 365 = 5*s - 246, -587 = -3*u + s. Let o = 146 + u. Is o a multiple of 7?
True
Let x = 2323 + 2699. Is 29 a factor of x?
False
Let y be 1347 + (4 + -3 - -2). Suppose y = 4*q + 2*o, 5*q - 5*o = 457 + 1253. Suppose -2*k + 154 = -3*f + 6*f, -5*k + 4*f = -q. Is 10 a factor of k?
False
Let f(d) = d**3 + 16*d**2 - 15*d - 24. Let g be f(-13). Let m = 685 - g. Is m a multiple of 7?
True
Let c be 13/(-52) - 68/(-16). Let y be 3*2/(2 - 0). Suppose y*x + 5*f - 166 = 0, 4*f = -c*x + 162 + 54. Is x a multiple of 4?
True
Let j = -780 - -1125. Suppose -4*x + 897 = -3*k - j, -k = -2. Is 4 a factor of x?
True
Suppose 3*z = 2*s - z - 104, 3*s - 5*z = 159. Suppose s = 8*t - 86. Is 724/t - 3 - (-6)/(-27) a multiple of 8?
False
Is (-2943021)/(-71)*((-2 - -1) + 2) a multiple of 111?
False
Suppose -205*j + 189*j = -92288. Is j a multiple of 10?
False
Let s = 73 + 18. Is 18 a factor of s?
False
Let r(c) = 14 - c + 3*c**3 + 0*c**3 + 6*c**3 - 8*c**3 + 13*c**2. Suppose 2*n + 85 = 59. Does 5 divide r(n)?
False
Is 8256/(-301)*70/(-15) even?
True
Let q be 66/4 - 1/(-2). Suppose 4*u - q = -53. Is u/21 + 692/14 a multiple of 49?
True
Let r(s) = 9*s + 2. Let n(k) = k**2 - 7*k + 5. Let c be n(7). Let i(m) = 8*m + 1. Let y(u) = c*i(u) - 4*r(u). Is y(11) a multiple of 18?
False
Suppose -4*q = 3*q + 42. Does 20 divide -2*187/q - (-1)/(-3)?
False
Suppose -2*l - 4 = -8. Let i(y) = 12*y**2 - 6*y + 12. Does 12 divide i(l)?
True
Let o(j) = -35*j - 7. Let s be o(-3). Suppose -2*m - 2*t = -s, 0 = 5*m - 5*t - 265 + 10. Suppose -11*z + m = -z. Does 2 divide z?
False
Let x be ((-957)/174)/(1/(-384)). Suppose 4*l + x = 2*v, 2*v + 26*l - 2106 = 28*l. Does 35 divide v?
True
Suppose -4*o + 3*g + 42 = -2*o, 0 = -2*g - 4. Suppose -h = -4*d - 143, -2*h - 3*d = -279 - o. Is 10 a factor of h?
False
Suppose 3*p + 12 = -p. Let v(z) = -10*z - 13 + 5*z + 0 + 9 - 2*z**3 - 5*z**2. Is 20 a factor of v(p)?
True
Suppose 5*z = -5*k + 193220, -2*k - 21*z + 22*z + 77276 = 0. Is k a multiple of 345?
True
Is 4 a factor of 2508 + (-160)/(-30) + (-16)/12?
True
Is (86190/(-25))/((-20)/50) a multiple of 39?
True
Let r(x) = 3*x**2 + 2*x - 49. Let b = 210 + -219. Is 11 a factor of r(b)?
True
Let q(w) = 2*w + 3. Let y be q(9). Let x = y - 6. Suppose x*t = 14*t + 17. Is 2 a factor of t?
False
Let i = 7620 + -1880. Does 70 divide i?
True
Is 134226/14 - (-45)/105 a multiple of 17?
True
Suppose -5*k = u - 12, 3*u + 3*k - 126 = -2*u. Let n = u + -21. Suppose 552 = -n*f + 1770. Is 22 a factor of f?
False
Let l(n) = 44*n**2 + 11*n - 136. Is 27 a factor of l(9)?
False
Let j = 22636 + -9916. Is 20 a factor of j?
True
Let r = -20 - -22. Let p be r + 4 + (0 - -1). Let w(u) = u**3 - 6*u**2 - 2*u + 13. Is w(p) a multiple of 8?
True
Let s be (-6)/(12/(-10)) - (7 - 2). Suppose s = 10*k - 3193 + 803. Is 28 a factor of k?
False
Let m(b) = b**2 - 6*b + 3. Let t be m(7). Let s = -90 + 594. Suppose 6*k + s = t*k. Is k a multiple of 18?
True
Let g(h) = 64*h**2 - 114*h + 44. Does 48 divide g(-10)?
True
Suppose 9*s = -8 + 35. Suppose -5*v - 237 = -s*x + 268, 2*x + 4*v = 366. Suppose -21 = 2*m - x. Is 12 a factor of m?
False
Suppose -5*v + 22 = l, 3 = -3*l - 6. Suppose -3*x - 3*t = -297, -4*t + 93 = x - v*t. Let n = 250 - x. Does 14 divide n?
True
Let c be 5 - (5 + -10 + 8*1). Suppose 3*i = -2*i + c*b + 3008, 2*i = -2*b + 1192. Does 75 divide i?
True
Let x be -198*((-15)/35 - (-94)/(-42)). Let c = -366 + x. Is c a multiple of 2?
True
Let g(x) be the second derivative of x**4/6 + x**3/2 - 3*x**2/2 - 296*x. Let