) = u**3 + 4*u**2 + 3. Is j(o) a multiple of 2?
False
Suppose b + 5*b = -912. Is (-18)/(-8)*b/(-57) even?
True
Let p be 3/(70/(-72) + 14/63). Let d(l) = -35*l + 3. Does 26 divide d(p)?
False
Let x(a) = -10*a**3 - 11*a**2 + 3*a - 18. Does 18 divide x(-8)?
True
Let c(d) be the third derivative of -d**4/8 - d**3 + 2*d**2. Suppose 4 = -s + 4*m, -2*s - 34 = 2*s + 2*m. Does 9 divide c(s)?
True
Let n(c) = c**3 - 7*c**2 - 11*c - 2. Let m be n(8). Let p = -20 - m. Does 12 divide 54/(-21)*(-56)/p?
True
Let r = 366 - 229. Let p = r - 77. Does 10 divide p?
True
Suppose -3*w + 47 = 2*f, 3*f - 8*f - 3*w = -131. Suppose 3*a = 5*z - 0 - f, -4*a + 6 = 2*z. Suppose 3*g - 34 = -z*r, -g + 26 = 2*r - 6*g. Is r a multiple of 2?
True
Let y(o) = -5*o**3 - 4*o**2 - 7*o + 1. Let p be y(-5). Let m be (-60)/(-36) - 1/(-3). Is m/8 - p/(-44) a multiple of 5?
False
Does 59 divide 3/21 + (-5529)/(-7)?
False
Suppose -3*s = g - 163, 0*g - 4*s = -4*g + 636. Suppose 3*r - g = r. Does 17 divide r?
False
Suppose 2*v - 412 = -4*h + h, v + 270 = 2*h. Suppose 2*b - 354 = -4*g + 208, -g + h = 5*b. Is g a multiple of 12?
False
Let j(d) be the first derivative of 7*d**2/2 + 12*d - 8. Is j(4) a multiple of 5?
True
Let y be (0 + 6/(-4))/((-18)/24). Suppose -211 = -y*d + 5*p, -p - 203 - 4 = -2*d. Does 6 divide d?
False
Is (-1 - 2)*(0 + -4 + -36) a multiple of 3?
True
Suppose 5*r + 6*h = 4*h + 27, 21 = 4*r + h. Suppose 3*f = 0, -3*s + r*s - f = 14. Is 7 a factor of s?
True
Let z(g) = 10*g**2 + 5*g - 5. Is 71 a factor of z(3)?
False
Suppose n - 1 = 3*q, 2*n = 3*q - 2 + 7. Let b(z) = 70*z**2 - 2*z. Does 17 divide b(q)?
True
Let k(r) = -2*r**2 + 5*r + 2. Let g(s) = -s**2 - 1. Let n(i) = -g(i) + k(i). Let j be n(5). Suppose 3*l = j*p + 72, -p - 4 = -3. Is 9 a factor of l?
False
Let r = 295 + -211. Is r a multiple of 7?
True
Let v(z) be the first derivative of z**4/4 - 2*z**3 + 3*z**2/2 + 8*z + 11. Is 10 a factor of v(6)?
False
Does 9 divide 5 - 6/3 - -204?
True
Suppose t + 3*t + 12 = 0. Is 1/((-2)/(-108)) + t a multiple of 17?
True
Let o be (2 - 0)*(-1 - 343/(-14)). Let n be 39/(-12) + (-2)/(-8). Let h = n + o. Is h a multiple of 11?
True
Let j = 0 - -5. Suppose -j*n + n = -16. Suppose 5*k - k + 118 = 5*h, 0 = -h + n*k + 14. Is h a multiple of 26?
True
Let k be (4 + -12)/(-3 + 1). Suppose -2*s - k = 0, 0 = -2*g - s + 7 + 45. Let l = 29 - g. Is 2 a factor of l?
True
Suppose b + 56 = 4*u + 4*b, 56 = 4*u - 5*b. Let v = -49 + u. Let r = 106 + v. Does 24 divide r?
False
Suppose -27*l - 15 = -32*l. Suppose m + 233 = 3*v, 0 = -l*v - m + 31 + 204. Does 13 divide v?
True
Let h(c) = 2*c - 16. Let r be h(-8). Let z = r - -56. Is 12 a factor of z?
True
Is 16 a factor of (282 + 6)*8/12?
True
Suppose 14 + 1 = 3*f. Let c = f + 11. Is 2 a factor of c?
True
Let j(z) = 51*z**3 + z - 1. Let g be 1 + 3 + -3 - 7. Let t be (-7 - g)*3/(-3). Is 17 a factor of j(t)?
True
Suppose -5*z = -z - 4. Does 3 divide 6*(z + (-3)/(-6))?
True
Let c = 64 - 68. Suppose 2*d = 5*i - 2, -4*d + 0*i - 4*i - 4 = 0. Is 10 a factor of 60/d*2/c?
True
Suppose -2*d + 6 = -0. Suppose -d*x = x - 5*a - 611, -a = -4*x + 615. Is x a multiple of 22?
True
Let n = -170 + 258. Suppose w + 20 = n. Let o = w - 38. Is o a multiple of 15?
True
Let d(l) = 2*l**3 + 5*l**2 - 7*l. Is d(5) a multiple of 17?
True
Let t(n) = -n**2 + 7*n - 9. Let i be t(3). Let l(k) = 6*k**3 - 6*k**2 + 2*k + 1. Is 23 a factor of l(i)?
True
Let x(k) = -4*k - 9. Let n be x(-3). Suppose -14 = -n*u + 1. Is 3 a factor of u?
False
Suppose 8*i - 4106 - 1510 = 0. Is 64 a factor of i?
False
Let v = -11 + 28. Suppose 0 = 19*g - v*g - 62. Is 7 a factor of g?
False
Suppose 8*m - 12*m + 168 = 0. Let v = -16 + m. Does 13 divide v?
True
Suppose 38*p + 18*p = 58352. Is p a multiple of 50?
False
Suppose -2592 = -6*z - 3*z. Suppose z = -2*a + 6*a. Is 36 a factor of a?
True
Let t = -30 + 27. Let h(o) = -36*o. Is h(t) a multiple of 27?
True
Suppose -2*t - 2*i = -2638, 0 = -t + 3*i - 360 + 1683. Is 20 a factor of t?
True
Let u be 2/((-30)/9 - -4). Suppose 2*c - 294 = -4*n, u*n + 3*c = 7*c + 204. Is n a multiple of 8?
True
Does 14 divide 1/(-3) - 12581/(-69)?
True
Let n = 120 - 117. Let s be 1/(-3) - 530/(-6). Suppose -n*r - s = -4*r. Is r a multiple of 11?
True
Let d = 926 - 414. Is d a multiple of 3?
False
Suppose -111*a + 5792 = -109*a. Suppose 0*u = -16*u + a. Does 17 divide u?
False
Let m(u) = 17*u - 7. Is 5 a factor of m(6)?
True
Let k be ((-15)/12)/(1/(-12)). Let x = 17 - k. Does 14 divide -2 - (-18*1 + x)?
True
Let v = 14 + -12. Let l(j) = 4 + 3 + 11*j - 18*j**2 + 26*j**2 - v - j**3. Does 6 divide l(9)?
False
Suppose -5*z + 763 = j, 2*z + 3172 = 4*j - 2*z. Is j a multiple of 150?
False
Suppose 2*v + 3225 = 5*v. Does 17 divide v?
False
Let k(p) = -12*p - 13*p + p**2 + 6*p + 41. Is k(17) a multiple of 4?
False
Let f(i) = -i + 9. Let j be f(11). Suppose -9*z - 136 = -1666. Is 1/j + z/4 a multiple of 13?
False
Let u = 355 + 501. Does 14 divide u?
False
Let d = 219 - 240. Suppose i - 3*j - 49 = 0, 2*j = -2*i - j + 53. Let o = d + i. Does 4 divide o?
False
Suppose 3*a - 4 = 2. Suppose -4*m - 2*p = -1016, 0*m + a*p = -2*m + 512. Let b = m + -177. Does 19 divide b?
False
Suppose 4*q - 18 = -2. Let u(a) = 9*a**2 + 6*a + 4. Let m be u(-3). Suppose -37 = -q*b + m. Does 9 divide b?
False
Let d(y) = -y**3 + 14*y**2 - 12*y - 13. Let m be d(13). Let r = m + 2. Suppose -5*k = r*h - 32 - 38, -k + 4*h + 36 = 0. Is k a multiple of 3?
False
Let m(y) = -7*y + 23. Let j be m(3). Does 7 divide 36 - (j/(-4)*-2)/1?
True
Suppose 8*q = 3728 + 1216. Suppose -6*c - q = -9*c. Is c a multiple of 39?
False
Let k be (-30)/(-45) - (-2)/(-3). Suppose 836 = 4*l - 0*p + p, k = 4*l + 4*p - 848. Is l a multiple of 18?
False
Suppose -29*a + 2663 = -4152. Is a a multiple of 8?
False
Let m(u) = 11*u**2 - 4. Let k be m(2). Let h = k - -115. Is h a multiple of 31?
True
Let f(v) be the third derivative of 0 - 1/120*v**6 + 6*v**2 - 11/24*v**4 + 8/3*v**3 + 0*v + 7/30*v**5. Does 11 divide f(13)?
False
Suppose 4*m = 2*r + 442, r - 2 = 1. Is m a multiple of 16?
True
Suppose 193 = 4*q - 5*h, 5*q - 28 = 3*h + 210. Suppose q = 3*p - 25. Does 15 divide p?
False
Let q be 2*(-5 - 3)/(-2). Let y be q/12 - (-8)/(-3). Is 31 a factor of (-3)/6*-66 + y?
True
Suppose 212*b - 223*b - 22 = 0. Suppose 3*j + 174 = 2*q, q + 30 = -2*j + 131. Is 24 a factor of q - (-1 - b) - -4?
True
Let t(q) = q**2 + q + 30. Suppose 0 = 43*u - 46*u - 30. Is 20 a factor of t(u)?
True
Suppose -2016 = -53*y + 21304. Is 4 a factor of y?
True
Let o = 41 + -37. Let d = o - -14. Is d a multiple of 18?
True
Suppose -331 = -4*y - 2*m + 265, 5*y - 3*m - 745 = 0. Suppose -5*q = -y - 61. Is q a multiple of 14?
True
Suppose -147*c = -76*c - 13064. Does 4 divide c?
True
Let l = -184 + 120. Let x be l/(-10) - 6/15. Suppose -r - 165 = -x*r. Is r a multiple of 11?
True
Let d(u) = -u**2 - 22*u - 64. Is d(-15) even?
False
Let d = -1987 + 3395. Is d a multiple of 22?
True
Let o = 21 + -27. Let v be 1/3 - (-254)/o. Is 12 a factor of 4/(4/2) - v?
False
Let i = -107 + 159. Let n = -24 + i. Suppose -2*w = -14 - n. Is 7 a factor of w?
True
Let x(l) = l**2 + 6*l - 5. Let f(q) = -2*q**2 - 2*q - 3. Let u be 70/(-42) - (-2)/(-6). Let i be f(u). Is 2 a factor of x(i)?
True
Does 7 divide (48/18)/((-3)/(-54))?
False
Let l(p) = p**2 - 4*p + 7. Let x be (-2 + -1)/((-30)/(-40)). Is l(x) a multiple of 8?
False
Suppose 4*p - 5*c = 1079, 2*p - 7*p - 5*c = -1315. Does 14 divide p?
True
Suppose -b + 52 = -3*u - 5*b, b = -2*u - 28. Let n = u - -104. Is n a multiple of 23?
True
Suppose i - 1173 = -4*l, 2*l = -i + 5*i + 600. Does 21 divide l?
True
Is (285/190)/((-3)/(-9220)) a multiple of 53?
False
Let k(v) = -v**2 + 2*v + 1. Let c be k(-2). Does 3 divide (-15)/(-3) + (-9 - c)?
True
Suppose -4*w = 7*h - 3*h + 8, -3*h = 5*w. Let s = w - 6. Is 1/((-2)/(-118)) - s a multiple of 16?
False
Let z(j) = j**2 + j - 2. Let p(k) = -k**2 + k. Let y(q) = -4*p(q) - 2*z(q). Does 15 divide y(8)?
False
Suppose 142*x = 124*x + 23418. Does 46 divide x?
False
Suppose 0 = 34*o - 23308 - 8516. Is 52 a factor of o?
True
Suppose -8*o + 20859 = 9*o. Is 18 a factor of o?
False
Let a(n) = 0*n + n + 0 - n**3 - 2*n**2 - 2 + 1. Let h be a(-3). Suppose -h*j + 9*j = 60. Is j a multiple of 6?
False
Suppose 20*c = 23*c - 3*h - 4665, h = -5. Is 10 a