 = 0. Is c(o) a multiple of 10?
True
Let y(d) = d - 3. Let z be y(6). Is 68/6*z/2 a multiple of 6?
False
Suppose 5*y - 3*j - 44 = -0*j, 3*y + 2*j = 15. Is 7 a factor of y?
True
Let u be 0 + -1 - (1 + 1). Is 7 a factor of 3/(1*u) + 16?
False
Suppose -4*m + 99 + 81 = 0. Does 15 divide m?
True
Suppose -2*l = -5*b + 71, -5*b + 71 = -l - 2. Suppose -2*s = h + 3*s - 45, 3*s - b = 0. Does 7 divide h?
False
Let s(i) = -i**2 - 7*i + 2. Is s(-5) a multiple of 2?
True
Is 19 a factor of 1426/(-115)*(0 + 5/(-2))?
False
Let m be 0 - -3*21/(-9). Let d(k) = 3*k**3 + 7*k**2 - k + 3. Let f(n) = 4*n**3 + 7*n**2 + 4. Let v(j) = 3*d(j) - 2*f(j). Does 11 divide v(m)?
True
Let g(b) = -b**3 + 7*b**2 + 7*b + 4. Is 11 a factor of g(7)?
False
Let o = 17 - 29. Let u = 7 - o. Is 4 a factor of u?
False
Suppose -14*g + 1141 + 133 = 0. Is 6 a factor of g?
False
Let f = 16 + -6. Let x = 0 + f. Does 6 divide x?
False
Suppose 1841 = 10*f + 221. Is 18 a factor of f?
True
Let o(h) = 5*h**2 + 3*h - 3. Is o(-3) a multiple of 11?
True
Suppose -5*y - 5*t + 40 = 0, 3*t = -4*y + 2*t + 47. Is y a multiple of 5?
False
Let f(r) = 2*r + 3. Let i = 8 - 15. Let j be f(i). Let z = 39 + j. Does 14 divide z?
True
Let w be (-424)/10 + 9/(-15). Let b = w + 80. Is 17 a factor of b?
False
Is (6 - 3) + (-20)/(-1) a multiple of 7?
False
Suppose -j = 14 - 17. Suppose -b - b = 2*z - 30, -3*b = -j*z - 15. Does 3 divide b?
False
Let u(h) = h**2 + 3*h - 2. Let g be u(-4). Let n(x) = 11*x**2 - 9*x + 7*x - 1 - 3*x**g. Does 6 divide n(-1)?
False
Let x be -2*2/4 - -6. Suppose 2*v + 1 - x = 0. Is 2 a factor of v?
True
Is 3 a factor of (71/5 - (-3)/15)*5?
True
Does 21 divide 24 - 6/(4 + -2)?
True
Let t = 27 + 7. Is t a multiple of 17?
True
Let u = 1 + 1. Suppose 0*f = -u*b + 5*f - 4, b - 3*f = -4. Does 4 divide b?
True
Suppose -2*l - 5*x = -433, l - 3*x - 221 = -7*x. Is l a multiple of 13?
False
Let r(h) = 2*h + 12. Let s be r(9). Let n = -14 + s. Let m = n - 8. Is 4 a factor of m?
True
Let x be (3 + 0)/(-3)*3. Let m = x + 3. Suppose -4*p + 11 + 57 = m. Is 8 a factor of p?
False
Suppose 20 = 6*b - b. Suppose -b*y + y + 3 = 0. Is 4 a factor of 0 + (y - 10/(-1))?
False
Let b(y) = -y**2 + 9*y - 7. Does 2 divide b(6)?
False
Let l(p) = p**2 - 4*p. Let x be l(5). Suppose -6 - 64 = -x*c. Does 14 divide c?
True
Let u = 4 - -5. Let n = u - 13. Is (-3 + 1)/(n/34) a multiple of 17?
True
Let n(d) = -12*d - 9. Is 34 a factor of n(-6)?
False
Let l = -41 - -57. Is 4 a factor of l?
True
Is 15 a factor of (-2)/(-7) - 374/(-14)?
False
Let q(p) = -1. Let k(x) = x + 3. Let h(g) = k(g) + 2*q(g). Is h(6) a multiple of 3?
False
Let c(f) = f - 3. Let g be c(7). Suppose 2*w = -w + 12, 232 = g*l - 4*w. Does 19 divide l?
False
Let v = -1 + 1. Suppose 0*x - x = v. Suppose 0*c + 1 = -c, -j + 2*c + 9 = x. Does 5 divide j?
False
Let c = -26 + 35. Does 4 divide c?
False
Let b = 164 + -80. Does 31 divide b?
False
Let b(x) = -x + 13. Let v be b(7). Let s = 14 - v. Does 3 divide s?
False
Suppose 3*f = f + 10. Suppose -2*d + f*d + 8 = -5*s, 24 = 2*d - 4*s. Suppose d*p - 21 = 27. Is p a multiple of 5?
False
Suppose -4*d + m + 116 = 0, -5*d + m + 144 = -0*m. Let v(l) = -2*l - 3. Let c be v(-2). Suppose -d = -f - c. Is 10 a factor of f?
False
Let j be -6*((-1)/(-2) - 2). Suppose -10 = -j*a + 4*a. Suppose 4*i + a*t - 2 + 0 = 0, i = -t - 2. Does 3 divide i?
True
Is 20*(-2)/(-4)*20 a multiple of 40?
True
Let a(p) = 9*p**2 - 5*p - 6. Let g be a(5). Suppose -x + s - 2*s + 42 = 0, 0 = -5*x - s + g. Does 10 divide x?
False
Let u = -50 + -18. Let b = -41 - u. Is 27 a factor of b?
True
Let b(a) = -a**2 + 22*a + 6. Is b(19) a multiple of 21?
True
Let f = -9 - -66. Does 5 divide f?
False
Suppose -o - 4*o - 10 = 0. Let y be (2 - 2 - o)*1. Suppose t = -y*t + 51. Does 6 divide t?
False
Let x(v) = v**2 + 13*v - 11. Does 2 divide x(-14)?
False
Let y = -7 - -10. Let g be 3/y + 0 + -7. Let u = 23 - g. Does 9 divide u?
False
Suppose -3*q = g - 11 + 3, 0 = q + 3*g - 8. Suppose -5*h + 2*h - 3*f + 30 = 0, 16 = q*h + 3*f. Is h a multiple of 14?
True
Let i = -123 + 173. Is i a multiple of 20?
False
Suppose 3*s + s - 5*q - 5 = 0, -5*s - q = -28. Suppose 3*t + 15 = 8*t + s*b, 0 = -2*b. Does 3 divide t?
True
Suppose -2*k - 3 = -3*k. Suppose k*d - a = 83, 0*a = d - a - 29. Is 11 a factor of d?
False
Let u = 9 + 73. Suppose -4*w + u = 5*o - 3*w, 0 = 3*o + 2*w - 52. Is 16 a factor of o?
True
Suppose -10 = -5*o + 100. Let s = o - 8. Is 3 a factor of s?
False
Let z = 34 + -5. Does 29 divide z?
True
Let i(n) = 14*n - 1. Is 22 a factor of i(2)?
False
Let h be (-5 - 4)/((-2)/28). Suppose 5*j = -4*l + 206, 3*j = -5*l + h + 8. Is j a multiple of 19?
True
Let h(c) = 67*c - 8. Let z(m) = 22*m - 3. Let l(y) = -4*h(y) + 11*z(y). Let r be l(-5). Suppose 0 = -5*t + 2*a + 201, -3*t - 3*a = -0*a - r. Does 11 divide t?
False
Suppose -13 = -2*t - 0*h + 3*h, 0 = 5*t + h - 7. Let d(z) = 2*z**2 + 2*z**2 - 1 - z - t - z**2. Is 13 a factor of d(3)?
False
Suppose -3*q + 2*d = 204, 4*q + d + 359 = 87. Let s be (-2)/(-5) - q/5. Let m = -3 + s. Is 11 a factor of m?
True
Let x be (6/4)/(2/4). Let v be x/6 + 6/4. Let m = v + 2. Is m a multiple of 2?
True
Let r = 345 + -130. Does 36 divide r?
False
Let z(o) = o**2 - 6*o + 26. Does 14 divide z(11)?
False
Suppose 8*h = 3*h + 345. Is h a multiple of 23?
True
Let t(a) = 7*a - 7. Let c(y) = -y**2 - 9*y - 9. Let m be c(-7). Let g be t(m). Let p = -13 + g. Is 12 a factor of p?
False
Let m(i) = 11*i**3 - i**2 - 2*i + 2. Is 7 a factor of m(1)?
False
Let m(w) = 78*w - 2. Does 11 divide m(1)?
False
Suppose 4*k = -2*y - 32, -3*y + 20 = -2*k - 6*y. Suppose 4*q - 8*q = -52. Let i = q + k. Does 6 divide i?
True
Let a(w) = 2*w**2 + w - 1. Let d be a(1). Let b(g) = -d*g + 10*g**2 + g**2 + 3*g**2 + 1. Does 22 divide b(2)?
False
Suppose -y + 35 = -3*k, -3*k - 4 = 2*y - 38. Is y a multiple of 23?
True
Suppose 0 = 2*w - 4, -4*w + 31 = 4*r + 3. Is r even?
False
Is (-1)/(3/(-9) - (-64)/201) a multiple of 27?
False
Let g = 85 + -36. Is 7 a factor of g?
True
Suppose -i = 2 + 5. Let m = i - -4. Let u = 26 + m. Does 9 divide u?
False
Let o be -3*((-14)/(-3) - -2). Does 12 divide 90/20*o/(-2)?
False
Let t(p) = -p**3 + 6*p**2 - p**2 + 2*p**3 + p**2 + 7. Let h be (-10)/25 - 23/5. Is 11 a factor of t(h)?
False
Suppose 0 = 3*h + 5*u + 4, -7 = h + 3*u + 1. Suppose 2*c + 2*v - 35 = h*c, 3*c = -3*v. Is (2/c)/((-1)/45) a multiple of 18?
True
Let h = 1 - -2. Suppose -1 = g + c, 0*c - h*c - 19 = -g. Suppose -5*q = 3*s - 213, -2*q + 82 = g*s - 6. Is 11 a factor of q?
False
Suppose -y - 4*y = 0. Suppose y = -0*x + x - 16. Is 8 a factor of x?
True
Let f(j) = -6*j + 9. Let y be ((-2)/4)/(6/84). Is f(y) a multiple of 13?
False
Let q = 175 + -7. Is 17 a factor of q?
False
Suppose -5*c = -6 - 9. Suppose c*g - 48 = -g. Does 11 divide g?
False
Suppose 4*w = -5 + 141. Is w a multiple of 11?
False
Let s = 162 + -149. Is s a multiple of 3?
False
Let k = 0 - -2. Let v(d) = 5*d**2 - 3*d + 2. Let x be v(k). Suppose -2*b + x = -6. Is b a multiple of 5?
False
Suppose 5*r + 491 = 4*m, -m - 235 = -3*m - r. Suppose 0 = -2*x + 109 + m. Suppose v = 4*v - x. Does 22 divide v?
False
Is (-5)/5*24/(-1) a multiple of 8?
True
Let n = 3 - 2. Let a be n/(-2)*(7 + 5). Is (-4)/(-6) + (-68)/a a multiple of 5?
False
Is 28 a factor of 9664/88 - (35/(-11) - -3)?
False
Let f = 269 - 14. Is f a multiple of 17?
True
Suppose 5*f = 47 + 53. Is 5 a factor of f?
True
Suppose 0 = -v + 2*m - 7, 7*m - 2*m = 5*v + 40. Is v/4*(-96)/18 a multiple of 6?
True
Let a(d) = d + 10. Let p be a(-9). Is (25 + p)/(1 + 0) a multiple of 13?
True
Suppose 2*o + 15 = 3*d, 22 - 2 = -4*o + 4*d. Suppose o*k - 4*i = -k + 31, 2*i = 2*k - 38. Does 4 divide k?
False
Let g(t) = t**3 - 8*t**2 - t - 6. Is 16 a factor of g(9)?
False
Let v = -23 - -36. Is 13 a factor of v?
True
Suppose 3*x - 5 = 199. Does 10 divide x?
False
Let m(b) = -4*b - 9. Let a be m(-6). Is 3 a factor of ((-6)/(-18))/(1/a)?
False
Suppose 2*y = -18 - 44. Let q = y - -60. Is q a multiple of 29?
True
Let d = -1 + 2. Let b be -4*(2/8 + -1). Suppose -h + b = -d. Is 3 a factor of h?
False
Let c(j) = 3*j + 10. Let x(m) = -7*m - 21. Let l(v) = 5*c(v) + 2*x(v). Does 7 divide l(16)?
False
Suppose -4*w = 3*n - 113 - 192, 2*n - 5*w - 211 = 0. Let v = n - 66. Is 14 a factor of v?
False
Is 3 a factor of (