ctor of i?
False
Let n = -29 + 83. Is 8 a factor of n?
False
Suppose 4*i + 5 = f - 0*i, -5*f = 3*i - 25. Is 2/f + (-16)/(-10) a multiple of 2?
True
Let g(j) = j**2 - 4*j + 3. Let c be g(4). Suppose l + 76 = -c*l. Let w = 50 + l. Does 20 divide w?
False
Let v(m) be the second derivative of -m**5/20 - m**4/3 + 2*m**3/3 + m**2 - m. Let n be v(-4). Is 5 a factor of (n/4)/(7/(-28))?
False
Let j = 58 - 32. Is j a multiple of 12?
False
Suppose 3 = -5*t - 4*u - 3, 2*t = -4*u - 12. Suppose -2*g = -2*s + 16, 0*g + 5*g + 26 = -t*s. Let w(l) = l**2 + 6. Does 11 divide w(g)?
False
Is (-100)/(-5) - (3 + 1) a multiple of 4?
True
Does 15 divide 1 + ((-9)/(-3) - -40)?
False
Is 66/9 + (-8)/24 even?
False
Let h = 0 + 3. Suppose 8 = h*y - 2*y. Is y a multiple of 4?
True
Let b(m) = -6*m**2 + 5*m. Let z be b(5). Let t = 212 + z. Suppose 5*k - 137 = 3*f - 53, 5*k - t = 4*f. Does 15 divide k?
True
Suppose -5*a = 5*h - 2 - 18, -5*h = -2*a + 1. Let k = a - -10. Does 5 divide k?
False
Does 31 divide -124*(5/(-5))/(1 + 0)?
True
Let m = 6 - 3. Suppose -m*r - 4 = -13. Suppose r*c - 24 = c - 4*h, 3*h + 125 = 5*c. Is c a multiple of 17?
False
Suppose 25*y - 22*y - 240 = 0. Is 40 a factor of y?
True
Let g = -178 - -255. Does 32 divide g?
False
Suppose -34 = 5*u + 31. Let c be 1*22 - (-2 + 3). Let p = c + u. Is p a multiple of 8?
True
Suppose 2*d = 2*q - 44, -2*d = 2*q + 2*d - 56. Does 5 divide q?
False
Let d(q) = q**3 - 8*q**2 - 8*q - 7. Let o be d(9). Is (o - (-16 - 0))*2 a multiple of 18?
True
Let i = 12 + -7. Let s = 7 + i. Is 6 a factor of s?
True
Let i = -23 + 65. Does 14 divide i?
True
Let l be (-2)/3 + (-431)/(-3). Let q = -101 + l. Let k = -17 + q. Is k a multiple of 12?
False
Let z = 34 - 77. Let r = 71 + z. Is 10 a factor of r?
False
Let x(v) = -34*v + 21. Does 41 divide x(-3)?
True
Is 20 a factor of ((-3)/9 - (3 + 9))*-3?
False
Is (-7 - -4)/((-6)/56) a multiple of 13?
False
Suppose 7*w = 3*w - 8. Let l be (-11)/4 + w/8. Let g(p) = -p**3 - p**2 - 2*p - 1. Is 10 a factor of g(l)?
False
Suppose -2*o = -5*o - 18. Let h be (-1)/(1 - (-8)/o). Does 11 divide 19 - h*(3 - 2)?
False
Suppose -y - 2 + 15 = 0. Is y a multiple of 13?
True
Let u(y) = 24*y**2 - 2*y - 1. Suppose -12 = -3*h - 0*h. Suppose 0 = 2*n - w + 2, 4*n - 1 + 5 = -h*w. Does 9 divide u(n)?
False
Suppose 0 + 6 = 3*u. Suppose -2*a - u*a = -12. Suppose 60 = a*f + f. Does 6 divide f?
False
Let c = 33 + 91. Does 31 divide c?
True
Suppose -7 = w + 1. Let f = w + 77. Is 23 a factor of f?
True
Let i = -15 - -22. Is 7 a factor of i?
True
Let d = 284 + -74. Is d a multiple of 35?
True
Is 28 a factor of (-1458)/(-15) - 1/5?
False
Let m be (-3)/6 - 9/(-2). Let w(h) = 4*h + m*h + h**2 + 0*h + 2 - 5*h. Does 3 divide w(-4)?
True
Let w be 2/4 + 17/(-2). Let n be (w - 0)*(-6)/8. Let r = n - -10. Is r a multiple of 6?
False
Let h be (-2)/((-141)/(-144) + -1). Suppose 4*p + h = 8. Let q = p - -40. Is 9 a factor of q?
True
Let l be ((-2)/(-4))/((-5)/(-40)). Is 9 a factor of l/(-20) - 136/(-5)?
True
Let a be 1 + (-1 - -1) + 1. Suppose 0 = a*g - 4*m - 14, -m - 36 = -3*g + 2*m. Does 6 divide g?
False
Suppose p = -3*v + 12, 2*v - 1 = -4*p + p. Is (5/(-10))/(p/54) a multiple of 5?
False
Let b be 1 + -1 - (-4 - -4). Suppose 14 = -d - b*d. Is 9 a factor of (d + 2)/((-4)/6)?
True
Is 3 a factor of 5 + -7 - (-44 - -2)?
False
Suppose 0*j + 3*j = 2*k + 9, -5*k = -2*j - 5. Suppose -f - j*p = 3*f - 134, 0 = 2*f - 2*p - 76. Is f a multiple of 12?
True
Let j(k) = k**2 - 2*k + 57. Let q be j(0). Let p = q - 39. Is p a multiple of 6?
True
Let l be 1/(-2) - (-2)/(-4). Let c = 3 + l. Suppose -2*p + 0*n + 13 = -3*n, -5*p = -c*n - 27. Does 2 divide p?
False
Let z(m) = m**2 + 2*m + 4. Let b be z(3). Let y = b - 7. Does 7 divide y?
False
Suppose 0 = 6*l - 8*l + 60. Is l a multiple of 15?
True
Let y(p) = 2*p**2 + 3*p - 4. Let x be y(-6). Suppose -x = -d + w, d - 5*w - 61 = 5. Does 21 divide d?
False
Suppose 2*p = 4*p - 2*y - 152, 3*y + 376 = 5*p. Let z = p - 30. Is z a multiple of 12?
False
Let r(f) = f**3 + 5*f**2 - f - 1. Let o be r(-5). Suppose -5*v + 90 = -3*b, 2*v + o*b = 55 - 19. Does 6 divide v?
True
Let g = -18 + 12. Is 8 a factor of (g*13)/(-2) - -1?
True
Let p = 1 + -1. Suppose 2*r = -10, p = d - 0*r + 3*r. Is (-2)/5 + 261/d a multiple of 7?
False
Suppose -59 = 5*l - 2*z, 4*l - 14 + 48 = -5*z. Let s(f) = -9*f + 4. Let m be s(-3). Let v = l + m. Is 18 a factor of v?
False
Let n = -2 + 7. Let d(y) = -y + 7. Let q be d(n). Suppose 7*c = q*c + 80. Is 16 a factor of c?
True
Is (4 + 1)/(0 + 1) a multiple of 3?
False
Let w be ((-6)/(-2))/(3/2). Suppose 4*f = 2*y + 24, y = 5*f - w*f - 16. Is 175/4 - (-1)/f a multiple of 13?
False
Let z = -96 + 53. Let a = z - -77. Let u = a + -8. Is 13 a factor of u?
True
Let a be (-6)/4 - 1100/(-8). Suppose 7*t - 3*t - a = 0. Is t a multiple of 8?
False
Let b = 9 + -3. Let o = -6 + b. Is (4 - o)/((-4)/(-8)) a multiple of 4?
True
Suppose 3*d + l - 197 = 0, 0*d = 2*d + 3*l - 143. Is d a multiple of 12?
False
Suppose -3*u + 2*u = -10. Does 2 divide u?
True
Let l(d) = 13*d**2 - 5*d + 96. Let n(x) = -3*x**2 + x - 24. Let a(s) = -2*l(s) - 9*n(s). Suppose -1 = 4*j + 4*o - 5, 4*o = 4*j + 4. Does 8 divide a(j)?
True
Suppose 14 = -4*n - 26. Let f = 47 + -7. Let g = n + f. Does 24 divide g?
False
Does 28 divide (-900)/(-8) + 3/(-6)?
True
Suppose 7 - 1 = -5*j - 4*d, 2*d = 3*j - 14. Suppose 7*t + 11 = -a + j*t, 0 = -2*a + 2*t + 14. Suppose 3*x - 60 = 4*h, 0*x - 36 = -3*x - a*h. Does 8 divide x?
True
Suppose -h - 2*u + 52 = -6*h, -h - 3*u = 7. Let r(s) = -s**3 - 9*s**2 + 8*s + 4. Does 12 divide r(h)?
True
Let p(w) = -w**2 - 4*w - 2. Let r be p(-3). Let y(b) = -b + 0*b**3 + 4*b**3 - 1 + 3*b**3 + 2*b. Is 5 a factor of y(r)?
False
Suppose 0 = h - 4*h + 4*k - 20, 2*k - 10 = 3*h. Suppose 2*r + 4 = 2*p, h = -p - 0*p + 2*r. Suppose 4*f = p*x - 96, 0*f - 108 = -5*x - f. Does 22 divide x?
True
Let y be (0 - 36)*(-2)/3. Suppose b + y = -3*b. Is 9 a factor of (-6)/(14/b - -2)?
True
Let b(s) = -s**2 + 6*s. Suppose 9 = -3*k + 6*k. Is b(k) a multiple of 9?
True
Does 10 divide (-240)/36*6/(-2)?
True
Let y = 1 - 1. Suppose y*f - 4*f = -364. Suppose 4*n - f = 57. Is 16 a factor of n?
False
Let t(c) = -c + 2. Let i be t(0). Let h = -2 + i. Let v = 6 + h. Is 3 a factor of v?
True
Let x(j) = -6*j + 7. Let i be x(-6). Let f = i + -19. Is 8 a factor of f?
True
Let p(w) be the third derivative of w**4/12 + 7*w**3/6 + 17*w**2. Let d = 4 + 2. Is 8 a factor of p(d)?
False
Let d be (-60)/(-2) - 4 - -1. Suppose 273 = 4*t - d. Is 21 a factor of t?
False
Suppose 0 = -d - 2*c + 17, -c + 8 = 5*d - 86. Let b = d - 4. Is 15 a factor of b?
True
Let w be 178/(-14) + (-4)/14. Let a be -1*1/(3/15). Is 12 a factor of a - -3 - (w - 1)?
True
Let o(j) = -2*j + 8. Let z be 4/14 - 38/(-14). Let k be z - (-1 + 3 - -12). Is o(k) a multiple of 15?
True
Suppose 120 = 2*y - 6*y. Let p = y + 60. Is p a multiple of 11?
False
Let u(z) = -z**2 - 6*z - 2. Let x be u(-5). Suppose x*h + h = -36. Let g = h + 16. Is g a multiple of 4?
False
Is 22 a factor of 9*7 + 21/7?
True
Suppose 2*s - 4*b = 20, 2*s + 12 = -4*b - 0*b. Let i = 5 - 3. Suppose -80 = -s*r - i*r. Is r a multiple of 13?
False
Suppose -83 = 3*p - 212. Is 20 a factor of p?
False
Let g(p) = -2*p - 6. Let k be g(-4). Suppose -5*f - 15 = 0, -f + 10 = -5*r + 23. Let l = r + k. Is 2 a factor of l?
True
Let z be 2/4*(6 - 20). Let f = z - -11. Suppose -f*t = t - 25. Is t a multiple of 5?
True
Suppose -3*i + 169 = -0*i - 2*q, 0 = -3*i + 3*q + 171. Suppose 3*k - 187 = 4*u, 2*k - 5*u - i - 79 = 0. Does 16 divide k?
False
Suppose -3*y - 11 = -2*j + 15, -2*j = -4*y - 22. Suppose -7*w + 95 = 5*v - 2*w, -5*w + j = v. Does 8 divide v?
False
Let o(n) = 3*n**2 - 18*n + 3. Is 12 a factor of o(7)?
True
Suppose 12*x = -72 + 360. Is 12 a factor of x?
True
Let n(u) = 2*u**2 + u. Let w be n(2). Suppose 25 = 5*i, -2*i - w = -3*p + 4. Is 4 a factor of ((-4)/p)/((-2)/44)?
False
Does 26 divide 4/(-20) + 1 + (-836)/(-5)?
False
Let i(a) = -4*a**3 - a**2 + 1. Let v be i(1). Let b be 57/6 - (-6)/v. Let p = 13 - b. Is p even?
False
Is 2/3 + 1038/9 a multiple of 4?
True
Let n(r) = r**3 + 6*r**2 - 5*r + 6. Let x be n(-6). Let c = 50 - x. Is c a multiple of 7?
True
Let y(h) = -h**3 + 10*h**2 + h + 1. Does 11 divide y(10)?
True
Suppose -245 = 25*y - 30*y. Is