h = -159 + 111. Let b = -45 + 17. Let r = b - h. Is 10 a factor of r?
True
Let f = 7 - 4. Suppose 93 = f*a - 5*r, r + 3 + 28 = a. Let w = a + -20. Is w a multiple of 4?
False
Suppose 4*d - 4 = 5*d. Let p(r) = -7*r + 2. Is p(d) a multiple of 11?
False
Let v(t) = 21*t. Suppose k = -4*c - 15, 4*k - c = 1 - 10. Let p be v(k). Let j = p - -97. Does 17 divide j?
True
Suppose 0 = 2*r - s - 5, -1 - 1 = 2*s. Suppose -o + r*n = -6, 5*o - n - 1 = -7. Is (o/(-4))/((-1)/(-22)) a multiple of 11?
True
Is 13 a factor of (-11)/(-3)*66/11?
False
Is 14 a factor of ((-4665)/45)/(1 - (-4)/(-3))?
False
Let k(q) = 10*q**2. Suppose v + 4*x + 10 = -0*v, 2 = v - 2*x. Let c be v - -6*(-2)/(-4). Is 10 a factor of k(c)?
True
Let p be -1*(0/1 + -2). Let n(v) = -3*v - 4 + 3*v**p + 16 + 2*v - 2*v**2. Is n(0) a multiple of 9?
False
Suppose 0 = 3*z - 6 - 177. Let w = z + -33. Does 15 divide w?
False
Let t(c) = 3*c - 15. Let m be t(6). Suppose -m*b = d - 8*b - 22, 2*d - 3*b - 44 = 0. Is 21 a factor of d?
False
Let v(w) = 2*w**3 + w - 1. Suppose 0 = 4*l + 4*g - 4, g + 0 = 4*l - 4. Does 2 divide v(l)?
True
Suppose 3*m + 8 + 4 = 0, 4*m = -2*z - 20. Let a be z/(-3) - 17/3. Is 6 a factor of (-48)/a + 4/10?
False
Let a(p) = p + 2. Let b be a(-2). Suppose -g + b = -3. Is g a multiple of 2?
False
Let y(i) = 3*i - 1. Suppose 0*l = l - 5. Is y(l) a multiple of 4?
False
Suppose 3*n + 3 = 21. Let w(i) = -2*i + 10. Let u be w(7). Let k = n + u. Is k even?
True
Suppose 2*y - 50 + 2 = 0. Suppose 3*q + 0*o - y = 3*o, -1 = -2*q - 3*o. Suppose g + 6*n - q*n - 24 = 0, -g - 5*n = -4. Does 15 divide g?
False
Let p(a) = a**2 - 9*a + 6. Let k be p(8). Let d be (-14)/(-2) - k/(-1). Suppose 20 + 0 = d*n. Is n a multiple of 2?
True
Let k be 24/(-14) - 4/14. Let t(x) be the first derivative of 2*x**3/3 - 1. Is t(k) a multiple of 7?
False
Let p = 8 - 2. Let h = 18 - p. Is h a multiple of 6?
True
Let v(p) = p**3 + 8*p**2 - 12*p - 4. Let m be v(-9). Suppose -m*y + 208 = -19*y. Does 17 divide y?
False
Let m(h) = 5*h + 11. Does 9 divide m(5)?
True
Let k(d) = 2*d**2 + 10*d - 2. Let g be k(-7). Suppose -g = -3*x + 28. Does 9 divide x?
True
Let l be (-2)/(-12) + (-2)/12. Suppose 2*b - 3*b + 18 = l. Is 18 a factor of b?
True
Let t = 39 + -11. Is t a multiple of 7?
True
Let s = -33 + 38. Is 5 a factor of s?
True
Let i be 142/(-5) + 2/5. Let g = -6 - i. Suppose -2*a + 6 = -g. Is a a multiple of 7?
True
Suppose 30 = -2*s + 7*s. Let d(l) = -l**2 + 3*l + 3. Let w be d(4). Does 3 divide (s - 3) + (-2)/w?
False
Let h = 22 - 6. Is 8 a factor of h?
True
Let d(f) = f**3 - 8*f**2 + 6*f + 4. Let i be d(7). Let v = 6 + i. Suppose v*o = 42 + 12. Does 6 divide o?
True
Let n be 1*(0 - 4*-6). Let o be (1 + 0)/(6/n). Suppose -o*m = -73 + 25. Does 12 divide m?
True
Suppose -4*d - 4 = -7*p + 3*p, 0 = -4*d - 3*p + 31. Suppose 0 = -x + o + 4, 3*x = -d*o + o + 24. Suppose 2*f + x = 4*r, 3*r + f - 15 = -3. Is 3 a factor of r?
True
Suppose -5*q = -5*n - 2*q + 30, -q + 4 = 3*n. Let f(s) = s**2. Let o be f(n). Is 1 + o - (1 - 1) a multiple of 5?
True
Let d = 23 - -2. Is 16 a factor of d?
False
Suppose 3*c = -5*i + c + 58, -4*i - 2*c + 48 = 0. Is 3 a factor of i?
False
Let l(f) = f**3 + 10*f**2 - 6*f + 8. Is 34 a factor of l(-10)?
True
Suppose -10 = -2*g + 3*w, -w - 10 = -6*g + 2*g. Suppose -3*n + 0*n = 0. Suppose n*o = g*o - 60. Is o a multiple of 15?
True
Let k(b) = -b - 2. Let f be k(-5). Suppose f*z + 12 = 4*r, 4*r = r + 9. Let w = 13 + z. Does 5 divide w?
False
Let u(b) = -b**3 + 7*b**2 - 5*b + 4. Let o(h) = h**3 + h**2 + 6. Suppose 3*a = -a. Let t be o(a). Is u(t) a multiple of 5?
True
Suppose 7*b + 19 = 208. Is b a multiple of 3?
True
Suppose 0 = 2*z - 94 - 34. Let x = -3 + -10. Let t = z + x. Is t a multiple of 18?
False
Let y = 3 - -8. Let n = -7 + y. Does 17 divide 17 - (n/1)/(-2)?
False
Let f be -2 - 1/((-1)/4). Suppose f*w - 174 + 54 = 0. Does 20 divide w?
True
Suppose -2*u + 261 = -223. Is 4/(-12) + u/6 a multiple of 16?
False
Let m = 40 + -28. Is m a multiple of 6?
True
Suppose 8 + 1 = 3*y. Let c(u) = u**2 + u - 6. Is 5 a factor of c(y)?
False
Let q(s) = -2*s**2 + 3*s + 4 - 5 - s**3 - 6*s + 4*s. Let k be q(-2). Is ((-22)/(-6))/(k/(-27)) a multiple of 13?
False
Let n = -8 + 11. Suppose n*m - 9 = 3*y - 0*m, -3*m + 13 = -y. Suppose -s - 22 = -y*s. Is s a multiple of 11?
True
Let p(b) = -b**3 + 9*b**2 - b + 5. Let g be p(9). Let f = g + 38. Is f a multiple of 10?
False
Let q = 10 + 7. Is q a multiple of 17?
True
Let f(g) = -g**2 - 8*g + 1. Let n(b) = -b**2 - 8*b + 2. Let d = -11 + 9. Let z(x) = d*n(x) + 3*f(x). Does 3 divide z(-7)?
True
Suppose -3*k - 1 = -13. Suppose -55 = -u - k*u. Is 5 a factor of u?
False
Let k = 6 - -2. Let j = k - 4. Is j a multiple of 3?
False
Suppose 9*j - 174 - 618 = 0. Is j a multiple of 8?
True
Is 20 a factor of ((-70)/(-6) - 7)*1080/14?
True
Let s be (-430)/(-90) + 2/9. Suppose t - s*c - 43 = 0, 3*t + 3*c = -c + 205. Does 21 divide t?
True
Let t be (3 - 2/1) + 10. Is (t + 1)/(3/2) a multiple of 3?
False
Let q(s) = -s**2 + 10*s - 12. Let h be q(8). Suppose 0 = h*n + 2*o - 122, 5*o = -3*n + 52 + 36. Suppose -9 = -5*a + n. Is 4 a factor of a?
True
Let f(o) = o**3 - 5*o**2 - 3*o - 7. Let s be (2 + (-1 - 7))*-1. Is 11 a factor of f(s)?
True
Let r = -177 - -255. Does 13 divide r?
True
Let r be -1 + 3 + 0 - -1. Does 22 divide 44 + (0 + -3)/r?
False
Is 3 a factor of (-9 - (-4 + 2))/((-2)/6)?
True
Let d(s) = s**3 - 15*s**2 + 2*s + 15. Is 14 a factor of d(15)?
False
Let h = 13 + -9. Suppose 0*r + 3*r + 5*x - 137 = 0, -x = h*r - 160. Does 13 divide r?
True
Let r(g) = -g**2 - g + 51. Let f be r(0). Let n = f - 23. Is n a multiple of 14?
True
Let c = 5 - -11. Is c a multiple of 3?
False
Let u(y) = -y**3 - 3*y**2 - 3*y - 1. Let w be u(-3). Suppose z + w = 5*z. Is 20 a factor of (-1 - -9)*5/z?
True
Suppose d - 243 = -2*d. Suppose -5*v - 5*c = -215, 4*v - d = 2*v - c. Does 12 divide v?
False
Let b = -91 - -205. Does 24 divide b?
False
Let c = 7 - -14. Is 7 a factor of c?
True
Let a = 39 - 22. Is 8 a factor of a?
False
Does 7 divide ((-2)/(-8))/((-2)/(-16)) + 30?
False
Let p(i) = -i**3 - 7*i**2 - 7*i - 1. Let b be p(-6). Suppose b*m - 67 = 13. Does 16 divide m?
True
Let i(s) = -8 - 2*s**2 - 6*s + 2 + 4*s**2. Let w(p) = -6*p**2 + 17*p + 17. Let d(l) = -8*i(l) - 3*w(l). Is 17 a factor of d(4)?
True
Let y = -14 - -42. Does 28 divide y?
True
Let k(f) = 3*f + 27. Is 21 a factor of k(26)?
True
Suppose 4*y - 23 = -u, 0*u - 4 = 2*u - 2*y. Suppose 4*q = u*q - 6. Is 15 a factor of (-176)/q - 4/(-6)?
True
Let o be (35 - (5 - 2))/2. Does 13 divide 2 - (-4)/(o/228)?
False
Let z = 243 + -145. Does 42 divide z?
False
Let w be (12/10)/((-4)/(-10)). Let l(p) be the third derivative of p**5/12 - p**4/24 - p**3/2 - 3*p**2. Is l(w) a multiple of 20?
False
Let v(c) = -3*c + 8. Let i be v(-8). Let w = i + -9. Suppose w = 5*o - 27. Is 8 a factor of o?
False
Suppose 0 = -z - 2*z + j + 758, -2*z + j + 505 = 0. Let v = 499 - z. Does 16 divide 4/(-6)*v/(-4)?
False
Let k(p) = p + 4. Let c be k(0). Suppose 2 = -c*o - 5*s - 5, 2*o = -5*s - 11. Suppose -19 = -2*f + l, 3*f - 30 = 4*l - o*l. Is f a multiple of 3?
False
Suppose 0 = -2*b + 104 - 20. Is 21 a factor of b?
True
Let a(x) = 4*x - 4. Let d be a(-5). Suppose 4*k = -0*k + 16. Is 11 a factor of (-258)/d - (-1)/k?
True
Let v be 0*(0 + 2 + -1). Let y(p) = 12*p - 2. Let x be y(4). Suppose 0*c + c + 3*l - x = v, 0 = 4*l - 12. Is c a multiple of 19?
False
Suppose -3*m + 2*w + 102 = -w, -4*m + 152 = 4*w. Is m a multiple of 10?
False
Suppose -6*n = -3*n - 270. Does 9 divide n?
True
Let h(n) = 40*n**3 - n**2 - n + 2. Let c be h(1). Is 2 a factor of c/6 - (-2)/6?
False
Suppose -y = -4*l - 3, 3*y = 2*l - l + 9. Let b be 35/(-15)*(-6 - l). Let d = b + -6. Does 8 divide d?
True
Let o = 173 + 44. Suppose 5*g - 28 - o = 0. Does 17 divide g?
False
Let p be 2/(-4)*0 - -5. Let k(c) = -2*c. Let w be k(p). Let f(g) = -3*g - 12. Is 7 a factor of f(w)?
False
Is 22 a factor of (25 - 5)/(-4) - -93?
True
Let h(w) = -2*w**3 - 5*w**2 - 11*w - 7. Is h(-4) a multiple of 44?
False
Let n(q) be the first derivative of -q**4/4 + q**3/3 - 2*q + 1. Does 6 divide n(-2)?
False
Let q(s) = s - 1. Let l be q(4). Let c(i) = -12*i - 1. Let u(w) = 12*w + 1. Let n(j) = 5*c(j) + 6*u(j). Is n(l) a multiple of 18?
False
Let h = -14 + 1