)/(y/285)?
False
Let y = -1 + 10. Is 3 a factor of y?
True
Let g = 182 - 86. Is g a multiple of 19?
False
Suppose -3*s = -6*s. Let y(w) = w**3 - w**2. Let i(t) = t**3 - 2*t**2 - 17. Let q(v) = -i(v) + 2*y(v). Is 17 a factor of q(s)?
True
Is (-3)/18*-3*52 a multiple of 13?
True
Let r(w) = 2*w - 6. Let g be r(4). Let y = g - -2. Is y a multiple of 2?
True
Let l = -15 - -7. Let b = 31 - 14. Let s = b + l. Is s a multiple of 3?
True
Let h(z) = z**2 + 8*z - 3. Let c be h(5). Suppose -3*b + 0 = -12. Suppose -b*w + 151 = -5*m - c, 2*w = -4*m + 126. Is w a multiple of 21?
False
Suppose -73*j + 79*j - 246 = 0. Is j a multiple of 4?
False
Suppose 0 = 5*s - 7 - 3. Let r(y) = y + 2. Let v be r(s). Suppose -4*i - 27 + 8 = -p, -v*p - 5*i + 139 = 0. Is 19 a factor of p?
False
Let l be ((-3 - -2) + 2)*1. Let z be 920/(-12) + l/(-3). Let j = -47 - z. Is 13 a factor of j?
False
Suppose -3*m + 7*m = -4, -3*t + 2*m = -11. Let d = -2 + t. Does 3 divide (1 + -3)*d*-4?
False
Suppose 4*l - 4*a = -445 + 2013, -10 = 5*a. Is 41 a factor of l?
False
Suppose -3*m - 3*s + 36 = -0*m, -2*s - 8 = 0. Is 8 a factor of m?
True
Suppose s - 7 = -5*v, 5*s - 9 = 5*v - 4*v. Let m = 17 + v. Is m a multiple of 7?
False
Let g(a) = 4*a + 1. Let f(b) = 4*b + 1. Let o(y) = -4*f(y) + 5*g(y). Suppose -3*c + 4 = c. Is 3 a factor of o(c)?
False
Let v = 12 - 18. Let l = 8 - v. Does 6 divide l?
False
Let w(z) = z**2 - 6*z + 7. Let y be w(5). Suppose -4*l + y*l = -42. Let b = l - 8. Is 13 a factor of b?
True
Let y = 259 - 172. Does 29 divide y?
True
Let s = 8 + -5. Let t = -3 + 5. Suppose 15 = -w + 3*w + b, -w - t*b = -s. Is w a multiple of 6?
False
Let m(u) = -u**3 + 5*u**2 + 2*u - 6. Let y be m(5). Does 18 divide y/(-14) - (-226)/7?
False
Is 9 a factor of -32*(2/4 - (-5)/(-4))?
False
Let x(a) = a**2 - 8*a. Is 11 a factor of x(13)?
False
Let o(y) = -y**3 + 7*y**2 - 2*y + 8. Let j be o(7). Let b be (-4)/(-2)*j/(-4). Let a = b - -2. Is 5 a factor of a?
True
Suppose -5 = -h + 4*y + 17, 3*y = -3*h + 21. Let n(i) = i**3 - 11*i**2 + 13*i + 12. Does 14 divide n(h)?
True
Let z be -1*(0/(-2) - 0). Suppose z = -2*g + 3*g - 1. Is 8*(0 - (g + -2)) a multiple of 3?
False
Let y be (2/(-3))/((-2)/(-12)). Suppose 0 = -u - 2*u - 468. Is 11 a factor of (y/(-6))/((-8)/u)?
False
Suppose -f - f + 8 = 0. Suppose -146 = -f*w + 26. Is 8 a factor of w?
False
Let k = -8 + 11. Does 12 divide 3 - -1 - k - -35?
True
Suppose 0*j + 5*j = 30. Is 6 a factor of j?
True
Let t(j) = 2*j**3 + 2 - 10*j**3 + 0 - 3 + j**2. Is t(-1) a multiple of 6?
False
Let y(o) = -27*o + 1. Let r(m) = 14*m - 1. Let k(j) = 5*r(j) + 2*y(j). Is 22 a factor of k(4)?
False
Let o be (-1)/(-4 + -3 + 6). Suppose -5*v = 3*l - 68, 0 = l + v - 19 - o. Is l a multiple of 8?
True
Suppose -4*u + 3*r = -264, 4*r - 62 = -2*u + 48. Does 10 divide u?
False
Let x be (-8 + -3)/((-2)/4). Suppose -2*j + 4*o + 48 = -x, -3*j + o + 85 = 0. Is j a multiple of 6?
False
Let d(u) = -u - 1. Let t be d(-4). Suppose -t*i - 4*c - 2 = 0, -3*i + c - 2 = -10. Let b = 24 - i. Is 11 a factor of b?
True
Let c(u) = u**2 + 4*u - 25. Is 27 a factor of c(-15)?
False
Let c = 43 + 39. Is 7 a factor of c?
False
Suppose 2*c - c + 6 = 5*u, -3*c - 2 = u. Let n be (-1)/(-2)*0 - -2. Suppose 0 = -f + u, -n*f + 6 = 5*r - 51. Is 11 a factor of r?
True
Suppose 0 = 2*r - 7 + 1. Suppose r*i - 4*i = -11. Is i a multiple of 11?
True
Suppose 5*t - 3 = 2. Let h(f) = -f**3 + f**2 - f. Let i(x) = -16*x**3 + 5*x**2 - 4*x - 1. Let j(w) = 5*h(w) - i(w). Is j(t) a multiple of 11?
True
Suppose -3*g = 219 - 714. Is g a multiple of 33?
True
Let f(k) = -9*k - 7. Let y be f(-7). Does 12 divide (3 + 0)*y/6?
False
Let b(z) be the first derivative of z**4/2 + z**3/6 - z**2/2 - 4*z - 1. Let h(j) be the first derivative of b(j). Does 4 divide h(1)?
False
Let b(i) be the third derivative of i**5/10 - i**4/24 + i**3/6 + 4*i**2. Is b(2) a multiple of 16?
False
Suppose 4*t = 147 + 29. Let i(r) = -r**3 - r**2 + r + 1. Let j be i(-2). Suppose -x = j*x - t. Is x a multiple of 4?
False
Let h(c) = -3*c + 7. Let a(r) = r. Let s(w) = 4*a(w) + h(w). Is s(-3) a multiple of 3?
False
Let s(k) = k**2 - k. Let l(u) = -10*u**2 - 2*u - 1. Let a(r) = -l(r) + 3*s(r). Does 4 divide a(1)?
False
Let c(m) = m**2 - 3*m + 2. Let f be c(3). Suppose 5*t + f*w = 93, -25 = -t - 0*w - 2*w. Is t a multiple of 5?
False
Suppose -x = -5*j + 973, j + 5*x - x = 203. Does 15 divide j?
True
Let r be 3/(-9) + 8/(-3). Let q be 1*(3 - -4) + r. Suppose -9 = -5*u + 2*u, -q*d = -5*u - 141. Is d a multiple of 17?
False
Suppose -u + 5 = -6*u, 0 = 4*x - 3*u - 51. Is 4 a factor of x?
True
Let c = 76 + -70. Is c a multiple of 3?
True
Suppose 4*f = -95 + 839. Is f a multiple of 10?
False
Let s(l) = l**3 - 12*l**2 + 13*l - 16. Let h be s(11). Let c = h - 1. Does 2 divide c?
False
Let l(q) be the second derivative of q**4/12 + 5*q**3/6 + 2*q**2 - q. Suppose 27 = -c + 3*i + i, -c - 5*i = -18. Does 9 divide l(c)?
True
Let h(n) = -4*n + 5. Let d(w) = -w + 1. Let m(r) = -5*d(r) + h(r). Let x be m(5). Suppose -18 = -g + 2*y, -2*g - 115 = -7*g + x*y. Is 17 a factor of g?
False
Suppose 1 = 2*b + 3*s, 3*b + 4*s = -s + 1. Is 3 a factor of (12 - 1) + b/2?
True
Let s(n) = n**3 + 10*n**2 + 10*n + 7. Is 11 a factor of s(-7)?
False
Does 28 divide -24*(-1 + 4 + -10)?
True
Let q = -6 + 15. Let x = 12 - q. Is 2 a factor of x?
False
Let z = 4 + 16. Suppose 2*i + z = 3*i. Is 10 a factor of i?
True
Let m = -3 + 4. Let u(x) = -x. Let v(c) = 7*c**2 - 4*c. Let r(k) = m*v(k) - 3*u(k). Is 6 a factor of r(1)?
True
Suppose -4*b + b = -4*l + 81, 3*l - 39 = -5*b. Is 9 a factor of ((-9)/6 - -2)*l?
True
Suppose -3*h = -135 - 9. Does 6 divide h?
True
Suppose -3*n - 9 = -6*n. Suppose -n*a + 50 + 41 = 5*b, -104 = -4*a + 2*b. Is a a multiple of 10?
False
Suppose -2*k = -k - 124. Suppose -4*c = -0*c - k. Suppose -5*r = -c - 9. Is r a multiple of 4?
True
Let k = 10 + -10. Suppose k*d - d + 40 = 0. Suppose -d - 92 = -3*a. Is a a multiple of 22?
True
Let p be (15/10)/(1/2). Let f be 2/2 - p - -6. Is 10 a factor of (1 + (-6)/f)*-34?
False
Let g = 10 - -1. Is g a multiple of 3?
False
Let b = -3 + 27. Does 6 divide b?
True
Let y = 142 - 18. Is 31 a factor of y?
True
Let u = 53 + -36. Suppose -3*v + 7 = -u. Is 3 a factor of v?
False
Let x be -1 - 0 - (-53 + 2). Suppose -2*i = 3*i - x. Is 8 a factor of i?
False
Let h(d) = -27*d**3 + 1. Is 12 a factor of h(-2)?
False
Suppose 10 = -5*t, 30 = z - 0*z - t. Suppose 92 = 4*p - z. Is 15 a factor of p?
True
Let w be (5/3)/((-2)/(-48)). Suppose 8*f = 4*f + w. Is 5 a factor of f?
True
Let z = 10 + -8. Suppose z*x + 2*n + 0*n = 60, -5*x - n + 134 = 0. Suppose -3*u + x + 25 = 0. Is 17 a factor of u?
True
Suppose 0 = -2*f + 339 - 99. Suppose 5*a - q = 251, 3*q + 373 = 5*a + f. Let z = a - 24. Does 17 divide z?
False
Let x(q) = -q**2 + 4*q + 2. Let i be x(5). Let a(k) = k**3 + 3*k**2 + 3. Let y be a(i). Suppose 2*j + 5*t + 1 - 16 = 0, -4*t + 26 = y*j. Is 10 a factor of j?
True
Let y(f) = 67*f**3 + f**2 - f + 1. Let r = 5 - 4. Let n be y(r). Suppose -3*i = 4*m - n, -26 = -4*i + 2*m + 50. Does 10 divide i?
True
Let j(a) = a**2 + 4*a - 8. Let u be j(-6). Suppose -2*z + 25 = 3*z, -307 = -u*x + z. Is 26 a factor of x?
True
Let t(g) = -g**2 - 18*g - 10. Does 22 divide t(-16)?
True
Suppose -2*z - 4*w = -106, 3*w = -2*z + 6*z - 179. Does 5 divide z?
False
Let j be (-42)/9*(-1 + -2). Let m = 0 + j. Is m a multiple of 14?
True
Let n(m) = 3*m**2 + 8*m + 31. Does 27 divide n(-10)?
False
Suppose -2*v - h = -149, -v + 2*h + 92 = -h. Is 14 a factor of v?
False
Let q = -2 + 5. Suppose -4*y = 3*b - 32, y = -q*b + b + 23. Does 4 divide b?
True
Let q(b) be the third derivative of b**6/60 - b**5/60 - b**4/24 + b**3/3 - b**2. Is 7 a factor of q(2)?
False
Let x be (0/(-1) - 1)*-5. Suppose -x*j + y = 6*y - 195, -4*y = -4*j + 188. Is j a multiple of 20?
False
Suppose 5*d = -4*h + 590, -d + 0*d = -3*h - 137. Is d a multiple of 11?
False
Suppose -19 = -4*c + 25. Let i(f) = -f**3 + 11*f**2 + 2*f - 12. Is 4 a factor of i(c)?
False
Suppose c = 2*j + 19 - 8, -2*j - 21 = -3*c. Let f be 185 - (2 + (1 - 2)). Suppose 4*u + x - 108 - 38 = 0, -c*u - 2*x = -f. Is 18 a factor of u?
True
Suppose 5*c - 385 - 60 = 0. Let p = c - 53. Is p a multiple of 12?
True
Suppose -4*b = b - 10. Let z(t) = t**2 - 4*t. Let y be z(4). 