ple of 4?
True
Let t be 0*(0 + 3/(-6)). Suppose 0 = -t*y - 4*y + 200. Does 25 divide y?
True
Suppose 5*t - 20 = -2*f + 5*f, 5*f + 4*t = 16. Suppose a = -f*a + 4*h + 5, -5*a - 4*h = -121. Does 13 divide a?
False
Suppose 2*s + 2*s = 0. Suppose -2*i + 25 - 19 = s. Suppose -i*m - 97 = -259. Is 10 a factor of m?
False
Suppose -11*b + 14*b + 429 = 3*r, 4*r - 5*b = 573. Does 6 divide r?
False
Suppose 0 = -h + 5*s - 89 - 135, 2*h - 3*s = -427. Let n = 141 + h. Let j = n + 113. Is 10 a factor of j?
False
Suppose 8*j - 3808 + 24 = 0. Is 11 a factor of j?
True
Let f(n) = -232*n - 100. Does 4 divide f(-6)?
True
Suppose 4509 - 261 = 36*s. Does 25 divide s?
False
Suppose -4*q = -0 - 8, -2*q + 44 = -5*b. Suppose 3*r - 7 - 2 = 0. Is ((-18)/12)/(r/b) a multiple of 4?
True
Let a(n) = -n + 54. Does 18 divide a(10)?
False
Let k = 3094 + -1694. Is 35 a factor of k?
True
Suppose 4*b = 37 - 5. Let w(r) = r**2 - 8*r + 4. Let j be w(b). Is 6/j + (-525)/(-10) a multiple of 18?
True
Let u = -605 + 1447. Suppose u = 2*i + 170. Does 28 divide i?
True
Let a(c) = -757*c - 1278. Does 27 divide a(-9)?
True
Suppose -3420 = -8*g - 11*g. Is g a multiple of 14?
False
Let s(x) = -6*x - 17. Let n be s(-7). Suppose 4*v - 143 - n = 0. Is v a multiple of 20?
False
Let n(z) = 3*z**2 + 3*z - 6. Suppose 2*t = -5*x + 32, 0 = -3*x - 0*x + 5*t + 44. Suppose 0 = -q - 4*d - x, 2*d + 18 = 3*q - 0*d. Does 21 divide n(q)?
False
Suppose -3*a - 4378 = -8*a + g, 0 = -3*g + 6. Is 23 a factor of a?
False
Let z(h) = h**3 + 18*h**2 - 22*h + 39. Let k(x) = -x**3 - 1. Let i(g) = -2*k(g) - z(g). Is 24 a factor of i(17)?
True
Let l = -86 + 90. Suppose -l*f + 63 = -293. Does 12 divide f?
False
Let y(a) = 143*a**2 + a. Let x be y(2). Suppose 4*f + 110 = x. Let m = 170 - f. Is m a multiple of 27?
True
Let u(w) be the third derivative of -4*w**2 + 0 + 1/20*w**5 - 1/120*w**6 + 1/6*w**4 - 1/3*w**3 + 0*w. Is 5 a factor of u(3)?
True
Let p = -332 - -501. Suppose -47 = -2*v - 4*f + 33, -4*v + f + p = 0. Is v a multiple of 14?
True
Let o(f) = f + 7. Let k be o(-7). Suppose k = -3*m + 4*m - 7. Let c(h) = -h**2 + 9*h + 7. Does 7 divide c(m)?
True
Let h be 21 + -16 - (0 + 1). Suppose -g + h*c = -178, -3*g + 0*c - 2*c = -492. Does 15 divide g?
False
Let j(d) = -8*d**3 + 2*d - 1. Let s be j(1). Let h(t) = -4*t + 5 - 8*t - 2 + 22*t + 2*t**2. Is h(s) a multiple of 14?
False
Suppose -2*p = -5*z - 6*p - 8684, -5*p = -5*z - 8720. Is 3 a factor of (-4)/(-22) + z/(-110)?
False
Let o = 1388 - -471. Is o a multiple of 29?
False
Let f(t) = t**2 - 13*t + 10. Let o be f(12). Let h(d) = 5*d**2 + 4*d. Is 4 a factor of h(o)?
True
Is 20 a factor of 1696/(-6)*(-9)/6?
False
Suppose 3 = -2*d + 7. Let o be -1*(2 - 6)/d. Is 17 + o + 0 - 0 a multiple of 16?
False
Suppose 11*o - 885 = 6*o. Let j = o - 7. Does 34 divide j?
True
Let j = -2 + 3. Let b(x) be the second derivative of 19*x**4/12 - x**3/6 - 2*x + 6. Is b(j) a multiple of 7?
False
Suppose -t + 1 = 0, a + 2*t = 3*t + 2699. Is a/20 - (0 + 2 + -2) a multiple of 32?
False
Let a(g) = 13*g + 168. Is 28 a factor of a(0)?
True
Let v(c) = -c**2 + 2*c - 11. Let y be v(0). Let r = y + 21. Is r a multiple of 5?
True
Let a = 4833 + -3223. Does 41 divide a?
False
Let x(i) = 21*i - 10. Suppose 0 = -g - 3*m - 1, -4*g - 12 = 3*m + m. Let v = 7 + g. Is x(v) a multiple of 7?
False
Suppose p - 5*h - 67 = 0, -107 = -2*p + 4*h + 39. Does 15 divide p?
False
Let p(q) = 2*q**2 + 9*q + 30. Is p(-12) a multiple of 14?
True
Let p(w) = 46*w + 277. Does 12 divide p(16)?
False
Suppose 5*u = 8*u - 294. Suppose -5*j + t + 0*t = -210, -3*j - 5*t = -u. Does 27 divide j?
False
Let i(y) = -117*y - 130. Is i(-10) a multiple of 14?
False
Let n = 353 + 542. Is n a multiple of 45?
False
Let w(i) = -4*i**3 + 4*i**2 + 8*i + 18. Is 12 a factor of w(-3)?
False
Let u(c) = 2*c**2 - 54*c + 208. Is 45 a factor of u(36)?
False
Let t(j) = j**3 - j**2 + 2*j - 3. Let p be t(2). Let o(u) = 8*u**2 + u - 25. Is o(p) a multiple of 10?
True
Let h = 0 + 7. Let o be ((-56)/h)/(-2*1). Suppose 0 = 9*u - o*u - 90. Does 6 divide u?
True
Let l(d) = 67*d**2 - 20*d - 180. Is l(-6) a multiple of 14?
True
Let f(o) = 2*o**2 + 3*o - 3. Let v be f(2). Let g(p) = 5*p**2 + p + 16. Let z(r) = 2*r**2 + 5. Let d(m) = v*z(m) - 4*g(m). Is d(-6) a multiple of 29?
True
Suppose 0 = -3*m - 0*m + 249. Suppose -h + 4*i - 73 = 0, -3*i + 68 = -h - 0*i. Let y = h + m. Is 15 a factor of y?
True
Suppose p + 4*y + 6 = 0, y + 2*y + 9 = 0. Suppose 22 = 2*z + p. Is z/(-20) - 484/(-10) a multiple of 16?
True
Let z(p) = -p**2 + 13*p - 12. Let f be z(12). Suppose -2*r = 4*g - 78, f = -6*g + 3*g + 3. Does 17 divide r?
False
Suppose -4*g = 5*x - 3940, -2*g + 2377 = 3*x + 3*g. Is x a multiple of 14?
True
Suppose 17*j - 7419 = 7439. Is 38 a factor of j?
True
Let n(j) = -6*j - 12. Let z be n(11). Does 16 divide -1*(1 + z)*(-8)/(-8)?
False
Let o be 2/((-14)/(-9)) - (-178)/(-623). Is 23 a factor of o/3 + (-400)/(-6) - -2?
True
Let h = 367 - 212. Is 9 a factor of h?
False
Let l(c) = -c**3 - 3*c**2 - 3*c - 4. Let z be l(-3). Let r be z + -4 - (2 + 1). Is r/6 + (-350)/(-15) a multiple of 23?
True
Let x(b) be the first derivative of -7 - 4*b - 1/4*b**4 - 4/3*b**3 + 0*b**2. Is 10 a factor of x(-5)?
False
Let r = -267 + 542. Is r a multiple of 25?
True
Let o = 155 - -406. Does 11 divide o?
True
Let k(x) = 2*x + 5*x**2 - 4*x - 3*x**2 - 10*x - 11. Let h be k(10). Suppose 19 = 5*g + 4*j - 97, -h = -3*g - 3*j. Is g a multiple of 8?
True
Let i(r) be the first derivative of -r**4/4 - 7*r**3/3 + 2*r**2 + r + 11. Is i(-8) a multiple of 11?
True
Let x(n) = -n**2 - 8*n. Let k be x(-8). Suppose k*h + 2*a - 19 = -3*h, -40 = -5*h - 5*a. Is 10 a factor of (h - 0)/((-6)/(-20))?
True
Suppose -7572 = -3*s - 2*v + 2211, 0 = -5*s + 2*v + 16289. Is s a multiple of 23?
False
Let h(o) = o**3 - 13*o**2 + 12*o + 2. Let z be h(12). Let p be -1 + (-18)/(z - 4). Suppose c - p = -5*x, -3*x = 5*c - c - 100. Is 7 a factor of c?
True
Suppose -2*o - 3*h = 0, -4*o = h + 3*h + 4. Does 6 divide 3 + (-133)/o + 4/6?
True
Suppose 6*j + 951 = -495. Let d = -39 - j. Is 53 a factor of d?
False
Let z be 8/40 + 28/10. Suppose -2*j - z*j = -275. Let x = j - 19. Does 18 divide x?
True
Suppose 0 = -4*a + 2 + 2. Let u = 17 - a. Is 2 a factor of u?
True
Let g be (111/(-6))/((-2)/4). Let o(y) = -5*y**2 - 2*y + 1. Let f be o(1). Let l = f + g. Is l a multiple of 14?
False
Let k(w) = 0 + 0 - 3*w + w. Let d be k(1). Is 20 a factor of 73 + -3*d/3?
False
Let r(n) = -2*n**3 - n**2 - 2*n + 3. Let y be r(3). Let m = y - -128. Does 31 divide m?
True
Let c = -89 + 412. Suppose -5*n - 59 = -f, 8*f + 3*n - c = 3*f. Is 10 a factor of f?
False
Let f = -494 - -920. Let j be ((-6)/(-9))/((-4)/f). Is 19 a factor of (j - (3 - 1))/(-1)?
False
Suppose 17 - 73 = 14*l. Is 8 a factor of (-4)/(-2) - (-41 - l)?
False
Suppose -5*v = -3*d - 1792, 0*d = -v + 2*d + 364. Suppose 3*u - 5*h = -0*h + 274, 4*u - 2*h = v. Does 11 divide u?
True
Let k(v) = 9*v**2 + 7*v - 86. Is k(21) a multiple of 10?
True
Let i(w) be the second derivative of -4*w**3/3 - w**2 - 4*w. Suppose 3*b - 6*b = 21. Does 11 divide i(b)?
False
Let w(l) = 4*l**2 - 22*l + 18. Does 4 divide w(7)?
True
Suppose 31*d - 3180 = 11*d. Does 11 divide d?
False
Let z(k) = k**3 - 24*k**2 + 26*k - 25. Let q be ((2/4)/1)/(5/230). Is 2 a factor of z(q)?
True
Let h = 629 - 4. Does 14 divide h?
False
Suppose -7*r + 1192 + 362 = 0. Is r a multiple of 3?
True
Let r = -263 - -268. Let m(g) = -g**3 + g**2 + 3*g - 7. Let c(p) = -p**3 + 3*p - 8. Let s(v) = 2*c(v) - 3*m(v). Is s(r) a multiple of 31?
False
Suppose -y + 195 = 52. Is y a multiple of 11?
True
Suppose 4*k = 340 - 100. Suppose 135*g - k = 131*g. Is 8 a factor of g?
False
Let o be (-8)/(-2)*(1 - (-4)/16). Suppose -o*p - 4 = -34. Is p a multiple of 6?
True
Is 28/(-35) - 22778/(-35) a multiple of 12?
False
Let i = -225 - -310. Does 10 divide i?
False
Suppose -7479 = 41*b - 41263. Is b a multiple of 40?
False
Let v(h) = 10*h**3 - 8*h**2 + 19*h - 56. Does 7 divide v(4)?
True
Let k(l) be the second derivative of l**4/2 - l**3/2 + 9*l**2/2 - 12*l. Let n be k(9). Suppose -8*a = -2*a - n. Is 13 a factor of a?
True
Suppose 10*l - 9*l - 2 = 0. Suppose o - 75 = -5*z + 15, l*z - 496 = -5*o. Is o a multiple of 25?
True
Let y(o) = 43*o - 184. Is 15 a factor of y(44)?
False
Sup