. Let t be (-8)/36 + 38/d. Let j(m) = 2*m**2 - 2*m + 4. Is 23 a factor of j(t)?
False
Is 46 a factor of 2/(-12)*2 + (-2770)/(-30)?
True
Suppose -12 = -6*t + 3*t + 2*f, 0 = 4*f + 12. Let r(a) = 6*a - 3. Is 4 a factor of r(t)?
False
Suppose l + 5*d = -20, 3*l + 8*d = 3*d - 60. Let r be (-6)/(-4)*l/15. Does 8 divide r/2 - (-1 - 8)?
True
Suppose 4*c + 1 = -2*o + 23, 5*c = -2*o + 25. Suppose -c*b = -b + 6. Is 14 a factor of (8/b)/(3/(-27))?
False
Let x(n) = 3*n - 4*n - n**3 - 7*n**2 + 4*n**2 - 5 + 0*n. Suppose 4*b - 5 + 21 = 0. Is 6 a factor of x(b)?
False
Let g(b) = -10*b**3 + 23*b**2 - 30*b - 7. Let m(f) = 3*f**3 - 8*f**2 + 10*f + 2. Let z(y) = -2*g(y) - 7*m(y). Is 24 a factor of z(8)?
True
Let b(x) = 5*x**2 - x + 1. Let d be b(1). Suppose 44 = 2*i + d*f - 31, 4*i - 2*f - 186 = 0. Does 12 divide i?
False
Let j(q) = q + 12. Let v(s) = -s - 4. Let a be v(-4). Is 6 a factor of j(a)?
True
Let y(h) = -h**3 - h**2 - h - 1. Let z be y(-2). Suppose 3*i + 7 = -z. Is 8 a factor of (-1 - -10)*(-8)/i?
False
Suppose -207 = -5*s + 3. Is s a multiple of 14?
True
Let z(l) = -3*l - 1. Suppose 0*g - 7 = 4*c + g, 0 = 3*c - 4*g + 10. Let y be z(c). Suppose -y*h - 4*s = -134, 2*h + 2*h + s - 105 = 0. Does 12 divide h?
False
Let w be -2 - (3 - 3 - -6). Let i = w - -8. Suppose -n + 0*n + 15 = i. Does 12 divide n?
False
Let d(h) = 11*h**3 - 5*h**2 + 5*h - 7. Is 41 a factor of d(3)?
False
Suppose 2*t + n = 9, 2*t = 3*t + 4*n - 22. Suppose h - 3*h - 5*k + 33 = 0, -3*h - t*k + 33 = 0. Does 9 divide h?
True
Suppose 5*q = -2*y + 60, y = -3*y - 20. Does 11 divide q?
False
Suppose -3*c + 61 - 7 = 0. Does 12 divide c?
False
Let l be 16/(-20)*(-170)/(-4). Let y = l - -51. Does 7 divide y?
False
Let i(u) = -u**3 - 11*u**2 - 11*u - 1. Let q be (-1)/((-1)/9) - -2. Suppose -4*l - 10 = 3*h, q = -3*h - l - 14. Does 4 divide i(h)?
False
Let g(k) = -k**2 - 12*k - 8. Let y be g(-5). Let c = y + -17. Is 7 a factor of c?
False
Suppose -2*u + 10 + 5 = -5*f, -4*f = -4*u + 24. Suppose a = 5*a - 4, -u*y + 328 = -2*a. Does 19 divide y?
False
Suppose 4*k - 182 = -p, -5*p + 7 = -3. Is k a multiple of 12?
False
Let g = 10 + -5. Let q = 10 - g. Does 5 divide q?
True
Suppose 0*o - 8 = -2*o. Suppose -72 = -o*x + x. Does 12 divide x?
True
Suppose 0 = -5*u + 59 + 11. Does 13 divide u?
False
Let i(t) = -16*t - 3. Suppose o + 0 + 2 = 0. Is i(o) a multiple of 17?
False
Let h = 4 + -1. Suppose -15 = -2*z + 3*v, -h*v - 15 = -2*z + 4*z. Suppose z = -4*g - 4*y + 36, -4*g = g - y - 45. Does 7 divide g?
False
Let f(m) = -m**2 - 18*m + 16. Is 24 a factor of f(-16)?
True
Suppose 3*b = -0*b + 591. Let p = -118 + b. Suppose -3*y + 90 = -2*s, 0 = -0*y - 2*y - 5*s + p. Is 16 a factor of y?
True
Let d(s) = -12*s + 0*s**2 + 2*s - s**2 - 6. Let q be d(-8). Is 5 a factor of 45/q - (-1)/2?
True
Does 14 divide (-123)/(-3) - (-2 - -1)?
True
Let w(u) = -u**3 - 6*u**2 - 3*u + 12. Let y be w(-6). Suppose 3*c = 9 + y. Is c a multiple of 13?
True
Let j(r) = r**2 - 6*r + 6. Let v be j(6). Let w(n) be the first derivative of n**4/4 - 2*n**3 + n**2 - 7*n - 13. Is 3 a factor of w(v)?
False
Suppose 0 = -3*l - r + 4*r + 15, r = -5*l + 13. Suppose 0*y - 156 = -l*y. Suppose 4*g = 44 + y. Is g a multiple of 13?
False
Let c(w) = 10*w**3 + 0 - 2*w**2 - 2 - 2*w**3 + 0*w**2 - w. Is 13 a factor of c(2)?
True
Suppose r - 3*q = -0*q + 138, -5*q = 10. Does 22 divide r?
True
Let w(t) = 38*t**3 - t**2 + 1. Is w(1) a multiple of 19?
True
Suppose 0 = -4*s + v + 56, -40 - 33 = -5*s + 2*v. Suppose 4*r + 1 = s. Suppose 7*h - 41 = -r*o + 2*h, 2*o - 36 = h. Does 10 divide o?
False
Let b(u) = u**3 + 6*u**2 + 3*u - 1. Let q(h) = -h**2 - 2*h. Let t be q(-2). Suppose -5 = c - s + 3*s, c - 4*s + 5 = t. Is b(c) a multiple of 9?
True
Let n be (-3)/1 - 32*-1. Let r(b) = 3*b**3. Let a be r(1). Suppose 0*j = -y + a*j + n, -2*y - j + 37 = 0. Is 14 a factor of y?
False
Suppose 10*h - 50 = 5*h. Suppose 4*l + h = 5*l. Is 5 a factor of l?
True
Let s(q) = -4*q**2 - 10*q - 13. Let l(b) = 11*b**2 + 30*b + 38. Let m(y) = -3*l(y) - 8*s(y). Is m(-8) a multiple of 4?
False
Let y(a) = 49*a + 1. Suppose 0 = -5*h - 5. Let w be y(h). Is w/(-5) - 2/(-5) a multiple of 5?
True
Let u(o) = 10*o**2 + 3*o - 3*o + 2. Let p be u(2). Let c = p - 26. Is 16 a factor of c?
True
Suppose b - 3*b = -54. Does 12 divide b?
False
Suppose 5*q + 5 = -6*v + v, q + 2*v + 5 = 0. Let o be (-9)/q*(-2)/(-3). Does 10 divide 0 + o/(4/(-34))?
False
Let o(f) = 2*f + 6 + 1 + 0 - 5*f. Is 5 a factor of o(-3)?
False
Let r = 0 + 1. Let u be (-4 - r)*(-1 + 0). Is 3 + -1 - (u - 6) a multiple of 2?
False
Suppose -2*z + 6 = 2. Suppose z*r = 23 + 105. Suppose -l + r = l. Does 16 divide l?
True
Let x be (-5)/(-2)*(-40 - -4). Let c = -64 - x. Is 7 a factor of c?
False
Let b = -122 + 194. Is b a multiple of 15?
False
Is (-375)/(-4) - (-1)/4 a multiple of 24?
False
Suppose 3 = -3*z + 21. Let a(x) = -5*x**2 + 13*x + 2. Let y(q) = -9*q**2 + 25*q + 4. Let u(f) = -7*a(f) + 4*y(f). Does 9 divide u(z)?
False
Suppose 2*q = q + 6. Let f(p) = -2*p**2 + 4*p + 5. Let o be f(q). Let i = -25 - o. Is i a multiple of 18?
True
Let b(n) = 18*n**2 + 3*n + 3. Let k be b(-2). Suppose 0 = f + 22 + 10. Let u = f + k. Is 16 a factor of u?
False
Let t(d) = 2*d**2 - 6*d - 6. Does 10 divide t(-3)?
True
Let p = 10 - -1. Is 3 a factor of p?
False
Suppose 4*c + 8 = 0, 0*b - 3*c = -3*b + 390. Let w(n) = n**2 - n + 5. Let u be w(-5). Is 9 a factor of (-10)/u + b/7?
True
Let u = -26 + 74. Does 8 divide u?
True
Suppose 0 = -0*q + 2*q - 10. Let g be ((-1)/1)/(q/(-25)). Suppose 0*i + 5*i = g*n - 60, 2*i + 31 = 3*n. Is n a multiple of 2?
False
Let s be 64/4 + 4 + 2. Suppose -5*y + s = -63. Is y a multiple of 6?
False
Let d(f) = -f + 8. Let k = 1 + -1. Let o be d(k). Let y = 19 - o. Does 11 divide y?
True
Suppose -4*h + 39 + 17 = 0. Suppose -t = 5*u - 119, 2*u - t = 35 + h. Is u a multiple of 10?
False
Let b = -72 - 186. Is 4/(-14) - b/21 a multiple of 12?
True
Suppose 0 = -5*a - k + 4*k + 49, 2*a + 2*k - 26 = 0. Let j = 23 - a. Is 4 a factor of j?
True
Let x be 3/(2 - 3/6). Let i be x/3*(-36)/(-8). Suppose -i*h + 63 = 5*j, 31 = j - 4*h - 0*h. Does 6 divide j?
False
Let c(w) = -3 + 1 + 3 + 19*w + 1. Let n be c(2). Let t = -20 + n. Is t a multiple of 10?
True
Suppose c - 3*r - 18 = 3*c, -5*c + 2*r = 26. Let o be (3/2)/(c/(-8)). Let l = o + 22. Does 12 divide l?
True
Suppose -4*q = -9*q + 100. Is q a multiple of 10?
True
Suppose -3*a - 30 + 0 = 0. Let r = 5 + a. Let v = 29 - r. Does 17 divide v?
True
Suppose -u - 5*y + 16 = 0, y = -4*u + 34 - 8. Is u a multiple of 6?
True
Suppose 2*b = 13*a - 8*a - 547, 546 = 5*a - b. Is a a multiple of 4?
False
Let y(h) = -h**3 + h + 11. Let k be y(0). Suppose 2*d - 3*i = k, 3*d - 14 = -2*i - 4. Suppose 4*a = 0, -q + d*a - 25 = -6*q. Is q a multiple of 2?
False
Let f(n) = 6*n**2 - 7*n - 3. Is 28 a factor of f(4)?
False
Suppose -2*z - 40 = 3*z. Let b(q) = 29*q**2 + 1. Let j be b(-1). Is (z/10)/((-2)/j) a multiple of 8?
False
Suppose -c - 4*u = -16, 3*c + 3*u - 90 = -15. Is c a multiple of 7?
True
Suppose 254 = -0*h + 2*h. Let j = h + -71. Does 14 divide j?
True
Suppose 0 = 3*m + 3, 2*m = -5*d + 226 + 342. Does 11 divide d?
False
Suppose -5*c + 40 = 105. Let s be 23 + -2 + 4/(-2). Let y = s + c. Is y a multiple of 6?
True
Let f = 5 - 3. Let t(z) = -z**2 + z + 1. Let a be t(f). Is 7 a factor of (6 - -1)*(0 - a)?
True
Let s(c) = -c**2 - 7*c - 3. Let g be s(-5). Let f = g - -29. Is 9 a factor of (-3 + f)*2/6?
False
Suppose i - 4*x - 30 = 0, -57 = -4*i - 0*x - 5*x. Does 18 divide i?
True
Let q(x) = 13*x. Let m(w) = w - 3. Let v be m(4). Is 13 a factor of q(v)?
True
Let w be 30*(-1 + 12/9). Does 16 divide (0 - (-5 + 1))*w?
False
Let b = -6 - -31. Is b a multiple of 7?
False
Is 4 a factor of (171/(-18))/(1/(-2))?
False
Let n be (0 - 0)/(1 - -1). Suppose -2*o = -2*q - 8, 2*o = -q - n - 7. Does 12 divide 147/12 + o/4?
True
Let w(c) = -4*c - 9. Is w(-7) a multiple of 16?
False
Let a(t) = -t**2 + 9*t - 3. Is a(7) a multiple of 11?
True
Is 34 a factor of (8 - -1)*(-68)/(-6)?
True
Let v be -18*(11/2 - 3). Is 296/10 + (-18)/v a multiple of 10?
True
Let c = -3 + 2. Let x be (-831)/(-6) - c/2. Suppose -5*b - m + x = 0, -3*b = -8*b - 5*m + 135. Is b a multiple of 17?
False
Let q(n) = -1 + 11*n + 1. Let p(c) = c**3 + 6*c**2 + 5*c + 3. Let s 