0. Let t(w) = 3*w**2 + 6*w + 1. Let s be t(v). Suppose 5*i - s = p + p, -20 = -i + p. Is 9 a factor of i?
False
Let z = 226 - 115. Does 31 divide z?
False
Let s(x) = -x**2 + 6*x + 15. Let k be s(8). Is 14 a factor of (-226)/(-5) + k/5?
False
Let t(y) = 5*y**3 - 5*y**2 + 2*y - 1. Let w be t(3). Let g = -53 + w. Does 11 divide g?
False
Let x(y) = 25*y**2 + 4*y - 13. Is 16 a factor of x(3)?
True
Let n = 5 + 1. Is 13 a factor of n/15 + 128/5?
True
Is (-6)/4 - 129*(-7)/42 a multiple of 10?
True
Let v = 30 - 18. Is v a multiple of 6?
True
Suppose -3*m = -359 - 226. Suppose 5*i + 55 = -m. Is 10 a factor of 1*i/4*-2?
False
Let f = -4 - -10. Suppose s + 15 = 4*p, -2*p - f*s + 20 = -4*s. Is p a multiple of 3?
False
Let a(d) = 57*d - 2. Let f be a(2). Let g = f - 79. Is 22 a factor of g?
False
Suppose -3*f + 4*c = -24, -2*f - 5*c = -38 - 1. Suppose -3 - f = -s. Is 5 a factor of s?
True
Let j = 474 + -197. Is j a multiple of 16?
False
Let l = -25 + 46. Suppose -2*f + l = -19. Is f a multiple of 4?
True
Is 4 a factor of (-15)/10 + (-21)/(-2)?
False
Let y(m) = -m**3 - 5*m**2 + 4*m - 3. Let d be (-15)/2*(-8)/(-10). Is 9 a factor of y(d)?
True
Let f(v) = v**2 + 5*v + 159. Does 20 divide f(0)?
False
Let a(o) = -o + 10. Let t(d) = 3*d - 20. Let h(n) = 7*a(n) + 3*t(n). Does 8 divide h(7)?
True
Let t(i) = -i + 12. Let l be t(9). Suppose -8 = -4*a - 28, -l*h - 5*a = 19. Is 10 a factor of 23*2*1/h?
False
Let b = 47 + 72. Is 17 a factor of b?
True
Let t(u) = u**3 - 6*u**2 + 4*u + 8. Let a(d) = -2*d**3 + 11*d**2 - 7*d - 17. Let r(g) = -2*a(g) - 5*t(g). Does 15 divide r(6)?
True
Let i(p) be the first derivative of p**4/4 + p**3/3 - p**2/2 + 2*p - 2. Is 2 a factor of i(0)?
True
Suppose -3*i = -4*i + 2. Let g = i - 0. Suppose g*k - 190 = -3*k. Is 14 a factor of k?
False
Suppose -1052 = -5*j + 238. Is 22 a factor of j?
False
Suppose -i + 26 = 2*o, 2*i = 4*i + 4. Suppose -17*l = -o*l - 33. Is 9 a factor of l?
False
Let n(g) = 25*g + 5. Let u be n(5). Let o = 11 + -20. Is 6/o + u/6 a multiple of 14?
False
Suppose k - 5 + 13 = 0. Let f = 1 - k. Suppose u = a + f, -3*u - a + 22 = -5*a. Does 14 divide u?
True
Suppose -3*s = -2*m - 5*s - 840, 3*m + 1264 = -4*s. Is 14 a factor of m/(-10) + 15/(-25)?
False
Let k = 1 - 2. Let q = -67 + 103. Is q - (k*3 - -1) a multiple of 19?
True
Let f = 99 - -46. Is 29 a factor of f?
True
Let h be ((-6)/4)/((-2)/4). Suppose g = -h*g + 36. Is g a multiple of 3?
True
Suppose -331 = -4*p + t, -5*t - 70 = -p - 9*t. Is p a multiple of 11?
False
Let b = -307 - -511. Is 34 a factor of b?
True
Suppose 0 = 3*y - 676 - 59. Does 11 divide y?
False
Let y(u) = 15*u**2. Does 10 divide y(-2)?
True
Suppose 0 = s + l - 5, -3*s + 19 = -s + 5*l. Suppose 150 = s*a - 3*q, 4*q = -5*a + 225 + 150. Is a a multiple of 18?
False
Suppose 0 = 3*s + 6, 0*c + 5*c - 359 = -3*s. Suppose 6*j = 2*j + 2*d + 94, 3*j - d = c. Suppose j - 2 = h. Is h a multiple of 11?
False
Let t = -370 + 615. Is 49 a factor of t?
True
Let q(h) = -h**3 + 4*h**2 - h - 2. Let g be q(4). Let o = 1 - g. Is o a multiple of 7?
True
Does 26 divide -4 + 0 + 4 - (-260)/2?
True
Let q(p) = -p**2 - 8*p - 4. Let a be q(-8). Does 14 divide a/(-14) - 682/(-14)?
False
Let l(a) = -25*a + 7. Does 6 divide l(-3)?
False
Let v(b) = -b**3 + 5*b**2 + b + 1. Let j be v(5). Let r be 30/9 + (-2)/j. Does 4 divide 0 + (-2)/r*-6?
True
Let l(m) = -6*m**2 - 2*m - 1. Let y(o) = 3 + 0 + 5*o**2 - 2 + 2*o. Let t(n) = 3*l(n) + 4*y(n). Is 9 a factor of t(3)?
False
Let v(d) be the second derivative of -7*d**3/6 + d**2/2 + d. Let q be v(-3). Let p = q - 13. Does 6 divide p?
False
Let v(l) = 6*l - 4. Let p be v(7). Let k = p + -20. Does 9 divide k?
True
Suppose 43 = 5*c - 17. Is 17 a factor of (-1)/6 - (-206)/c?
True
Let x(t) = t**3 - 5*t**2 + t - 4. Let s be x(7). Suppose 11 = -2*z + s. Is 16 a factor of z?
False
Let c = 569 - 361. Does 26 divide c?
True
Let c = 73 - 6. Is c a multiple of 19?
False
Let x be 4/(-8) - 10/(-4). Let p = 5 - x. Does 14 divide (0 + p)/6*28?
True
Suppose 14*q - 3499 = -937. Is q a multiple of 36?
False
Suppose r + 0*r = 0. Suppose r = -p + 6*p - 535. Does 29 divide p?
False
Does 15 divide ((-180)/(-42))/((-2)/(-14))?
True
Let a(v) = 0*v + 2*v + 18 - 3*v. Is a(10) a multiple of 4?
True
Does 11 divide (-104)/(-10) - ((-27)/(-15))/(-3)?
True
Let z be 2 + 81/3 + 1. Let i = -6 + 6. Suppose 2*d + 2*l - 56 = i, -4*l = -d - 3*l + z. Does 10 divide d?
False
Let t = -341 + 709. Is t a multiple of 48?
False
Suppose -2*l = -4*l. Is 12 a factor of 8*(l - -3) + 0?
True
Suppose 0*d = -3*d - 15, -5*f + 3*d + 50 = 0. Suppose 4*v = 5*o - 19, -1 = 2*o - f. Is v + (33 + 1)/2 a multiple of 8?
True
Suppose 2*r + 0*r - 18 = 4*f, 0 = 4*r - 4*f - 20. Let c(l) = 44*l. Is 10 a factor of c(r)?
False
Let c = -64 - -165. Is 15 a factor of c?
False
Let l(n) = 59*n**2 - 2*n + 3. Is l(1) a multiple of 15?
True
Let j = 52 + -27. Is j a multiple of 5?
True
Let u be (3/(-2))/(-1)*-2. Let i be ((-14)/u)/(18/351). Suppose 5*x + 2*g - i = 0, 53 = -3*x + 7*x - 5*g. Is 13 a factor of x?
False
Let q = -17 + -62. Let j = q + 128. Is 21 a factor of j?
False
Let n(w) = w**3 - 6*w**2 + 6*w. Let r be n(5). Suppose r*c - 13 = -3. Suppose 4*x - c*x = 44. Does 11 divide x?
True
Does 7 divide 35 + -4 + -2 - -2?
False
Let j(s) = -3*s**2 + 5*s - 2. Let f be j(4). Let l = -17 - f. Let u = 26 - l. Does 11 divide u?
False
Suppose 0 = -3*u + j, -2*u = -3*u - 2*j. Suppose 2*x - 3*o - o + 2 = u, 0 = -4*x + 2*o + 8. Suppose 0 = k - x - 8. Is 4 a factor of k?
False
Suppose 0*u = -2*u + 100. Suppose -o + 30 = -u. Is 21 a factor of o?
False
Let p = -667 + 473. Is (-4)/8 - p/4 a multiple of 16?
True
Let b = -141 - -263. Is 24 a factor of b?
False
Let d be 2 + -1 - (-9)/3. Let u(v) = -v**2 + v - 3. Let z be u(d). Let w = z - -39. Is w a multiple of 15?
False
Suppose 49 = 5*a - 41. Is 3 a factor of a?
True
Suppose 0 = u - h - 103, h = 5*h + 16. Is 32 a factor of u?
False
Let l(v) = 5*v + 3. Let z(m) = 4*m**2 - 12*m + 5. Let y(n) = 5*n**2 - 13*n + 5. Let h(w) = -5*y(w) + 6*z(w). Let g be h(-7). Is 13 a factor of l(g)?
False
Suppose 2*d = -2 + 4. Suppose -2*q + 99 = 5*f - d, f - 33 = -3*q. Does 5 divide f?
False
Let s be 12/(-8) - (-30)/4. Let d = -2 + s. Is d even?
True
Let z(l) = l**3 - 7*l**2 + 7*l - 4. Let o be z(6). Suppose q = -o*q + 72. Suppose -4*h = -6*h + q. Is 8 a factor of h?
False
Suppose -2*h = 5*r - 61, -5*h + 0*r = 2*r - 100. Is 7 a factor of h?
False
Let v(p) = p**3 + 16*p**2 - 6*p + 3. Is 25 a factor of v(-16)?
False
Let n = 109 - 53. Is n a multiple of 13?
False
Let p(u) = -u**3 - 9*u**2 - 13*u - 4. Does 19 divide p(-8)?
False
Let o = 10 - 8. Is 11 a factor of (51 - (2 + -5))/o?
False
Suppose -5*y - 148 = -2*t, 0 = 4*y - 2*y - 8. Does 21 divide t?
True
Suppose 0 = -4*l + 5*x - 19, 5*l = -x - 73 + 13. Does 6 divide 2 - (-3)/((-3)/l)?
False
Let s(c) = -2*c - 7. Let d be s(-9). Let j = d - 7. Does 2 divide j?
True
Let y(g) = g**2 - 8*g - 14. Let k be y(10). Is (-16)/(-24) - (-332)/k a multiple of 12?
False
Suppose -4*g = 2*h - 146, -5*h = g + g - 77. Does 9 divide g?
True
Does 11 divide 3*1/6*44?
True
Let c = -2 + 8. Is c a multiple of 6?
True
Let q(n) = -7*n. Let y be q(2). Suppose -66 = 5*u - z + 76, 8 = 4*z. Let g = y - u. Does 7 divide g?
True
Suppose 0 = -9*m - 97 + 628. Is 8 a factor of m?
False
Let u = -16 - -19. Is 2 a factor of u?
False
Suppose 0 = v - 0 - 2. Suppose -v*o + 3*o + 4*a - 54 = 0, -3*o - 2*a = -182. Is 22 a factor of o?
False
Let z = -468 - -727. Does 31 divide z?
False
Suppose -3*h + 8 = 2. Suppose 4*p - 400 = -2*t, -h*p - 5*t - 11 = -219. Is p a multiple of 25?
False
Let q be (2 - 2)/((-4)/2). Let f = q + 15. Suppose 0 = -a - 1 + f. Is a a multiple of 11?
False
Is 29 a factor of 9/((-51)/27 - -2)?
False
Is (-4)/24 + (-170)/(-12) a multiple of 10?
False
Suppose -4*d - 10 = 2*z + 38, 0 = 3*z - 4*d + 32. Let l = z - -28. Does 4 divide l?
True
Let y(r) be the first derivative of 41*r**2/2 - r - 3. Let j be y(2). Let d = j - 50. Is 13 a factor of d?
False
Let g(u) be the third derivative of u**6/24 - u**5/30 - u**4/8 + u**3/2 + 2*u**2. Does 15 divide g(2)?
False
Suppose -2*u = -5*j + 12, j + 2*j = 2*u + 8. Let w = 6 + -3. Suppose -j*r = -w*r - 3*b + 22, -r - b = -14. Does 7 divide r?
False
Let o(z) = -2*z**2 + 10 + 15 - 5*z + 0*z**2. Let