ppose -3*n = 3*c - 195, -c - 139 = -4*n + 96. Is n a multiple of 20?
True
Let o = -7 - -19. Does 3 divide o?
True
Let p = 83 + 14. Is 46 a factor of p?
False
Let x(l) = -l**2 + 4*l + 3. Let g be x(4). Suppose 250 = -3*y + 10. Is 15 a factor of (g/4)/((-2)/y)?
True
Let x(y) = -15*y - 8. Let d be x(-6). Suppose d - 26 = s. Does 14 divide s?
True
Let o(a) = 6*a**2 - a + 7. Does 27 divide o(-5)?
True
Suppose 2*c + 2 = -0*b - 5*b, 5*b = -3*c + 2. Suppose 0*f + 2*f + 12 = 2*x, -3*x = c*f + 10. Does 12 divide 95/4 - f/16?
True
Let i(w) = 15*w - 4. Let p(n) = n - 1. Let q(b) = i(b) - 3*p(b). Is 17 a factor of q(5)?
False
Suppose z = -2*z - 9. Let d = 7 - z. Is 16/d*(-5)/(-2) a multiple of 4?
True
Does 8 divide (-12 + 4/(-1))*-3?
True
Let q be (2/5)/(7/35). Suppose q*j + 2*j = 4*f + 180, j + 2*f = 30. Does 10 divide j?
True
Let s(i) = 3*i**3 - 6*i**2 + 4. Let h(a) = 16*a**3 - 31*a**2 - a + 20. Let k(c) = -2*h(c) + 11*s(c). Let r be k(3). Suppose p = -r + 15. Does 10 divide p?
False
Suppose 141 = -4*t - 5*j + 2*j, 0 = -t + 4*j - 21. Let w be (-4)/14 - 732/(-14). Let h = w + t. Is h a multiple of 19?
True
Let o be ((-2)/(-6))/((-5)/(-45)). Let a = -7 - -7. Suppose o*r - r - 16 = a. Is 3 a factor of r?
False
Suppose l = 1, -c - l + 56 = 13. Is c a multiple of 8?
False
Let v(k) = 3*k**2 + 15*k + 9. Let o(q) = 2*q**2 + 8*q + 5. Let n(t) = -5*o(t) + 3*v(t). Is 2 a factor of n(5)?
True
Suppose 5*s - 36 - 224 = 0. Suppose 6*n = 2*n + s. Is n a multiple of 8?
False
Suppose -13 = -2*r + 3*g - 6, -4*g + 4 = 0. Is 2 a factor of r?
False
Suppose -53 - 91 = -6*g. Does 19 divide g?
False
Let p(r) = 20*r - 4. Let o be p(-3). Let x = -37 - o. Is x a multiple of 19?
False
Suppose 3*p + s = 3, 0 = s + 3*s. Suppose 5*t - 19 - p = 0. Does 2 divide t?
True
Is ((-3)/(-2))/(33/44) + 98 a multiple of 28?
False
Suppose 13*b = 14*b - 198. Is 24 a factor of b?
False
Let w = 2 + 0. Let f(i) = 5*i + 2. Let t be f(w). Is (-2)/(1 + (-14)/t) a multiple of 9?
False
Let i(c) = c + 12. Suppose -k = 4*y + 2*k - 15, -5*y - 4*k = -20. Let n be i(y). Let h = 22 - n. Does 10 divide h?
True
Suppose 0*c + c = 14. Suppose 0 = -4*s + 26 - 10. Let b = c + s. Does 9 divide b?
True
Let u(w) be the first derivative of -w**4/4 - 2*w**3 + 5*w**2/2 - 3*w + 3. Is 5 a factor of u(-7)?
False
Suppose 0 = -3*c + 2*r + 46, 26 = 5*c - 4*r - 52. Is 14 a factor of c?
True
Let k(g) be the first derivative of g**4/4 + g**3/3 + g**2/2 + g - 1. Let h be k(-1). Suppose 5*d - 3*o = -o + 45, -5*o = h. Is 9 a factor of d?
True
Suppose -3*m + 16 = 67. Is 9 a factor of -2*(m/(-2))/(-1)?
False
Is 120/2 - 6/3 a multiple of 20?
False
Suppose 0 = 2*w - 6 - 4. Suppose 52 = -p + w*p. Is 6 a factor of p?
False
Suppose 2*l = -2*l - 4*g + 296, 4*g - 221 = -3*l. Does 25 divide l?
True
Let y = -5 + 8. Let v(u) = -u**3 + 4*u**2 + 3. Does 6 divide v(y)?
True
Suppose 0 = -k + 6*k - 150. Does 5 divide k?
True
Let z = -3 - -17. Suppose -31 = -2*q + 17. Let m = q - z. Does 7 divide m?
False
Let i(g) = -g + 10. Let z be i(12). Let o(b) = -19*b. Is 11 a factor of o(z)?
False
Let g = -73 - -111. Suppose -6 = 2*c - g. Does 16 divide c?
True
Let v(q) = q**2 - 11*q - 5. Let p be v(11). Is ((-6)/p)/((-1)/(-15)) a multiple of 17?
False
Let y(t) = 3*t. Let p be y(-4). Let c be (-2)/3 - 356/p. Let g = -21 + c. Does 4 divide g?
True
Suppose -3*u = -153 - 54. Let f = 24 + u. Suppose 5*i + t - 26 - 125 = 0, 3*i = -3*t + f. Does 15 divide i?
True
Let w(m) = 2 - m**2 + 0*m + 8 + 8*m - 2*m. Is w(6) a multiple of 5?
True
Does 15 divide 1/(14/4) + 8808/42?
True
Let r(u) = u**3 + 10*u**2 + 18*u. Is 6 a factor of r(-4)?
True
Suppose 0 = -4*g - 3 + 11. Let h be (-8 - -5) + 282/g. Suppose l + h = 4*l. Does 23 divide l?
True
Let v = 0 + 76. Is v a multiple of 23?
False
Let y(a) = -9*a. Let m(h) = -h + 85. Let b be m(0). Let t(o) = -125*o. Let s(d) = b*y(d) - 6*t(d). Is s(-2) a multiple of 15?
True
Let f(i) = -4*i + 3 + 2*i**2 - 3*i**2 - 4 + 2*i**2. Let g be f(6). Suppose 22 = 3*w - g. Does 11 divide w?
True
Let r(t) = 3*t**2 + 3*t - 5. Is r(5) a multiple of 17?
True
Let s(y) = 2*y**3 - y**2 + 2*y - 1. Let n be s(1). Is 4 a factor of 12/n + -1 + 3?
True
Suppose -4*k + 3*z + 121 = 0, -2 = -2*k - 5*z + 39. Does 5 divide k?
False
Let u = 5 + -4. Let g = 1 + u. Does 10 divide 2/(-2)*(g + -13)?
False
Let f(i) = -2*i**2 - i - 5. Let c be f(-5). Let t = c + 128. Is 13 a factor of t?
True
Let r(z) = 2*z - 7. Let u(l) = 3*l. Let q be u(1). Suppose -3*g + q = -5*t, -4*t + 14 = 3*g - 16. Is 4 a factor of r(g)?
False
Suppose 5*q + 74 = 3*y, -q - 16 = -0*y - y. Let m = -3 - q. Is 6 a factor of m?
False
Suppose 0*q + q + 3*h - 20 = 0, 4*h - 5 = 3*q. Let l = q - 0. Suppose l*v - 102 - 8 = 0. Is v a multiple of 11?
True
Let s(l) = -2*l**2 + 12. Let b = 24 - 24. Is s(b) a multiple of 3?
True
Let c = 107 + -26. Is c a multiple of 27?
True
Let g(d) = d**2 + 7*d - 5. Let h be g(5). Suppose l - 37 = -4*k, 0*k - 3*l = 5*k - h. Is 2 a factor of k?
True
Suppose -334 = -12*o - 46. Does 11 divide o?
False
Let g = -76 + 232. Is 12 a factor of g?
True
Suppose 0 = 4*h - h - 54. Does 6 divide h?
True
Suppose 0 = -6*h - 9*h + 2040. Is 8 a factor of h?
True
Let u(z) = -z**2 + 8*z. Let h be u(7). Let c(j) = 2*j**2 - 11*j + 9. Does 21 divide c(h)?
False
Let d(r) = 2*r + 10. Let g be d(-7). Is 91/5 - g/(-20) a multiple of 9?
True
Suppose 2*n - n = c + 3, -5*c = -n + 11. Let j = c + 10. Let u(a) = -a**2 + 12*a - 11. Does 12 divide u(j)?
False
Suppose 5*z = -10, 2*z = -4*u + 76 + 184. Does 11 divide u?
True
Let n(l) = 109*l**3 - l**2. Is n(1) a multiple of 24?
False
Suppose -7 = -c + 14. Suppose -2*a - a = -c. Is a a multiple of 5?
False
Let b(g) = -2*g - 14. Let o be b(-13). Does 18 divide (o/10)/((-15)/(-850))?
False
Let h(z) = -z**2 - 8*z - 10. Let m be h(-5). Suppose m*u = -4*s + 148, -2*s + 7*s - 168 = -2*u. Is s a multiple of 8?
True
Does 33 divide 1968/30 + 2/5?
True
Let v(i) = i**2 - 12*i + 15. Let a be v(11). Suppose 2*b = -3*z + 561, b - 375 = 2*z - a*z. Suppose 3*g + 51 = z. Is g a multiple of 22?
False
Does 13 divide -3 - 2/2*-66?
False
Let l(o) = -o + 67. Does 2 divide l(6)?
False
Let u = 3 - 57. Is 9/u + 235/6 a multiple of 13?
True
Suppose -k - k = 10. Let h(c) = 54*c + 1. Let n(l) = l. Let t(z) = k*n(z) - h(z). Does 22 divide t(-1)?
False
Let k(u) = u**3 - u**2 - u + 5. Let j be k(0). Suppose -j*w + 13 = -7. Let p = 14 + w. Does 16 divide p?
False
Suppose 3*o = 3*h - 1281, h + 4*o = 557 - 135. Is 15 a factor of h?
False
Suppose 4*n - 1 - 3 = -4*j, -7 = -3*n - 2*j. Suppose n*i - 84 = -5*p + 16, 5*p = -i + 28. Suppose 3*f + 3*z = 27, 0*f + 2*f = -4*z + i. Is f a multiple of 9?
True
Suppose 3 = -11*s + 8*s. Is (-20)/s*6/3 a multiple of 18?
False
Let s(o) be the third derivative of 13*o**7/5040 - o**6/720 + o**5/30 + 2*o**2. Let d(z) be the third derivative of s(z). Is 14 a factor of d(2)?
False
Suppose -360 = -3*a - a. Is a a multiple of 15?
True
Let a = 59 + -15. Suppose -4*m - k + 0*k + 159 = 0, -m + a = -4*k. Is 20 a factor of m?
True
Let r = -8 - 0. Let c be (-10 + 7)*r/6. Suppose c*u = -u + 240. Is u a multiple of 16?
True
Suppose -7*k + 5 = -2*k - 5*c, 5*c = -k + 1. Is (-9)/(-3) - (-6)/k a multiple of 9?
True
Is (4/(-5))/((-13)/650) a multiple of 8?
True
Suppose -5*h = -h - 16. Suppose h*w - 6*w = -28. Is w a multiple of 7?
True
Suppose 2*p = 4*p. Suppose 0 = n - 2*u - 18, 3*n + 3*u - u - 62 = p. Does 9 divide n?
False
Let f(u) = u**2 - u - 3. Let l be f(3). Let h = 1 - 1. Suppose -r - o + 17 = h, 0*r + l*o + 54 = 4*r. Is r a multiple of 9?
False
Let l = -2 - -4. Suppose 0 = o + h - 3 + 5, l*h = -3*o - 4. Suppose o = y - 5*y + 48. Is y a multiple of 12?
True
Let u(b) = -12*b**3 - b**2 + 1. Let w be u(1). Does 4 divide (-1 - w) + -5 + 4?
False
Let t be 6*(0 + 5/(-3)). Let j(x) = -x**3 - 10*x**2. Let i be j(t). Suppose -4*q + 170 - 34 = i. Does 17 divide q?
True
Let z(r) = -19*r - 81. Is 26 a factor of z(-18)?
False
Suppose -4*n + 680 = -4*o, -n + 3*o + 178 = -0*n. Does 14 divide n?
False
Let s(g) be the third derivative of g**6/120 + g**5/20 - g**4/12 - g**3/6 - 2*g**2. Let k be s(-2). Suppose -k = -3*b + 14. Is b a multiple of 6?
False
Does 12 divide (-1 + 0 - 0)*-36?
True
Let l(u) = u**3 - u**2 + 37. Let y be l(0). Let s = y + -13. Is 8 a factor of s?
True
Let n(h) = 3*h**2