0*v + 13. Is 14 a factor of r(x)?
False
Suppose -602*f = -596*f + 1620. Let u(s) = 97*s**2 - 4*s - 3. Let m be u(-2). Let l = f + m. Is 41 a factor of l?
True
Let k(v) = v**3 + 3*v**2 + v + 1. Let n be k(-2). Suppose 0 = 3*p - 5*x + n*x - 637, x + 856 = 4*p. Does 27 divide p/1 + 13/13?
True
Suppose 11*q - 5*y = 227800, 4*y = 4*q - 36364 - 46468. Does 10 divide q?
True
Let b be 2 + (-16)/10 - (-12)/(-30). Let t(g) = 2*g**3 + 2*g**2 + g - 1. Let j be t(b). Is 2 a factor of (-59)/(-5) - (6/(-5) - j)?
True
Let s(b) = b**3 - 6*b**2 - 7*b + 4. Let t be s(7). Let d = -1250 + 1250. Suppose d = 3*y + t*r - 652, -3*y = -6*y + 4*r + 668. Does 11 divide y?
True
Let w = 65099 - 45387. Is 154 a factor of w?
True
Let g = -22 + 358. Let q = g - 120. Does 18 divide q?
True
Let c = 29782 - 2131. Is 295 a factor of c?
False
Is ((-28)/(-35))/(5*2/8225) a multiple of 2?
True
Suppose -3*c + 1346 = -4*y - c, 0 = 2*y - 2*c + 668. Let u = y - -544. Is u a multiple of 52?
False
Let f = -159 - 2. Is 2 a factor of 1/((-1)/2)*f/46?
False
Let q(v) = -v**3 - 4*v**2 - 4. Let c be (-18)/(-15) + (-6)/30. Let l(z) = z**3 - z**2 + z - 1. Let w(t) = c*q(t) - l(t). Is 9 a factor of w(-3)?
True
Suppose 81*q + 4*n - 186 = 80*q, 558 = 3*q - 3*n. Does 3 divide q?
True
Let o = -6378 + 9162. Is o a multiple of 6?
True
Suppose 3*p = -3*s + 33, 4*s - 2*p - 26 = -6. Suppose 4*y = -m - s, m + 3 + 4 = -y. Let v(q) = q**3 + 8*q**2 + 2*q - 22. Does 4 divide v(m)?
False
Let v = -6800 - -9236. Is 12 a factor of v?
True
Let v(a) = 2*a - 3*a**2 + 6*a + 59 + 4*a**2 + 6*a - 2*a. Does 5 divide v(-13)?
False
Suppose 5*l = -2*d + 8, 0*l + 5 = l - 3*d. Suppose -l*s - 4*s = -462. Is 7 a factor of s?
True
Let l(x) = 1425*x**2 + 3*x + 3. Let p be l(-1). Suppose 2*o - 601 = -5*t, 7*t - 4*t + p = 5*o. Suppose u - 4*u = -o. Is 24 a factor of u?
True
Suppose 8 = -2*b, 8*g + 5*b + 218 = 6*g. Is 3*(-16)/12 - (g + 0) a multiple of 18?
False
Let v(x) = x**2 + 4*x - 16. Let j be v(-8). Suppose 2*o = 2*c + 3*c + 31, 5*c + j = -3*o. Suppose 0 = o*t + t - 192. Is t a multiple of 6?
True
Suppose 0 = -4*v + 2*t + 2342, 8*t - 6*t + 1176 = 2*v. Suppose -v = 5*d - 4048. Is d a multiple of 63?
True
Let l = -4 + 7. Let q(o) = -14 - 4 + 31 + 7 + 62*o. Is 21 a factor of q(l)?
False
Suppose -4*q + 10323 - 10311 = 0. Suppose v - 4 = -0*v. Suppose -b = v*i - q*i - 55, -73 = -b + 5*i. Is b a multiple of 4?
False
Let j = 28139 - 13404. Does 14 divide j?
False
Let j = 1845 - 934. Does 7 divide j?
False
Let d(i) = 3*i**2 - 39*i + 33. Let o be 148/9 + 32/(-72). Is 10 a factor of d(o)?
False
Let q(y) be the first derivative of y**2/2 + 5*y + 7. Let t be q(-5). Suppose t = -m - 7*m + 328. Is 16 a factor of m?
False
Let s(h) = -5*h**3 + 5*h**2 + 2*h + 8. Let n(g) = 6*g**3 - 5*g**2 - 3*g - 6. Let u(f) = -4*n(f) - 5*s(f). Is 5 a factor of u(6)?
False
Suppose 22 - 14 = -4*i. Is i/(5 - 1161/231) a multiple of 11?
True
Let k(p) = 4*p - 1. Let a be k(-1). Let n(y) = y**3 + 4*y**2 - 3*y + 7. Let d be n(a). Let x = d - -7. Does 3 divide x?
False
Suppose 13*p - 519 = 222. Suppose -3*j + w + p = -7*j, 3*j + 44 = -2*w. Let l(s) = s**3 + 13*s**2 - 15*s + 9. Is 2 a factor of l(j)?
False
Suppose 0 = 12*v - 14*v - 3*m + 135355, -338390 = -5*v - 5*m. Is v a multiple of 55?
False
Let x = 101577 - 37249. Is x a multiple of 122?
False
Let r = -47 - -47. Suppose r*x = 3*x + 15. Does 20 divide (-798)/x + 16/40?
True
Let f(p) = 3686*p**3 - 5*p**2 - 46*p + 93. Is 72 a factor of f(2)?
False
Suppose 3*m + 87 + 144 = q, 5*q = -2*m - 154. Let f = 87 - m. Does 41 divide f?
True
Let y = 71 - 147. Let z = -76 - y. Suppose z*p - 360 = -2*p. Is 10 a factor of p?
True
Let f(n) = 16*n - 37. Let a(j) = -8*j + 15. Let w(l) = -10*a(l) - 4*f(l). Suppose 0 = 3*u - 0 - 3. Is w(u) a multiple of 8?
False
Let f be 16/(-112) + (-258)/(-42). Let s(p) be the first derivative of -p**3/3 + 5*p**2/2 + 18*p - 1. Is 10 a factor of s(f)?
False
Suppose -5*z = -5*x + 1488 + 3992, x - 6*z - 1066 = 0. Is x a multiple of 31?
False
Let v(s) = s**3 - 6*s**2 - 14*s - 3. Let o be v(8). Suppose 276 = 19*j - o*j. Suppose -n + 49 = -3*q, 3*n - 87 - j = 2*q. Is 34 a factor of n?
False
Let u = 7548 - -21612. Does 107 divide u?
False
Suppose 1180 = -l - 2*s, -3*l - 5*s - 3550 = -s. Let b = -523 - l. Is 14 a factor of b?
False
Let s(a) = -15*a + 784. Is s(28) a multiple of 28?
True
Let c(x) = -9*x - 34. Let l(y) = 4*y + 17. Let s(i) = 2*c(i) + 5*l(i). Is 9 a factor of s(23)?
True
Suppose 0 = -11*f + 10*f + 125. Let d = 317 - f. Let m = -71 + d. Does 7 divide m?
False
Let b be 0 + (-1)/1 + 4. Suppose 5*k + 244 = b*k. Is k/(-6) - (-16)/24 even?
False
Let v(n) = 106*n - 1251. Does 41 divide v(35)?
False
Does 15 divide 330/(-1155) + 373/7?
False
Let j(w) = -2*w**2 - 9*w - 13. Let k be j(-6). Let f = 32 + k. Does 9 divide 4*(-3 - -20)*f?
False
Let k = -28 + 22. Let b be 8/(-6) + (-20)/12. Is 51 a factor of 928/6 + k - 1/b?
False
Let d = 4 + -19. Is 6 a factor of (27/d)/(-2*3/30)?
False
Let o(a) = 2766*a + 1270. Is 46 a factor of o(3)?
True
Let n = -52 + 56. Suppose -6 = -2*i + n. Suppose -4*q + i*z = -32, -2*q + 3*z + 20 = 4. Does 4 divide q?
True
Let b(u) = 1438*u**2 - 27*u + 29. Does 5 divide b(1)?
True
Suppose -41*t + 6 = -38*t. Suppose k + t*f - 120 = 0, 16*k + 5*f - 585 = 11*k. Is k a multiple of 4?
False
Let m(w) = 26*w**2 - 377*w - 53. Is 9 a factor of m(30)?
False
Suppose -5*y - 4*v = -25, -v - 56 = -4*y + 3*v. Let k(f) = -f + 48. Is k(y) a multiple of 4?
False
Let c = 6935 - 1839. Does 28 divide c?
True
Suppose 9 = 3*f + 3*u - 6, 13 = 5*f + 2*u. Is 3 a factor of (-1 + -19)*(f + -5)?
False
Let r(w) be the first derivative of w**5/20 - 5*w**4/12 - w**3 - 2*w**2 + 23*w + 15. Let v(x) be the first derivative of r(x). Is 27 a factor of v(8)?
False
Let o(s) = 13*s**2 + 8*s - 18. Let p(q) = 14*q**2 + 9*q - 20. Let k(m) = 7*o(m) - 6*p(m). Suppose 0 = -5*n - 4*u + 36, 0*u + 4*u = 3*n + 4. Does 38 divide k(n)?
True
Suppose -2874681 = -217*s + 46*s. Does 31 divide s?
False
Suppose 4*r - 4*l = 312, 2*r = 6*r + 4*l - 304. Suppose -98 = -5*y + r. Does 7 divide y?
True
Let m = 19737 + -16184. Is m a multiple of 37?
False
Let p = -109 - -121. Let y(u) = -2*u**2 + 32*u - 29. Is y(p) a multiple of 10?
False
Let z(h) = -h**3 + 2*h**2 + 24*h + 14. Let v be z(6). Suppose 102 + 4070 = v*j. Is 8 a factor of j?
False
Suppose -1562*j = -1592*j + 519030. Is 123 a factor of j?
False
Let n(i) = 514*i**2 + 42*i - 95. Is 369 a factor of n(10)?
False
Let l(t) be the third derivative of 7*t**5/12 - 19*t**4/24 + 10*t**3/3 + 56*t**2. Is l(4) a multiple of 14?
True
Suppose -18*a + 20*a - 194 = 0. Suppose 0 = 12*x - 1066 - 182. Suppose -3*j + x = -a. Is 7 a factor of j?
False
Suppose 13*h - 277 = 399. Suppose 0 = -h*s + 47*s - 15. Is 19 a factor of s*-1*(-358)/(-6)?
False
Let m = 49 - 22. Let u = -34 + m. Let c(k) = -7*k + 7. Does 14 divide c(u)?
True
Let b be (-4)/(-14) - 112/49. Let g be (-54)/(-13) - b/(-13). Is 12 a factor of g/(3 - 2 - 93/99)?
False
Let r = 128 - 56. Let t = 99 + 128. Let q = t - r. Is q a multiple of 32?
False
Let b(p) = 150 - 24*p - 77 - 50. Let h be b(-4). Let d = -2 + h. Is 7 a factor of d?
False
Let d = 74 + -82. Let x be (-7106)/d + 0 + 1/(-4). Suppose x = 3*w + 3*w. Is w a multiple of 16?
False
Let z be 560/(-6) + (-19)/(-57). Let g = -81 - z. Suppose 16*m = g*m + 588. Is m a multiple of 21?
True
Let j be 1/(-2)*(-17 - -17). Suppose 0*d - d + 7 = 3*r, -r + 3*d + 9 = 0. Suppose 4*z - 2*s = 90, j*z - z - r*s = -33. Is 6 a factor of z?
True
Suppose -x + 11 = -a + 212, 4*a = -2*x + 792. Suppose 0 = 3*w - 2*p + a, 2*w + 3*w + 321 = -2*p. Let s = w - -78. Is 5 a factor of s?
False
Let t(o) = -324*o + 7073. Does 9 divide t(-13)?
False
Suppose -7*n = -11*n + 16. Suppose -n*m = -7*m + 9. Suppose -3*h + 54 = a, -3*h = -m*a + 153 + 33. Does 12 divide a?
True
Is 8 a factor of (1 + -4)/(4/(-8)*2/191)?
False
Let f(z) = -z**3 + 11*z**2 - z + 11. Let s be f(11). Let u(c) = c + 104. Let m be u(s). Suppose 3*q - m = 22. Is q a multiple of 6?
True
Let z(s) = -4*s - 7 - s - 2. Let f be z(-2). Does 2 divide 1 + f - (-8 - 0)/1?
True
Let t be 2/(-7) + 186/14. Suppose 0 = 3*f - 4*w + 24, 8*f - 7*f = 5*w + 3. Does 16 divide f - -9 - t*-7?
False
Let x be 10/(-45) - (-994)/18. Suppose 5*v - 170 = x. Suppose -i + v = k + k, 2*k -