 = 26*c - 103 - 27. Suppose -c*g - 10 = 0, s = -2*n + g + 2 + 16. Does 2 divide n?
True
Let g = -4 - -42. Is g a multiple of 2?
True
Let b(i) = -i + 9. Let l be b(4). Is 28 a factor of ((-392)/(-35))/(1/l)?
True
Suppose 7*p + 1008 = -7*p. Let y = 130 + p. Is 22 a factor of y?
False
Let g(a) = -a**3 - 12*a**2 + 8*a - 14. Let j(x) = 7*x + 57. Let u be j(-10). Is 12 a factor of g(u)?
False
Let n(m) = m**3 - 9*m**2 + 8*m + 3. Let h be n(8). Suppose 3*t + 5 = -2*t, h*a + 55 = -4*t. Let i = a - -22. Does 5 divide i?
True
Let x(k) = -7*k - 2. Let a be x(-6). Let w be (-4050)/a + 6/(-8). Let q = w - -182. Does 20 divide q?
True
Suppose -8*r + 1018 + 654 = 0. Does 11 divide r?
True
Let h be -9 - (-6*1 + 2). Does 4 divide 96/5 - (-1)/h?
False
Let b = 64 - 59. Suppose -b*q = 2*r - 187, 5*r + 3*q = 674 - 197. Does 48 divide r?
True
Let h = -29 + 30. Suppose -3*v = 2*j - 9, -h = v + 2. Is j a multiple of 4?
False
Suppose -5*z + 4*c = -481, z - 52 = -3*c + 29. Suppose -v + z = 67. Does 4 divide v?
False
Suppose -4*x = -16*x + 636. Is x a multiple of 53?
True
Let d(v) = -4*v**3 - v**2 + 3*v - 9. Does 41 divide d(-5)?
True
Let a = 28 - -666. Is 33 a factor of a?
False
Does 9 divide ((-159)/6)/(12/(-24))?
False
Let z(k) = 6*k**3 + 2*k**2 - 2*k + 1. Let j be z(1). Let b(n) = -2 + j*n - 3*n + 9. Is 9 a factor of b(5)?
True
Let f be (-2)/(-4)*0/(-2). Suppose f = -2*h - 10*h + 432. Does 12 divide h?
True
Let x = -80 - -113. Let c = 25 + x. Does 17 divide c?
False
Suppose -463 = 4*t - 3023. Does 16 divide t?
True
Let r(m) = -m - 13. Let i be r(-13). Let l be -3 - -5 - (-1 - i). Suppose 3*g = l*x - 2*g - 121, 4*g = x - 52. Does 8 divide x?
True
Let z(q) = -12*q**2 + 7 + 8 + q**3 - 12*q + 4. Is z(13) a multiple of 16?
True
Let c(j) be the third derivative of j**5/60 - 3*j**4/8 - 25*j**3/6 + 33*j**2. Does 11 divide c(12)?
True
Let p(l) = 43*l**2 + l - 2. Let z be p(-2). Suppose -4*g = -5*m + z, -4*m = -g - 4*g - 129. Is 12 a factor of m?
True
Let i be -2 + 7 + 3 + -3. Suppose g - 6*g + 66 = 3*v, i*v = 10. Is 15 a factor of g/(2 + 27/(-15))?
True
Let r(m) = 5*m**2 - 15*m + 13. Does 9 divide r(5)?
True
Suppose -4 = -0*p - 2*p. Suppose 5*b + 3*d = 485, -94 = -5*b + p*d + 391. Let s = b + -62. Is s a multiple of 13?
False
Let d = 2 - 7. Let p(f) = -f**2 - f - 1. Let o(g) = -3*g**2 - 19. Let i(q) = d*p(q) + o(q). Is 12 a factor of i(-6)?
False
Let p = 2136 - 985. Is p a multiple of 49?
False
Suppose 0*b - 14 = -2*b. Suppose 104 = -5*v + b*v. Does 13 divide v?
True
Is ((-364)/(-104))/((-2)/4) + 452 a multiple of 10?
False
Is 58 a factor of (-1)/((-1)/8)*(-1450)/(-20)?
True
Let q(u) = 3*u**2 + 42*u + 55. Is q(-16) a multiple of 17?
False
Let b be (3 + (-68)/20)*-25. Let h(i) = i**2 - 10*i + 5. Let w be h(b). Suppose -156 = g - w*g. Is 13 a factor of g?
True
Let j(s) = 3*s**3 + 6*s**2 + 3*s + 8. Let l(c) = 2*c**3 + 5*c**2 + 3*c + 7. Let u(a) = 3*j(a) - 4*l(a). Suppose -5*h = 10 - 30. Is 8 a factor of u(h)?
True
Let v(s) be the second derivative of s**3/2 + s**2 - 9*s. Let l be v(3). Is 4 a factor of (15/5)/(3/l)?
False
Suppose -4*y - 5*t + 13 = 0, 4*y + y = 3*t + 7. Suppose -f + 82 = -5*p + 7*p, 2*f = -y*p + 78. Is p even?
False
Let c(y) = y**2 + 4*y - 6. Let q be c(-5). Let o be (q/3)/(6/(-126)). Is (-2)/o + 504/49 a multiple of 10?
True
Let n = -29 + 189. Is 16 a factor of n?
True
Suppose -6 = -3*g - 0*g - 2*r, r = 2*g + 3. Suppose g = -3*k - 2*k. Suppose k = 4*q + q + 3*o - 220, 0 = o - 5. Does 16 divide q?
False
Let b(m) = 9*m**3 + 2*m**2 + 2*m + 1. Does 7 divide b(3)?
False
Let o = -62 - -54. Let s(q) = -30*q + 32. Is s(o) a multiple of 17?
True
Let b be 2/(-3)*330/20. Does 10 divide 117 + (1/(-2))/(b/(-66))?
False
Let y(d) be the first derivative of d**3/3 + 5*d**2/2 - 4. Let j be y(-3). Let w(q) = -2*q + 3. Is w(j) a multiple of 3?
True
Let m = -78 + 81. Suppose -3*b - 73 = m*j - 217, 140 = 3*b + 5*j. Is 13 a factor of b?
False
Let f(u) be the first derivative of u**3/3 + 3*u**2/2 - 8*u + 4. Suppose 0 = -4*g - 5*r - 42, 2*r + 38 = -4*g - r. Is 16 a factor of f(g)?
True
Let y(a) = -a**3 - 4*a**2 + 5*a + 11. Is 28 a factor of y(-11)?
False
Let v be 14/5 + (-2)/(-10). Let h be 162/(-21)*(-14)/v. Suppose -c + h - 3 = 0. Does 11 divide c?
True
Suppose 3*g - 4*g + 92 = 0. Does 4 divide g?
True
Suppose -3 = j + 1. Let s be ((-44)/8 - 3)*j. Is -3 + s + (-2)/(-2) a multiple of 8?
True
Let j = 6 + -1. Suppose 0 = -j*n + 5, 2*p = -4*n + 3 + 9. Suppose -p*c + 17 + 31 = 0. Is c a multiple of 12?
True
Suppose -4*m + 65 = 5*k, 2*m + 2*k = 3*m - 13. Let o(u) = -u**2 - 14*u + 4. Let r be o(-15). Let n = m + r. Is 4 a factor of n?
True
Let w be 5/(-15)*(1 - 5*2). Let r(q) = 6*q**3 - 2*q**2 - q + 2. Does 11 divide r(w)?
True
Let c = 34 + 55. Let j = -5 + c. Suppose -5*x + 7*x = j. Is 14 a factor of x?
True
Let s(g) = -2*g - 26. Let x be s(-15). Suppose -c = x*z - 80, 0*c = 5*z + c - 100. Suppose -8*u + z = -28. Is u a multiple of 3?
True
Suppose 3*p + 0*p - 11451 = i, 4*p = 2*i + 15270. Does 9 divide p?
True
Suppose -4*d + 9*d - 15 = 0. Suppose 0*j = j - 5*l - 29, 3*l - d = 0. Suppose -2*w = 4, n - 2 = 4*w + j. Is 12 a factor of n?
False
Suppose -u = 2*f - 634, -f - f + 640 = 4*u. Suppose 0 = 5*t - 34 - f. Is 38 a factor of t?
False
Let r(d) = d**2 + 2*d**3 + 2*d - 4*d**3 + 2*d. Is r(-2) a multiple of 6?
True
Let f = -47 + 64. Let l = f + 17. Is 8 a factor of l?
False
Let f(m) = 4*m**2 + 15. Suppose -4*b - 25 = b. Is 35 a factor of f(b)?
False
Let b = 12 + -9. Suppose -2*o - b*o = -10. Suppose -15 = v - o*v. Is 7 a factor of v?
False
Let w(d) = 89*d - 59. Does 29 divide w(4)?
False
Let m = -8 - -17. Let z(j) = 5*j**2 - 6*j - m*j**2 + j**2 + 9 + 4*j**2. Is z(6) a multiple of 9?
True
Let k = -35 + 38. Is 5 a factor of 32 + -4 + k + -6?
True
Let o = 47 + -11. Suppose -4*l = -4*f - 164, -3*l + o = f - 67. Suppose -3*t = 4*k - l - 23, 3*t = -2*k + 37. Is k a multiple of 6?
False
Let g = -34 - -37. Let h = 82 - g. Does 23 divide h?
False
Suppose 2*m + 135 = b - 27, -m = 0. Does 9 divide b?
True
Let v = 696 - 628. Is 33 a factor of v?
False
Let b(z) = z**3 + 16*z**2 + 30*z - 8. Is 3 a factor of b(-8)?
True
Let i(l) = 2*l**2 + l - 6. Let x be i(-8). Is (-5 - -6)/(1 + x/(-116)) a multiple of 15?
False
Does 11 divide 20/(-2)*(24/16 - 7)?
True
Suppose 92 - 8 = -3*n. Let d = n + 33. Is 2 a factor of d?
False
Let g(v) = -v**2 + v + 14. Suppose 4*a + 5*y - 85 = -a, -5*a + 61 = -3*y. Let c = -14 + a. Is 7 a factor of g(c)?
True
Does 16 divide 0 + 768/(12/2)?
True
Suppose 2*k - w = 47, k = -2*w + 20 + 16. Let i = k - 24. Suppose -i*n = -4*g - 4, 0 = -4*g + 8*g - 20. Is 6 a factor of n?
True
Let a = 1969 + 381. Is a a multiple of 10?
True
Suppose -6*w + 274 = 40. Let p = w - 3. Is p a multiple of 18?
True
Let h(u) = 83*u**2 - 3*u + 4. Is 10 a factor of h(2)?
True
Let a(x) be the first derivative of x**2/2 + 12*x + 7. Let l = -3 - 7. Is 2 a factor of a(l)?
True
Let b = 764 + -49. Is b a multiple of 65?
True
Let q be -2 + 0 + (-1270)/(-1). Suppose -5*h = -2*o + 494, -5*o - 2*h - 2*h + q = 0. Suppose o = 3*w + 72. Does 25 divide w?
False
Suppose 4930 = 23*c - 6*c. Is 58 a factor of c?
True
Let d(n) = n + 57. Let y = 23 - 23. Let w be d(y). Suppose -w = -3*x + 24. Is 11 a factor of x?
False
Let v(w) = -w**2 - 6*w + 11. Let a(r) = -r**3 - 6*r**2 + 3*r + 9. Let c be a(-6). Let b be v(c). Does 6 divide 4 + b/2 - -30?
False
Suppose -n - 2*t + 68 = 3*t, -5*t = -3*n + 184. Let u = -27 + n. Does 3 divide u?
True
Let a(t) = -t**2 - t. Let h(i) = 2*i**2 + 8*i + 6. Let q(x) = 6*a(x) + h(x). Let r be q(-3). Let u = 77 + r. Does 9 divide u?
False
Let u(s) = 4*s**3 - s**2 - 1. Is u(3) a multiple of 3?
False
Let r be 24/(-20)*(-10)/3. Suppose -w - 86 = d, -2*d + 170 = -r*d - 3*w. Is 3/(-2)*d/6 a multiple of 12?
False
Suppose -7 = 4*a - 43. Let d be (a/(-18))/((-1)/(-14)). Let l = 14 + d. Is l even?
False
Is 2 a factor of 30/4*2184/126?
True
Let d(x) be the first derivative of -x**3/3 - 3*x**2 + 3*x + 4. Let b be d(-8). Let c = b + 17. Is c a multiple of 2?
True
Suppose -2*f + 50 = 3*f. Suppose f + 13 = p. Does 23 divide p?
True
Let m = 5 + -3. Suppose 3*z - 1 = m. Let q = z - -7. Does 8 divide q?
True
Suppose 6*z - 12 = 2*z. Let g = 93 + -72. Suppose -z*q = -15 - g. Is q a multiple of 11?
False
Suppose 2 = -0*p - p. 