Suppose -k - b = -2*k. Is 13 a factor of k?
True
Suppose -3*k + 0*k = 0, 70 = 5*w - 2*k. Does 2 divide w?
True
Let w(t) = t**2 - 6*t - 4. Let s be w(6). Is 3 a factor of (-54)/(-10) - s/(-10)?
False
Suppose -4*i = -5*g + 22, 5*i + 6*g - 3*g + 9 = 0. Let m(p) = 3*p**2 + p + 1 + 0*p**2 - 3 - p**2. Is 13 a factor of m(i)?
True
Let t = -26 - -44. Is (-1)/(-3)*t/3 even?
True
Let p(x) = -2*x. Let o be p(3). Let g be 6/(0 + o/20). Let i = 30 + g. Does 5 divide i?
True
Let c = 16 + -25. Let l = c + 14. Suppose -3*b + 2*k + 53 = 9, l*b - 68 = -2*k. Is b a multiple of 14?
True
Let l(r) = r**3 - 8*r**2 + 10*r - 9. Suppose 4*i - 2*j - 92 + 34 = 0, i = -5*j + 20. Let b = i - 8. Is l(b) a multiple of 4?
True
Suppose 0*f - 232 = -4*f. Does 15 divide f?
False
Let y be (-19)/2*6/(-3). Let p = y - 57. Let b = p + 67. Does 12 divide b?
False
Does 16 divide (-19 - -49)*16/10?
True
Let l(c) = -5*c + 7. Let q(h) = -h**2 + 7*h - 5. Let u be q(7). Does 16 divide l(u)?
True
Let j be (3 - (-39)/(-15))*-5. Let n(s) = 7*s**2 + 2*s. Does 12 divide n(j)?
True
Suppose 4*s + 24 = 56. Is 4 a factor of s?
True
Let d(b) = 20*b - 9. Let v(n) = -10*n + 4. Let a(z) = 3*d(z) + 5*v(z). Let j(u) = u**2 - u. Let m be j(-2). Does 14 divide a(m)?
False
Let i = 79 - 25. Suppose i + 42 = 4*s. Is 14 a factor of s?
False
Let c be 122/14 + 4/14. Let i = 15 - c. Does 3 divide i?
True
Suppose -8 - 8 = -2*y. Suppose -i + 14 = -y. Is i a multiple of 11?
True
Let m be ((-1)/3)/((-2)/582). Suppose 2*j - x = 419, 4*j + 44 = -3*x + 857. Suppose -h - m = -3*q - 6*h, 5*q - j = 3*h. Is 14 a factor of q?
False
Does 26 divide 1/(-2) - (-531)/6?
False
Suppose 0 = r - 4 - 44. Does 12 divide r?
True
Let s = 35 + -20. Suppose b - 17 = s. Is b a multiple of 16?
True
Let z(c) = 2*c**3 - 6*c**2 + c + 3. Let h be z(4). Suppose -4*x - 11 = -h. Is x a multiple of 7?
True
Let p = 26 - 16. Is (-71)/(-3) + p/30 a multiple of 11?
False
Let b(l) = -l**2 - 7*l - 4. Let x be b(-6). Let o be x/4*(4 - 0). Suppose r = -o*r + 18. Is 6 a factor of r?
True
Let i be (-2 - 3)/(1/4). Let r = i - -38. Does 18 divide r?
True
Let s(y) = y**2 + 6*y + 3. Let b be s(-6). Suppose 4*j = 5*n + 7, -b*j + 5*j - 11 = 5*n. Is 5 a factor of 15/(-2)*2/n?
True
Suppose -2*b = x + 23, 4*x = 3*b - 8*b - 95. Let m = x + 59. Is m a multiple of 17?
True
Suppose -16*p + 2380 = -18*p. Is 6 a factor of p/(-49) - 2/7?
True
Let w(v) = -v**2 - 4*v - 3. Let o be w(-2). Is 15*(15/9 - o) a multiple of 10?
True
Let f = -4 - -8. Does 28 divide f/4*(0 + 44)?
False
Let h = 12 + -9. Suppose 0 = -6*r + h*r + 30. Does 3 divide r?
False
Let r be (-5 + 4)*(-1 + 0). Suppose 0*k + 19 = 2*k - s, -s + r = 0. Suppose -78 = -4*f - k. Is f a multiple of 15?
False
Let r be (2 - 0) + (15 - 2). Let c = 31 - r. Is 16 a factor of c?
True
Let n = -4 + -1. Let w = n - -10. Suppose 0 = 3*v + 14 - w, 60 = 3*i + 2*v. Is 11 a factor of i?
True
Let k(y) = -5*y - 13. Let s(o) = -o + 1. Let r(w) = -k(w) - 2*s(w). Is r(10) a multiple of 27?
True
Let t(r) = 2*r**2 + 8*r. Let l be t(-6). Let f = 14 + l. Does 19 divide f?
True
Let r be 24*(-2 + (-203)/(-4)). Is 28 a factor of r/21 - (-8)/28?
True
Suppose 9*k - 137 - 673 = 0. Does 6 divide k?
True
Suppose 9*s = 12*s - 372. Does 20 divide s?
False
Suppose q - 2 = -0. Suppose q*z - 4*z = -40. Is 10 a factor of z?
True
Let t(n) be the second derivative of -4*n + 5/6*n**3 + 0 - 9/2*n**2. Is 9 a factor of t(7)?
False
Let n = 37 + 35. Does 17 divide 1/(((-44)/n)/(-11))?
False
Suppose 2*m - 4*m + 225 = -3*v, v - 471 = -4*m. Does 9 divide m?
True
Is (1 - -2)/(-4 - (-105)/25) a multiple of 5?
True
Is (22 - -2) + 3 + -3 a multiple of 10?
False
Suppose b - 5*b + 213 = -3*t, -4*b = 2*t - 218. Is b a multiple of 12?
False
Let w(z) = 2*z**3 - 7*z**2 - 6*z - 1. Is w(5) a multiple of 11?
True
Let g = -9 - -33. Is 12 a factor of g?
True
Let j = -196 + 294. Is 14 a factor of j?
True
Let x(f) = -f - 1. Let k be x(-3). Is 4 a factor of -3 - 17/k*-2?
False
Let p(d) = 8*d**2 - 1. Let c be p(-1). Suppose c*q = 3*q + 3*i - 4, 0 = i. Is (q + 15/(-9))*-6 a multiple of 8?
True
Suppose 2*b = 3*h - 26 - 44, -4*b - 140 = 2*h. Let p be ((-18)/15)/(1/b). Is p*3/(27/6) a multiple of 16?
False
Does 22 divide (-6 - -3)*(-3 - (-604)/(-12))?
False
Let a(v) = -v**2 - 9*v - 6. Is a(-5) a multiple of 5?
False
Let u be 2/(476/(-239) + 2). Let f = -155 + u. Is f a multiple of 28?
True
Let c = 42 + -34. Is 3 a factor of c?
False
Let c be 4 - (3 - (-4)/(-1)). Suppose c*a = -4*o + 145, o + a - 6 = 30. Is o a multiple of 10?
False
Let y(s) = -s + 12. Is y(-12) a multiple of 6?
True
Suppose 0 = 2*t + 2*u - 37 - 117, 5*u + 335 = 5*t. Is t a multiple of 12?
True
Let k(n) = 6*n - 2. Suppose -9 - 16 = -5*g. Does 14 divide k(g)?
True
Let x = 20 + -13. Let l = -5 + x. Suppose -22 = -4*t + l. Does 3 divide t?
True
Let y be (-1 + -1 + 2)*-1. Suppose 3*k + y*x = x - 911, 5*k = -x - 1521. Does 13 divide 2/9 + k/(-9)?
False
Let v be ((-2)/(-4))/(2/16). Suppose -y - 14 = v*m, -2*y - m = m + 4. Suppose 0 = y*g - n - n - 54, g - 21 = -5*n. Is g a multiple of 13?
True
Let g(h) = 6 - h**2 + 4 - 18*h - 7 + 12. Is g(-13) a multiple of 20?
True
Is 2/8 + (-1175)/(-20) a multiple of 15?
False
Suppose 0 = -3*f - 0*f + 231. Does 11 divide f?
True
Let s(p) = p**3 + 15*p**2 - 3*p - 12. Is 11 a factor of s(-15)?
True
Let z(o) = -o**2 - 7*o - 4. Let s be z(-5). Suppose -s + 1 = -v. Does 5 divide v?
True
Let m be -10 + -1 + (0 - -2). Is 3/1 + 29 + m a multiple of 10?
False
Let o(z) = -z**2 - 7*z + 4. Let v(k) = 2*k**3 + 3*k**2 + 3*k + 3. Let g be v(-2). Let u be o(g). Suppose t + 123 = u*t. Is 13 a factor of t?
False
Suppose b - 2*b = -2. Suppose 0 = 5*x + 5*n - 15, -b*x - n = -3*n - 22. Suppose -3*f = -x*f + 168. Is 21 a factor of f?
True
Let c = -9 + 3. Let p be 4/(-10) - 77/(-5). Is -6*p*c/27 a multiple of 7?
False
Let l = 234 + -163. Is l a multiple of 45?
False
Is (224/(-70))/(2/(-10)) a multiple of 8?
True
Let g = 2 - 11. Let k = -23 + 20. Does 7 divide 42*(0 + k/g)?
True
Let b(u) = 7*u - 3. Let f be b(9). Let i be 12/(-42) + f/14. Suppose 0 = -i*c + 176 - 44. Is c a multiple of 15?
False
Is 5 a factor of (-4540)/(-100) - 3/((-15)/(-2))?
True
Suppose 4*v + 264 = 8*v. Does 29 divide v?
False
Suppose -g + 5*g = 380. Does 22 divide g?
False
Let a(m) be the first derivative of 1/3*m**3 + 1 + 0*m + 5/2*m**2. Is a(-6) a multiple of 5?
False
Let d(o) be the second derivative of o**6/180 + o**5/20 + o**4/8 - 2*o**3/3 - o. Let i(q) be the second derivative of d(q). Is i(-6) a multiple of 12?
False
Let h = -7 + -4. Let q = h - -13. Does 2 divide q?
True
Suppose 0*i = i - 79. Let k = i - 47. Is 8 a factor of k?
True
Let b be ((-126)/(-8))/((-4)/(-16)). Let i = b + -120. Let v = -35 - i. Is v a multiple of 14?
False
Is 4 a factor of (24/20)/(9/660)?
True
Let k(o) = 4*o - 7. Suppose 0 = -r + y + 7, -5*r - 3*y + 8 = -11. Does 5 divide k(r)?
False
Let c = -13 - -34. Is c a multiple of 21?
True
Suppose 0 = -j - 3*t - 13, 4*j - 10 - 13 = 3*t. Suppose -4 + 6 = q. Suppose -4*i - q*m + 34 = 0, j = -i - 2*i + 4*m. Does 4 divide i?
False
Let f = -129 + 198. Suppose 2*g - f = 3*o, -g = g + o - 57. Does 15 divide g?
True
Let b(c) = 8*c**3 - 3*c**2 + c. Let l(z) = z**2 - 3*z - 2. Let h be l(4). Does 21 divide b(h)?
False
Suppose v + 0*k = -k + 10, 3*v - k = 22. Is 6 a factor of v?
False
Let t(h) = 105*h - 3. Is 36 a factor of t(3)?
False
Does 31 divide 6/(-15) + 11988/45?
False
Suppose -4*y = -48 + 128. Let z = y + 36. Suppose -z = 3*v - 55. Is 6 a factor of v?
False
Suppose 0 + 1 = -m. Let s be (-2 - -3)*6/m. Is (-31)/(-2) - 3/s a multiple of 16?
True
Let y = 9 + 13. Suppose y + 20 = v. Does 25 divide v?
False
Is (-1)/3*16425/(-25) a multiple of 20?
False
Suppose 2*u + 3 = 3*u. Let p = -8 - u. Let c = -1 - p. Does 10 divide c?
True
Let l(s) = s + 11. Let n be l(-7). Suppose -v - n*v + 30 = 0. Let w = 11 - v. Does 2 divide w?
False
Suppose 4*o = 4*r, 3*r - 5 = o + r. Suppose -n + b = 4*n - 167, -4*n + 121 = -o*b. Does 17 divide n?
True
Let r be (-5 + -1)/(-3) + 20. Let b = -12 + r. Is 6 a factor of b?
False
Suppose -2*m + 3*z + 32 = 0, -2*m + 4*m - 5*z - 28 = 0. Let g = -3 + -7. Let f = m + g. Does 9 divide f?
True
Let b = 2 + -2. Suppose -2*y - 72 = -5*j, -4*j - 4*y - y + 51 = b. Is 14 a factor of j?
True
Let q(a) = -a**3 + 7*a**2