 Is 10 a factor of 1/o + 63/6?
True
Suppose 1 = -g - 1. Let n be (-4)/(-5 - (-5 - g)). Suppose 0 = -h - x + 5, x = -n*h - 0*x + 11. Is h even?
True
Suppose -5*p + 16 = -p. Suppose -p*z + 58 = -14. Is 9 a factor of z?
True
Let h = 242 - -91. Does 9 divide h/15 - 4/20?
False
Let x = -15 - -25. Suppose r = 8 + x. Is 9 a factor of r?
True
Let r(f) = -3*f**2 + 7 - 2*f + 3 - 3. Let p be r(-5). Let k = -33 - p. Is k a multiple of 10?
False
Suppose -2 = 2*f + 3*d, -3*f + 10 = f - d. Let j(l) = 3 - 4*l - l - f. Does 12 divide j(-7)?
True
Is 2 a factor of 7 - (-4)/16*0?
False
Let p be ((-44)/(-77))/((-2)/(-7)). Suppose -p*w - 36 = -3*w. Does 18 divide w?
True
Let g be (0/1)/(7 - 8). Let p = 0 + g. Suppose 5*x - 5*m - 145 = p, 2*m = x - m - 23. Is 9 a factor of x?
False
Let k = 16 - -54. Is 14 a factor of k?
True
Let r(o) = 3*o**2 - o - 8. Let k be r(-4). Let s = -17 + k. Is s a multiple of 13?
False
Suppose -25 = -7*p + 2*p. Suppose 0 = p*y - 5*v + 10, 5*y + 50 = 5*v - 10*v. Let m(q) = q**2 + 4*q - 6. Is m(y) a multiple of 4?
False
Let p(x) = -x + 11. Is 15 a factor of p(-15)?
False
Suppose -4*u = -5*u + 6. Suppose 2*c - 6*c = -3*w - 15, -2*w - u = -2*c. Is 3 a factor of 3 - (-4 - -2 - c)?
False
Is 27 a factor of ((24/(-15))/2)/(4/(-230))?
False
Let o = 229 - 80. Does 18 divide o?
False
Let q be (8/(-12))/(2/6). Let o be (20/q)/(-1 + -1). Does 15 divide 152/o - (-2)/(-5)?
True
Let r = 221 + 128. Let u = -244 + r. Suppose u = 5*i + 4*n, n - 63 = -3*i - 0*i. Does 9 divide i?
False
Let b(t) = t + 9. Suppose 2*w - 3*d + 11 = 0, -19 = -2*w - 0*d - 3*d. Suppose -w*o = 2*p, 5*o = -3*p + 5*p. Is 9 a factor of b(o)?
True
Let g(q) = 2*q**3 - 6*q**2 + 3. Is 5 a factor of g(4)?
True
Suppose y = -m + 81, 3*m - m + 238 = 3*y. Suppose -5*a - 170 = -3*u, a - 24 + y = u. Is u a multiple of 11?
True
Let d be 75/10*516/15. Suppose 5*y + 2*b - d = 0, -215 = -4*y - 3*b - 10. Is 16 a factor of y?
False
Let s = -20 - -50. Let j = 26 + -20. Let c = s - j. Does 12 divide c?
True
Suppose -m = -71 - 13. Is m a multiple of 12?
True
Suppose -2*r - 1 = -17. Is 8 a factor of r?
True
Let k(v) = v**2 + 15*v. Is k(8) a multiple of 25?
False
Let y = 10 + -7. Suppose -2*t - u - 3 = 0, t + 0*u = 5*u - 18. Is 2 + y/(t/(-8)) a multiple of 10?
True
Let l = 2 - -2. Suppose -5*x + 210 = -3*i, -4*i + 42 = l*x - 3*x. Is 14 a factor of x?
True
Suppose -4*p = y + 2*y + 31, -p - 3*y = 19. Let z be (-3)/3*4/2. Let c = z - p. Is 2 a factor of c?
True
Suppose 0 = -2*j + 4*h + 296, 2*j + 4*h - 782 = -3*j. Does 14 divide j?
True
Is (-2 + 28/12)*21 even?
False
Let u = -2 + 8. Suppose -u*v = -v - 200. Is 4 a factor of 6/4*v/15?
True
Let p be (-3)/6 - 10/(-4). Suppose -p*x = -x + 26. Let c = 3 - x. Is 13 a factor of c?
False
Let g = 5 - 5. Let q be (1 - g) + (2 - -1). Suppose -3*i + q*i = 27. Is 17 a factor of i?
False
Let b = -87 + 20. Let u(l) = -25*l + 3. Let c be u(-4). Let s = b + c. Is s a multiple of 14?
False
Suppose 4*i - 120 = -0*o + 4*o, i - 4*o = 36. Is i a multiple of 7?
True
Suppose -z - 4*m = -14, -3*m + 11 = z + 2*m. Let p(g) = -g + 9. Let b be p(6). Suppose -z = b*c - 68. Is 7 a factor of c?
True
Let y(h) = 6*h**2 + h - 3. Is 8 a factor of y(-2)?
False
Let i(q) = 18*q + 2. Let t = -3 - -5. Does 16 divide i(t)?
False
Let b = 8 + -10. Is 4 a factor of -1 - 1 - 28/b?
True
Let g(v) = -v**3 + 9*v**2 - 7*v - 7. Let u = -9 - -17. Let k be g(u). Suppose 2*i = k + 17. Is 9 a factor of i?
True
Let n(z) = -z**2 - 2*z + 6. Let k be n(-7). Let d = 5 - k. Is d a multiple of 17?
True
Suppose -594 = -6*k + 534. Is 18 a factor of k?
False
Suppose -119 = -5*n - 3*p, 2*p + 0 = -4. Is 25 a factor of n?
True
Suppose 0*a - 4*a = -592. Let m = a - 94. Is 13 a factor of m/4 + 1/(-2)?
True
Suppose -5*r = 3*t + 11, -3*t + 2*r = -2*r - 25. Suppose -192 = -3*p - t*g, -2*p - g + 3*g = -116. Does 17 divide p?
False
Let q = 5 - -141. Does 7 divide q?
False
Suppose -1140 = u - 7*u. Is 32 a factor of u?
False
Let x(w) = -w**2 - 10*w - 7. Let d be x(-9). Suppose 0 = d*c - 1 - 23. Does 12 divide c?
True
Suppose 2*h = 2*d + 12, -3*h + d = 2*h - 14. Suppose 0 = 3*g - h*g - 4. Is 4 a factor of g?
True
Let a be (-4)/(-2) - 6/(-3). Suppose -a*q + 0*q + 396 = 0. Is q/(-6)*4/(-6) a multiple of 6?
False
Let a be (-2)/(8/2)*0. Suppose -2*l - h + 3*h + 38 = a, 0 = -4*l + h + 67. Does 7 divide l?
False
Suppose -v - 96 = -5*v. Is v a multiple of 23?
False
Let a = 339 - 195. Does 12 divide a?
True
Let k = 87 + -36. Suppose -3*x + k + 48 = 0. Does 13 divide x?
False
Let i(k) = 2*k**2 + 7*k + 6. Let v be i(-4). Suppose j - v = 4. Does 7 divide j?
True
Let r = -14 + 15. Is 7 a factor of (-3)/(r*(-2)/6)?
False
Is 45 a factor of (106/(-8))/((-1)/28)?
False
Suppose f = 10 - 8. Let g(r) = r + 6. Let i be g(-3). Suppose -2*j - f = -i*j. Does 2 divide j?
True
Let i(n) = 2*n**2 + 2*n + 19. Let o(a) = -a**2 - a - 20. Let k(p) = -2*i(p) - 3*o(p). Is 17 a factor of k(0)?
False
Suppose -2*i = m - 37, 4*m = -3*i - 0*i + 58. Is i a multiple of 18?
True
Does 3 divide (20/(-3))/((-2)/3)?
False
Let p be 7*(17/(-7) - -3). Suppose p = l - 12. Is 8 a factor of l?
True
Suppose 3*s = 7 + 2. Suppose 5*z = -s*b + 2*z - 9, 0 = -z - 3. Let c(v) = v + 22. Is c(b) a multiple of 11?
True
Let y(q) = 65*q**2 + 2*q + 1. Suppose -2*k + 5 = 3*k - 2*j, 4*j + 20 = 0. Let r be y(k). Suppose 0 = -2*s - 2*s + r. Does 8 divide s?
True
Let l = 3 + -6. Let v = l - -22. Is v a multiple of 6?
False
Let a(y) = -8*y - 3. Is a(-4) a multiple of 11?
False
Let d be (6/(-9))/((-4)/(-24)). Let i(q) = q**3 + 5*q**2 + 2*q + 5. Is i(d) a multiple of 13?
True
Let g(l) = -l**3 + 6*l**2. Let n be g(6). Suppose 0*p - 40 = -p + 5*h, 3*p + 3*h - 102 = n. Is 18 a factor of p?
False
Suppose 5*k = -x + 6*x - 45, 2*x = k + 16. Suppose -x*b = -11*b + 44. Does 11 divide b?
True
Suppose -g - 1832 = 2*f, -3*g - 61 + 1909 = -2*f. Is 10 a factor of f/(-24) + 1/(-4)?
False
Let q be 14/(-2 + (-2 - -2)). Let g = 7 + q. Suppose 4*x + w - 39 = g, -3*w + 25 = -8*w. Is x a multiple of 11?
True
Let l(j) = 21*j + 42. Is 14 a factor of l(10)?
True
Let z(p) = p**3 - 9*p**2 + 3*p + 4. Is 7 a factor of z(9)?
False
Let a = -12 + 17. Is (a - 9)/(2/(-13)) a multiple of 13?
True
Suppose 0 = 5*j + 15, -j = -2*s + 3*j + 20. Let o(a) = -a**3 + 6*a**2 + 4. Is o(s) a multiple of 12?
True
Suppose 4*d = 12, -2*d = -3*i + d - 45. Let p = 20 + i. Does 3 divide p?
False
Let c(y) = -1 - 2*y**2 - y**3 - 2*y**2 + 3*y + 3*y**2. Let b be c(-3). Does 13 divide 3/((1 - 0)/b)?
False
Suppose 4*s + 24 = 5*s. Suppose s = 3*w + 5*p - 73, -5*w + 166 = 4*p. Does 17 divide w?
True
Let g(h) = 2*h + 6. Is 2 a factor of g(-2)?
True
Suppose -3 = l + 4*j - 1, 0 = -5*l - 4*j + 22. Is 6 a factor of l?
True
Let l = 6 - 20. Let h = l + 24. Is 5 a factor of h?
True
Suppose 2*d + 5*m = 331, 4*d - 676 = 3*m + m. Does 24 divide d?
True
Let z(d) = -8*d + 24. Is 6 a factor of z(0)?
True
Let l(u) = 9*u**2 + 4*u + 7. Is 22 a factor of l(-2)?
False
Let m(z) = -z + 5. Let p(a) = 3*a - 9. Let g = 0 + -3. Let n(t) = g*p(t) - 5*m(t). Does 8 divide n(-4)?
False
Let q(s) = -s**3 + 6*s**2 - s + 7. Let p be q(6). Is -1 - (-36 - p - 1) a multiple of 15?
False
Let c = 9 + -25. Let k be (-2)/(-10) + c/(-20). Is 6 a factor of (k + 6)*(-12)/(-14)?
True
Let q(j) = -j**3 + 4*j**2 + 3*j. Let y be q(4). Let d(p) = -3 + 4 - y*p + 9*p. Is d(-9) a multiple of 14?
True
Let g(c) = -c**2 + 5*c + 11. Let f(d) = -d - 1. Let z(w) = -3*f(w) - g(w). Let a = -15 + 23. Does 26 divide z(a)?
False
Let h = -25 + 40. Let s = h + -9. Suppose 0 = n + 2*n - s. Is n even?
True
Let y(q) = 10*q - 10. Is 10 a factor of y(12)?
True
Suppose -2*w + 16 = -24. Is w a multiple of 7?
False
Let z be (-90)/(-48) + 2/16. Suppose z*j + j = 36. Is 4 a factor of j?
True
Let j(r) = -2*r**3 + 8*r**2 + 8*r - 1. Let d(k) = -k**3 + 8*k**2 + 7*k - 1. Let y(s) = 3*d(s) - 2*j(s). Let z(a) = -a - 9. Let o be z(-4). Does 16 divide y(o)?
False
Let j = 23 - 9. Let s = 2 - j. Is 11 a factor of 12*(27/s)/(-1)?
False
Suppose -3*v + 5*j + 180 = 0, v - 4*j - 60 = -3*j. Is v a multiple of 15?
True
Let k(a) = -8*a. Suppose 6 - 10 = 2*s. Is k(s) a multiple of 16?
True
Let n = 368 - 188. Does 39 divide n?
False
Suppose 4*x + 10 = 54. Is x a multiple of 2?
False
Let h = 1 - -1. Suppose 5*y - 3 = -2*p + 73, 2*y + 48 = h*p. Is 17 a factor