et c(t) = -8*t**2 - 3*t**3 + 2*t**3 - 6 + 13*t - 5*t. Suppose 0 = 2*a - 3*v + 15, 5*v + 21 = -3*a - 11. Is c(a) a multiple of 3?
True
Let o(l) be the first derivative of -l**2 - 8*l + 3. Let r be o(-6). Suppose 5*p = r*c - 29, -2*p - 19 = -3*c - p. Is c a multiple of 6?
True
Let d = 1272 + -393. Does 14 divide d?
False
Suppose 0 = -59*o + 66959 - 19405. Is 6 a factor of o?
False
Is 97 a factor of ((-8536)/16)/(5/(-10))?
True
Suppose 2*r + r - 15 = 0. Suppose -r = 4*x - 9*x. Let k(b) = 24*b**3 + b**2 - 1. Is 8 a factor of k(x)?
True
Suppose -5571 = -15*f + 4974. Is f a multiple of 20?
False
Let y(v) = -2*v - 34. Let f be y(-19). Suppose 0 = z - f*r - 21 - 76, 3*z = 4*r + 251. Does 11 divide z?
True
Suppose -8*t = -70 - 1210. Is t a multiple of 10?
True
Let w = 3 + 2. Let n(j) = -j**3 + 4 + 5 + 15*j + w - 17*j**2. Does 17 divide n(-18)?
True
Suppose -14 = q - 16. Does 26 divide 2*(-46)/(-2)*q?
False
Suppose q = -0*q + 2. Suppose 4*j + s - 590 = -168, q*s - 314 = -3*j. Is 17 a factor of j?
False
Let z = 746 - 442. Is 19 a factor of z?
True
Is 40 a factor of (436/(-327))/(2/(-60))?
True
Let o be (-1 + (-2)/6)/(10/195). Let m = 55 + o. Is m a multiple of 29?
True
Let x be (-7)/63 - (-3)/27. Suppose 0 = -t - 2*c + 18, 5*t + x*c - 34 = 4*c. Is 8 a factor of t?
False
Let l be (-9 - -11)/((-1)/1). Does 10 divide (3 - l)/(5/40)?
True
Let k be (-10)/65 - 4/(-26). Suppose -2*w = 3*s - 8, k*s + 3*w - 6 = -3*s. Suppose 0 = y - 5*v, -s*y - y = 3*v - 56. Is y a multiple of 10?
True
Suppose 0 = -k - k + 140. Suppose 2*f = z - k, -f + 9 = 3*z - 187. Is z a multiple of 11?
True
Let u(w) = -441*w**3 + 4*w**2 + 2*w - 1. Is u(-2) a multiple of 13?
False
Let o = 290 - -289. Is o a multiple of 67?
False
Suppose -113*u + 10800 = -105*u. Is u a multiple of 15?
True
Suppose -z + 90 = -80. Is z a multiple of 33?
False
Suppose -8*z = -6*z - 4. Suppose 2*d - 2*l = 98, -5*d + 4*l - z*l = -260. Does 9 divide d?
True
Let y(w) = w**2 - 21*w - 72. Let d be y(-12). Suppose 0 = 26*q - 35*q + d. Is q a multiple of 18?
True
Let s(c) = -c**2 - 15*c + 4. Let y be s(-14). Suppose y = 4*z - 5*o, 4*o = 2*z + z - 14. Suppose z*g - 4*n - n - 29 = 0, -4*n - 26 = -2*g. Does 7 divide g?
True
Suppose 5*k - 20 - 17 = -3*s, -3*k + 27 = 3*s. Is 3/15 - (-104)/k a multiple of 7?
True
Suppose -w - 2 = -2*b, 6*w = 4*w + 3*b - 4. Let j be (-4)/((0 - w)*-1). Does 6 divide (-112)/(-20) - j/(-5)?
True
Let d be 6/(-2) - 76/(-19). Suppose 3*f + 2 + d = 0. Does 7 divide (f - (-3 + -2)) + 15?
False
Let k be -3*(3 - (-40)/(-12)). Suppose -8 = 5*u + r, -4*u + 2*r - k = -3. Is 4 a factor of (-7)/((-3 - u) + 1)?
False
Let o(w) = 8*w + 171. Is 11 a factor of o(-20)?
True
Suppose -3 = l - 6. Suppose 0 = -a + 2*c + 2*c + 104, l*a - 305 = 5*c. Does 25 divide a?
True
Suppose 0*o + 4 = o. Suppose j - o - 28 = -2*y, -4*y = -j + 14. Is 6 a factor of j?
False
Let c = -151 + 387. Is 15 a factor of c/3*33/22?
False
Suppose -4*k = 3*g - 33, g - 1 = 3*g - 5*k. Suppose -5*o + g*n = 2*n - 15, o - 5 = -n. Suppose o*f = 3*f + 4, 0 = w - 4*f + 4. Is w even?
True
Suppose -1018 = -4*k + 3*r + 4658, 5*k - 7095 = 4*r. Is k a multiple of 88?
False
Let h(c) = -9*c**2 + 6*c - 1. Let u(q) = 17*q**2 - 12*q + 1. Let l(x) = 11*h(x) + 6*u(x). Is 7 a factor of l(-2)?
False
Let n(b) = b**3 + 9*b**2 - 50*b + 17. Let k(i) = -2*i**2 - 14*i + 4. Let f be k(-8). Is n(f) a multiple of 7?
False
Suppose -3*u + 543 = -3*a, 114 + 429 = 3*u - 5*a. Let m = u - -75. Is m a multiple of 16?
True
Is 405*((-240)/(-25))/8 a multiple of 23?
False
Let g(s) = -s**2 + 2*s - 14. Let x be g(0). Let k = 18 + x. Suppose -84 = 2*y - k*y. Is 14 a factor of y?
True
Suppose -13*f = -6*f - 70. Is (f/3)/(6/288) a multiple of 16?
True
Let b be (-2)/8 - 61/(-4). Suppose -k = 2*k - b. Suppose 132 = 3*s - 0*s - 4*y, 3*y = k*s - 209. Does 20 divide s?
True
Suppose -33*f + 13*f = -27700. Is f a multiple of 5?
True
Suppose 3*a = 3*c + 2*a - 65, -5*a + 49 = 2*c. Let z = -20 + c. Suppose 2*l = -2*s + 28, z*s - l - 53 = -10. Is 12 a factor of s?
False
Let l(f) = 5*f**2 - 8*f - 52. Is 28 a factor of l(11)?
False
Suppose -12*p + 11*p + 5*d + 873 = 0, 3*p = -2*d + 2534. Is p a multiple of 16?
True
Let x(n) = -29*n**3 + 6*n**2 + 4*n + 25. Is 17 a factor of x(-3)?
True
Let o(h) = -2*h**3 + 7*h**2 + 8*h - 2. Let v be o(-3). Suppose -2*j + s = -j - v, 3*s = 2*j - 186. Does 14 divide j?
False
Let r(h) = -173*h**3 + h**2 - h. Let t be r(-1). Suppose t - 35 = 2*m. Does 14 divide m?
True
Let l = 9 - 7. Suppose -2*w - 172 = -4*h, -l*w + 7*w - 155 = -3*h. Suppose 2*n + h = 3*n. Is n a multiple of 14?
False
Let a = -999 + 1283. Does 5 divide a?
False
Suppose -4*x = -64 - 96. Let k = -16 + x. Is k a multiple of 6?
True
Let g(x) = 1 - 12*x**2 + 13*x - 2*x**2 + 13*x**2. Does 31 divide g(7)?
False
Suppose -v + 44 = c, 16*v = -5*c + 15*v + 240. Is 49 a factor of c?
True
Let g(c) = -6*c - 8. Let i be g(-2). Suppose 3*v - 110 = -4*s, -i*v + 5*s + 184 = s. Does 21 divide v?
True
Let f = -13 - -40. Let p = 1 + 3. Suppose -41 = -p*c + f. Is 8 a factor of c?
False
Suppose -7*o = -1821 - 3562. Is o a multiple of 24?
False
Let x be (1992/(-6))/(1/((-2)/4)). Let w = -48 + x. Is w a multiple of 9?
False
Suppose 0 = -3*n + 4*w + 626, n - 215 = -3*w - 2*w. Suppose y + n = 7*y. Is y a multiple of 7?
True
Suppose 8*j - 3*j + 60 = -3*v, 3*j + 36 = v. Let f = j - -16. Suppose 0 = -2*q + 3*q - 4, 0 = -5*p + f*q + 129. Is p a multiple of 5?
False
Suppose 57 = 20*l - 143. Is l a multiple of 3?
False
Is 13 a factor of (48/10)/((-32)/(-7120))?
False
Suppose 44 = -4*q + 4. Let k be (-6)/5*q/4. Is 8*(k/12 - -1) a multiple of 7?
False
Let a(i) = -i + 6. Let g = 3 + -1. Suppose g*t = -t. Is a(t) a multiple of 6?
True
Let a(n) = 12*n + 102. Is a(15) a multiple of 47?
True
Let z be ((-2)/(-1 + -1))/(1/24). Is 14 a factor of 1625/30 + (-4)/z?
False
Suppose 7*k = 2*x + 2*k - 149, 3*x - k - 217 = 0. Does 3 divide x?
True
Let u = -4 - -7. Let n(p) = 7*p - 3*p - 49 + 53. Is 9 a factor of n(u)?
False
Let c be (-8)/(-2)*7/14. Does 3 divide 2*c/6*21?
False
Let x be (-26)/65 + 23/(-5). Let n = 50 + -14. Let z = x + n. Is 10 a factor of z?
False
Let m(o) = -32*o - 3. Suppose 0 = 3*s + 90 - 63. Does 12 divide m(s)?
False
Let h(k) = 3*k**2 + 57*k - 31. Is h(-20) a multiple of 6?
False
Let q(m) = 2*m**2 - 15*m + 10. Let h be q(7). Suppose 85 = h*w - n, 4*n + 1 = -w + 51. Let p = w - -25. Is p a multiple of 33?
False
Let h be -11 - -14 - 4/2. Let q = 9 + h. Does 5 divide q?
True
Let b(u) = 235*u - 213. Is 4 a factor of b(3)?
True
Let r be ((-8)/(-6))/(12/27). Suppose -r*k - 1 = -13. Suppose 3*u + x - 67 = 2*x, 3*u + k*x = 62. Does 6 divide u?
False
Suppose 228 = 15*n - 1482. Is n a multiple of 19?
True
Let d be 3*12*(55/(-15) - -3). Let f(s) = -15*s - 65. Is 33 a factor of f(d)?
False
Let b be (12/(-4))/(-9)*(2 - 131). Let m = b + 73. Does 6 divide m?
True
Suppose -26 = -6*y + 4. Suppose -s + 25 = y*z - 6*s, -3*s = 5*z - 33. Is 3 a factor of z?
True
Let l be -328 + 3 + 3/((-6)/8). Let j = -131 - l. Does 18 divide j?
True
Let r(z) = -5*z**3 - 5*z**2 + 7*z + 28. Is r(-3) a multiple of 10?
False
Let p = 1572 + -1311. Is 9 a factor of p?
True
Let j = 136 - 42. Is 27 a factor of j?
False
Let s = 60 - -171. Does 21 divide s?
True
Let k = 233 + -159. Is 3 a factor of k?
False
Suppose 14 = 2*n + 4. Suppose n*r = 4*j - 25, -3*r + 0*r = j + 15. Suppose 4*z - 20 = -j*z. Is z even?
False
Let b(c) be the third derivative of -c**6/120 + 7*c**5/60 + 13*c**4/24 - 3*c**3/2 + 5*c**2. Let a be b(8). Let v = a + 11. Is v a multiple of 28?
False
Suppose -3*d = 37 - 961. Is 27 a factor of d?
False
Let n(v) be the third derivative of v**5/60 + v**4/6 - v**3/2 + 3*v**2. Let q be n(-6). Let j(x) = x**2 - 8*x + 6. Does 7 divide j(q)?
False
Suppose -916 = -2*l + 4*w + 872, -2*l = -2*w - 1792. Does 7 divide l?
False
Let n = -1090 + 1604. Suppose u = -i + 110, 0 = 5*u - 3*i - i - n. Does 29 divide u?
False
Let o = -223 + 348. Does 10 divide o?
False
Let s = -10 + 12. Suppose p = -5 + s. Let u(c) = -9*c - 1. Does 26 divide u(p)?
True
Let x = -307 - -955. Is x a multiple of 81?
True
Let t be 2/(-2)*(-5 - -6). Let j(x) = -52*x - 6. Is j(t) a multiple of 7?
False
Let q(v) = 54*v + 72. Let y be q(-8). Is 6 a factor of ((-38)/10 - -1)/(24/y)?
True
Suppose 5*b = -3*q - 0*q