10)/(1 - 0 - 3) + 380?
True
Let z(t) = -t**3 - 4*t**2 - 2*t. Let c be z(-4). Is 1514/22 + c/44 a multiple of 24?
False
Let g(d) = 13*d**2 - 2*d - 11. Let y(c) = 7*c**2 - c - 6. Let b(s) = 6*g(s) - 11*y(s). Let t = -4 - 0. Does 5 divide b(t)?
True
Suppose -12*g - 2007 = -8355. Is g a multiple of 7?
False
Let v be (-8*1)/(-1*(-6)/(-3)). Suppose 4*p + 120 = v*w, 8 + 26 = w + p. Is w a multiple of 13?
False
Suppose -19*k + 8512 = -0*k. Is 28 a factor of k?
True
Suppose 7958 = 25*c - 9567. Does 13 divide c?
False
Is (-4)/(-6) + (-53)/(-6)*58 a multiple of 56?
False
Let m(l) = -l**2 + 6*l + 11. Let a be m(7). Suppose -61 - 126 = -5*w + 3*q, -4 = -a*q. Does 24 divide w?
False
Let m(y) be the second derivative of y**4/4 - 2*y**3/3 - 2*y**2 + 10*y. Let x be m(-2). Suppose -11 = -c + x. Does 9 divide c?
True
Let h be -23 + -2 + 24/4. Let x(v) = -v**3 - 19*v**2 - 15*v - 20. Let g be x(h). Let s = -178 + g. Does 22 divide s?
False
Let g = -45 + 102. Let y = -41 + g. Is 3 a factor of y?
False
Suppose -5*r - 1444 = -2*q - 9*r, 3*q - r = 2159. Is q a multiple of 60?
True
Let r(z) be the second derivative of -5*z**3/3 - 9*z**2 - 15*z. Does 4 divide r(-3)?
True
Let l(r) = -9*r - 7. Let h(s) = -5*s - 4. Let x(m) = -11*h(m) + 6*l(m). Let k be x(-2). Suppose w + 2*t + 8 - 3 = k, -4*w - 4*t - 4 = 0. Is 3 a factor of w?
True
Does 26 divide 2 + (-11)/(33/(-1194))?
False
Suppose 31*b - 26*b - 15 = 0. Suppose -2*k = -8, -1 = -b*s + 5*k - 15. Is s a multiple of 2?
True
Is ((-6)/(-9))/(10/5085) a multiple of 18?
False
Suppose 0 = 2*k + 4*b - 62, 111 = 3*k + k - 5*b. Is 6 a factor of k?
False
Let y be ((-16)/(-12))/((-4)/(-6)). Suppose 5*r = y*i - 15, 4*r + 19 = 2*i + i. Suppose -2*h + z + 45 = 0, -2*h + i*z = h - 78. Is h a multiple of 7?
True
Let j(v) = -v**2 - 2*v - 4. Let l be j(0). Let t = 2 - l. Suppose z + 25 = t*z. Is 3 a factor of z?
False
Suppose -5*q - 2*f + 10 = 2*f, 4*f = 0. Let a = -58 - -36. Let w = q - a. Is 12 a factor of w?
True
Suppose 3*p - 1645 = -k + 326, 3*p = 0. Is 30 a factor of k?
False
Let m(q) = -q**2. Let g(s) = -24*s**2 + 2*s + 1. Let f(l) = -g(l) + 4*m(l). Suppose 5*c - 13 - 2 = -5*i, 5*c + 13 = 2*i. Does 7 divide f(c)?
True
Is 46 a factor of -8*(28/(-8) + 4) - -2626?
True
Let h be (-183)/(-21) - (-14)/49. Suppose -213 = -h*p + 12. Is 25 a factor of p?
True
Let r = -4 + 0. Suppose 3*w + 1 = 2*n, -3*n - 5*w + 55 - 6 = 0. Is (-1)/r - (-222)/n a multiple of 8?
False
Let n(f) be the second derivative of 7*f**4/12 - f**3 - 4*f**2 + 33*f. Is 21 a factor of n(4)?
False
Let z = -23 + 20. Let i(a) = -3*a - 6. Let r be i(z). Is (-2)/(-4)*(r - -37) a multiple of 10?
True
Let m = 21 + -19. Let g(x) = -33*x - 8. Let o(h) = -100*h - 25. Let c(j) = -10*g(j) + 3*o(j). Does 13 divide c(m)?
True
Let t = 4311 - 2705. Is t a multiple of 11?
True
Let r = 334 + -165. Suppose 3*y + 6*n = n + 163, n + r = 3*y. Is 4 a factor of y?
True
Let p = -1195 - -3039. Does 11 divide p?
False
Let w(b) = 2*b**3 + 23*b**2 - 12*b + 27. Does 7 divide w(-11)?
True
Is 7 a factor of ((-21284)/85)/((-6)/15)?
False
Suppose 3*h + 5646 = 5*y, 39*y - h + 2265 = 41*y. Is y a multiple of 13?
True
Is (-191)/((-7)/21 - (-4)/(-6)) a multiple of 8?
False
Does 25 divide (-6*5)/(8/(-40))?
True
Let b = -111 + 117. Suppose 0 = -8*o + b*o, 5*c = -5*o + 35. Is 4 a factor of c?
False
Let z(b) = 4*b**2 + 7*b + 15. Suppose x - 1 = -7. Let g be z(x). Let u = -75 + g. Is 21 a factor of u?
True
Suppose 11*d + 188 = 12*d. Let f = 128 - d. Does 15 divide f*(-3)/(1 - -2)?
True
Let p be ((-2)/4)/((-1)/24). Let l(h) = -5*h - 2. Let w be l(-1). Is (-118)/(-8) + w/p a multiple of 4?
False
Let r(y) = 6*y + 3. Let k(s) = -31*s - 15. Let v(h) = -2*k(h) - 11*r(h). Let c(d) = -d**3 + 4*d**2 - 4*d. Let g be c(3). Does 2 divide v(g)?
False
Let g(j) = -5*j + 1. Let z(k) = -k. Let i(c) = g(c) - 4*z(c). Let t be i(-3). Suppose 5*v + 2*l + 38 - 132 = 0, -t*v + 82 = 5*l. Is v a multiple of 6?
True
Let x(m) = 4*m**2 - 14*m - 38. Is x(-9) a multiple of 12?
False
Suppose 0 = 20*k - 4097 - 10303. Does 8 divide k?
True
Let u(k) = 6*k**3 - 4*k**2 + 3*k + 2. Let b be u(2). Let w = b - 31. Is w a multiple of 5?
False
Let n(q) be the first derivative of q**4/4 + 11*q**3/3 + 11*q**2/2 + 6*q + 6. Let w be n(-10). Does 5 divide 6/w*(-32)/3?
False
Let l(v) = 5 + 12*v - 3*v + 2*v**2 + 4 + 3. Is l(-7) a multiple of 13?
False
Let c = 72 - -25. Let m = 143 - c. Does 30 divide m?
False
Let b be 0*(8/(-24))/(2/3). Suppose 4*w = -3*s + 1003, w + 5*s + 0*s - 255 = b. Does 34 divide w?
False
Suppose -4*c = 5*j - 716, 0*j + 154 = c - 5*j. Is c a multiple of 58?
True
Let n = -21 - -21. Suppose n*k = -2*k - u + 251, 4*u + 382 = 3*k. Is (k/(-4))/(-7)*2 a multiple of 9?
True
Let m = -213 + 1433. Is m a multiple of 37?
False
Let x be (-2 - -1)*1 - -1. Suppose 3*v - g - 56 = g, x = 4*v + 5*g - 90. Is 7 a factor of v?
False
Suppose 5*m - 3*d - 857 = 0, -2*m + 3*m - 176 = -4*d. Suppose -320 - m = -4*u. Suppose -u = -5*c + 102. Is c a multiple of 15?
True
Suppose 1125 = 5*h + 3*u, -2*h - 3*u + 900 = 2*h. Does 25 divide h?
True
Let h(c) = 28*c - 1. Suppose 5*i + 0*x = -2*x - 5, 25 = 5*i - 4*x. Let u be h(i). Suppose -4*w = -u - 17. Is w a multiple of 11?
True
Let h(n) = -3*n**3 - n**2 - 11*n - 8. Let k(z) = -5*z**3 - 2*z**2 - 16*z - 12. Let w(l) = 8*h(l) - 5*k(l). Is 12 a factor of w(4)?
True
Let i be (0/(-5))/(1 - 2). Suppose -3*w - 3*w + 12 = i. Suppose -8 = -2*p - 3*o + 4*o, 16 = w*p + 3*o. Is p a multiple of 5?
True
Let w(z) = -z**3 + 10*z**2 + 84*z + 9. Does 90 divide w(14)?
False
Let a = -185 + 312. Does 8 divide a?
False
Suppose t = 4*g - 1904, 12*t = -2*g + 13*t + 950. Does 4 divide g?
False
Suppose 0*g = -3*g, 4*g - 2 = -2*n. Suppose 2*z - n = 3. Does 9 divide z*(1 - (-129)/6)?
True
Let v = -168 + 294. Is 14 a factor of v?
True
Let a be 6 - (-12)/(-4) - (1 - 1). Does 27 divide a - 2 - (-2 + -1 + -36)?
False
Let y(q) = 58*q**2 + 3*q + 12. Is y(3) a multiple of 12?
False
Suppose 2*d + 4*b - 5*b = -16, 3*b = d - 2. Let f = d - -64. Is 14 a factor of (9/3 - -1) + f?
False
Let o(w) = -w**3 - 5*w**2 - 2*w - 12. Let a be o(-5). Let j(n) = 7*n**2 + 5*n + 4. Is j(a) a multiple of 4?
False
Is (38/3)/(1/4977*14) a multiple of 19?
True
Let v(s) = -s**3 + 5*s**2 + 10*s - 9. Let k(r) = -r**3 + 7*r**2 - 7*r + 12. Let l be k(6). Is v(l) a multiple of 5?
True
Let i be 28*(-2 - 4/(-14)). Is 5 a factor of 2*(4 - 5) - (i - -1)?
True
Let t(z) = 6*z. Suppose 0 = 3*r - 2*r. Suppose 0 = -r*h - 5*h + 30. Is 16 a factor of t(h)?
False
Let k(l) = -3*l**2 - 58*l - 180. Does 35 divide k(-5)?
True
Let n = 1166 - 254. Does 57 divide n?
True
Suppose 2*c = -2*c + 112. Suppose i + 0 + 4 = 0, -c = -y + 5*i. Is y a multiple of 2?
True
Let j(t) = t**3 - t - 1. Let x(v) = 7*v**3 + 3*v**2 - 8*v - 3. Let y(p) = -6*j(p) + x(p). Suppose 2*u = -0*i - 5*i - 6, 5*u = 4*i - 15. Is y(u) a multiple of 6?
False
Suppose -91*w = -82*w - 3303. Is w a multiple of 6?
False
Let a(w) be the second derivative of w**4/4 - w**3/6 + w**2 + 2*w. Let p be a(2). Is 14 a factor of p + -1 + (-4 - -7)?
True
Let r(m) = -m**3 + 25*m**2 - 5*m + 16. Let o be r(25). Let y = 154 + o. Is 7 a factor of y?
False
Let i(h) be the third derivative of -19*h**4/12 + h**3 + 6*h**2 - 4. Is i(-3) a multiple of 40?
True
Suppose -22 = u - 5*t, 2*u + 5*t - 10 = 7*u. Suppose -m + 4*v = -146, 363 = u*m + 4*v - v. Is m a multiple of 63?
True
Suppose -14*o = 4*t - 17*o - 13935, 3*t - 10451 = 2*o. Does 43 divide t?
True
Let g(k) = -k**2 - 7*k + 11. Let s be g(-8). Suppose -f = -6 - 1. Suppose -f*w = -s*w - 56. Is 14 a factor of w?
True
Suppose -a + 8 = -5. Suppose -17 = -2*g + a. Does 9 divide g?
False
Suppose n + 52 = 5*w, 0*n = -4*w + 5*n + 50. Let v(f) = -273 - 7*f + 0*f + f**2 + 263. Is 8 a factor of v(w)?
False
Let m = 1370 + 1960. Is 111 a factor of m?
True
Suppose -11*a - 2*r = -12*a + 342, a = -4*r + 336. Does 8 divide a?
False
Is -2 - 22/(-14) - (-4371)/7 a multiple of 78?
True
Let n = -31 - -34. Suppose 0 = m - t + 201, -n*t = 3*m - m + 417. Is 5 a factor of m/(-20) - (-1)/(-5)?
True
Let s = 13 + 0. Suppose s*a + 112 = 17*a. Does 6 divide a?
False
Let w(i) = i**3 - 5*i**2 + 3*i + 7. Suppose 0 = -4*h + 21 + 3. Let j be (3 - h)*-1 + 2. Is 7 a factor of w(j)?
False
Let i(k) be the third derivative of -k**6/120 - k**5/15 + k*