u**3 + 4*u**2 + 3*u + 8. Let f be h(-3). Suppose 139*j = f*j - 52. Suppose 14*q - j*q = 209. Is q a multiple of 62?
False
Let v be 0/(-1) - 0 - -116. Suppose 5*a + 3*i - 1556 = 0, 5*a - 679 - 873 = -i. Suppose -v = b - a. Is 49 a factor of b?
False
Suppose -z - 4*z = -4*v - 54, v + 3*z + 5 = 0. Let t(s) = 8*s**2 + 16*s + 44. Is t(v) a multiple of 20?
False
Let h(c) = -5*c**2 - 6*c. Let q be h(-2). Is 12 a factor of (q + 1503/(-18))*(-8)/6?
False
Let y(p) = 26*p**2 - 19*p + 61. Is 23 a factor of y(-13)?
False
Let f(g) = -5*g**2 + 9*g**2 + 4 + 17*g - 2*g**2 + 7. Let y be f(-8). Is (0 - -54)*y/(27/30) a multiple of 20?
True
Let g = 7848 - 716. Does 154 divide g?
False
Let y = 61042 + -31498. Does 119 divide y?
False
Suppose 4*l - 3598 = -l - 4*z, z = 4*l - 2870. Suppose -l = -v - 466. Does 12 divide v?
True
Suppose -1401*m + 191950 = -1346*m. Is 24 a factor of m?
False
Suppose -96 = 24*q - 0*q. Let k(z) = 4 - 21*z - 4. Is k(q) a multiple of 21?
True
Let u(j) be the second derivative of 3*j**4 - 3*j**3 - 18*j**2 + 93*j. Does 12 divide u(-6)?
True
Suppose -5*n = 5*k - 1128 - 642, -2*k = -4*n + 1404. Is n a multiple of 8?
True
Suppose 69 = -2*p + 13*o - 16*o, 3*p + 113 = 5*o. Suppose -3*x - 4933 = -1585. Is -1 + 3 + x/p even?
False
Let h = 9 + -4. Suppose 5*s - 164 = -3*q, 3*q - h*s = 4*q - 68. Is 3 a factor of q?
True
Let w(h) = -2*h**3 + 65*h**2 - 136*h + 106. Does 80 divide w(26)?
False
Let k(x) = -x**3 - 2*x**2 - 22*x - 56. Is k(-11) a multiple of 25?
True
Suppose 3*z - 535 = 3*s + 206, 0 = -4*z + 3*s + 991. Let h = 490 - z. Is h a multiple of 20?
True
Let q(a) = -2147*a**2 - 10*a - 21. Let z(b) = -1431*b**2 - 7*b - 14. Let y(t) = 5*q(t) - 8*z(t). Does 51 divide y(-1)?
True
Suppose l + 19 - 22 = 0. Suppose 4*b = -w - 17, 0*w = -l*w + 2*b + 19. Suppose 0 = -w*j + 13 + 59. Does 13 divide j?
False
Let h be -2*(2/8 - (-1050)/(-56)). Suppose -h*x + 4608 = -25*x. Is 64 a factor of x?
True
Suppose m - w = 28501 + 5904, -m + 34409 = -2*w. Does 9 divide m?
False
Let o be (-1787)/(-15) - 1/((-75)/(-10)). Does 9 divide o*1 + 9/(-3)?
False
Let q be (5 + -6 - -1)*(0 - -1). Suppose 3*p - f - 1387 = q, 0 = 4*p - 0*f - 3*f - 1851. Suppose -p = 8*o - 2270. Does 23 divide o?
False
Is 2 a factor of -4 - (162/(-9) - 2639)?
False
Let g(s) = -s**2 - 18*s - 25. Let h(m) = 2*m**2 - 38*m + 23. Let q be h(18). Does 10 divide g(q)?
True
Suppose -201*q + 1590485 = -166150 + 179991. Is 21 a factor of q?
False
Suppose 4*n - 3*l - 10021 = 0, -l = -n - 2*l + 2507. Let k = n + -1291. Suppose 6*g = -3*g + k. Is g a multiple of 35?
False
Suppose 5*v = -7*v + 1008. Suppose m + 3*i - 42 = 2*m, 0 = 2*m - 5*i + v. Let u = -31 - m. Is 11 a factor of u?
True
Suppose -4*m + 18 = -4*g + 5*g, -5*m - 3*g + 19 = 0. Suppose 30 - 10 = -m*h. Does 14 divide (567/(-18))/(3/h)?
True
Let r(q) = 349*q - 324. Is r(2) a multiple of 17?
True
Let d = -3515 + 5123. Is d a multiple of 26?
False
Let r(y) = 3*y**2 + 17*y - 12. Let o be r(-6). Does 4 divide (2 + (-76)/o)*3?
True
Let l(y) = 124*y**2 + 32*y - 25. Does 29 divide l(8)?
False
Suppose 3*x + 3*l - 198 = 0, -2*x - 10*l + 148 = -12*l. Is (-7300)/(-14) - (-40)/x - -4 a multiple of 12?
False
Suppose k - w - 5 = 0, 0 = 2*k + w - 33 + 8. Suppose -5*x + k*x + 2*o = 107, 2*x = o + 50. Is x a multiple of 8?
False
Suppose 175*k - 180*k = 4*u - 16093, 4*k = -2*u + 8036. Is u a multiple of 168?
True
Suppose 4*g - 3*s - 32947 - 8560 = 0, -5*s - 10364 = -g. Is g a multiple of 97?
True
Let y(w) = w**3 - 4*w**2 + 8*w - 10. Let z be y(3). Suppose z*i = 173 + 292. Does 31 divide i?
True
Let w(h) = -h**3 + 7*h**2 + 8*h - 11. Let x be 4 - (-105)/(-5 + 2). Let m = 36 + x. Is 16 a factor of w(m)?
False
Suppose -6*s = -3*s + 171. Let j = 59 + s. Suppose -4*y + 252 = -5*k, k + 126 = j*y - 2*k. Is 21 a factor of y?
True
Suppose r = -3*x + 4445, 0 = -r + 5*x + 4944 - 523. Is 19 a factor of r?
False
Let n = -5733 - -5941. Is n a multiple of 10?
False
Let v = -9 - -11. Suppose -v*a + a + 182 = 2*h, h = 3*a - 553. Suppose -u = 5*m + u - a, -188 = -5*m - 4*u. Is m a multiple of 9?
True
Let v = -567 - -1265. Let j = v - 144. Is j a multiple of 32?
False
Suppose 2*s - 4*a - 2 - 2 = 0, -6 = -3*a. Suppose 16*b + 145 - 113 = 0. Is 27 a factor of (b - 43)*(0 + s/(-10))?
True
Let j = -61 - -67. Is j/(-33) + 56301/77 a multiple of 43?
True
Let n be (-4)/(-12)*-3 - -39. Suppose n = 2*q - 2*k, -5*q + 10*k - 8*k + 104 = 0. Is 11 a factor of q?
True
Let o(c) = c**3 - 4*c. Let m be o(-2). Suppose m = -3*v + 6 - 0. Suppose 4*q = -z + 107, 2*z - 22 = -v*q + 30. Does 5 divide q?
False
Let q be ((-9)/(-3))/((-3)/(-61)). Let c = q + -61. Is 7 a factor of (c + -1 - -3) + -5 + 31?
True
Is 7*(-12)/(-21) - (-2 + -1 + -7013) a multiple of 23?
False
Let c(i) = 2*i**2 + 20*i. Suppose 0 = 13*z - 12*z - 3*f + 20, 0 = -3*z + 2*f - 46. Does 7 divide c(z)?
True
Let y(x) = -x + 8. Suppose -6*i + i = -2*u - 22, -4*u - i = 0. Let q be (-11)/(-4*u/4). Does 4 divide y(q)?
False
Let z(v) = v**2 - 5*v - 16. Let r be z(8). Suppose -r*s + 13*s = 225. Suppose d - q - s = 1, -4*q + 20 = 0. Is d a multiple of 17?
True
Let j = 54 + -25. Let w(v) = j*v - 3*v + 14*v + 6 + 44*v. Is w(1) a multiple of 16?
False
Suppose 89*w - 446*w + 10615752 = 0. Does 56 divide w?
True
Let c(o) = 149*o + 37. Is 14 a factor of c(15)?
False
Let s be (-1325)/(-7) - 14/49. Let i be (-20542)/(-14) + (-54)/s. Suppose -8*m - m + i = 0. Is 16 a factor of m?
False
Let h = 5 - 0. Let o(p) = 3*p**2 + 9*p - 29. Let y be o(-7). Suppose 5*r = -4*f + 304, -r + y = -0*f - h*f. Does 10 divide r?
True
Suppose 33*t - 22*t - 132 = 0. Suppose t*c - 1672 = 560. Does 17 divide c?
False
Suppose -19 = -y - 15. Suppose -5*q - 4*f = 346, -y*q + q + f = 211. Let h = q + 113. Is 7 a factor of h?
False
Let j = -51 + 58. Suppose 0 = -11*x + j + 2215. Is 9 a factor of x?
False
Let z = 16121 - 6100. Is z a multiple of 4?
False
Let t(m) = -109*m - 5. Let p be ((-6)/(-12) + 2/(-20))*-5. Does 15 divide t(p)?
False
Suppose -2*i = -q - 3*i - 8, q + 5*i + 20 = 0. Let x(z) = -3*z**3 - 2*z**2 - 4*z - 1. Is 7 a factor of x(q)?
False
Let a be (-2 - 0)*26 + -5 + 9. Is 182 - (a/6 - -3) a multiple of 43?
False
Suppose 21*q = 444*q - 13720428. Is q a multiple of 36?
True
Suppose 2*d + 7*x + 3718 = 12*x, 5*x = 4*d + 7456. Let c = -1331 - d. Is 13 a factor of c?
False
Suppose -42*o + 80604 + 126540 = 0. Does 9 divide o?
True
Is 17 a factor of 34/(193/(-772)*(-8)/354)?
True
Suppose -q + 3*d + 2 = 7, -5*q = 3*d + 25. Suppose 3*r - 38 = -r - 2*t, 0 = -5*r - 2*t + 48. Is 0 - 354/(r/q) a multiple of 17?
False
Suppose 2385*j - 2393*j = -36960. Is 84 a factor of j?
True
Let f(s) = -s**3 + 15*s**2 + 18*s - 27. Let b be f(18). Let d = b - -1284. Is d a multiple of 29?
True
Let b = -935 - -1550. Let x = -335 + b. Is 20 a factor of x?
True
Let b(h) = 2*h**3 + 3*h**2 - h - 2. Let w be 6/(-11) + (-390)/(-110). Is b(w) a multiple of 38?
True
Let g be (-1 - -4) + (-24)/8. Suppose -j - 2*j + 15 = g. Is 12 - j*(-2)/(-10) a multiple of 5?
False
Suppose 5*x = -x - 7*x. Let h = x - -107. Is h a multiple of 6?
False
Let i(k) = -2*k**3 - 43*k**2 - 165*k - 35. Does 7 divide i(-21)?
True
Suppose 29 - 30 = -a. Let g be (-1)/(a/(-3))*8/12. Suppose -p - 149 = -4*f - 4*p, -g*p - 99 = -3*f. Is 13 a factor of f?
False
Let m(x) = 62*x - 39. Let t(q) = -314*q + 196. Let v(k) = -14*m(k) - 3*t(k). Is v(4) a multiple of 13?
False
Let a = 1924 - 317. Let t = a - 801. Is t a multiple of 13?
True
Let o be (2 + -129)*1 - 2/(-2). Let a be 285/7 - (-9)/(o/(-4)). Let f = a - -7. Is 8 a factor of f?
True
Suppose -183*i - 1002018 = -342*i. Does 137 divide i?
True
Suppose -133*l - 1292 = -135*l. Is l a multiple of 3?
False
Suppose 7*o - 12 = 3*o. Is ((-347)/o - -1)/(80/(-120)) a multiple of 47?
False
Suppose -2*f + 725 = 3*w, -202 = -4*f + 3*w + 1257. Suppose -c = 5*t - 2*c - 599, 3*t = -4*c + f. Is 3 a factor of t?
True
Suppose -10826 = -115*q + 114*q + 2*y, 4*q - 4*y - 43324 = 0. Is 43 a factor of q?
True
Suppose -12*h = -11*h + 2. Let v(x) = 32*x**2 + 9*x + 6. Does 29 divide v(h)?
True
Suppose 3*s - 24828 = -p, s - 3*p - 8266 = -5*p. Is 188 a factor of s?
False
Let x(t) be the first derivative of 31*t**2/2 + 64*t + 106. Does 33 divide x(12)?
False
Suppose 0 = 5*y - 2*o + 584, 193 = -2*y - 5*o - 58. Is -3 - 2/(y/38 + 3) a m