 36 = 3*z, -2*z = -3*v + 32 + 8. Let h = v + -7. Does 20 divide c(h)?
False
Suppose -5*j + 459 = -7*j - u, -3*u = -j - 226. Let g = 37 - j. Is 38 a factor of g?
True
Let j(x) = x**3 - 6*x**2 - 20*x. Is 35 a factor of j(11)?
True
Suppose -2*w + 1408 = 9*v - 5*v, 3*v - 700 = -w. Is 26 a factor of w?
False
Let t(f) be the second derivative of 5*f**4/4 + 2*f**3/3 + f**2 + 23*f. Is 52 a factor of t(-2)?
False
Let g = 29 + -26. Suppose 0 = g*f - w - w, f = -2*w. Does 4 divide 27 + (f - (-9)/(-3))?
True
Suppose -3*a = -7*a + 56. Suppose 1901 = a*r + 417. Is r a multiple of 13?
False
Let y(c) be the first derivative of -c**4/4 + c**3 - 2*c**2 + 4*c - 2. Let u be y(3). Let t = 26 + u. Is t a multiple of 9?
True
Let r be (-116)/5*(-270)/(-36). Let a = -88 - r. Is a a multiple of 22?
False
Let d be (3 - -7)/(-2)*-1. Suppose -4*a - d*u = 30, -3*a = 2*u - u + 17. Let y = a + 16. Is y a multiple of 4?
False
Let x(g) = 2*g + 6. Let s be x(-2). Suppose -s*u + 3*u - 1 = 0, 0 = 4*a - u - 279. Does 14 divide a?
True
Is (-2902)/(-14) - (-14)/(-49) a multiple of 3?
True
Let s(i) = -4*i - 1. Let h be (-6)/3*1/2. Let m be s(h). Does 5 divide (-1)/m + (-360)/(-27)?
False
Suppose 0 = 3*w - 0*w. Suppose -p = -2*v - 18, -3*v - 2*v + p - 45 = w. Is (-19 - -20)/((-1)/v) even?
False
Suppose -2*z = -7 - 7. Let p(a) = 37*a**2 - a + 4. Let g(x) = 112*x**2 - 2*x + 13. Let b(h) = z*p(h) - 2*g(h). Is 17 a factor of b(1)?
True
Let x = -1758 + 2602. Is x a multiple of 26?
False
Suppose -4*n - 4*u = u - 6, -2*n - 2 = 5*u. Suppose z = -n - 3. Let h(q) = -4*q + 8. Is 18 a factor of h(z)?
True
Suppose -12*i = 6*i - 360. Is i a multiple of 4?
True
Let k be (-7 - -12)*(1 - 0). Suppose -3*d + 22 = k*j, 3*j - 16 = -j - 2*d. Suppose -5*o + 327 = -j*o. Is 24 a factor of o?
False
Is 7 - (-1045 - 4/((-12)/21)) a multiple of 15?
False
Let g be 1 + ((-20)/(-12))/(1/9). Let m = 18 + -10. Let w = g - m. Is w a multiple of 8?
True
Let r be 0/(3 - 0) + 2. Suppose -4*l + 6*l = 5*p + 127, -r*l = -p - 147. Is 38 a factor of l?
True
Suppose -8*m - 23 + 783 = 0. Does 6 divide m?
False
Let o = -145 + 647. Is 2 a factor of o/20 + 5/(-50)?
False
Let g = -194 - -215. Is 2 a factor of g?
False
Is 25 a factor of 5*-105*(-54)/63?
True
Suppose -4*b = -9*b - 2370. Let t be (b/(-4))/(-3)*-2. Suppose 0 = 3*y - t - 89. Is y a multiple of 20?
False
Let w(h) be the first derivative of 3*h**4/4 - 7*h**3/3 + h**2/2 - 3*h - 3. Does 5 divide w(3)?
False
Let c = -1345 + 2252. Is c a multiple of 18?
False
Let r = -8 - -8. Suppose 3*h + 2*y - 11 = -r*h, 3*h + y - 7 = 0. Suppose 3*v - 211 = -h. Is 14 a factor of v?
True
Let x(p) = -p**3 + p + 9. Let w = -46 - -41. Is 10 a factor of x(w)?
False
Suppose 25 + 105 = 5*h. Let f = 52 - h. Is f a multiple of 6?
False
Let n(k) = -k + 10. Let m be n(7). Let u be (m - 0 - -9) + 3. Does 12 divide 365/u + 1/(-3)?
True
Let i be (-1 + 2)*-3 + -42. Let m be i/(-6) - (-1)/(-2). Is -1*m/((-28)/48) a multiple of 4?
True
Let n(v) = -v**2 - 24*v - 3. Let c = 18 - 40. Is 12 a factor of n(c)?
False
Suppose -7*g + 28*g - 4053 = 0. Is g a multiple of 9?
False
Let b = -4 + 13. Let n = 1 - b. Let r = 24 + n. Does 7 divide r?
False
Let y(a) = a - 7. Let z be 2/(4/6) + 4. Let j be y(z). Suppose 22 = q - 5*c, -q + j*c + 22 = 4*c. Does 6 divide q?
False
Let n be (22/(-18) - -1) + 376/72. Suppose -2*r - 4*l = -250, -n*l = -5*r + 398 + 227. Does 18 divide r?
False
Suppose -3*x = 2*x + 540. Let u be x/10 - 3/15. Let k(m) = m**2 + 8*m - 11. Is k(u) a multiple of 11?
True
Let o(m) be the third derivative of -m**6/360 + m**5/8 - m**4/2 + 2*m**3/3 + 2*m**2. Let a(z) be the first derivative of o(z). Does 2 divide a(14)?
True
Suppose -12*j + 2*j = -40. Suppose -b + 3*m = -66, j*m = 5*b - m - 280. Is b a multiple of 8?
False
Let m be 1/(1*2/8). Suppose 2 + 0 = d. Suppose -d*o = -m*o + 40. Does 20 divide o?
True
Suppose -a = -8*m - 291, -4*a + 3*m = -7*a + 765. Does 2 divide a?
False
Let z = 1 + -7. Let b = z + 21. Suppose 2*d = 3*d - b. Is d a multiple of 14?
False
Let x(t) = -157*t - 31. Does 70 divide x(-3)?
False
Is 61 a factor of (-1460)/(-3) + 8/6?
True
Suppose -2*p + 2775 = -34*r + 31*r, -1404 = -p - 4*r. Is 48 a factor of p?
True
Let k(i) = -i**2 + 20. Let l be k(0). Suppose 6*a = 4*n + 2*a - l, 2*n + a = 1. Suppose 0 = -n*p + 22 + 14. Does 4 divide p?
False
Suppose 125 = 28*u - 3*u. Does 5 divide u?
True
Let o = 0 + 0. Suppose 5*r + 152 - 572 = o. Does 37 divide r?
False
Is 8 a factor of (1 + -1042)*8/(-6)?
False
Let p = -12 + 6. Let o be (4/1)/(p/(-9)). Let j(s) = -s**2 + 11*s - 4. Is j(o) a multiple of 13?
True
Suppose 31*v + v - 12384 = 0. Does 9 divide v?
True
Let n(f) = f**3 - 2*f**2 + 7*f - 4. Let p be n(4). Suppose -116 + 42 = -3*g - 4*h, -p = -2*g - h. Does 10 divide g?
True
Let x = 259 + 35. Does 7 divide x?
True
Let t(h) = 4*h - 5 + 4*h - 6*h + 0*h**2 + h**2. Let o be t(-4). Suppose 3*w = -4*c + 67, 3*w - 8*c + o*c = 85. Is w a multiple of 12?
False
Suppose 4*o + 4*h - 4932 = 0, 23*o + 3*h = 26*o - 3693. Is o a multiple of 7?
True
Let z(u) = 4*u + 79. Does 13 divide z(-10)?
True
Let t(n) be the first derivative of -n**4/12 - 5*n**3/6 + 3*n**2/2 - 4*n - 1. Let g(s) be the first derivative of t(s). Does 3 divide g(-5)?
True
Let v(q) = -q**2 - 5*q - 4. Let i be v(-4). Let o be 2/6*i - -21. Is (-612)/(-14) + 6/o a multiple of 20?
False
Suppose -a = -4*p + 178, -5*a + 159 + 7 = 4*p. Let g be 1 + 1 - 0/(-4). Suppose -32 = -g*f + p. Is 13 a factor of f?
False
Let c(a) = 7*a**2 - 15*a - 6. Is 18 a factor of c(5)?
False
Is 12 a factor of -61*(-162)/9 - 6?
True
Let s be ((-2)/(-5))/(4/740). Let t = -110 + s. Does 12 divide (t/(-21))/(10/175)?
False
Suppose 374*r - 370*r = 2312. Does 7 divide r?
False
Let c(z) = -z + 7*z - z + 5*z + 7. Let w be c(5). Suppose p = -2*a + 41, -104 = -5*p + a + w. Is 13 a factor of p?
False
Suppose 12*w + 6132 = 33*w. Is 24 a factor of w?
False
Let s(n) = -n**3 + 8*n**2 - 9*n - 6. Let g be s(6). Suppose -5*w + 5 = i + g, -3*i = -5*w - 19. Does 7 divide i + 1 + 1 + 2?
True
Let l = -176 - -414. Is l a multiple of 9?
False
Suppose -3 = -2*w + 47. Suppose -k + 5*x - 12 = 22, w = 5*x. Is 14 a factor of ((-4)/(-3))/(k/(-189))?
True
Let m(w) be the second derivative of -w**5/20 - 11*w**3/6 - 5*w**2 + 13*w. Let r be m(-10). Does 42 divide 2/(2 + r/(-555))?
False
Suppose -3*u = 4*y - 6*u - 1220, -3*y + 2*u + 916 = 0. Suppose -5*t + 3*v = -378, -7*t - v = -11*t + y. Is t a multiple of 6?
True
Suppose -t - 148 = -3*n, 3*n - 125 = -5*t - 1. Suppose 5*x + 3*c + c = 80, n = 3*x - 2*c. Is x a multiple of 16?
True
Let r(c) = -2*c**3 + 11*c**2 - 7*c + 12. Let f be r(5). Suppose 2*p = -f*p - 16. Is (-210)/p + 11/(-22) a multiple of 13?
True
Does 12 divide (-276)/(-230) + (-54138)/(-10) + 7?
False
Let h(g) be the first derivative of 5*g**3/3 - g**2/2 + 3. Let y be h(-1). Does 6 divide 112/y - 2/3?
True
Let o(t) = t - 2. Let v(f) = -1. Let g(u) = -o(u) - 4*v(u). Let i be g(9). Is i + (1 - -36) + -3 a multiple of 19?
False
Suppose 5*d = -t - 69, 10 + 7 = -d - t. Let a = 77 - 41. Let q = d + a. Is 13 a factor of q?
False
Suppose 4*d + 2*d - 24 = 0. Does 6 divide (-224)/(-22) - d/22?
False
Suppose -4*p = -p - 129. Is 3 a factor of p?
False
Let w(x) = x + 27. Let d be w(-17). Let s be 2*(0 - (-25)/d). Suppose -2*a = s*i + 14 - 54, 5*i = 10. Does 5 divide a?
True
Let o(g) = g**3 - 10*g**2 + 12*g + 14. Let t(y) = 6*y**3 - 50*y**2 + 61*y + 70. Let s(j) = 11*o(j) - 2*t(j). Is s(-11) a multiple of 5?
True
Let m(u) = u + 18. Let c be m(9). Suppose -2*d + c = n, 20 = 3*d - n - 33. Is d even?
True
Let c = 3277 - 2129. Is 82 a factor of c?
True
Let b(r) = 2*r + 15. Let m be (-2 - 1)*(-5 + 6). Is 9 a factor of b(m)?
True
Suppose -30*t + 29*t = -33. Does 3 divide t?
True
Let v(y) = -22*y**3 - 50*y**2 - 66*y - 20. Let x(j) = -7*j**3 - 17*j**2 - 22*j - 7. Let p(a) = -5*v(a) + 16*x(a). Does 8 divide p(-10)?
True
Let q = 12 - 10. Suppose 3*z - z - q*g + 6 = 0, 5*z = 2*g. Suppose b - 5*o - z = 0, 4*b = -o + 44 - 15. Is b a multiple of 7?
True
Let n be 0/(-5 - -1) + 9. Let w = n - -16. Does 5 divide w?
True
Let f be (-213)/(-9) - 3/(-9). Suppose f = 4*z - z. Suppose 3*k - z*k = -50. Is 5 a factor of k?
True
Suppose -40 - 9 = -7*c. Suppose -5*l - n - 9 = 0, -4*l = -0*n + n + c. Is (l/6)/((-10)/60) a multiple of 2?