 10?
False
Suppose 2*g + 0*g = -o - 6, -3*g = -5*o + 9. Let k = g + 7. Is 4 a factor of k?
True
Suppose -f - f - 2*b + 36 = 0, 2*b = -5*f + 87. Let c = -6 + f. Does 7 divide c?
False
Suppose 0 = -i + 5. Let q be 2/11 - (-4912)/88. Suppose i*l = l + q. Does 7 divide l?
True
Suppose 2*q = 3*q - 22. Suppose 0*y = 3*c + 2*y - 34, -c + 2*y + q = 0. Is c a multiple of 14?
True
Let p = 25 + 33. Let i = -28 + p. Does 13 divide i?
False
Let g = -56 - -22. Let s = -18 - g. Is 8/(-3)*(-60)/s a multiple of 5?
True
Suppose -3*r = y - 523, 0 = 3*r - 4*y + 130 - 678. Suppose -r = 3*x - 29. Let h = 85 + x. Is 12 a factor of h?
True
Let s(c) = c**3 + 6*c**2 + 4*c + 1. Let m be s(-5). Let w = 21 - m. Does 4 divide w?
False
Let u(v) = -8*v**3 + v**2 - v - 1. Let p be u(-1). Let c be (2 + -1)*(4 - p). Let l = -3 - c. Does 2 divide l?
True
Suppose t + 3 - 5 = 0. Let h = t - -14. Is h a multiple of 13?
False
Suppose 3*n = n. Suppose 5*r = -n*r + 230. Does 23 divide r?
True
Suppose 0 = 5*m - 5*t - 435, m - 8*t - 85 = -5*t. Is 4 a factor of m?
True
Let g = 1 + -1. Let z = -6 + 8. Suppose z*o + q - 14 = 18, 2*q - 8 = g. Does 6 divide o?
False
Suppose 4*t = 66 + 6. Is t even?
True
Let q(p) = 32*p - 4. Let l be q(2). Suppose x - 3*x = -l. Does 30 divide x?
True
Let j(w) = -5*w + 2*w + 0*w - 4. Let i be j(-4). Let s = -2 + i. Does 6 divide s?
True
Let g = 76 + -21. Is 22 a factor of g?
False
Let a(m) = 19*m**3 + 2*m**2 - 2*m + 1. Does 7 divide a(1)?
False
Suppose 5*o - 3 - 17 = 0. Let j be (-34)/o - (-2)/(-4). Let t = 14 - j. Is t a multiple of 18?
False
Is 18 a factor of 4/(-1) + -2 + 124 + 1?
False
Suppose 0 = -2*h + 22 + 26. Does 3 divide h?
True
Suppose -5*f = -5*k + 35, -4*k + 22 = -5*f - 7. Does 12 divide 0/2 + 144/k?
True
Is 7 a factor of (3 + 57/9)*(-30)/(-5)?
True
Suppose 0 = -3*w + 7*w. Suppose w = -3*p - 2*u + 4*u - 6, 2*p - u + 4 = 0. Does 10 divide (p/2)/((-2)/20)?
True
Let q(i) = -i**3 - 2*i**2 + 3*i + 4. Is q(-3) a multiple of 4?
True
Suppose 7*i + s = 4*i + 160, 3*s - 12 = 0. Is i a multiple of 13?
True
Let u be 3/(-9) + 20/6. Suppose -2*t + u*t - 24 = 0. Is t a multiple of 12?
True
Let d(w) = w**2 + 9*w + 1. Let t(h) = 2*h**2 + 2*h - 2. Let u be t(-2). Let q(i) = 4*i**2 + 36*i + 5. Let o(f) = u*q(f) - 9*d(f). Is 9 a factor of o(-4)?
False
Let m(s) = 2*s + 6. Let j(v) = 3*v + 5. Let x(t) = 4*j(t) - 5*m(t). Let z = -19 + 27. Is 3 a factor of x(z)?
True
Let h(f) = f**3 + 7*f**2 - 6*f - 2. Let x be h(-8). Let q = 9 + 33. Let k = q + x. Is 8 a factor of k?
True
Suppose 3*d + 2*d = 0. Is 5 a factor of (d + -26)/(-1 + -1)?
False
Let h be 13/3 + (-4)/(-6). Suppose -3*w - s + 77 = s, 0 = -4*w + h*s + 72. Is 10 a factor of w?
False
Let o be (0 + -3)*14/(-7). Suppose 3*p = 27 - o. Is 3 a factor of p?
False
Suppose 0*q - 2*q = -5*g - 27, 0 = -2*q - 5*g + 37. Does 8 divide q?
True
Let f(b) = -2*b**3 - 5*b**2 + b + 4. Let s = -18 - -14. Is f(s) a multiple of 22?
False
Suppose -4*k - a + 7 + 9 = 0, 4*k - 5*a + 8 = 0. Let b(f) = -f**2 + 9*f - 9. Let o be b(7). Suppose k*v = o*s + 34, -v + s - 3 = -13. Does 8 divide v?
True
Let j(t) = t**3 - 6*t**2 - 10*t + 4. Let d be j(7). Does 5 divide (7 + d)/(1*-1)?
True
Let t(o) = 8*o + 3. Is t(6) a multiple of 21?
False
Let x(j) = 11*j - 5. Let m(d) = -6*d + 2. Let i(g) = -5*m(g) - 2*x(g). Let f = 4 + 0. Is 11 a factor of i(f)?
False
Suppose 3*d + 9 - 27 = 0. Let j(b) = b**3 - 6*b**2 + 3. Is 3 a factor of j(d)?
True
Suppose j + 2*j = -15. Let l be -4*(-6)/(-8)*j. Suppose 0 = 2*x - a - 17, -5*a + 50 = 5*x + l. Is x a multiple of 3?
False
Let w = 24 - 14. Suppose -4*x + 4 = 5*g, -4*g - 56 = -5*x - w. Does 6 divide x?
True
Suppose -6*l = -4*l + 92. Let t = l - -65. Does 11 divide t?
False
Let h = 2 - -5. Suppose -h = -3*b + 5. Is 9 a factor of (b/(-3))/((-6)/81)?
True
Let x = 3 + 1. Let c(d) = -d + 20. Let h be c(17). Suppose -3*f = 5*a - 83, -4*f = h*a - x*a - 80. Does 7 divide f?
True
Let t(n) = -n + 2. Let u be t(6). Let q = 46 + u. Does 23 divide q?
False
Suppose -4*r - r + 10 = 0. Suppose -r*q = -4*q + 30. Is 6 a factor of q?
False
Let f = -15 - -58. Suppose 2*r - f = 15. Let b = -12 + r. Is b a multiple of 15?
False
Is ((-12)/8)/((-364)/120 - -3) a multiple of 9?
True
Suppose 3*z + 3 = w - 11, -4*z - 2*w = 12. Let v(p) = -p**2 - 4*p + 4. Let k be v(z). Suppose -k*f + 10*y - 5*y = -21, -y = 2*f - 7. Does 4 divide f?
True
Let f(o) = o**3 - 15*o**2 + 6*o + 5. Is f(15) a multiple of 9?
False
Suppose 0 = -6*y + y + 100. Is y a multiple of 10?
True
Let q(x) = -2*x + 4*x - x**3 - 2*x**2 + x**2. Let g be q(2). Let s = g + 11. Does 3 divide s?
True
Suppose 4*w = -0*d + 3*d + 28, 5*d + 32 = 3*w. Let m(j) = -j**3 + 4*j**2 + 4*j + 1. Let o(a) = -a + 1. Let r(c) = m(c) - o(c). Is r(w) a multiple of 20?
True
Is 10 a factor of 135*10/15*1?
True
Let d = 290 + -181. Does 28 divide d?
False
Let v = 54 + -26. Let h = v - 12. Suppose -2*b + 0*b = -h. Is 4 a factor of b?
True
Let t(u) = -75*u - 5. Is t(-3) a multiple of 44?
True
Is 2 a factor of (18/15*-1)/((-6)/40)?
True
Suppose 0*p - 2*j - 26 = -2*p, 0 = 2*p - 4*j - 36. Let b = p - 5. Is 2 a factor of b?
False
Suppose -2*r + 20 + 130 = 0. Is r a multiple of 10?
False
Suppose 4*v - 16 = 4*i, 5 = -3*i - 3*v - v. Suppose l = -2*p - 1, -2*l - p + 2 - 7 = 0. Is 11 a factor of i + l/(-3) + 44?
False
Let l = 31 - 15. Let y = l - -7. Is y a multiple of 11?
False
Let d(m) = m**3 + 6*m**2 - 6. Suppose -2*g + 4 = 0, -3*g - 5 = 2*w - 1. Does 13 divide d(w)?
False
Suppose -5*x = -0*x - 595. Suppose -x = -4*w + 217. Let l = w + -52. Does 18 divide l?
False
Suppose 0 = -3*y - 3*g - 9, 3*y - 2*g - 5 = 1. Suppose y*f = -f - 4. Let q(n) = -3*n - 4. Is q(f) a multiple of 5?
False
Let t = 85 + -24. Suppose 4*m = t - 1. Is 9 a factor of m?
False
Let q(c) = c + 2. Let k be q(10). Let n be 1/(-3) + (-116)/k. Let i = -1 - n. Is i a multiple of 3?
True
Let f be (2 + 3/(-6))*26. Let o = f - 24. Let s = o - 9. Is 6 a factor of s?
True
Let n be 1/(0 - 1/1). Let k be (780/70)/(n/(-7)). Suppose -39 = -2*w - 3*x - 7, 3*w - k = 3*x. Is 11 a factor of w?
True
Suppose -5*a = 3*o - 72 - 3, 0 = a - 3*o + 3. Let x = -18 + a. Let d(q) = q**2 + 2*q + 2. Is d(x) a multiple of 13?
True
Is 40 a factor of ((-192)/(-36))/((-1)/((-114)/4))?
False
Let z be 6/(-15) - 84/(-10). Is 2/z - (-67)/4 a multiple of 17?
True
Let y(g) = g**3 + 8*g**2 + 4*g + 3. Suppose -4*m = m + f + 34, 0 = 2*m - f + 15. Does 24 divide y(m)?
True
Let f(p) = p**2 - p + 5. Let r be f(0). Suppose 210 + 40 = r*q. Is q a multiple of 24?
False
Suppose -h + 5*c - 38 = -2*h, h = c + 20. Is 18 a factor of h?
False
Let j = 12 + 96. Is 18 a factor of j?
True
Let v(n) = -n**3 + 6*n**2 + 8*n + 8. Let i(y) = 3*y**2 - 4*y + 3. Let d be i(2). Is 4 a factor of v(d)?
False
Let x(q) = -2*q + 1. Let w be x(-5). Let d = -12 - -39. Let l = d - w. Is 14 a factor of l?
False
Suppose q + 3 - 6 = 0. Suppose 3*u = -6*p + 3*p + q, p - 4*u = 16. Suppose -n = 5*t - 2*n - 245, 3*n = -p*t + 196. Does 19 divide t?
False
Suppose -17 = 2*q + 5. Let t = 45 - 23. Let i = q + t. Is 5 a factor of i?
False
Let x = -9 + 13. Suppose -g + 4*i = -42, 0*g - x*i - 86 = -3*g. Does 11 divide g?
True
Let w(s) = s**2 + 1. Let f be (2 - -2)*6/(-4). Let k = 5 + f. Is w(k) even?
True
Let x be (-5)/2 + 3/6. Is 12 a factor of ((-2)/x - -25) + 2?
False
Let t(g) = 2*g - 8. Let r be t(6). Suppose -3*m - v = -0*m - 161, v = -r*m + 216. Suppose y = -y - 6, 5*y = 5*f - m. Is 6 a factor of f?
False
Let b(g) = -g**2 + 5 - 3 + 3 + 7*g. Let q = 20 + -14. Does 9 divide b(q)?
False
Let t(r) = -6*r**2 - 6*r - 14. Let i(d) = -7*d**2 - 5*d - 15. Let o(s) = 4*i(s) - 5*t(s). Is o(-7) a multiple of 19?
True
Is (2 - 9/(-6))*8 a multiple of 23?
False
Let g(o) = 8*o**2 + 2*o - 3. Does 25 divide g(3)?
True
Let u = 16 + -7. Let z = u + -6. Is 2 a factor of z?
False
Let l(s) = -s**3 + 5*s**2 + s - 2. Let z be l(5). Let k(n) = -n**3 + 0*n - 3*n**2 + 7*n + 0*n**z - 3 + 1. Is 13 a factor of k(-5)?
True
Let b(n) = -n**3 + n**2. Let a be b(2). Let p be (2/(-4))/(1/(-6)). Let f = p - a. Does 7 divide f?
True
Let n = 10 + -20. Let j = n + 50. Is j a multiple of 20?
True
Suppose 2 = h + 5*u - 3, -2*u + 2 = 0. Suppose h = -4*y + y + 9. Is y a multiple of 3?
True
Let k = 85 + 0. Is k a multiple of 6?
False
Is 11 a factor of 6*33*(-4)/(-18)?
True
Let 