 = 3*s - o. Suppose 5*w + 15 = d + s*w, 5*d - 2*w - 43 = 0. Does 3 divide d?
False
Is 100 + 3*6/(-9) - -1 a multiple of 11?
True
Let p(c) = -2*c - 2. Does 3 divide p(-10)?
True
Suppose x - 5*g - 20 = 0, 16 = -4*x - 3*g + 4. Suppose x = -4*a + 24 + 56. Is 20 a factor of a?
True
Suppose x - 59 = 4*t, 2*x + 53 - 3 = -4*t. Let n = t + 44. Is n a multiple of 11?
False
Let p(a) = -a - 10. Let o be p(0). Let q = -6 - o. Suppose q*t + 2 = -k + 41, -2*t + 15 = -k. Is t a multiple of 9?
True
Let v = 140 + -100. Does 15 divide v?
False
Let v(i) = 85*i**2 - 4*i + 3. Is 46 a factor of v(1)?
False
Let o be (-135)/20*(-8)/3. Let h be 5*1/(10/o). Let t = h + 17. Is 13 a factor of t?
True
Suppose 334 = 3*r + 2*l, 3*r = -2*r + 4*l + 520. Does 6 divide r?
True
Suppose -4*h + 8 = -12. Let g = h - -1. Is 2 a factor of g?
True
Let x(k) = 3*k**2 - 2*k - 4. Let o be x(-3). Let d = 49 - o. Is 10 a factor of d?
True
Suppose 39 = 4*d - 5*u, -39 = 5*d + 4*u - 139. Is d a multiple of 16?
True
Suppose -3*a = 2*a - 510. Does 34 divide a?
True
Let g = -2 - -6. Suppose 2*a + 4 = 0, -g*c - a + 50 = -0*a. Is c a multiple of 13?
True
Let x(i) = -11*i - 5. Let v be x(-14). Suppose 3*b - v = -29. Does 26 divide b?
False
Let f(t) = 5*t**2 + t - 3. Does 13 divide f(-3)?
True
Let y(n) = -15*n**3 - n - 1. Let k = -7 - -6. Is y(k) a multiple of 4?
False
Suppose -5*c = -3*a + 282 - 23, -2*a + 202 = 4*c. Let f = a - 52. Is f a multiple of 12?
False
Let v(a) = -3*a**3 - 16*a**2 - 4*a + 14. Is v(-6) a multiple of 11?
True
Suppose 0 = 4*v + 12, -i + v - 16 = -3*v. Let b = i - -20. Let x(z) = -z**2 - 10*z - 10. Is x(b) a multiple of 6?
True
Suppose 0 = j - 5*j + 200. Suppose 5*y + j = -65. Is (0 - -3)/(-3) - y a multiple of 9?
False
Let o(a) = a**2 + 5*a - 3. Let j be 82/(-26) + (-2)/(-13). Let l be (1*-7)/(j - -4). Is o(l) a multiple of 8?
False
Suppose 4*u = -g - 3*g - 8, -4 = -5*g + 2*u. Suppose -2*n - 3*r + 0*r = -72, g = n - 3*r - 36. Is 6 a factor of n?
True
Let b = 154 - 87. Does 16 divide b?
False
Suppose -2 = -k - 3, j = -4*k - 13. Let v(i) = i**3 + 10*i**2 + 7*i - 4. Is 8 a factor of v(j)?
False
Let s(k) = 171*k + 4. Is s(1) a multiple of 10?
False
Suppose 0*q - 5 = -q. Suppose -3*f - 3*j + 56 = -106, -q*f = j - 278. Suppose -t - f = -3*t. Is 9 a factor of t?
False
Let a = -9 - -46. Does 8 divide a?
False
Let k = 1 + 5. Let o = -6 + k. Let q(t) = t**3 + t**2 + t + 38. Does 19 divide q(o)?
True
Let g(b) = -6*b - b**2 + 3*b**2 + 4*b**2. Let z be g(4). Suppose 5*w - z = w. Is 9 a factor of w?
True
Let r(i) = 11*i - 1. Suppose 28 - 77 = -7*z. Is 38 a factor of r(z)?
True
Let w(z) = -z**3 - 6*z**2 - 4*z + 5. Let a be w(-5). Suppose d - 3*c - 8 = a, -c + 3*c = 2. Is 5 a factor of d?
False
Let f(o) = 2*o - 1. Let v(q) = 4*q - 2. Let c(u) = -5*f(u) + 3*v(u). Let l = 7 - 4. Is c(l) a multiple of 2?
False
Let c be (0/2)/(-4) + 6. Is 8 a factor of 92/c + (-4)/(-6)?
True
Suppose 67 = -w - 160. Let q = w - -97. Is q/(-18) - (-2)/(-9) a multiple of 7?
True
Suppose -6*i = -99 + 33. Is 11 a factor of i?
True
Suppose 248 = 2*u - 4*a, -9*u + 3*a = -5*u - 486. Does 20 divide u?
True
Let q be 2 + -2 + (-32 - -1). Let i = -7 - q. Does 18 divide i?
False
Let q be (-4)/(-10) - (-219)/15. Does 21 divide (140/25)/(2/q)?
True
Suppose 5*g + 90 = -0*g. Let x = g - -23. Is x a multiple of 5?
True
Suppose -2*n + 30 = 2*s, 2*s - 52 + 12 = 3*n. Is 3 a factor of s?
False
Suppose -p = p - 58. Let t be (20/(-8))/(1/2). Let a = t + p. Is 24 a factor of a?
True
Let k(o) = 2*o + 7. Does 8 divide k(7)?
False
Let n be (-1 + -9)/(12/18). Is 5 a factor of ((-50)/n)/((-1)/(-3))?
True
Suppose 14 + 6 = -b. Suppose -4*g + 36 = 160. Let t = b - g. Is t a multiple of 4?
False
Let y(v) = v**3 - 6*v**2 - 3*v + 12. Is y(7) a multiple of 37?
False
Suppose 0 = 3*j, 3*r - 82 + 4 = -3*j. Is 13 a factor of r?
True
Let o(s) = s**3 + s**2. Let p be o(0). Suppose 5*m = 4*x, x + 2*x - 2*m = p. Suppose 5*b - 6 - 54 = x. Does 10 divide b?
False
Let k = -15 - -26. Is 3 a factor of k?
False
Let k(b) = b**2 - 4*b - 10. Let i be k(6). Is 4 a factor of (-1)/(28/16 - i)?
True
Let f(p) = -4*p**2 - 4*p - 3. Let k(v) = -4*v**2 - 5*v - 4. Let g(l) = -4*f(l) + 3*k(l). Let i be g(1). Let o = 36 + i. Is 17 a factor of o?
False
Let l = 122 + -13. Is 20 a factor of l?
False
Suppose d - 4*m = 139, 2*d + 5*m = 161 + 65. Is d a multiple of 16?
False
Let m be (-3 - -3)/(1 - 0). Let z be 0/((-1 - 0) + m). Suppose -2*n + 6*n - 92 = z. Is 13 a factor of n?
False
Let u(i) = 5 - 3 - i + 7*i - i**3 - 7*i**2. Is 11 a factor of u(-8)?
False
Let j(c) = c**2 + 3*c + 8. Let g be j(-9). Let b = g + -30. Does 13 divide b?
False
Suppose 2*t - 6*t = -4*a - 124, -126 = -4*t + 5*a. Does 13 divide t?
False
Suppose 0 = -5*t - 0*v - 2*v + 165, t = v + 40. Does 35 divide t?
True
Let j(v) = -v. Let g be j(-2). Let u = 64 + -28. Suppose g*x - 3*x = -u. Is 18 a factor of x?
True
Is 13 a factor of 0 - -2 - 876/(-4)?
True
Suppose p + 2*o = 3*o + 14, -40 = -5*p - 5*o. Let d(i) = 4*i + 14. Is 29 a factor of d(p)?
True
Let b(a) = -a**3 - 12*a**2 - 10*a + 14. Let w be b(-11). Does 16 divide (0 + -8)*(w + -5)?
True
Let m = 116 + -40. Is m a multiple of 19?
True
Let h = 61 - 43. Is 6 a factor of h?
True
Let k(a) = 8*a**2 - 5*a + 2. Is k(2) a multiple of 6?
True
Let v = 5 + -4. Let y be (-42)/(-18) + v/(-3). Suppose 4*w + o - 159 = y*o, -3*o - 197 = -5*w. Is 19 a factor of w?
False
Let q be (-74)/(-14) + (-2)/7. Let w(f) = f**3 - 4*f**2 + f - 4. Is w(q) a multiple of 9?
False
Let f(u) = -u - 1. Let k be f(-1). Suppose q = -k*q - g + 46, 98 = 2*q + 4*g. Suppose -3*n - 1 = 4*j - q, -3*j = -4*n + 81. Does 10 divide n?
False
Is (43 - (-2 + 3)) + 2 a multiple of 11?
True
Let i = 2 - 2. Let a(k) = 5 - k + k - k + k**3 + 7. Is a(i) a multiple of 6?
True
Let k(a) = 185*a**3 - 3*a**2 + 3*a - 1. Is k(1) a multiple of 24?
False
Let o(n) = -8*n - 20. Is o(-7) a multiple of 9?
True
Let p(k) = 3*k + 1. Suppose -3*y = -2*w - 3*w - 13, 0 = 4*y + w - 2. Let o be p(y). Is 17 a factor of ((-17)/o)/(5/(-20))?
True
Let u(k) = -12*k + 19. Is 35 a factor of u(-15)?
False
Let z(g) = 4*g - 9*g + 3 + 3*g. Is 9 a factor of z(-17)?
False
Let u(y) = y + 9. Let a be u(-7). Suppose -a*c + c = 3*z - 24, 2*c - 39 = -5*z. Is 3 a factor of z?
True
Let q(h) = -5*h + 3. Is q(-3) a multiple of 11?
False
Does 10 divide (90/21)/((-2)/(-14))?
True
Let o(z) be the first derivative of -6*z + 1/4*z**4 + z**2 - 1 - 2*z**3. Is 6 a factor of o(6)?
True
Let n(v) = -v**2 + 27*v + 53. Does 18 divide n(24)?
False
Suppose 5 = -4*x + 3*d - 18, -x = 4*d + 20. Let u = x - -11. Is u a multiple of 2?
False
Suppose 2*s - 71 = -m, -m + 3*s = 7*s - 67. Is 21 a factor of -2 + -2 + m/3?
True
Let o(y) = 2*y**2 - 3. Does 23 divide o(-6)?
True
Let k(s) = s**3 + 5*s**2 - 7*s - 5. Let l be k(-6). Let y = l + 1. Suppose -y*j + 3 + 29 = 0. Does 11 divide j?
False
Let w be ((-2)/5)/((-2)/10). Let d(b) be the third derivative of b**5/20 - b**4/12 + 11*b**2. Is 3 a factor of d(w)?
False
Let f be -1 + (-7)/(0 - 1). Let s be (-44)/(-6) - 2/f. Suppose 2*r + 15 = s*r. Is r a multiple of 3?
True
Let l = 655 - 466. Does 44 divide l?
False
Let g(y) = 10*y**2 - 1. Let t(f) = f**3 + 11*f**2 + f + 8. Let l be t(-11). Let r be -1 + 2 + 6/l. Does 3 divide g(r)?
True
Suppose 0 = -d - 0*d + 34. Is 17 a factor of d?
True
Does 22 divide (-170)/2*3/((-3)/1)?
False
Let q = 14 - -1. Is q a multiple of 5?
True
Suppose 0 = -4*n - 20 + 56. Does 3 divide n?
True
Let r be (-8 - 3) + (-6)/(-2). Does 19 divide -12 - r - 62/(-1)?
False
Let l(q) = q**2 - 4*q + 3. Let j be l(2). Let h = 3 + j. Is (-23)/h*-2 - -2 a multiple of 9?
False
Suppose -5*g + g = f - 34, 3*g = -2*f + 78. Is 8 a factor of f?
False
Let f(c) be the third derivative of 1/6*c**3 + 0*c - 2*c**2 + 1/24*c**4 + 0. Is f(4) even?
False
Let i be 7/(((-10)/18)/(-5)). Suppose -i = -2*o - o. Does 13 divide o?
False
Let b(a) = a**3 - 6*a**2 - 7*a + 5. Let q be b(7). Let t(f) be the second derivative of f**5/20 - f**4/4 + f**3/6 - 7*f**2/2 - f. Does 14 divide t(q)?
False
Does 8 divide 2 - -12 - (-5 - -2)?
False
Is ((-32)/(-2))/4*10 a multiple of 10?
True
Let r = -3 + 6. Is 16 a factor of 2/r*48/2?
True
Let s = -4 - -12. Suppose -3*i + 23 = s. Suppose -3*m + 13 = -i*b + 76, 16 = 4*m. Is 15 a factor of b?
True
Let x(l) = -l**3 - 3*l