multiple of 4?
True
Suppose 0*i = -2*i - 5*n + 309, 4*i = -3*n + 611. Is i a multiple of 20?
False
Is 6 a factor of 6/(-27) + 955/45?
False
Suppose k = 4*k + 72. Let m = 21 - -1. Is 16 a factor of k/(m/(-8) - -2)?
True
Suppose -15*m + 20*m = 550. Suppose o - m = -4*o. Is o a multiple of 14?
False
Let n(f) = 3*f**2 - 10*f - 13. Does 12 divide n(-5)?
False
Let q = 50 - 27. Does 10 divide q?
False
Let z be (1 - -1) + (3 - 1). Suppose -z*j + 2*j + 2 = 0. Suppose 25 = x - j. Is x a multiple of 10?
False
Let g = 45 + -28. Let w = -9 + g. Suppose -3*a + w = -7. Is 2 a factor of a?
False
Let o(k) = -26*k**3 + 2*k**2 - 1. Does 43 divide o(-2)?
True
Suppose -7*o + 64 = -3*o. Is 4 a factor of o?
True
Suppose 10*q - 1063 = 1257. Is q a multiple of 26?
False
Let m(v) = -v**3 - 4*v**2 + 4*v + 1. Let u be m(-5). Let x(o) = -o + 9. Let h be x(u). Let y = 9 - h. Is 5 a factor of y?
False
Let a = 122 + 77. Is a a multiple of 26?
False
Suppose -y - 176 = -u, 3*u - 186 - 350 = -5*y. Suppose g = -3*p + 25, -2*p + 7 = -4*g + u. Does 20 divide g?
True
Suppose 0 = -0*d - 3*d + 129. Does 14 divide d?
False
Let j = -113 - -52. Let m = j + 101. Is m a multiple of 20?
True
Suppose 0 = -c - 1, -2 = -f + 3*c - 5*c. Suppose f*u = -2*b + 19 + 7, -5*u = -3*b - 5. Suppose -3*o + 41 = 4*p - 40, b*o - 170 = 5*p. Is 14 a factor of o?
False
Let x(g) = -20*g - 9. Suppose 6 + 79 = 5*f. Let a(p) = -7*p - 3. Let t(v) = f*a(v) - 6*x(v). Is 5 a factor of t(9)?
False
Suppose -2*x = -5*y - 20, -2*y = 3*x - 0*y - 11. Suppose -3*d + x = -4*d. Is 7 a factor of (4 + d)*(-14 - -1)?
False
Let q(t) = -13*t**3 - 2*t**2 - 2*t - 1. Let l(n) = -9*n - 1. Let u be l(-1). Let x be 15/(-12) + 2/u. Does 12 divide q(x)?
True
Suppose -2*p = 3*c + 46, -4*c + 5*p - 24 = -1. Is 5 a factor of (-183)/c + 2/(-8)?
True
Let d(p) = 3*p - 9. Suppose 0*x - 11 = -x. Let z = -5 + x. Is 9 a factor of d(z)?
True
Is 2/(-16) - 353/(-8) a multiple of 26?
False
Let q = 8 - 6. Suppose -q*r = -6 - 6. Suppose 0 = -r*x + 4*x + 6. Is 3 a factor of x?
True
Let x(c) = -c**3 + 2*c**2 - 3*c - 8. Is 20 a factor of x(-4)?
True
Let o = -4 - -10. Does 2 divide o?
True
Suppose 0 = 2*k + 2*k - 8. Suppose -3*b = 4*j - 7 - 8, -k*j - 3*b = -15. Suppose 48 = 4*y - j*y. Does 12 divide y?
True
Let w(b) = -b**2 + 6*b. Let r be w(6). Suppose r = 2*p + 2*p + 16. Is 7 a factor of p/6 + 23/3?
True
Let d = 82 + -52. Is 12 a factor of d?
False
Suppose 0*u = 3*u - 222. Suppose -u = -2*o + 12. Does 18 divide o?
False
Suppose z = -5*x + 141 + 599, 5*z = 2*x - 296. Does 16 divide x?
False
Let a = -56 + 80. Is 21 a factor of a?
False
Suppose -s - 4*w = -209, -7*w + 3*w + 824 = 4*s. Is 22 a factor of s?
False
Suppose m - 62 + 12 = 0. Is m a multiple of 11?
False
Let r be 1/(1/4*2). Let n(p) = -p**2 - 14*p + 1. Let s be n(-13). Suppose r*h = s + 50. Is 16 a factor of h?
True
Suppose -p - 1 = 6. Let y = p + 16. Is y a multiple of 2?
False
Let j = 39 - -2. Let d = -16 + j. Is 13 a factor of d?
False
Suppose 3*t = -v + 221, 5*t - 84 - 359 = -2*v. Is v a multiple of 18?
False
Suppose 2*p - n = 80, -3*n = 4*p - 2*n - 148. Does 19 divide p?
True
Let t be ((-8)/4)/((-2)/14). Suppose 2*h + 2*l + 5 = l, 2*h = -4*l - t. Let x = h - -4. Is x a multiple of 3?
True
Let b(w) = -w**3 + 7*w**2 + w - 1. Let m be b(7). Suppose -m*q + 7 = -29. Does 2 divide q?
True
Let n(x) = -x**2 - 8*x - 6. Let b be n(-6). Let o(c) = -c**3 + 9*c**2 - 12*c - 4. Is o(b) a multiple of 8?
True
Let x = -11 - -16. Let u(c) = 6*c - 6. Is u(x) a multiple of 6?
True
Let z(g) = g**2 - 2*g - 1. Let x be z(-1). Let q = -5 + 13. Suppose -j = -v + 2, x*v - 4*j = j - q. Is v a multiple of 3?
True
Let q = -61 + 133. Does 24 divide q?
True
Let d(j) = j**2 + 7*j - 3. Is d(5) a multiple of 19?
True
Let d(m) = m**2 - m + 24. Does 38 divide d(10)?
True
Let v(p) = p**3 + 16*p**2 + 11*p - 12. Is 28 a factor of v(-14)?
False
Let o be (0 + -316)*(-10)/40. Suppose 4*a - o - 73 = 0. Is 11 a factor of a?
False
Suppose -45*r = -50*r + 125. Is 7 a factor of r?
False
Let s(b) = -4*b + 0*b + 3 - 12. Is 27 a factor of s(-9)?
True
Let s be 1 + (1 + 1 - 0). Suppose -f = -s - 1. Let h = f - 1. Is h a multiple of 2?
False
Let g(z) = -z**3 + z**2 - 3*z - 3. Let c be g(3). Let r = 70 + c. Suppose 6*d - r = d. Is 4 a factor of d?
True
Let v = 30 + -16. Suppose 3*h - 58 = v. Is h a multiple of 12?
True
Let h = -46 + 51. Is h a multiple of 2?
False
Let q be 28/16 - (-1)/4. Suppose q*c + 80 = 4*c. Does 20 divide c?
True
Suppose -4 = -a - a. Suppose a*k = -2*k + 28. Is k a multiple of 5?
False
Let r = 15 - 10. Suppose -3*g - r*p = -42, 0 = -4*g + 3*p + 27. Is g even?
False
Let y be (-244)/(-6) + 1/3. Let f(g) = 7*g + 4. Let z be f(10). Let c = z - y. Is c a multiple of 11?
True
Let g(k) = -9*k - 3. Let z(i) = i**3 - 4*i**2 - 7*i + 7. Let y be z(5). Is 13 a factor of g(y)?
False
Let n(v) = 6*v**3 - 3*v**2 + 4*v - 2. Does 35 divide n(2)?
False
Suppose 2*z = -z + 114. Does 11 divide (z/(-6))/(4/(-12))?
False
Let n be (-4)/14 - (-30)/7. Let m = 43 - 29. Suppose -n*r + 22 = -m. Is 5 a factor of r?
False
Let b = 17 - 30. Suppose -4*g = x - 4*x + 73, 0 = x + 5*g - 56. Let q = x + b. Is q a multiple of 16?
False
Let x = -93 - -198. Is x a multiple of 29?
False
Suppose -3*v - 15 = 78. Let k(o) = 6*o**2 + 3*o + 8. Let z be k(-3). Let q = z + v. Does 11 divide q?
True
Let u be 3 + 2 + 3*-1. Let r be (9/(-15))/(u/(-10)). Does 3 divide (19/4 - r)*4?
False
Suppose 4*s = -3 + 15. Suppose s*l - 18 + 3 = 0. Is l a multiple of 3?
False
Let i(r) = -26*r + 13. Is i(-3) a multiple of 13?
True
Let b = -9 - -37. Is b a multiple of 5?
False
Let w(k) = -k + 15. Let a be w(0). Let x = -11 + a. Is x a multiple of 2?
True
Let h(v) = 3*v + 1 - 3*v + 4 + v. Is h(0) a multiple of 2?
False
Let p = -17 + 10. Does 14 divide ((-3)/(-2))/(p/(-406))?
False
Is 3*-26*((-44)/(-24) + -3) a multiple of 18?
False
Suppose -47 = -3*m - n, -4*n = m - 2*m + 33. Suppose 5*c = 6*j - 4*j - m, 5*j + c = 29. Let d = j - 3. Does 2 divide d?
False
Let b(x) = x**2 + 2*x - 8. Let m(k) = -k**2 - 2*k + 7. Let z(y) = -5*b(y) - 6*m(y). Suppose -55*q + 57*q + 10 = 0. Is z(q) a multiple of 5?
False
Let v be ((-2)/(-3))/(4/(-60)). Let w be ((-4)/v)/((-4)/(-10)). Let u = w - -3. Is 3 a factor of u?
False
Let o be 2/(-3*4/42). Let h = o + -11. Let t = h + 55. Is t a multiple of 16?
False
Let x(o) = -o**3 - 3*o**2 + 5*o + 7. Let b be x(-4). Suppose -u - 3*n + 11 = -6, 4*u = -b*n + 104. Is u a multiple of 23?
False
Let s(h) = 3*h + 9. Is 12 a factor of s(7)?
False
Suppose w = 0, 3*c - 6*c - 2*w = -57. Suppose 3*y + c = 184. Suppose -2*f - 9 = -y. Is f a multiple of 12?
False
Suppose 73 + 92 = 5*y. Is y a multiple of 9?
False
Let m(g) = -26*g - 2. Does 8 divide m(-1)?
True
Does 6 divide 2*9/6 + 9?
True
Let b be 3/6*2*-1. Let d be 0 - 1 - (b + -87). Let q = -62 + d. Is 12 a factor of q?
False
Suppose 4*p = 5*a + 25, 5*a + 16 = -p - 9. Suppose q = -5*d + 84, -3*d + 4*q + 32 = -p*d. Is 5 a factor of d?
False
Let y = 11 - -93. Does 13 divide y?
True
Let p(a) = -a**2 + 1. Let h(d) = d**3 - 6*d**2 + 9*d - 2. Let v(f) = h(f) + 2*p(f). Does 13 divide v(7)?
False
Does 8 divide (-4)/(-10) - (-716)/10?
True
Let g be (-1 - -1) + (-5 - -4). Is (g/1)/(2/(-34)) a multiple of 7?
False
Suppose 5*m - 52 = 3. Suppose -q - 3 = -m. Does 5 divide q?
False
Let t(m) = m + 11. Let o(p) = -7*p + 1. Let q be o(1). Let n be t(q). Suppose 0 = 5*a - 4*a - n. Does 5 divide a?
True
Let g be ((-8)/12)/(1/(-6)). Suppose -2*y - 8 = -4*x, 3*x + 2*y + g = y. Suppose -5*j + 56 = 2*q, x*q - 3*q = -2*j - 46. Is 7 a factor of q?
False
Let b = 0 - -5. Suppose 2*g + 8 = 0, -45 = -2*i - 2*g - b. Is i a multiple of 23?
False
Let d(y) = y**2 - 5*y - 3. Let h be d(6). Suppose -197 = -h*a + 25. Is 15 a factor of a?
False
Let x(m) = 3*m**2 - m - 1. Let t be x(-1). Suppose 2*b = 4*b + r - 60, 2*b = t*r + 52. Is 29 a factor of b?
True
Suppose 3*g - 9 = 3. Suppose g*q - 17 = 7. Does 2 divide q?
True
Suppose -3*f = 2*f - 4*x - 12, -3*f + 6 = -3*x. Let t(i) = -4*i + 6. Let d(r) = -3*r + 5. Let p(o) = f*t(o) - 5*d(o). Is p(-13) a multiple of 6?
True
Suppose -3*q = 5*t - 41, t + 0*q = -4*q - 2. Does 2 divide t?
True
Let k(g) = g + 5. Let q be (10/(-4))/((-3)/(-6)). Let v be k(q). Suppose -2*b = -v*b - 104. Is b a multiple of 20?
False
Let d be (-7 - -4