*i + 10. Is 25 a factor of m(-9)?
False
Let o(f) = -f**2 + 5*f - 1. Let x be o(4). Suppose x*j = 15 + 9. Is j a multiple of 6?
False
Let n = -117 - -132. Is 15 a factor of n?
True
Let y = 44 + -21. Suppose 143 = 3*s + 2. Let z = s - y. Does 12 divide z?
True
Let y = -16 - -10. Does 4 divide (8/6)/((-2)/y)?
True
Let r = -22 + 38. Is 4 a factor of r?
True
Suppose 2*f - 184 = -14. Does 11 divide f?
False
Let g(z) = z + 16. Is 18 a factor of g(15)?
False
Let x(b) = 3*b**2 - 10*b + 8. Is 28 a factor of x(9)?
False
Suppose c - 92 = 3*n, 5*n - 4*c = 2*n - 80. Let h be (-1 + 3)*(-77)/(-2). Let k = h + n. Does 12 divide k?
False
Suppose -2*o + 5*q = -251, -4*o + 306 = 4*q - 126. Let c = 0 - -59. Let i = o - c. Does 15 divide i?
False
Suppose -5*j - 3*f + 258 + 853 = 0, j + 5*f = 209. Is j a multiple of 16?
True
Let x = 5 + -7. Does 13 divide 22 + 0/(x/2)?
False
Let z(y) = 2*y**2 - 4*y + 2. Let k be ((-4)/(-10))/(2/10). Let q be z(k). Is 3 a factor of (-2)/4 + 15/q?
False
Let l = 1 - 0. Let v(m) = l + m - 5*m - 5. Does 12 divide v(-7)?
True
Let g = 7 + 1. Suppose 3*w - w - g = 0. Is w even?
True
Suppose 0 = 3*o + 2*o + 10. Let u be (5 + o)*12/(-9). Let v(g) = -7*g - 6. Is v(u) a multiple of 10?
False
Let w(u) = -u + 90. Is 13 a factor of w(0)?
False
Let z(c) = -2*c - 3. Let r be z(-5). Let f(s) = 6*s - 6. Let n be f(r). Suppose 2*m = 40 + n. Is 11 a factor of m?
False
Let v = 17 + -34. Let q = v - -31. Does 14 divide q?
True
Let u(k) = k**2 + 4*k - 7. Let q be u(-6). Suppose 5*o - 1 - 4 = -3*i, q*o + 35 = i. Is i a multiple of 4?
False
Let n = 18 - 42. Let w = n + 34. Is w a multiple of 5?
True
Does 3 divide (4/(-4) + -3)*-1?
False
Is 7 a factor of (-6)/12 + (-29)/(-2)?
True
Suppose z - 3*t + 68 = -z, 0 = 3*z - t + 102. Let j be (-3)/((-3)/(-17)) - -2. Let m = j - z. Does 19 divide m?
True
Suppose 0 = -2*d + 6, 0 = 2*n - 5*d + 4*d - 79. Does 3 divide n?
False
Let m be -1 + (-12)/3 + -3. Let g = 28 + m. Is g a multiple of 6?
False
Let i be 60 - 0/(-1 - 0). Let y = 106 - i. Let o = y - 16. Is 15 a factor of o?
True
Let i = 38 - 8. Does 7 divide i?
False
Is (-137)/(-4) + (-3)/12 a multiple of 15?
False
Suppose 0 = 5*g + 2*d - 12, -4*g + 5*d = -36. Suppose 0*x - g*x = -136. Let a = x - -4. Is 19 a factor of a?
True
Suppose 0 = 5*v + 5*q - 42 - 953, -q = -3*v + 585. Is v a multiple of 28?
True
Let m(h) = -2*h - 6. Suppose 4*u = -3*s - 39, 3*u = 4*u + 3*s + 21. Does 6 divide m(u)?
True
Let k = 155 + -91. Is k a multiple of 16?
True
Let p be 37*1 + -4 + 6. Does 10 divide 2 + p/(-9)*-3?
False
Is 2/((-92)/100 - -1) a multiple of 25?
True
Let q be 4 + -3 + 0 + 1. Let m = q - 0. Is 6 a factor of 14/4*m/1?
False
Is (8 - 2)/((-7)/(-91)) a multiple of 11?
False
Let w(p) = p**3 + 16*p**2 - 23*p - 17. Is 17 a factor of w(-17)?
True
Suppose -5*y - 4*g + 136 = 0, 2*y + 5*g = 6*y - 117. Is y a multiple of 4?
True
Suppose -p - 4*c = -5*p + 196, -5*c = -4*p + 194. Does 35 divide p?
False
Let i(p) = p**2 - 3*p + 7. Suppose 3*q + 2*q + 30 = 0. Let j(r) = -r - 1. Let c be j(q). Is i(c) a multiple of 6?
False
Suppose -2*w + 5*a = -0*w - 73, 0 = -3*w - 4*a + 52. Is w a multiple of 8?
True
Let h(x) be the first derivative of 4*x**3/3 - 2*x**2 + 1. Is 4 a factor of h(2)?
True
Let n(h) = -h**3 + 3*h - 7*h**2 - 4 - 2*h - 5. Let k be n(-8). Suppose -3*w - 2 = -k. Is w a multiple of 15?
True
Suppose 3*t + 0*u - 2*u - 132 = 0, 0 = 4*u - 12. Does 20 divide t?
False
Let w be (-1)/(-4) + 2/(-8). Suppose -39 = x - w*x. Let a = x - -56. Is a a multiple of 14?
False
Let k be 0/(1/1) + 3. Suppose 42 = k*j - 21. Does 16 divide j?
False
Let m(g) = -3*g**3 + 20*g**2 - 8*g - 20. Let h(z) = -z**3 + 7*z**2 - 3*z - 7. Let s(k) = 11*h(k) - 4*m(k). Is s(4) a multiple of 15?
True
Let w be ((-2 + 3)*5)/1. Suppose w*p = 10 + 10. Suppose p*h = 55 + 89. Is h a multiple of 13?
False
Let b(c) = c**2 - 2*c - 4. Does 3 divide b(-3)?
False
Suppose 3*u = 4*x + 66, 0*x + 21 = u - x. Does 2 divide u?
True
Is 8 a factor of (-2 - 1) + 39/1?
False
Suppose 0*a - 2*z = -4*a + 846, -5*z = 15. Does 15 divide a?
True
Is (-267)/(-12) + 7/(-28) a multiple of 11?
True
Let d(k) = 4*k**2 - 10*k + 6. Does 8 divide d(5)?
True
Suppose -2*w + r = -63, 0 = 3*r - 16 + 1. Suppose -i + w + 16 = 0. Is i a multiple of 15?
False
Let a be 2/(-3) - (-6)/9. Suppose a = t - 4 - 0. Is 2 a factor of t?
True
Let s(a) = -3*a - 13. Let t(g) = -1 + 2*g - g - 2*g - 5. Let b(o) = -4*s(o) + 9*t(o). Is 10 a factor of b(4)?
True
Let w = 41 + -23. Let v be (w/(-7))/(3/(-42)). Suppose 0 = 2*r, 5*q - 3*r = 3*q + v. Is q a multiple of 9?
True
Suppose 2*h - 4*o = 29 + 11, -o - 145 = -5*h. Does 8 divide h?
False
Let w(i) = -i**3 - 3*i**2 - 3*i - 2. Let y be w(-2). Let o = 19 + -9. Suppose 2*t - o - 12 = y. Is t a multiple of 11?
True
Suppose 5*b = 5*v + 40, 10 = 2*b - 4*v - 8. Is 7 a factor of b?
True
Suppose -2*z + 5*j = -74, -2*z - 5*j + 81 + 33 = 0. Is 5 a factor of z?
False
Let x(w) = -w**3 - 9*w**2 - 11*w - 8. Suppose 4*g + 22 + 10 = 0. Is x(g) a multiple of 8?
True
Suppose -n - 3*n = -28. Let u be (-2)/(-7) - (-26)/n. Suppose 3*m + 3 = 0, -4*s + m + 189 = -u*m. Is s a multiple of 16?
False
Let o(r) be the first derivative of 2*r**3 - 3*r**2/2 + 3*r + 3. Suppose 0 = -0*w + w - 2. Is 6 a factor of o(w)?
False
Let k = 70 + -42. Is k a multiple of 16?
False
Let c = -9 - -15. Let x = 9 - c. Suppose -x = -g + 3. Does 6 divide g?
True
Suppose -29*m + 219 = -26*m. Does 19 divide m?
False
Let d be (9 + -3)*(-6)/(-9). Let m(v) = 0*v + 3*v - d*v. Is m(-6) a multiple of 2?
True
Let z(k) = k**2 - 9*k - 10. Let b be z(7). Does 3 divide (5/(-15))/(2/b)?
False
Let q(p) = 89*p**2 - p + 2. Is q(1) a multiple of 15?
True
Let b(r) be the third derivative of -2*r**2 - 1/2*r**3 + 0*r + 5/24*r**4 + 0. Is b(5) a multiple of 11?
True
Suppose 0 = 4*r + 12, 2*x + 4*r + 984 = 6*x. Is 1/(-4) - x/(-12) a multiple of 11?
False
Let r be 3 - 4 - (1 + -1). Does 15 divide r/(-4) - 59/(-4)?
True
Suppose -4*q = 2 + 2. Is 11 a factor of -2 - q*(13 + 0)?
True
Let s(d) = 2*d**2 + 3*d - 4. Let g be (-7 - -6)/(1/(-3)). Is s(g) a multiple of 13?
False
Let f be -1*2 - -19*2. Suppose -4*j + 28 + f = 0. Is 8 a factor of j?
True
Let t = -57 + 105. Let y = 26 - 27. Is 16 a factor of y/(((-9)/t)/3)?
True
Let y be 39/(-18)*-2*3. Suppose 110 = -0*n - 5*n - 5*k, 0 = n + 5*k + 22. Let u = y - n. Is u a multiple of 23?
False
Suppose -f + 12 = 2*f. Suppose -3*n - 3*j = -33, f*n - 41 = n - j. Does 5 divide n?
True
Suppose -50 = -3*m - 2*x - 2, -3*m = -4*x - 30. Does 8 divide m?
False
Suppose 6*n = 7*n - 3. Is 3 a factor of n?
True
Suppose 9*z = 6*z + 5*u + 49, -2*z + 16 = 5*u. Is 13 a factor of z?
True
Suppose -2*c - 3*f = 2, 3*c - 4*f - 11 = 4*c. Does 5 divide c?
True
Let y(x) = x**2 - 8*x + 5. Let b be y(7). Let l(u) = -2*u**3 + 3*u**2 + 4*u + 3. Let p be l(b). Let s = p - 12. Is 4 a factor of s?
False
Let r = 103 + -6. Does 25 divide r?
False
Let v(a) = a**3 - 8*a**2 + 3*a + 4. Let q be v(8). Suppose q + 50 = 2*o. Is 13 a factor of o?
True
Let f = 156 + -16. Does 44 divide f?
False
Does 2 divide (-140)/(-18) - (-2)/9?
True
Let a = -7 - -11. Suppose 3*r - 97 = -2*z, 0*z + 203 = a*z - 3*r. Is 12 a factor of z?
False
Suppose -3*g + 3*y + 8 = 7*y, -4*g + 14 = 2*y. Suppose -g*b + 91 + 49 = 0. Is 18 a factor of b?
False
Let d(t) = 4*t - 2 + 2 + 0. Does 6 divide d(3)?
True
Let r = -144 + 242. Is 20 a factor of r?
False
Let v(q) = -q**3 - 6*q**2 + 6*q - 10. Let p be v(-7). Let n = p + 6. Suppose 2*r - 110 = -n*r. Is r a multiple of 10?
False
Let b(p) be the second derivative of -p**5/40 - p**4/24 - p**3/3 - 2*p. Let s(m) be the second derivative of b(m). Is 4 a factor of s(-3)?
True
Suppose -2*s + 106 = 4*o, 5*s - 203 = s + o. Is 7 a factor of s?
False
Let c be 48/6*(-1)/2. Does 8 divide (16/(-5))/c*10?
True
Suppose 0 = -l + 3, -3*a - 2*a - 3*l + 464 = 0. Is a a multiple of 17?
False
Let w be 5/(-4)*-4*1. Suppose -10 - 35 = -w*q. Is q a multiple of 3?
True
Suppose -5*c + 95 = -0*c. Does 14 divide c?
False
Suppose 59 = 2*g - 27. Is 43 a factor of g?
True
Let a(r) = r**3 + 4*r**2 - 1. Let b(o) = -3*o + 3. Let s be b(2). Let n be a(s). Suppose i + i - n = 0, -l + i + 3 = 0. Is l a multiple of 2?
False
Suppose -4*q = 3*f + 7, -4 = 4*q + 2*f + 6. Let d(l) = l**3 + 5*l**2 - 3*l - 2. Is d(q) a multiple of 8?
False