Does 20 divide (-4)/((-4)/3) + 39?
False
Let u = 2 + 0. Suppose 2*g - 68 = -u*g. Let a = 3 + g. Is 10 a factor of a?
True
Let h(y) = -110*y**2 + 45. Let l(x) = -x. Let t(i) = 5*i**2 - 6*i - 2. Let a(q) = -6*l(q) + t(q). Let r(p) = 90*a(p) + 4*h(p). Does 5 divide r(-1)?
True
Is 35 a factor of (-18984)/(-60) - 6/(-10)?
False
Let h = 39 - 15. Is h a multiple of 22?
False
Let a = 82 + -40. Does 10 divide a?
False
Let n(g) = 15*g**2 + g + 1. Is 15 a factor of n(-1)?
True
Does 38 divide 9436/(-56)*(0 + -2)?
False
Let y(m) = -m**2 + 5*m + 2. Let o be y(5). Suppose 3*l + 2*g + 2*g = 2, l = -g + o. Does 3 divide l?
True
Suppose 5*h + 17 - 47 = -5*a, -5*h + 9 = -2*a. Let j = 19 - h. Does 13 divide j?
False
Suppose -4*u + 21 = u - k, 4*u - 4*k - 20 = 0. Suppose -99 = -7*c + u*c. Is 20 a factor of c?
False
Suppose -5*y + 33 = -3*y + n, 2*n = -5*y + 84. Suppose -t + 61 = y. Is 11 a factor of t?
False
Let w = 45 + -29. Does 4 divide w?
True
Suppose 0 = -4*k + 8, 0 = -0*m + 2*m + k - 16. Let o = m - 17. Is 6/o - 266/(-10) a multiple of 20?
False
Let v be (-2 + 2)/3 + -21. Let a = 32 + v. Does 2 divide a?
False
Suppose -2*x = -5*x. Let d be (-4)/6*(-57)/2. Suppose 0 = f - x - d. Does 7 divide f?
False
Suppose -38 = -4*l + 38. Is 16 a factor of l?
False
Let d be 131/6 - (-3)/18. Suppose 0 = -4*p + 2*c + 262, 23 = -p + c + 90. Suppose d + p = 2*x. Does 19 divide x?
False
Suppose 0*b + 2*b = -18. Does 7 divide (-12)/10*150/b?
False
Let z be (8 + -5)/((-1)/3). Let h = 15 + z. Is h a multiple of 6?
True
Let l(x) = x**3 - 5*x**2 + 5*x - 8. Let y be l(6). Let a = 102 - y. Is 11 a factor of a?
True
Suppose 5*t - 17 = 6*t + 5*l, -4*t - 5*l - 23 = 0. Is 7 a factor of 90/8 - t/(-8)?
False
Suppose 0 = -8*a + 53 + 355. Is 13 a factor of a?
False
Suppose 8*b = 9*b. Let p(t) = -t**2 + 7. Is 2 a factor of p(b)?
False
Let k = 8 + -14. Is (1 - 0) + 28 + k a multiple of 13?
False
Is (-1202)/(-18) + (-10)/(-45) a multiple of 11?
False
Let v be -2 + (-6)/9*-6. Suppose g - v = 9. Is 11 a factor of g?
True
Suppose -3*i = -2*n + 115, 0*n + 165 = 3*n + 3*i. Is 14 a factor of n?
True
Suppose 2*k - 13 = -3*p, -4 = 4*k - 0*p - 4*p. Suppose 4*r - 79 = -u + 3*r, -165 = -k*u + 5*r. Does 25 divide u?
False
Let h be -2*(-3 + (-21)/6). Let u = -3 + 23. Let t = u - h. Is t even?
False
Suppose 5*h = 10*h - 225. Is h a multiple of 15?
True
Let s = -61 - -82. Is s a multiple of 3?
True
Does 61 divide ((-2)/8*4)/(1/(-223))?
False
Let k be ((-2)/4)/((-2)/24). Suppose -k = -b - 3. Suppose -5*x - 57 = -b*a - a, -4*x = 5*a - 61. Is 4 a factor of a?
False
Suppose 2*t = -f + 163, 0 = 3*f + 5 + 10. Does 28 divide t?
True
Let v(k) = k**3 + 10*k**2 + k + 12. Let t be v(-10). Let q = 1 + t. Is q/(1 - (-7)/(-10)) a multiple of 10?
True
Let q = 0 + 3. Suppose 32 = q*a - a + 5*w, 4*a = -2*w + 32. Is a a multiple of 6?
True
Let m(g) = -g**2 + 4*g + 3. Let u be m(4). Let p = u - 6. Is 13 a factor of (-86)/p - 4/6?
False
Let r = -25 - -45. Is r a multiple of 13?
False
Let o be ((-14)/(-2))/(2/50). Let d = o - 97. Is 26 a factor of d?
True
Let l = -298 + 426. Does 16 divide l?
True
Let k = 198 - 133. Suppose -4*a - k = -353. Is a a multiple of 11?
False
Suppose 2*c = 4*c + 3*o - 109, -2*o + 256 = 5*c. Suppose 0 = r - 6*r + c. Is r a multiple of 5?
True
Let g = -10 + 17. Suppose -1 = 2*m + g. Is 7 a factor of m/(-14) + 282/42?
True
Let d = 30 - 17. Let t = -19 + d. Is 7*1/((-7)/t) a multiple of 6?
True
Let z(y) = -27*y - 4. Let k be z(-6). Suppose -2*r = 2 + k. Does 8 divide r/(-15)*(-6)/(-4)?
True
Let z(q) = 1. Let h(t) = -3*t - 7. Let o(v) = h(v) + 6*z(v). Is o(-4) a multiple of 5?
False
Does 8 divide (-12)/42 + 114/7?
True
Let n(b) = -7*b + 2. Is n(-2) a multiple of 2?
True
Let d = 34 + -8. Does 16 divide d?
False
Let g(r) = 13*r**2 + 3*r. Let h be g(-2). Suppose m - h = -m. Is 5 a factor of m?
False
Suppose 4*p - 2*d = 214, 3*p = 2*d + 68 + 92. Suppose -5*s + 16 = -p. Is 7 a factor of s?
True
Suppose 146 = 4*v - a, -6 - 2 = 4*a. Does 11 divide v?
False
Let n = 87 - 15. Is 18 a factor of n?
True
Let t(f) = -13*f**3 - f**2 - 2*f - 1. Let d(r) = -r**3 + 6*r**2 - 4*r - 1. Let h be d(5). Suppose 2*w - w + 1 = 0, -3*s + h*w + 1 = 0. Is 6 a factor of t(s)?
False
Suppose -3*p + 0*b = 5*b + 13, p + 4*b + 9 = 0. Let q(c) = -2*c**3 + c**2 - 1. Let i be q(p). Is 4 a factor of 27/i - 4/(-8)?
False
Suppose 3*u = -4*d - u + 20, d - 8 = -2*u. Suppose -z - 3 = 0, 6*z = -q + d*z + 10. Let p = q + -10. Does 12 divide p?
True
Suppose b + l = 30, -2*l - 5 = 3. Let k = 12 + b. Is 23 a factor of k?
True
Let p(u) = -u**3 + 6*u**2 + 2. Let r be p(6). Suppose -2*v + 6*v + g = 266, -3*g = 4*v - 270. Suppose j = -r*j + v. Is 11 a factor of j?
True
Let f = -386 - -566. Does 20 divide f?
True
Let s = 7 - -90. Is s a multiple of 27?
False
Let y = -81 - -185. Let c = 149 - y. Does 19 divide c?
False
Is (-42)/10*(2 - 7) a multiple of 5?
False
Let p = 177 - 111. Does 14 divide p?
False
Let u(j) be the second derivative of -j**7/2520 - j**6/72 - j**5/40 - j**4/6 + 4*j. Let d(q) be the third derivative of u(q). Does 12 divide d(-8)?
False
Suppose 0 = -2*z - 332 + 68. Is 8 a factor of z/(-8) - 1/2?
True
Let j = -112 - -166. Let c = j + -37. Is 8 a factor of c?
False
Let k(g) be the third derivative of -g**6/120 + 7*g**5/60 + g**4/24 - g**3/3 + 3*g**2. Does 2 divide k(7)?
False
Let n be 14/(-3) - 12/(-18). Suppose 3*s + 3*v = -0*s + 69, -47 = -4*s + 5*v. Is ((-112)/21)/(n/s) a multiple of 16?
False
Let l(a) = -a**3 + 8*a**2 + 2*a - 12. Let b be l(8). Let j be -1*(0 - (-5 + 1)). Is 7 a factor of ((-28)/j)/(2/b)?
True
Suppose 581 = 8*m - 259. Does 21 divide m?
True
Let j(r) be the third derivative of r**5/30 - r**4/12 + r**3/2 + 7*r**2. Does 21 divide j(-5)?
True
Let k(l) be the second derivative of -l**5/20 - l**3/6 + 15*l**2 - l. Does 10 divide k(0)?
True
Suppose 5*d + 3*k - 44 = 0, 0 = 3*d - 6*d - k + 24. Suppose -4*z + 3*l = -89, -3*l = -d*l + 20. Does 13 divide z?
True
Let p(m) = -2*m**3 - 3*m - 1. Is 16 a factor of p(-3)?
False
Let l(n) = n**2 + 4*n + 2. Let o be l(-4). Let d = 0 - o. Let q(s) = 9*s**2 + 3*s + 3. Does 11 divide q(d)?
True
Let u(i) = i + 16. Let g be u(0). Suppose g = j - 10. Does 13 divide j?
True
Let g be ((-42)/(2 - -1))/(-2). Let v = 7 + g. Is v a multiple of 7?
True
Let h = -8 + 8. Let f be (0 - -2)*(h - -1). Suppose 5*a = -2*t + 150, -6*t - 60 = -2*a - f*t. Is a a multiple of 15?
True
Let i(a) = -a**2 + 2*a + 7. Suppose 3*d = 1 + 8. Does 4 divide i(d)?
True
Let a(c) = -c**2 + 2*c + 200. Let q be a(0). Let r = q + -137. Is r a multiple of 14?
False
Does 12 divide (1 - 0) + (128 - 9)?
True
Let t(x) = 10*x**2 + 3*x + 3. Is t(-3) a multiple of 7?
True
Let s be (-6 + 18)*40/6. Suppose 3*u - s = 2*h, -3*h = -3*u + 20 + 58. Is 7 a factor of u?
True
Suppose 4*t - 481 = -5*m + t, 83 = m + 5*t. Is m a multiple of 14?
True
Suppose -206 - 114 = -5*x. Is 32 a factor of x?
True
Let u(g) = -13*g + 1. Let c(q) = q + 2. Let m be c(-3). Is u(m) a multiple of 6?
False
Let y(a) = 28*a - 42. Is y(15) a multiple of 14?
True
Let d(j) = 9*j**2 - 4 + 2 + 1. Is 2 a factor of d(1)?
True
Suppose 0 = -f + 4*f. Suppose f = -5*z + 2*d + 3*d + 85, 2*d - 2 = -z. Is 6 a factor of z?
True
Suppose -3*b - 7*v = -2*v - 27, 2*b = -5*v + 23. Suppose 4*w + 20 = 0, -4*q - b*w + 0*w - 20 = 0. Suppose -5*r + 90 = -q*r. Does 10 divide r?
False
Let i(g) = -g**3 - 4*g**2 + 6*g + 4. Let f be i(-5). Let w = 17 + f. Is 8 a factor of w?
True
Let o(q) = 0 + 3*q**2 + 7 - 4. Does 10 divide o(-3)?
True
Let b(n) = 2*n**2. Let q be b(4). Suppose 211 - 205 = 3*l. Suppose -l*i = -0*i - q. Is 12 a factor of i?
False
Suppose 2*t = -3*t - w + 166, 2*t = 2*w + 64. Is t a multiple of 11?
True
Suppose 5*o + 4*w + 43 = -0*o, 37 = -5*o - w. Let r be 2/o - 870/42. Let c = r - -51. Does 9 divide c?
False
Let x be (8/6)/((-12)/(-90)). Let g(t) = t**3 - 11*t**2 + 13*t - 7. Does 8 divide g(x)?
False
Suppose 5*v + 0*v = -k - 13, 0 = -2*k + 2*v - 2. Let g = -1 + k. Is 2 a factor of 2/(3*g/(-30))?
False
Is 44 a factor of ((-104)/(-78))/((-3)/(1782/(-4)))?
False
Let l(d) = 3*d**2 - 10. Is 34 a factor of l(-7)?
False
Let b be 6/8 - 2420/(-16). Suppose 6*m - b = 4*m. Does 21 divide m?
False
Let p(k) = -k**2 - 6*k - 2. Let v be p(-5). Suppose -5*i - 43 = -0*q - 3*q, -3*q + 51 = -3*i. Suppose -4*