*q + 1. Is 12 a factor of j(11)?
False
Let k(b) = -b**2 - 8*b + 3. Let w be k(-8). Let l(f) = 9*f - 3. Does 6 divide l(w)?
True
Let s(m) = 3*m + 6. Let q be s(-5). Let i be 14/3*q/(-6). Suppose -5*f + i*f = 72. Is f a multiple of 18?
True
Suppose 5*k + 15*l = 13*l + 2176, 2*k = 5*l + 853. Does 49 divide k?
False
Suppose 4 = -0*q + q. Suppose 0 = q*x - 231 + 47. Does 12 divide x?
False
Let t(p) = p**3 + 7*p**2 - 2*p + 3. Let i be t(-7). Suppose -f - 2*m = -i, -2*f + 26 = f + m. Does 5 divide f?
False
Let o = 66 - 31. Is o a multiple of 7?
True
Suppose -4*i + 3*j + 39 = -94, 2*j = i - 32. Does 15 divide i?
False
Let k be -2 + (-2 - -4) + 2. Let t(u) = -10 - 5*u + u**k + 10. Is 5 a factor of t(6)?
False
Suppose -5*q = -129 - 6. Let u = -15 + q. Suppose 4*a - 5*a = -u. Is a a multiple of 6?
True
Let q(u) = 5*u**2 + 4*u - 2. Let d(t) be the first derivative of -2*t**3 - 2*t**2 + 2*t + 1. Let i(p) = -4*d(p) - 5*q(p). Is 2 a factor of i(-3)?
False
Is 20 a factor of (-34)/(5*(184/(-90) - -2))?
False
Suppose 0 = 4*a - 20 + 8. Suppose -2*f + 3*v + 605 = 0, 6*v = 3*f + 2*v - 910. Suppose f = 8*t - a*t. Does 21 divide t?
False
Let q be (-45)/18*(-148)/10. Suppose 2*l - h + 4*h = q, -4*h = 3*l - 53. Is l a multiple of 5?
False
Suppose 6*m + 29 = h + 2*m, 2*h - 5*m - 70 = 0. Is h a multiple of 13?
False
Suppose 0 = -4*f + 4*k - k + 291, -4*f + 4*k + 292 = 0. Is 24 a factor of f?
True
Let c(i) = i**3 - 8*i**2 + 7. Let v be c(8). Suppose 5*s - v*s + 14 = 0. Is s a multiple of 2?
False
Suppose 3*q - 5*i = -17, 3*q + 5*i + 3 = q. Let b be (-2)/(-5) + q/10. Let m(j) = -j**2 + 16. Is 15 a factor of m(b)?
False
Let b(x) = -22*x**3 + 2*x**2 + 6*x**3 - 2*x**2. Is b(-1) a multiple of 10?
False
Let i = 7 - 5. Let f(d) = 3 - 3*d + 5*d - 2 + d**i + 3. Is 19 a factor of f(-5)?
True
Let a = 12 - 13. Let d(m) be the first derivative of -12*m**2 - 1. Does 8 divide d(a)?
True
Suppose t - 7 = -23. Let s(w) = w**3 + 4*w**2 - 12*w - 10. Let r be s(-6). Let h = r - t. Does 2 divide h?
True
Let f(x) = -3*x - 2. Let i be f(-3). Is 2 a factor of i + -1 + 2 + -5?
False
Let x = 846 - 586. Is 43 a factor of x?
False
Let l(i) = -i**3 - 13*i**2 - i + 31. Is 4 a factor of l(-13)?
True
Suppose -4*m - 12 = 4*i, -7 = 3*m - i + 6*i. Let d(j) = 5*j + 1. Let t(p) = -p - 1. Let o(w) = -2*d(w) - 6*t(w). Does 10 divide o(m)?
True
Suppose 0*f = -4*f + 184. Suppose 4*y + o - 16 - 17 = 0, -y + 2*o = -15. Suppose -x - y = -5*j + 38, 4*j - 5*x - f = 0. Is 9 a factor of j?
True
Let k(z) = -3 - 2 + 3 - 3*z**2 + 3*z + 5*z**2. Is 26 a factor of k(-6)?
True
Suppose 615 + 57 = 2*s. Is 28 a factor of s?
True
Suppose -4*p + 53 = -199. Let c = p + -35. Is c a multiple of 8?
False
Let m(b) be the second derivative of b**5/20 - b**4/3 - 4*b**3/3 - 3*b**2/2 + 2*b. Let q = 2 + 4. Is m(q) a multiple of 6?
False
Suppose -18*f + 774 = 54. Is 6 a factor of f?
False
Suppose 0 = 3*d + 6*d - 675. Does 15 divide d?
True
Suppose -4*z + 4*i + 4 = 0, 4*i - 21 = -2*z + 5. Suppose b - 105 = -4*w + 4*b, -2*w + z*b = -63. Is w a multiple of 12?
True
Suppose 0*a + 5*z = 2*a - 68, 0 = -5*z - 20. Does 12 divide a?
True
Suppose 0*h = -2*h. Let p be ((h + 1)/(-1))/1. Let o = p - -19. Does 18 divide o?
True
Let c(f) = -f**3 + 8*f**2 - 3*f + 4. Let q be c(6). Suppose 2*y + q = 7*h - 3*h, -2*h + 49 = -5*y. Is 4 a factor of h?
True
Let h(v) = v**2 - v - 7. Let w be h(6). Let g(q) = -1 - 2 + 3 - 1 - w*q. Does 22 divide g(-1)?
True
Let i = 32 - 23. Is i a multiple of 3?
True
Suppose 2*i + 6 + 10 = 2*p, -3*i = 5*p - 24. Suppose 0 = 3*a - p - 0. Suppose -4*n + a*n + 32 = 0. Is 8 a factor of n?
True
Let o(u) = u**2 + 5*u + 2. Let n be o(-5). Suppose -3*k - n*k = -225. Is 19 a factor of ((-2)/3)/((-1)/k)?
False
Let k = -3 - -8. Suppose k*t = 5*r + 15, -5 = -2*t + 3*r + 1. Does 2 divide t?
False
Let b(r) = -3*r + 46. Does 10 divide b(-18)?
True
Let r = 4 - 4. Suppose 5*o = -5, 5*m - 183 = -r*o + 3*o. Is 18 a factor of m?
True
Is 31 a factor of (186/8)/((-6)/(-16))?
True
Suppose 5*q - 43 + 13 = 0. Suppose q*j = j. Suppose 5*i + j*i = 4*d - 93, 0 = 2*i - 6. Does 12 divide d?
False
Let z(n) = n + 2 + 0*n + 2. Is z(0) a multiple of 2?
True
Let m(b) = b**2 - 2*b**2 - b + 2*b**2 - 2. Let t be m(3). Suppose -z + 160 = t*o, 5 = -4*z - 11. Is 16 a factor of o?
False
Is (60/(-25))/((7/20)/(-7)) a multiple of 24?
True
Let y = 6 + -5. Suppose 0 = 5*n + y + 4. Is 10 a factor of 27 - (n + -1 + 1)?
False
Let d = -7 + 12. Suppose -84 = -d*m - 24. Is m a multiple of 7?
False
Suppose j + 116 = 5*j. Is j a multiple of 15?
False
Suppose -24 = -2*k + 5*d, 20 = 4*k + 4*d - 0. Suppose 3*t + k = -11. Does 7 divide (0 + 3)*(-22)/t?
False
Let y(a) = 40*a + 2. Is y(1) a multiple of 21?
True
Let y = 64 - 17. Is y a multiple of 7?
False
Let f be (1/2)/(6/(-372)). Let l = -18 - f. Is l a multiple of 4?
False
Let w(v) = -8*v - 7. Let c(n) = 25*n + 22. Let l(i) = -2*c(i) - 7*w(i). Does 26 divide l(6)?
False
Let x(u) = u**3 + 10*u**2 + 15*u + 16. Is x(-8) a multiple of 5?
False
Let c(j) = j**2 + 2*j + 3. Let v be c(7). Let b be (1 - (3 + v))/(-1). Let k = 109 - b. Is k a multiple of 19?
False
Let y = 7 + -17. Let m = 28 + y. Let s = 31 - m. Is 4 a factor of s?
False
Let w = -44 + 60. Is 6 a factor of w?
False
Let w(i) = -i - 2. Let v = -8 - -5. Let d be w(v). Let r(p) = 55*p**3 + p. Is 22 a factor of r(d)?
False
Let p(m) = -2*m - 13. Suppose -2*c - c = 27. Let d be p(c). Suppose 22 - 232 = -d*b. Does 19 divide b?
False
Suppose 4*a = 8 + 4. Is a a multiple of 3?
True
Let f(q) = -2*q. Let w be f(-1). Suppose 0 = -3*c - w*c + 130. Suppose 5*l + 54 = 3*x + 2*l, 3*l + c = x. Is 14 a factor of x?
True
Suppose -409 = -3*b + 4*d, 2*b - d - 274 = 3*d. Is 27 a factor of b?
True
Let c(s) = 4*s**2 + 5*s + 13. Is 17 a factor of c(6)?
True
Let j(h) be the third derivative of h**4/24 + h**3/3 - 3*h**2. Does 8 divide j(6)?
True
Let m = -14 - -23. Is 10/10*(m - 0) a multiple of 2?
False
Let x(p) = -44*p + 16. Is 8 a factor of x(-2)?
True
Let k be 2/(-5) - (-4)/10. Is 17 a factor of (-2 - k)/2 - -44?
False
Let p(x) = -2*x + 7. Let d(y) = -y**3 - 9*y**2 + 11*y - 3. Let k be d(-10). Is p(k) a multiple of 11?
True
Let y = 5 - 13. Suppose 0 = -4*o + 362 - 3782. Does 17 divide (y/10)/(18/o)?
False
Let v = -5 - -29. Suppose 0 = f - 0*f - v. Is 6 a factor of f?
True
Suppose -8*d + 4 = -4*d. Let b = d - -8. Suppose 2*h - b = -h. Is 3 a factor of h?
True
Let d be -113 - (3 + -1 + -3). Let x = d - -175. Is x a multiple of 22?
False
Let w be (-2)/(-7) - 27/21. Does 13 divide (w + 2)*(43 - 4)?
True
Let d(u) = -u**3 + 7*u**2 - 4*u - 5. Does 10 divide d(4)?
False
Suppose -o + 3 = 9. Let z = o + 10. Does 2 divide z?
True
Suppose -2*y = -7*y - 5*c + 360, -5*c = 0. Is y a multiple of 12?
True
Suppose 600 = -3*g + 8*g. Is 30 a factor of g?
True
Let v(o) = -o**3 + 12*o**2 - 8*o + 8. Is v(11) a multiple of 25?
False
Let l = -6 + 11. Suppose 9*t = 4*t + l. Suppose 0 = 4*g - f - 15, -5*f + 24 = -t. Is g even?
False
Does 7 divide 2/(-10) - (-602)/35?
False
Suppose -5*f = -10 - 15. Does 5 divide f?
True
Let b be 2/8 - 110/(-8). Suppose 34 = 4*p - b. Is p a multiple of 4?
True
Let v(f) = f + 1 - 2*f + 6*f**3 - 2. Let x be v(-1). Let w(g) = g**3 + 6*g**2 - 2*g + 8. Is w(x) a multiple of 10?
True
Let z(v) = v**3 - 5*v**2 + 6*v - 6. Let l be z(4). Suppose 3*p = -f + 72 - 25, 0 = -l*p - 10. Suppose f = 5*j + 3*n, -j + 2 = -5*n + 12. Is 10 a factor of j?
True
Let d be (-29)/(-2) + (-1)/(-2). Suppose -3*n = -0*t + 4*t + 24, -2*n - 16 = -t. Let b = d + n. Does 3 divide b?
False
Let c be 1/4 - (-390)/40. Let n = c - 6. Is 4 a factor of n?
True
Suppose -t + 5*y = 2*t - 332, -100 = -t - y. Is 52 a factor of t?
True
Suppose -5*v = -13 - 2. Is 18 a factor of (-3 + (9 - 0))*v?
True
Suppose -a - 1 = -5. Does 3 divide (9/a)/(6/32)?
True
Suppose -15 - 10 = -5*f. Suppose -f*p + 37 = n - 2, 5*n - 195 = -p. Is 13 a factor of n?
True
Suppose -30 = -2*f + 30. Let w = f + -27. Is w a multiple of 3?
True
Let o be ((-9)/(-3))/(6/4). Is o/(-3)*195/(-10) a multiple of 13?
True
Let t = 370 - 262. Is t a multiple of 6?
True
Let n = 232 - 147. Let c be 3*1*(45 + -2). Let f = c - n. Is 14 a factor of f?
False
Let i be (-42)/8 + (-1)/(-4). Is (24/i)/(2/(-15)) a multiple of 16?
False
Let o(d) = -d**3 + 6*d**2 + 7*d - 6. Let p be o(7). Let f = p 