+ 10. Let c be h(7). Suppose -1 - 5 = c*f. Is 10 a factor of (55 + 3)*f/(-4)?
False
Suppose 38 = -5*o + v, v - 6 = o - 0*v. Let x = o + 11. Does 3 divide x + 4 - 4/(-2)?
True
Let v be 86/11 + (-4)/(-22). Is 11 a factor of (-202)/(-18) - v/36?
True
Let k(a) = -a**3 + a + 8. Let o = -1 + -5. Let c be 2 + o/(1 - -2). Is 4 a factor of k(c)?
True
Suppose 3*y + 380 - 77 = 0. Let c = 25 + y. Is 12 a factor of c/(-6) + 6/(-9)?
True
Suppose 0 = 3*f - 4*h + 19, 0*h - 3*h = 3*f + 54. Let s = f + 22. Let a(b) = -b**2 + 9*b + 8. Is a(s) a multiple of 8?
True
Let k be (-26)/8 - (-6)/(-8). Let f be 2/(-4) + 10/k. Is 4 a factor of 4/f*(-36)/8?
False
Suppose 3*o + 76 + 32 = -2*p, -o = -4*p - 202. Let f = 75 + p. Does 10 divide f?
False
Let s be 1/(-7) - (-6057)/63. Suppose -2*u - 10 = -s. Is u a multiple of 20?
False
Does 34 divide ((-510)/50)/((-2)/20)?
True
Let p = -7 - -99. Suppose -3*u - 14 = -p. Is 11 a factor of u?
False
Is 21 a factor of 52 - (-3)/(-1)*-1?
False
Let t be 23 - (2 - -1)/3. Let x = t + -12. Suppose x = -2*a, 3*l - a - 4*a = 109. Is l a multiple of 14?
True
Let m be 12*((-6)/(-2))/12. Suppose 4*b = 3*u + 9, m*b + 2*u = 3*u + 3. Suppose b = -4*t + 4, 5*h - t - 21 = 18. Is h a multiple of 4?
True
Suppose 2*u = -u + 42. Let q = u - -13. Let h = 41 - q. Does 5 divide h?
False
Let n(x) = 3*x**2 - 6*x + 5. Let k(u) = u**2 + 1. Let z(b) = -4*k(b) + n(b). Let h be z(-7). Is (-3)/((h/20)/3) a multiple of 15?
True
Let t(y) = y**2 - 2*y - 2. Let m(g) = g. Let d be m(-2). Let w be t(d). Let k = 10 - w. Does 4 divide k?
True
Let u be (-4 - -3)*(-1 + 2). Is 31 + u + 2*-1 a multiple of 12?
False
Let z = -5 - -5. Suppose 5*u - 5 = -x, 5*x + z*u - 5*u = 115. Is x a multiple of 10?
True
Let a be ((-3)/1)/(-9)*9. Suppose a*z + z = -32. Let j = -3 - z. Is 2 a factor of j?
False
Suppose 5*s = -6*s + 638. Is s a multiple of 29?
True
Let g = -9 + 9. Suppose -v + 6 - 1 = g. Suppose -j + v*p = -11, 4 + 2 = 2*p. Does 18 divide j?
False
Suppose 0 = -4*k - 4, 5*b = b + 3*k - 9. Let d = 5 + b. Is d even?
True
Is (-1)/5 + (-162)/(-10) a multiple of 8?
True
Let o(n) = -n**3 + 13*n**2 - 7*n - 9. Let i(p) = p**3 - 13*p**2 + 7*p + 8. Let k(s) = 4*i(s) + 5*o(s). Is k(12) a multiple of 13?
False
Let x(f) = 6*f**2 - 3*f. Is x(5) a multiple of 11?
False
Suppose 0*u = -u, 2*t - 5*u + 54 = 0. Let z be 1/(-2) - t/6. Suppose -5*a + 2*a - 4*i + 2 = 0, 2*a + 2*i = z. Does 6 divide a?
True
Suppose -2*f = -0*f - 54. Is f a multiple of 13?
False
Let p = -85 - -186. Does 7 divide p?
False
Let f = 263 - 83. Is 33 a factor of f?
False
Let p(n) = n**2 + n - 12. Is p(4) a multiple of 8?
True
Let u(f) = -f. Let g be u(-8). Suppose g = 2*p - 8. Does 6 divide p?
False
Suppose -b + 2 = -4*b - 5*t, -3*b = 3*t - 6. Suppose b*n - 3*n = 96. Does 19 divide n?
False
Let s(u) = 2*u - 6*u - 4*u**2 - 2*u**2 - u**3 + 7. Let f be s(-5). Suppose 20 = 2*r + o - f*o, 0 = -o. Does 5 divide r?
True
Is 16 a factor of ((-6)/(-4))/((-21)/(-224))?
True
Let c(m) = -5*m - 5. Let f be c(-5). Is 16 a factor of ((-396)/55)/((-3)/f)?
True
Does 14 divide -3 - (-15 - (-3 + 1)/(-1))?
True
Let c(h) = h**3 + 5*h**2 + 5*h + 2. Does 4 divide c(-2)?
True
Let a(n) = 6*n**3 + 2*n**2 - 1. Is 13 a factor of a(2)?
False
Let r = -4 + 6. Suppose -4*s - v = -195, r*v - 111 = -2*s - 3*v. Is s a multiple of 19?
False
Let d(z) = 11*z - 32. Does 9 divide d(16)?
True
Let l(h) = -2*h - 3. Is l(-5) a multiple of 6?
False
Let r = -49 + 30. Let l(v) = -v**3 + 8*v**2 - 8*v + 8. Let h be l(6). Let w = h + r. Is 13 a factor of w?
True
Let g be 14/5 - (-3)/15. Let s(l) = 4*l + 13 - g*l + 0*l. Does 2 divide s(-8)?
False
Let o(h) = 3*h + 8. Let x be o(7). Suppose -14 - x = -b. Let u = -22 + b. Does 17 divide u?
False
Let h = 7 + -10. Let t(s) = 4*s**2 - 3*s + 2. Is t(h) a multiple of 20?
False
Suppose 5*l - 2*t - 346 = 0, -l + 4*t + 6 = -74. Is l a multiple of 17?
True
Let s be 28 + (-3 - -1) + 3. Let z = s + -14. Is z a multiple of 15?
True
Let c(u) = -2*u**2 + 4*u - 2 + 4*u**2 + 4 - 5. Is 22 a factor of c(-5)?
False
Suppose 0 = 5*i - x + 118, -2*i + 3*x - 42 = -0*i. Does 5 divide (-19)/(-4) - 6/i?
True
Suppose 10 = -2*m + 20. Is 2 a factor of m?
False
Suppose -v + 140 = -5*v. Let c = v - -87. Does 24 divide c?
False
Let j(y) = -y. Let i be j(7). Let b(q) = 1. Let u(v) = -7*v - 6. Let d(c) = 4*b(c) + u(c). Does 18 divide d(i)?
False
Suppose 5*n + 288 = 3*r, -3*n = -4*r - 0*n + 384. Is 12 a factor of r?
True
Let p = 32 + 31. Is p a multiple of 21?
True
Suppose 38 + 60 = -2*x. Let p be (-14)/x - (-89)/7. Suppose u + p - 45 = 0. Is 13 a factor of u?
False
Let i = -17 - -24. Let c(w) = 2*w**2 - 8*w + 6. Does 12 divide c(i)?
True
Let r(k) = -3*k - 2. Let y be r(-3). Let f = y + -2. Suppose 28 + 108 = 4*h - f*w, 5*h = w + 149. Is h a multiple of 10?
False
Let l(f) = -2*f + 8. Does 15 divide l(-7)?
False
Let r = 10 + -6. Suppose -3*w + r = -104. Is w a multiple of 14?
False
Let z = 3 + 2. Suppose 97 = -z*r + 27. Let y = -4 - r. Is y a multiple of 5?
True
Suppose 4*y = h + 20, 2*y + 2 = 3*h + 22. Let p = 4 + 0. Suppose 2*z + p*b - y = 0, -5*z - 3*b = -3*z - 7. Is 3 a factor of z?
False
Suppose -7*f = -f - 48. Is (-13 + 14)/(2/f) a multiple of 4?
True
Let o = 26 - 37. Let d = o - -19. Is d a multiple of 4?
True
Let s(u) = -u**2 - 7*u - 4. Let b be s(-4). Suppose -b + 0 = -4*d. Suppose -5*j - 28 = -4*n - 3*j, 3*n + d*j = 21. Is 7 a factor of n?
True
Suppose 5*v - 80 = 5*m, -4*v - 3*m - 4 = -75. Does 3 divide v?
False
Let j be (-5 + -1)*1/2. Let y(w) = 3*w**3 + w**2 + 3*w + 7. Let o(z) = 2*z**3 + z**2 + 3*z + 6. Let c(m) = 4*o(m) - 3*y(m). Is c(j) a multiple of 15?
True
Suppose i = 12 + 27. Is i a multiple of 13?
True
Let j be 2 + (3 - 5 - -18). Does 6 divide (-2)/(1 + (-21)/j)?
True
Is (-1)/(((15/(-2))/(-5))/(-27)) a multiple of 14?
False
Suppose -2*n = n. Suppose 0 = 3*u + 3*z - 62 + 23, -4*u - 3*z + 57 = n. Is 18 a factor of u?
True
Let j be (-2)/(-5) + 14/(-35). Suppose 16 = 4*x - j*x, 0 = -a - x + 17. Is a a multiple of 7?
False
Let k be (0 - (6 + -1))*-1. Is (-4)/k*(-75)/10 even?
True
Suppose 0 = -3*a + 12, 5*j = -6*a + 2*a - 109. Let c be 5/j + 31/5. Suppose 0 = m - 4*m + c. Does 2 divide m?
True
Suppose 5*z - 8 = -4*i, -3 - 16 = -i + 3*z. Let w = -3 + i. Suppose w*x - 76 = 4*l, x - 21 = -2*l + 7. Is x a multiple of 11?
True
Let y = 100 - -53. Suppose -55 = 2*t - y. Suppose t = 3*a + 2*h - h, 4*a = -5*h + 58. Does 17 divide a?
True
Let n(h) = 9*h**2 + 4*h**2 - h**2 - 2*h**2 + 2*h. Does 12 divide n(-2)?
True
Let c(l) = 25*l - 4. Does 3 divide c(1)?
True
Let d be -5 - -3 - (-1 + 94). Let z = d + 166. Is z a multiple of 16?
False
Let a(r) = -r - 3. Let g be a(-5). Suppose g*j - 77 = 1. Is 22 a factor of j?
False
Suppose 10 = 4*j - 3*v - 13, 0 = 3*v + 15. Let f be 0 + 0*(3 + -2). Suppose -2*r - 3*x + 52 = f, -8*r - j*x + 130 = -3*r. Is r a multiple of 13?
True
Let m = 39 + -21. Is 6 a factor of m?
True
Suppose 25 = -4*z - 67. Let o = z + 41. Is o a multiple of 9?
True
Suppose -y = 2*y - 162. Is 23 a factor of y?
False
Let d = 73 + 135. Suppose -675 = -3*y + 4*m + m, -y - 4*m = -d. Let p = y + -147. Does 25 divide p?
False
Let j = -29 - -41. Is 3 a factor of j?
True
Let c(w) = w**3 + 5*w**2 + 3*w - 4. Let q = -15 - -10. Let o(t) = -t**2 - 3*t + 7. Let j be o(q). Does 4 divide c(j)?
False
Let s be (24/(-15))/(6/(-15)). Suppose 3*w = x - 2, s*w + 11 = -x + 4*x. Is 5 a factor of x?
True
Suppose 3*f = -4 + 22. Is f a multiple of 2?
True
Let b = -106 - -141. Is b a multiple of 5?
True
Let k(t) = 12*t + 1. Let g(v) = -v**3 + 6*v**2 + 9*v - 10. Let l be g(7). Let r be k(l). Let j = -7 + r. Is 18 a factor of j?
False
Suppose 5*c - 28 = 2*d, 24 = 2*c - 0*d - 4*d. Let r = c - -3. Does 7 divide r?
True
Let t = -23 + 27. Is (t/2)/((-9)/(-99)) a multiple of 8?
False
Suppose 5*f = 3*f + 32. Let r = f - -7. Does 13 divide r?
False
Suppose -3*s + 6*s + 12 = 0. Let k(w) = -2*w**3 - 2*w**2 - 5*w - 4. Is k(s) a multiple of 30?
False
Let a be (3 + (-2 - -1))/1. Suppose 4*x + 5*l = a*x + 42, -5*x - 5*l = -75. Is 3 a factor of x?
False
Suppose -192 = -4*q - 32. Suppose 3*g = -2*f - 2*f + 60, -5*f + 5*g + q = 0. Is 12*f/9 - 1 a multiple of 7?
False
Suppose 0 = 11*q - 8*q - 156. Is q a multiple of 3?
False
Let v = 9 + -9. Suppose 5*u - 50 - 15 = v. Is u a multiple of 13?
True
L