 6 a factor of ((-28)/(-21))/((-2)/(-33))?
False
Let j(g) = -65*g - 2. Is 29 a factor of j(-1)?
False
Let u be (6/(-4))/(3/(-8)). Suppose 5*f - 25 = 4*s, 0*f + f + u*s = 29. Is 9 a factor of f?
True
Is 36 a factor of ((-342)/(-95))/(((-6)/(-20))/3)?
True
Let c be (7 - 3)*(-74)/(-4). Let n be 28/(-3)*(-3)/2. Is 2 a factor of c/n + (-4)/14?
False
Suppose 5*v - 4*u - 74 = 0, 3*u - 19 = -2*v + 6. Suppose v = -0*i + i. Does 14 divide i?
True
Suppose -4*t + 18 = -2. Suppose -t*n - s + 115 = 0, 0 = 2*n - 4*s + 3*s - 39. Let z = n + -7. Is z a multiple of 6?
False
Suppose 5*p - 8 + 3 = 0, -4*p + 82 = -3*y. Let t = y - -104. Is 13 a factor of t?
True
Suppose 0 = m - 4*m - 6. Let y(s) = s**2 + 3*s + 2. Let w(r) = 5*r**2 + 13*r + 8. Let f(k) = 2*w(k) - 9*y(k). Does 4 divide f(m)?
True
Suppose 4*k = -4*a + 88, -k = -3*a + k + 76. Does 8 divide a?
True
Let b = -6 + 27. Let s = b + -36. Let l = 3 - s. Is l a multiple of 18?
True
Let j(k) = -17*k**3 - 1 + 2 + 2*k + 2*k**3. Let y be 4/(-4)*-2 + -3. Is j(y) a multiple of 14?
True
Is 7 a factor of 14*(2/(-4) + 1)?
True
Let l = -21 - -44. Does 6 divide l?
False
Let w be 1/5 - 198/(-10). Is ((-48)/40)/((-6)/w) a multiple of 3?
False
Is 24 a factor of (-1185)/(-10) - (-12)/8?
True
Let g(s) = -1 - s - 4*s + 4*s. Let q be g(4). Is q/(21/(-9) + 2) a multiple of 7?
False
Does 5 divide (-2)/5 - (-5 - 312/30)?
True
Let v be (-58)/(-6) + 8/(-12). Let d = 60 - v. Is 15 a factor of d?
False
Let a be 4/(1*2/6). Is ((-1)/2)/((-1)/a) a multiple of 3?
True
Suppose 54 = 5*n - 31. Is 15 a factor of n?
False
Suppose -2*n + n = 1. Let q = 11 + n. Is q a multiple of 10?
True
Let x(k) = -k**2 + 9*k - 5. Let a(w) = -2*w**2 + 13*w - 7. Let o(g) = -5*a(g) + 7*x(g). Suppose -2*i + 10 = -0*i. Is o(i) a multiple of 22?
False
Suppose 29 + 1 = -5*x. Let f be (x/4)/((-5)/180). Suppose -4*s - a = -f, s + 2*a = 7 + 3. Does 14 divide s?
True
Is 1/(-6) + (-2110)/(-60) a multiple of 7?
True
Suppose -5*p - 4*l + 495 = l, -5*p + 3*l + 455 = 0. Suppose 24 = -2*t + p. Is t a multiple of 10?
False
Let o be (-4)/((-3)/(-3)*-1). Let f(b) = 0*b - 2 + o*b - 5*b + 2*b. Is f(5) even?
False
Let j(i) = -2*i - 18. Let k be j(-6). Is ((-44)/8)/(3/k) even?
False
Let f(k) = -k**3 + 10*k**2 - 9*k - 7. Let q be f(7). Let o = q - 54. Is 23 a factor of o?
True
Suppose 0*a + 2*a = 0. Suppose -2*y + a = -4. Suppose y*z - 2*m - 2 = 0, -z - 4*m = 4*z - 50. Is z a multiple of 6?
True
Let q = -86 - -141. Is q a multiple of 8?
False
Suppose -7 = -5*j + 23. Let h = j - -7. Does 6 divide h?
False
Is 6 a factor of ((-5046)/210 + (-3)/(-7))*-5?
False
Let b(j) = -j**2 - 11*j - 8. Let o = 6 + -16. Let x be b(o). Suppose h - 12 + x = 0. Is h a multiple of 5?
True
Suppose 3*t + 2*t - 345 = 2*f, -t = 3*f - 52. Does 13 divide t?
False
Is 31 a factor of (-10)/2 + (-3 - -193)?
False
Suppose 5*i + 6 = 246. Is 12 a factor of i?
True
Suppose -5*x - 45 - 55 = 0. Is 8 a factor of x/(-30) + 31/3?
False
Let k(m) = 19*m**2 + 1. Does 7 divide k(-2)?
True
Let d(n) = -n**3 + n**2 - 2*n - 4. Is 21 a factor of d(-4)?
True
Suppose -j = 4*j - 965. Suppose j + 35 = 4*m. Does 20 divide m?
False
Suppose -3 = g + 9. Does 10 divide 78/8 - 3/g?
True
Suppose 0 = o + 2*o - 2*b - 66, 2*o - 2*b - 42 = 0. Is o a multiple of 4?
True
Is 9 a factor of (16 - -18) + 2*(2 + -1)?
True
Suppose 12 - 587 = -5*f. Is f a multiple of 23?
True
Let p be 56/(-20) + 1/(-5). Let v = 6 + p. Is 21 a factor of 1 - (v + -33 - -3)?
False
Suppose 0 = w + f - 0*f - 5, -w + 3*f = 15. Suppose 2*z - 6 = w, 0*h - 3*h + 6 = z. Does 10 divide h + 26 + (0 - 1)?
False
Does 11 divide 3/(-1) - (-104 - (4 - 6))?
True
Let x = -20 - -23. Is 9 a factor of (x - -15)*(-6)/(-4)?
True
Let i(m) = 4*m - 16. Is i(10) a multiple of 8?
True
Let k(j) = j**2 - j + j**3 - 5 - 4 + 2*j**2 + 5. Let w be k(-3). Is 6 a factor of -5*w/5*12?
True
Let o = 11 - 17. Let p(m) = -m**3 - 6*m**2 - 2*m - 4. Does 3 divide p(o)?
False
Let k(j) = 14*j + 7. Let i be k(-5). Let d = -35 - i. Does 8 divide d?
False
Suppose -80 = -0*m - 2*m. Does 20 divide m?
True
Let y(z) be the third derivative of -z**4/8 - 5*z**3/6 + 4*z**2. Let k be (-6 - (-3 + 2))/1. Is 9 a factor of y(k)?
False
Let d(c) = -c**3 - 9*c**2 - 2*c + 10. Let f be d(-9). Let x be (-2)/(-5) - 198/(-5). Let u = x - f. Is 6 a factor of u?
True
Suppose 3*p = 3*c - 21, 3*c + 2*c - 29 = 3*p. Suppose 6 + 26 = c*y. Is y a multiple of 4?
True
Suppose -a + 0*h = 4*h - 43, -155 = -5*a - 5*h. Let c = -1 - 17. Let k = a - c. Does 13 divide k?
False
Suppose -2 = 2*c, 3*c - 246 = -4*w + c. Suppose -64 = -2*y - 3*s, -3*s + w = 2*y + s. Is 11 a factor of y?
False
Let z(t) = t**3 + 6*t**2 + 4*t + 6. Is 9 a factor of z(-5)?
False
Suppose z = 28 + 16. Suppose 0 = 4*y - z - 48. Is y a multiple of 22?
False
Suppose 10 + 242 = 7*q. Does 9 divide q?
True
Let x be (-8 - -5)/(6/(-4)). Let z = 18 - x. Does 8 divide z?
True
Let r(u) = -u**3 + 8*u**2 - 5*u + 4. Let a be r(8). Suppose 90 = -3*n - 105. Let k = a - n. Does 15 divide k?
False
Suppose -23*b = -20*b - 15. Suppose b*q - 140 = n, 0*n - 5 = n. Is 9 a factor of q?
True
Let b(j) = 5*j - 16. Is b(8) a multiple of 24?
True
Let q = 100 - 68. Let k(v) = -23*v + 2. Let o be k(-2). Let s = o - q. Is s a multiple of 9?
False
Let h(q) = 5*q + 24. Does 9 divide h(-3)?
True
Let g = 3 - 14. Let q(t) = -12*t + 12. Let j be q(g). Is (1/2)/(4/j) a multiple of 11?
False
Let a(s) = -2*s**2 - 5*s + 5. Let l be a(-6). Let p = l + 71. Is p a multiple of 17?
True
Let i(b) = b + 11. Let v be i(-8). Suppose -1 = -3*d + 5*n - n, -v*n = -d + 2. Let s(x) = -14*x**3 - 2*x - 1. Is s(d) a multiple of 15?
True
Let i(r) = r**2 - 9*r - 8. Let x be i(10). Suppose 2*v + x*v - 36 = 0. Is v even?
False
Suppose 4*g - 4*q = 32, 4*q - 6 = -14. Does 15 divide 2/g - 146/(-3)?
False
Let b = -384 - -632. Is 62 a factor of b?
True
Suppose b + 12*b = 26. Let i = -17 + 145. Suppose -3*w - b*w + l + i = 0, -5*w - 4*l = -138. Is 13 a factor of w?
True
Suppose -5*k + 1 = x - 1, -4*x - 3*k = 26. Let c = 14 + x. Does 3 divide c?
True
Let w be (-4)/((-4)/(-2))*-40. Suppose q + w = 6*q. Is q a multiple of 6?
False
Suppose 8*n - 13*n + 195 = 0. Let a = -10 + n. Is a a multiple of 6?
False
Suppose -a - 4*v = -10, 2*v - 50 = 5*a - 10*a. Let s = a + -9. Is 19 a factor of 12/6 - -17*s?
True
Suppose -l - 18 = -4*d, 42 = -6*l + l - 4*d. Does 6 divide (2/(-1) - l) + -2?
True
Is 6/(5/((-30)/(-9))) - -203 a multiple of 11?
False
Suppose 2*d + 36 = 2*b, 0*d = -3*d + 6. Is b a multiple of 11?
False
Suppose 535 = 9*i - 860. Does 31 divide i?
True
Suppose -4 = -4*x + 2*x. Let u be (0 + 0 + 1)*x. Suppose -z - u*t = 3*t - 10, -2*z + 20 = -5*t. Is 10 a factor of z?
True
Let b(q) = -q**2 - 7*q + 1. Is 8 a factor of b(-4)?
False
Let j(n) = 10*n**2 + 3*n - 3*n - 3*n - 3. Let a be j(3). Let i = a - 44. Is i a multiple of 21?
False
Let t(o) = -55*o - 6. Let l be t(-5). Let x = l - 79. Suppose -5*g + 0*g + x = 0. Is 19 a factor of g?
True
Suppose 3*f + 20 = 5*a, -5*a + 20 = f - 0*a. Suppose f - 6 = -g. Let s = 11 - g. Is s a multiple of 5?
True
Let n = 42 - -26. Does 17 divide n?
True
Suppose 0 = 13*j - 12*j - 256. Suppose -5*z = 2*y + j, -2*z - 842 + 244 = 5*y. Does 17 divide 3/6 - y/4?
False
Is (-170)/45 - -4 - (-574)/9 a multiple of 6?
False
Let b = -319 + 606. Is b a multiple of 26?
False
Suppose c = -2*c + 732. Suppose -3*q + 142 = a, -6*q = -q - 2*a - c. Suppose g = -g + q. Is 12 a factor of g?
True
Suppose 0*f - t + 302 = 4*f, -3*t - 234 = -3*f. Does 27 divide f?
False
Let s(y) = y**3 - 2*y**2 + y - 2. Let p be s(2). Let f be 0 - (1 + p)*0. Does 10 divide 1 + f + (0 - -22)?
False
Let s(g) be the first derivative of -g**4/4 + 3*g**2/2 + g + 1. Suppose -2*i - i - 3*y + 3 = 0, 0 = -4*i - 3*y + 1. Is s(i) even?
False
Let r = 24 - 19. Suppose 0 = -0*v - r*v - 3*n + 268, 2*n = 2. Is 10 a factor of v?
False
Let c(t) = -t**2 + 4*t - 2. Let u be 0 - (-6)/(-3 + 6). Let m be c(u). Suppose s - 5*s = -5*f - 108, 40 = m*s + f. Does 8 divide s?
False
Let g(z) = 29 - 9*z**2 - z + 0*z**2 + 9*z**2 - z**3. Does 12 divide g(0)?
False
Let z(w) = -8*w + 12. Let p(x) = 9*x - 13. Let k(g) = -3*p(g) - 4*z(g). Is k(11) a multiple of 16?
False
Let t = -20 + 13. Is 5 a factor of (-103)/t - 2/(-7)?
True
Suppose -5*p + s - 5*s = -507, 0 = -5*p + 5*s + 480. Does 33 divide p?
True
Le