*o - 20 - 5 = 0. Is g even?
True
Suppose 3*l - 16 = -l. Suppose -211 = -l*d + o, 4*o + 272 = 3*d + 2*d. Let w = -32 + d. Is 10 a factor of w?
True
Let p = -2 + 2. Suppose 4*v = -4, 53 = 4*r - v - 12. Is 22 a factor of (p + 33)*r/12?
True
Suppose 4*r - 7*c = -2*c + 6, -4*r + 3*c + 2 = 0. Is 13 a factor of (-65)/(-4 - (-2 + r))?
True
Let f(i) = -2 + i - 3 + 4. Let y be f(4). Suppose -4*l + a = y*a - 46, 4*l - 2*a = 26. Is 9 a factor of l?
True
Suppose -3*g - g + 56 = 0. Is 14 a factor of g?
True
Let o = 81 + -22. Suppose -5*l = -151 - o. Does 21 divide l?
True
Does 14 divide (-1 - 0/5)*-73?
False
Let s = -44 + 100. Suppose -7*b = -11*b + s. Is b a multiple of 8?
False
Let a(u) = 6*u + 3. Does 13 divide a(6)?
True
Suppose 0*r - 2*r - 4*s = -56, 3*r - 84 = -4*s. Is 14 a factor of r?
True
Let p be (-15)/(-25) + (-46)/10. Is 11 a factor of ((-20)/(-15))/(p/(-66))?
True
Let p = -28 + 64. Does 7 divide p?
False
Is (0 - (-3)/(-9))/(1/(-27)) even?
False
Suppose -5*p + 9 = -2*p. Let l = p + -3. Is (l - -20) + -2 + 3 a multiple of 13?
False
Let z(x) = 3*x + 1. Suppose 2*m - 3*m + 13 = -3*v, 4*m - 37 = -3*v. Suppose m = 6*u - u. Does 4 divide z(u)?
False
Suppose -2*h = -2 - 4. Suppose h = x + 1. Does 8 divide ((-1)/2)/(x/(-76))?
False
Suppose 4 + 2 = 2*o. Suppose 0 = 5*z - o*z - 102. Is 13 a factor of z?
False
Let h(v) = v**3 - v**2 - v + 3. Let z be h(0). Suppose -3 = -z*w + 69. Is 10 a factor of w?
False
Suppose -4*t + 56 = 4*w - 0*w, -54 = -3*w + 3*t. Is w a multiple of 16?
True
Let h = 225 - 0. Does 6 divide (-6)/(-8) - h/(-20)?
True
Let h = 1 - -7. Is 4 a factor of h?
True
Let d be 10/45 + 86/18. Is -3*(-48)/45*d a multiple of 8?
True
Suppose -v = 2*l - 25, -3*v + 67 = 3*l + l. Is v a multiple of 17?
True
Let i(b) = -b**3 + b**2. Let v be i(1). Suppose v*k = -4*k + 12. Suppose k*j = 3*m + 45, -j = -0*m + 5*m + 15. Is j a multiple of 9?
False
Suppose s = 2, 3*s = 3*n - 2*s + 4. Suppose n*m - m = -16. Is 4 a factor of (-3)/(2/(m/6))?
True
Let h(m) = m**3 + m**2 - m. Let w be h(-2). Let n(q) = q**3 + 5*q**2 + 3*q - 3. Let x be n(-4). Does 27 divide x/w - 109/(-2)?
True
Suppose -3*p - 1 + 7 = 0. Let h = 20 + p. Is h a multiple of 11?
True
Suppose p - 16 = 17. Is p a multiple of 17?
False
Suppose 2*u + 2*u = 5*x + 276, 5*u = 5*x + 275. Is 13 a factor of 8/(-12) - x/3?
False
Let u be 15/5 - (-4)/2. Is (52/(-5))/(u/(-25)) a multiple of 26?
True
Let p(d) = -6*d - 2. Suppose 0 = -5*m + 5*a + 3 + 17, 3*m - 2*a = 8. Suppose 4*q - 2*q + 12 = m. Is p(q) a multiple of 17?
True
Suppose 3*a + 3*p + 0*p - 12 = 0, 5*a = -2*p + 14. Suppose -5*g - 3*n = -54 - 9, 0 = -a*g - 3*n + 27. Is 12 a factor of g?
True
Let u(x) = 2*x. Let b be u(1). Is 9 a factor of ((-1)/b - 0)*-54?
True
Suppose 32 = q - 0*q. Suppose 0 = 2*k - 2*z - 34, 2*k - z - q = -0*z. Is k a multiple of 15?
True
Suppose 45 + 30 = 3*n. Is n a multiple of 5?
True
Suppose -2*j - 6*b + 45 = -3*b, 3*b + 15 = 0. Is j a multiple of 7?
False
Let v(f) = -2*f + 30. Does 6 divide v(0)?
True
Let u be -2 + 0 - 3/(-3). Does 3 divide (0 + 2)/(u/(-4))?
False
Does 20 divide -46*(-2 + -2 + 3)?
False
Let m(k) be the second derivative of -k**3/2 - 7*k**2/2 - 3*k. Suppose 3*g - 20 = 5*d - 0*d, g - 2 = d. Is m(d) a multiple of 7?
True
Let j = -123 + 126. Let y(n) = 4*n - 3. Let i be y(3). Suppose 0 = -j*z + i, 0 = -f + 3*z - 4*z + 17. Does 7 divide f?
True
Let l(d) = -6*d. Is 4 a factor of l(-8)?
True
Let c(z) = z**2 + z + 54. Let t be (-1)/(2/6) + 11. Let y = t + -8. Does 19 divide c(y)?
False
Suppose -4*m = -5 - 87. Let u = -11 + m. Is u a multiple of 12?
True
Let u = 90 + -15. Suppose 8*h = 5*h + u. Does 8 divide h?
False
Let m(a) = -4*a + 9. Let l(b) = 2*b - 5. Let i(w) = 11*l(w) + 6*m(w). Suppose -2*y = z - 6, 3*y + 5 = -3*z + 11. Does 3 divide i(z)?
True
Suppose -4*p + 302 - 22 = 0. Does 14 divide p?
True
Let h(k) = k + 69. Is h(0) a multiple of 23?
True
Suppose 5*n + 24 + 32 = -4*l, -2*n - 12 = -l. Let u = n - -6. Is 1*(u - -1)*-12 a multiple of 11?
False
Suppose n = -0*n + 13. Is n even?
False
Let r(d) = d + 1. Let x(g) = 3*g**2 - 9*g - 6. Let o(m) = 5*r(m) + x(m). Is o(-3) a multiple of 19?
True
Is (34 - -1) + (-5 - 1) a multiple of 29?
True
Suppose 2*d - 5*y - 43 = 0, 0*y + 2*y = -5*d + 35. Let b(r) = -r**2 - 8*r + 13. Let f be b(-7). Suppose d*j = 5*j + f. Is j a multiple of 2?
False
Suppose -p - 4*i + 17 = 0, -2*p + 4*i = 3*p + 11. Does 3 divide 27/3*1*p?
True
Let c(n) = -n. Let u be c(-3). Let b be (u + 1)*(-1)/(-2). Suppose 0 = 2*y - 2 - b. Is y a multiple of 2?
True
Is 11 a factor of (-294)/(-9) + 8/(-12)?
False
Let o(g) = -g**3 + g**2. Let s(v) = -7*v**3 + 16*v**2 - 10*v - 11. Let k(r) = 6*o(r) - s(r). Is k(9) a multiple of 10?
True
Suppose -2*m = -2*t - 6, t + 13 = 5*m - 14. Let s(n) = n**3 - 6*n**2 - n - 8. Let l be s(m). Does 5 divide (-4)/l + (-61)/(-7)?
False
Let r = 25 - 11. Is 6 a factor of 8/28 - (-150)/r?
False
Let n be 3*1 - (-8 - -63). Let r = 109 + n. Does 19 divide r?
True
Let i = 33 - 24. Let h(k) = -k**2 + 9*k + 10. Is 2 a factor of h(i)?
True
Suppose 5*k - 8*k = -720. Does 24 divide k?
True
Let p(w) = -2*w - 1. Is p(-4) even?
False
Let q = 48 - 32. Does 8 divide q?
True
Is (-2 - -4)/(-2) - -14 a multiple of 4?
False
Suppose 5*j = 3*j + 82. Suppose -3*i + 26 = -3*p - 46, -j = 2*p + 5*i. Let h = -13 - p. Is h a multiple of 10?
True
Suppose 8*w = 4*w + 20. Suppose 8 = w*m - 47. Does 11 divide m?
True
Suppose 2*j = -0*j - 4. Let w = j + 14. Does 10 divide (-1 + 13)*w/8?
False
Is 1*(3 + -7) + 58 a multiple of 15?
False
Let d(v) = 6*v**2 + 4. Suppose -4*k - 13 = 5*r, 5*r - 1 = k + 2*k. Does 13 divide d(k)?
False
Let l = -269 - -397. Suppose 160 = 5*q - 4*t, 2*t - t + l = 4*q. Does 26 divide q?
False
Let v be (12/(-10))/((-4)/(-10)). Is 5 a factor of 3 + (13 - (v + 4))?
True
Suppose -5*l + 35 = -10. Suppose l*g + 105 = 14*g. Does 21 divide g?
True
Let w = -40 - -78. Does 16 divide w?
False
Let g(y) be the second derivative of -y**5/20 + 3*y**4/4 - 11*y**3/6 + 7*y**2/2 + 7*y. Is g(7) a multiple of 26?
False
Suppose -4*f = -5 - 7. Suppose 0 = -f*s - 22 - 41. Let n = s + 42. Does 21 divide n?
True
Let i(h) = -12*h + 16. Is i(-2) a multiple of 4?
True
Let k(b) = -b + 18. Is 3 a factor of k(0)?
True
Suppose 7*i - 20 = 2*i, 50 = b + 3*i. Does 10 divide b?
False
Let k be (-3 + -18)/((-6)/8). Let c be 0*(-3 + 2)*1. Let b = k + c. Is 14 a factor of b?
True
Suppose -o = 7*o - 352. Is 4 a factor of o?
True
Suppose h - 9 = 4*h. Let i(c) be the second derivative of c**4/6 - c**3/3 - c**2 + 4*c. Is 16 a factor of i(h)?
False
Suppose 0 = 5*q + 5*b - 215, -q + 4*b = -6*q + 220. Does 24 divide q?
True
Let l = 158 - -82. Does 24 divide l?
True
Let y be (5/3)/(2/6). Suppose 140 = 5*c - y*f, 0 + 4 = 2*f. Does 10 divide c?
True
Suppose 40*r - 37*r = 108. Does 12 divide r?
True
Suppose -2*u + 7*u + 20 = 0. Is 1*u/(8/(-38)) a multiple of 7?
False
Let j(i) = -i**2 - 9*i + 11. Let r(x) = 2*x - 3. Let n be r(3). Let m be -8 + (-2 + n)*0. Is 8 a factor of j(m)?
False
Let v(a) = -a**3 - 3*a**2 - 2*a + 3. Let y be v(-3). Suppose y = 3*k - 0. Suppose 3*u + 3*l = 51, -4*u - 3*l + 61 = -k. Is u a multiple of 8?
False
Suppose 1 = v, 3*c - 8 - 5 = -4*v. Suppose t - c*b = 47, -t + 2*t - 43 = 2*b. Suppose -2*r - 3*r + t = 0. Does 3 divide r?
False
Suppose p - 20 = -4*p. Suppose t - p = 11. Does 7 divide t?
False
Suppose -3*t + 0*t = 228. Let p = t - -142. Suppose -3*n + 5*r + p = 0, -3*n - n + 88 = 4*r. Does 15 divide n?
False
Let o be 2*2/8*2. Let l(k) = 2*k**3 + 2*k**2 - k. Let b be l(o). Suppose -4*f = -4*h - 12 + 124, -b*f = -2*h + 61. Is 12 a factor of h?
False
Suppose 0 = -a - 2*o + 3*o + 152, -4*a - 4*o = -616. Is a a multiple of 20?
False
Let n(g) = -g**3 - 7*g**2 - 6*g + 8. Let a be n(-6). Suppose 0 = -4*l + a - 0. Does 10 divide 1 - l/3*-51?
False
Suppose 0 = 5*b + 6 - 16. Suppose 0 = 4*l + 4*t + t - 31, b*l = t + 19. Suppose l = -z + 33. Does 12 divide z?
True
Is (3/(-6))/((-5)/70) a multiple of 5?
False
Let g(l) = 9*l**2 - 1. Let c be (-1)/((-4 - -1)/(-3)). Does 8 divide g(c)?
True
Suppose 68 = -2*z + 6*z. Is 4 a factor of z?
False
Let g = 40 - -12. Is 8 a factor of g?
False
Suppose 3*c - 2*c = 4. Suppose c*v - 24 - 44 = 0. Does 17 divide v?
True
Suppose 0 = -6*o + o + 10. Suppose -h = 3*l - 6, 10 + 41 = 3*h - o*l. Is h a mu