12)/15?
False
Let f = 1 + 1. Suppose -f*n = -5*z - 37, 0*n + n - 19 = 2*z. Does 7 divide n?
True
Suppose 99 = 4*a - 241. Suppose x = 6*x - a. Is x a multiple of 3?
False
Suppose -5 - 7 = 4*w. Let c(n) = -7*n**2 - 11*n**2 - 3*n**2 - 2 + 22*n**2. Does 6 divide c(w)?
False
Suppose 3*h = -1 + 16. Suppose -230 = -2*j - 0*j. Suppose j = 5*w - h*t, -w + 14 = -2*t + 4*t. Is w a multiple of 18?
False
Suppose 0 = 4*x + 125 + 27. Let t = x + 59. Is 8 a factor of t?
False
Suppose -3*v = -5*v + 20. Does 4 divide v?
False
Let r = 2 - -2. Is 1/(r/(-12))*-7 a multiple of 6?
False
Suppose 2 = -2*o - 2*q, -2*q + 5 = 5*o - 5. Suppose o*t + 24 = 4*g, -t - 6 = -g + 6*g. Is 14 a factor of t/(-4)*(-34)/(-3)?
False
Is -149*(1/4 + 10/(-8)) a multiple of 27?
False
Let i = 176 - 92. Does 12 divide i?
True
Let l be 0*-3*(-3)/18. Suppose l*v + v = 26. Does 13 divide v?
True
Let i be 3/(-4) - (-76)/16. Suppose -3*c + 267 = -m, 2*c + c - i*m - 258 = 0. Suppose 22 - c = -4*t - 4*r, 5*r - 1 = 2*t. Is t a multiple of 12?
True
Let w(m) be the third derivative of 0*m + m**2 - 4/3*m**3 + 0 + 1/60*m**5 + 5/24*m**4. Does 16 divide w(-8)?
True
Let h = 4 - 0. Let u be (276/10)/((-4)/(-10)). Suppose -h*b + u = -b. Is 8 a factor of b?
False
Suppose -w + 67 = o, 4*w - 4 = 3*w. Is 7 a factor of o?
True
Suppose 32 - 116 = -3*u. Does 16 divide u?
False
Suppose -a + 2*o + 12 = -2, 4*a - 4*o = 36. Suppose 26 = a*k + 6. Suppose 0*n = -k*v - n + 96, -2*n = 5*v - 97. Does 10 divide v?
False
Is 7 a factor of 1*42*(0 - (-9)/6)?
True
Suppose 0 = 4*o + 12, 0*w + 3*w - 63 = o. Is w a multiple of 10?
True
Let h = 99 - -30. Does 43 divide h?
True
Let w be (-3)/(-9) + 34/6. Suppose w = 4*y - 162. Is 11 a factor of y?
False
Let m = -1 - -4. Suppose 3*a - 40 = 5*o, -m*a - 10 + 0 = 5*o. Suppose -3*f = -4*c - 40 + 101, -2*f = a*c - 59. Does 13 divide c?
True
Is 21 a factor of 126/4*(-1)/((-21)/98)?
True
Suppose z - 268 = -2*n, -4*z - 3*n + 816 = -z. Is z a multiple of 12?
True
Suppose -2*b - b = -15. Suppose 2*p - 120 = b*w + 5, -p - 50 = 2*w. Let o = 35 + w. Does 7 divide o?
False
Suppose 2*r + 3 = v + 15, 0 = 4*r - 4*v - 20. Is r a multiple of 3?
False
Does 7 divide (-21 + 26)*(52/5 - 2)?
True
Suppose 5 + 1 = 2*d. Let p = -5 + 9. Suppose -d*b + 0*v + p*v = -44, -2*b + v = -26. Is 12 a factor of b?
True
Let z = -28 + 106. Is z a multiple of 10?
False
Let s(z) = 5*z + 4. Does 9 divide s(7)?
False
Let t be (-6)/(-3) + -3 - -1. Let l(q) = -q**2 + 3*q + 3. Let j be l(3). Let o = t + j. Is 2 a factor of o?
False
Is -2*(-1 + 14/(-4)) even?
False
Let s(v) = 40*v**2 - 1. Is s(-1) a multiple of 10?
False
Let c be 1 - (-3)/(6/4). Suppose 0*i + 18 = c*i. Is i a multiple of 5?
False
Let m = 177 + -73. Is m a multiple of 22?
False
Suppose 19*n + 24 = 22*n. Is 2 a factor of n?
True
Let n = 19 - 2. Suppose 0*q - n = -q. Is 17 a factor of q?
True
Let b(c) = 173*c**3 + 7*c**2 - 7*c + 7. Let o(x) = -87*x**3 - 3*x**2 + 3*x - 3. Let s(m) = -2*b(m) - 5*o(m). Is 19 a factor of s(1)?
False
Is (-18 - -35)/(1 + 0) a multiple of 6?
False
Suppose -3*q - 21 - 9 = 0. Let l be ((-4)/q)/((-8)/(-760)). Let z = l + -23. Does 8 divide z?
False
Let l = 1 - -5. Let y = -6 + l. Suppose 5*i + s - 133 = y, 47 - 9 = i + 4*s. Is 10 a factor of i?
False
Suppose 0 = -2*d + 65 + 167. Does 29 divide d?
True
Let m(t) be the second derivative of t**3/6 + 3*t**2 + t. Let d be m(5). Let u = d - 6. Is u a multiple of 3?
False
Suppose -5*q - 4*f = -0*f - 438, 0 = -5*q - 2*f + 434. Does 6 divide q?
False
Suppose -4*v = 3*k + 22, -4*v = 3*k - 7*v - 6. Let w(p) = p**2 + p + 1. Is w(k) even?
False
Suppose 6*r - 8 = 2*r. Suppose 0*x - 72 = -r*x. Does 18 divide x?
True
Let l(i) = -i**3 - 2*i**2 - 2*i. Let g be l(-4). Let o = 12 + g. Is o a multiple of 13?
True
Suppose -3*z + 11 = 2*x, -x = -2*z - 2*x + 7. Suppose 45 = 3*i - 5*v, 3*i + v - 18 = -z*v. Is 4 a factor of i?
False
Suppose -5*w - 4*o = -o - 116, 5*o = w - 40. Does 9 divide w?
False
Let y(x) = -2*x + 13. Suppose 24 = 7*l - 11*l. Is y(l) a multiple of 16?
False
Suppose 5*u = -n + 99, -2*u + 6*u = 12. Does 21 divide n?
True
Let d(k) be the first derivative of k**2/2 - 2*k + 2. Suppose -i + 14 - 5 = 0. Is d(i) even?
False
Let s(l) = 10*l**3 + 3*l**2 + l. Let z be s(-3). Is 5 a factor of z/(-21) - (-2)/7?
False
Let l be ((0/2)/1)/1. Suppose l = -0*v - 3*v + 72. Is 12 a factor of v?
True
Let m be (9/2)/(6/8). Suppose 66 = 3*x - m. Is 8 a factor of x?
True
Suppose -y = -4*y + 33. Is 3 a factor of y?
False
Let n(j) = j**3 - 4*j**2 + 3*j + 3. Let u be n(3). Let i be (-2 + u - 4)*-6. Let a = i - 11. Is 3 a factor of a?
False
Suppose z = 4*z - t + 92, 4*z + 125 = -t. Let m = z + 18. Let k = 25 - m. Is k a multiple of 17?
False
Suppose 8*r - 4*r - x = 145, x = -r + 30. Does 7 divide r?
True
Let l(p) be the third derivative of p**5/20 - p**4/24 - 2*p**3/3 - 5*p**2. Does 17 divide l(3)?
False
Suppose 0 = -w - 2*k - 22, 3*w + 2*k = -91 + 33. Let v = w - -29. Is v a multiple of 4?
False
Let j = -21 - -29. Suppose -6*k - j = -2*k. Does 10 divide 126/12 + 1/k?
True
Let z(y) = y - 4. Let s be z(6). Suppose u - 3*h = -u + 28, -5*h - 36 = -s*u. Does 5 divide u?
False
Let b(x) = -61*x**3 + 1. Let y = 12 - 13. Does 31 divide b(y)?
True
Is 25 a factor of (94 + 3 - 0) + 3?
True
Suppose -2*n = -31 - 33. Does 8 divide n?
True
Is (-5)/1*(4 + 112/(-20)) a multiple of 4?
True
Suppose 0 = k + 3, v = 5*v - 5*k - 15. Suppose -u + 15 + 2 = v. Does 7 divide u?
False
Let p be 2/(-2) + 1*2. Suppose -c - 2*k = -0*c + p, -1 = c - 4*k. Is c + 1 + 44/4 a multiple of 9?
False
Let a(c) = c**2 - 6*c + 2. Suppose 1 - 13 = -2*v. Let b be a(v). Suppose 2*t + 3*q - 75 = 0, 0 = -3*t - b*t + 5*q + 125. Is t a multiple of 15?
True
Suppose 2*w = -33 + 99. Is 3 a factor of w?
True
Suppose 6*g = 3*g + 252. Is 28 a factor of g?
True
Suppose -3*q = f - 64, 3*f = 2*q + 217 - 3. Does 5 divide f?
True
Let i be (-2 - (-3)/3)*-2. Let o = i + -14. Is 4/o - 158/(-6) a multiple of 13?
True
Let j(k) = -13*k + 0 - k**2 + 0. Let w be j(-10). Suppose -12 = 3*h - w. Does 3 divide h?
True
Let o(b) = -b**2 - b + 18. Suppose 2*p = -p. Does 5 divide o(p)?
False
Suppose -6 = -6*o + 4*o - 4*v, 4*v - 4 = 0. Let s be 4*(-3)/(-6) - -1. Let q = s - o. Is q a multiple of 2?
True
Let b be -4*(-2 + (-1 - -2)). Suppose 0*v + 3*v - 2 = -4*c, -5*c - 3*v = -b. Suppose -30 = -2*x + c*q, 2*x + 3*q = 7*x - 83. Does 13 divide x?
False
Suppose 0*g + 9 = -3*g, 0 = 4*c + 4*g - 16. Let f(j) = -j**3 + 7*j**2 + 7*j - 7. Does 18 divide f(c)?
False
Let h(f) = 2*f**2 - 2*f - 2. Let v be h(2). Let b = 2 - v. Suppose y - 31 = -b. Is 11 a factor of y?
False
Let f(d) = d**3 + 4*d**2 + d - 2. Let z be f(-3). Suppose -10 - 14 = -z*u. Does 2 divide u?
True
Let t = 27 - -9. Is 12 a factor of t?
True
Let m(t) = 4*t - 2. Suppose 0*o = -3*o. Let h = 3 - o. Is 5 a factor of m(h)?
True
Let t(q) = -4*q**2 - 6*q - 5. Let r(v) = -5*v**2 - 6*v - 6. Let j(x) = 5*r(x) - 6*t(x). Let y be j(5). Let s = 27 - y. Does 11 divide s?
True
Let r(h) = -h**2 + 6*h - 1. Let f be r(6). Does 25 divide 148/6 + f/(-3)?
True
Let n(l) = -l + 18. Let k be n(14). Suppose 12 = d + 4*q, 3*d - q = -0*q + 10. Suppose h = r - 24, r = -k*h + d + 20. Is 11 a factor of r?
False
Let s(t) = -2*t - 3. Let h be s(-4). Suppose h*f - j = 3*f + 20, 4*f - 5*j = 40. Let k = f + 6. Does 16 divide k?
True
Suppose 5*t - 5 = -0*t. Let u be t*(20 + 0 + 1). Let i = 29 - u. Is i a multiple of 5?
False
Suppose s + 8 = v, s = -v + 4*v - 18. Suppose 3*l - 4 = v*l. Is 6/l*(-16)/6 a multiple of 8?
True
Let z = -9 - -58. Suppose -3*l + 0*c - c + z = 0, 3*c + 40 = 2*l. Is l a multiple of 5?
False
Suppose -5*w - 5*h - 4 + 424 = 0, -h - 361 = -4*w. Is w a multiple of 9?
False
Suppose 0*w + 5 = -5*w. Let c be (8/(-20))/(w/(-15)). Let g(d) = d**2 + 3*d - 5. Is 7 a factor of g(c)?
False
Suppose 0 = -5*a + 2*v + 2, -3*a - 2*v - 3 = -1. Suppose a = x - 5*x + 64. Is x a multiple of 16?
True
Let s(p) = -p - 6. Let k be s(-5). Let b be (-2)/(-2) - (-1 + k). Suppose -b*a = -33 + 6. Does 3 divide a?
True
Suppose 0*n - 5*n - 10 = 0. Is n/(-11) - (-1974)/33 a multiple of 10?
True
Let i(h) = h**2 + 7*h + 2. Let c be i(-7). Is 10 a factor of (-1)/c + (-58)/(-4)?
False
Is 3 a factor of (-328)/(-24) + (-1)/(-3)?
False
Does 15 divide (-16)/(-40) - (-318)/5?
False
Is 2/2*(2 + 21) a