3)*1881/(-18)?
False
Suppose -73 = 3*h + 89. Let b be 12 + (2/1)/(-2). Let l = b - h. Is 27 a factor of l?
False
Let y(c) = -5*c**3 - 9*c**2 - 5*c - 4. Let u(o) = 9*o**3 + 17*o**2 + 11*o + 8. Let s(w) = -3*u(w) - 5*y(w). Is s(-5) a multiple of 34?
True
Let s = 35 - 15. Let v = s + -6. Does 9 divide v?
False
Let k(j) = -144*j - 23. Does 7 divide k(-2)?
False
Suppose 0 = -5*q - 5, -3*q = 4*u - q - 30. Suppose -u*l + 72 = -2*l. Does 4 divide l?
True
Let h = 617 + -430. Suppose 2*i = h - 37. Does 12 divide i?
False
Let q(u) = 2*u**3 + 18*u**2 + 14*u - 5. Let i = -26 - -29. Let c(v) = 5*v**3 + 53*v**2 + 43*v - 16. Let t(s) = i*c(s) - 8*q(s). Does 4 divide t(16)?
True
Let p = 902 - 553. Does 24 divide p?
False
Let m = -20 + 8. Let w(f) = f**3 + 12*f**2 - 8*f - 16. Let i be w(m). Suppose -4*a + 0*a = -i. Is a a multiple of 9?
False
Let n(b) be the second derivative of -b**5/20 + 5*b**4/12 + 5*b**3/6 + b**2/2 - 9*b. Let i be n(5). Suppose -23*k = -i*k + 96. Is k a multiple of 16?
True
Let v(t) = 2*t**2 + 4*t. Let r be ((-25)/(-10) + -3)*2*3. Does 2 divide v(r)?
True
Let i(m) = -3*m + 62. Let v be i(19). Suppose z + 3*n - 129 = 0, v*z - n - 695 = -6*n. Is 17 a factor of z?
False
Let v(n) = 17*n + 7. Let m(h) = 17*h + 7. Let t(r) = -5*m(r) + 6*v(r). Is 8 a factor of t(4)?
False
Let p(b) = b**2 + 12. Let j be p(4). Suppose 0 = 22*a - 18*a - j. Does 5 divide a?
False
Let q(x) = 8*x + 17. Let l(m) = 4*m + 8. Let v(p) = 14*l(p) - 6*q(p). Is v(10) a multiple of 19?
False
Let j be -2 - ((3 - 5) + 1). Let p be (-5 - 2/j) + -7. Let w = p + 18. Is 3 a factor of w?
False
Suppose -5*l + 184 = -311. Is 24 a factor of (-12)/(0 + 4) + l?
True
Let h(g) = g**2 - 5*g - 7. Let a be h(6). Let c be 0/(-1)*a - -4. Is 4/8 + 130/c a multiple of 11?
True
Let m = -16 + 30. Let f be m*1*6/21. Suppose -s + r - 1 = -32, 91 = 3*s - f*r. Does 14 divide s?
False
Let t be -2 - (3 + -4) - 2. Let q(m) = -m**3 - 5*m**2 - 2*m + 3. Let s be q(t). Does 5 divide (-1)/(-2) + s/(-2)?
True
Let u(b) = b**3 - 4*b**2 - 11*b - 40. Is u(12) a multiple of 70?
True
Let o(j) = 4*j**2 + 18*j - 113. Does 24 divide o(7)?
False
Let c(r) be the third derivative of -r**6/360 - 11*r**5/120 - 5*r**4/12 - 5*r**3/3 - 7*r**2. Let b(u) be the first derivative of c(u). Does 8 divide b(-9)?
True
Let m(a) be the first derivative of 16*a**2 - a + 2. Let b be m(2). Suppose 2*t - 9 = b. Is 12 a factor of t?
True
Suppose 3*c = 8*c - 20. Let f = c + -14. Does 11 divide (-289)/(-7) + f/35?
False
Suppose -3*i - 2*l = -806, -5*l = -3*i + 7*i - 1070. Is 25 a factor of i?
False
Suppose 1584 = 4*b - 5*w, 4*b - 2350 + 766 = 4*w. Is 6 a factor of b?
True
Does 16 divide -5 - (-1 - -9 - 5393) - 4?
True
Let k(u) = -2*u**2 - 51*u - 14. Is 16 a factor of k(-18)?
True
Suppose -4*n + 2*d + d = -2751, -n = -3*d - 681. Suppose -11*o + n = -o. Does 16 divide o?
False
Let t = 43 + 62. Does 17 divide t?
False
Let a(b) = -56*b - 32. Let p be a(-4). Is 28 a factor of 7/4*p/(0 + 4)?
True
Let v(u) = -u**3 - 15*u**2 + 41*u + 197. Is 14 a factor of v(-23)?
True
Let u(n) = 72*n**3 - 15*n**2 + 13*n + 2. Is u(1) a multiple of 9?
True
Let p(u) = -2*u + 10. Let o be p(10). Let l be (-15)/21 - o/(-35). Let b(t) = 41*t**2 + t. Is 8 a factor of b(l)?
True
Let a(w) = w**3 - 21*w**2 + 6*w + 20. Let k be a(22). Let q = k - 436. Is 25 a factor of q?
True
Suppose 2*j - 4*v - 8 - 20 = 0, v - 3 = -2*j. Suppose 0 = j*f - 41 + 5. Does 3 divide f?
True
Let u(n) = n + 3. Let s be u(-1). Suppose -4*p - 5*h = 11 - 87, 0 = -p + 5*h + 44. Suppose -p = -3*c + s*c. Is 12 a factor of c?
True
Is 59/7 - (-11)/(77/4) even?
False
Let k(o) = 9*o**2 + 27*o + 74. Does 35 divide k(-8)?
False
Suppose 0 = -6*x - 6*x + 36. Suppose -294 - 164 = -5*c - x*u, 457 = 5*c + 2*u. Does 20 divide c?
False
Suppose 0 = 4*d + j - 724, 5*d + 17*j - 916 = 13*j. Does 14 divide d?
False
Suppose 3*q = 4*o - 23, o + 11 = -o - 3*q. Suppose 3 = -r, -2*a - o*r + 7*r = -85. Is 4 a factor of a?
False
Let n(h) = 93*h**2 + 101*h + 26. Does 13 divide n(-5)?
True
Let v = 1165 + -1122. Is 2 a factor of v?
False
Let m(i) = 29*i + 100. Is m(34) a multiple of 12?
False
Let x(w) = w - 3. Let p be x(6). Suppose -3*h + 2*l + 25 = 179, h + p*l = -33. Let a = h + 68. Is 10 a factor of a?
True
Let c be 5*-1 - -2 - (-20)/2. Suppose -5*y + c*y = 180. Is y a multiple of 26?
False
Let o = 846 + -110. Is 8 a factor of o?
True
Let f be 4/(-14) - (-32)/14. Let w = -1 + f. Is 9 a factor of (-3 + w)*(-9)/2?
True
Let a(p) = 97*p - 467. Does 24 divide a(12)?
False
Suppose 2*v - r + 14 = -7, 24 = -3*v + 4*r. Does 15 divide 3/v - ((-747)/12 - -2)?
True
Let v = 6 - -49. Suppose -2*k = 132 - 430. Suppose -4*d = -v - k. Is d a multiple of 13?
False
Does 34 divide (-1)/(1/(-545)) + (-2 - -1)?
True
Suppose -10*q = a - 5*q + 20, -5*q - 20 = -4*a. Suppose 3*v + 236 = 3*t - v, -4*v - 8 = a. Is 8 a factor of t?
False
Let h = -68 - -183. Is h a multiple of 23?
True
Let b(p) = 63*p**2 - 146*p - 8. Is 119 a factor of b(8)?
True
Let s(m) = m**3 + 45*m**2 + 29*m - 38. Does 42 divide s(-44)?
False
Is 76 a factor of (2 - -965) + 47/47?
False
Let s(g) = g**2 + g. Let d be s(0). Let y = 37 - 11. Suppose -2*i + 108 + y = d. Is 17 a factor of i?
False
Let a be (1/(-3))/(5/(-270)*-6). Let z(v) = -95*v - 6. Does 14 divide z(a)?
False
Let u(x) = x - 13. Let h be u(10). Let n be 0/(6/3) - h. Suppose 0 = 2*c - 2*o - n*o - 30, -c - o + 15 = 0. Does 4 divide c?
False
Suppose -2*y = -63 + 13. Suppose 4*q = q + 54. Suppose -g + q + y = 0. Does 9 divide g?
False
Let d = -1284 + 1947. Is d a multiple of 51?
True
Let t(b) = 34*b**2 + 47*b - 221. Is 72 a factor of t(5)?
True
Suppose q - 8 = 3*r + 31, 5*r = 3*q - 97. Is q a multiple of 2?
True
Let b(n) = 12*n + 13 - 22*n - 3. Is 9 a factor of b(-4)?
False
Suppose 33*u - 16530 = 4*u. Is 5 a factor of u?
True
Let v(g) = -4199*g**3 - g**2 - 2*g + 2. Let p be v(1). Let o be 18/(-5)*p/36. Suppose -m - o = -4*m. Does 35 divide m?
True
Let h be -16*4*5*(-4)/10. Is (3/(-4)*4)/((-3)/h) a multiple of 16?
True
Suppose -2*h + x + 139 = 0, 2*h + 3*x = 4*h - 129. Does 26 divide h?
False
Is 4*(-5)/(-4) + 968 - -3 a multiple of 16?
True
Suppose 8*f + 1170 = -7*f. Let y = f - -168. Is y a multiple of 10?
True
Suppose -2*u = 10, -u = 4*r - 0*u - 95. Let y be 60/r - (-9)/15. Suppose 0 = y*m + 2*m - 675. Is 36 a factor of m?
False
Let l(u) be the first derivative of u**3 + 5*u**2/2 + 7*u - 12. Does 7 divide l(-4)?
True
Suppose 2*z - 5*g = z - 145, 0 = -3*z + 4*g - 446. Is 14/4*(z/(-3))/1 a multiple of 23?
False
Let f(t) = -t**2 - 5*t + 16. Let w be f(-7). Suppose -179 - 37 = -w*p. Suppose -2*i - p = -6*i. Is 4 a factor of i?
False
Does 21 divide (-5 - (-1 - 8)) + 208?
False
Suppose -4*o = 2*w - 20, -4*w - 2 + 3 = -5*o. Suppose 50 = -w*c + 210. Is c a multiple of 20?
True
Let k(z) = -17*z**2 - z + 1. Let q(m) = -9*m**2 - m + 1. Let t(a) = -4*k(a) + 7*q(a). Does 4 divide t(-2)?
False
Let n = -54 - -54. Let k(f) = 18 + 0*f - f + f**3 + 10 - f**2. Is k(n) a multiple of 14?
True
Let l(u) = 2*u. Let c be l(0). Suppose -n + 4*z = -26, -2*n + 22 = 2*z - c*z. Is 13 a factor of n?
False
Let p be 25/((-1)/(-4)*2). Suppose g = 3*k - 0*k + p, -3*k = -5*g + 214. Suppose -3*s - g = -185. Does 17 divide s?
False
Let o = 28 - 26. Suppose 0 = -3*v + o*a + 12, 2*v - 15 = -v + a. Does 2 divide v?
True
Let h = -5 - -10. Suppose h*x - 27 = -12. Suppose -a - x*a = -4*k + 4, 2*k - 5 = a. Is 3 a factor of a?
True
Let u(l) be the first derivative of -29/2*l**2 - 14*l + 7. Is u(-4) a multiple of 18?
False
Let o = 572 - -135. Does 24 divide o?
False
Let a = -452 + 307. Let s = -70 - a. Is s a multiple of 25?
True
Let a be 109 - -1*(-1 + 0). Suppose 4*c - 97 = -4*f + 83, 4*c = 2*f - a. Suppose -v - 7 + f = t, v + 3*t = 49. Does 25 divide v?
False
Let y = 6 - 10. Is 11 a factor of ((-8)/12)/(y/438)?
False
Suppose 18*u - 56268 = -18*u. Is u a multiple of 24?
False
Let b(q) = 15*q - 179. Is b(17) a multiple of 5?
False
Is 13 a factor of (-1880)/(-12) - 3/(-9)?
False
Suppose 3*t - 50 = 8*t. Let o = 13 - t. Is o a multiple of 23?
True
Let w(v) = 18*v - 45. Let j be w(19). Suppose 8*x = 5*x + j. Does 13 divide x?
False
Let y(p) be the third derivative of -3*p**4/8 + 7*p**3/6 - 4*p**2. Let w(g) = 26*g - 20. Let a(d) = 3*w(d) + 8*y(d). Is 7 a factor of a(3)?
True
Let 