actor of c(i)?
True
Let v be 44/6 - 8/24. Suppose v*l - 3*l - 240 = 0. Is 20 a factor of l?
True
Suppose -14*o + 4378 = 108. Is 61 a factor of o?
True
Let z be 7/2 - 4/8. Suppose z*n - 5*v + 3 = 0, 5*n - v + 5*v = 32. Let s(q) = q**3 + q**2 - 5*q + 6. Does 22 divide s(n)?
True
Suppose 4*m = -5*d + 25, 4*d - 3*d - 37 = -4*m. Let u(b) = b**2 - 5*b - 6. Does 22 divide u(m)?
True
Let l(d) = 127*d**2 - 6*d - 37. Does 96 divide l(-5)?
True
Let n = -21 + 34. Suppose 0 = 4*u, u + 76 = f + 4*u. Suppose 0 = z + n - f. Is z a multiple of 16?
False
Suppose -4*y = 5*g - 31, -2*y + 17 = -g + 3*y. Let x be (-1)/(g/(-18)*-3). Is (15/(-10) + -4)*x a multiple of 11?
True
Let h be 1/2*0/(-3). Let o = h - -8. Suppose u + 6 = f - o, 4*f = -u + 61. Is f a multiple of 6?
False
Suppose h + 2*h - 15 = 0. Suppose -3*z - k + 108 = 0, -127 = -3*z + h*k - 19. Does 9 divide z?
True
Suppose 3*b = -0 + 9. Suppose 71 = 3*v + b*s - 85, -s - 58 = -v. Is 13 a factor of v?
False
Suppose 2*s - 378 = 2*d, 378 = 2*s - 0*s + d. Let y be s*((-20)/(-12) - 1). Let m = 13 + y. Does 34 divide m?
False
Suppose 5*b + 37 + 13 = 5*a, 3*a + 4*b + 5 = 0. Does 48 divide (-157)/(-2)*(-3 + a)?
False
Let w(c) = -19*c - 4. Let g be w(-3). Suppose 0 = -48*r + g*r - 280. Does 28 divide r?
True
Is (150/(-20) + 7)/(2/(-28)) even?
False
Suppose -9 = 4*w - 3*d, 0 = -w - 3*d + d + 6. Suppose w = c - 4, 2*a - 6*a - 4*c = -416. Does 31 divide a?
False
Let c = -300 + 886. Does 30 divide c?
False
Let a(t) be the first derivative of -10*t + 0*t + 0*t**2 + 4*t**2 + 4 - 5. Is a(8) a multiple of 18?
True
Let g = 23 - 24. Let n be 9 + (0 - (0 + g)). Let l = 18 - n. Does 5 divide l?
False
Let g(l) = -39*l**2 - 41*l**2 - 36 - 11*l + 81*l**2. Is g(20) a multiple of 9?
True
Let w(h) = -14*h**3. Let x be w(-1). Let z be 1/2*(-2 + x). Is 7 a factor of 315/10*4/z?
True
Suppose -9*c - c = -5740. Is c a multiple of 41?
True
Let i be 3/(3*(-1)/(-254)). Suppose 8*j - i = 10*j. Let h = -55 - j. Does 24 divide h?
True
Suppose 4*x + 3*s = 411, 4*x - 3*s + 2*s = 423. Is 5 a factor of x?
True
Let b be 1/(1/19) - 3. Let x = b + -33. Let i = x - -29. Is 4 a factor of i?
True
Let o be (-20 + 14)/(3/(-2)). Suppose 2*z + 448 = o*z. Is 32 a factor of z?
True
Let q = 89 + 80. Is 13 a factor of q?
True
Suppose 3604 = 7*l + 440. Does 14 divide l?
False
Suppose 0 = -0*z - 5*z - 45. Let y(u) = u**2 + 7*u - 12. Let a be y(z). Does 10 divide (-2)/(0 + a/(-57))?
False
Suppose 5*s = 4*d + 615, -d + 0*s = -4*s + 151. Let z = d + 414. Suppose 0 = -4*v + 3*i + z, -5*v - 159 + 482 = -3*i. Does 32 divide v?
True
Let p(h) = 68*h**2 - 31*h - 91. Is p(-5) a multiple of 28?
True
Let x be (18 - (2 - 2)) + -1. Let a be -1*(-4)/(-6) - 506/(-66). Let c = x + a. Is 13 a factor of c?
False
Suppose 3*p - 25 = -2*p. Suppose 0 = -v + 5. Suppose -v*w = p - 125. Is w a multiple of 12?
True
Let f = 3081 - 1511. Is f a multiple of 17?
False
Let y be (1 - 7)*(-4)/6. Suppose -y*i + 35 + 37 = 0. Let k = i - 11. Is k a multiple of 5?
False
Let t(z) = z**2 + 3*z - 7. Let f be t(-5). Suppose f*k + 7 = -5. Let o(j) = 2*j**2 + 1. Is 11 a factor of o(k)?
True
Let g(k) = -k**3 - k**2 + k + 394. Let p be g(0). Let w = p - 281. Suppose -w = -b + 19. Does 28 divide b?
False
Let a(i) = i**3 + i**2 - 4*i - 1. Let j be a(-3). Let l = j + 37. Does 10 divide l?
True
Let a(o) = 3*o + 5. Let r(d) = d + 1. Let g(u) = -a(u) + 6*r(u). Does 4 divide g(4)?
False
Does 5 divide 1 + (-693)/(-5) - 56/(-140)?
True
Let g(b) = -2*b + 2. Let x be g(1). Suppose 2*h = 5*v + 37, x = -4*h - 5*v + 1 - 2. Let o(j) = -j**2 + 9*j - 5. Is o(h) a multiple of 7?
False
Let n be (-41)/(-2)*(-5 + 7). Let g = 88 - n. Does 22 divide g?
False
Let q(h) = h**3 - 2*h**2 - 3*h + 6. Let i be q(9). Suppose -3*a = 2*v - i, 0 = -v - 0*v + 5*a + 273. Suppose 4*x - v = 3*w, 0*x - w + 70 = x. Does 33 divide x?
False
Let x(g) be the first derivative of -g**4/4 - 3*g**2 + 7*g - 6. Let m be x(-5). Suppose 0 = -3*b - 24 + m. Is b a multiple of 12?
False
Suppose -34*j - 36*j + 14840 = 0. Is 14 a factor of j?
False
Suppose 230 = 5*g - 125. Does 7 divide g?
False
Suppose -15*s = -14*s + 1. Let z be (-1)/1 + 28/2. Let w = s + z. Does 6 divide w?
True
Suppose 8*p = 12*p - 420. Let t = p + -41. Is 22 a factor of t?
False
Let x be ((-3)/2)/(36/(-120)). Suppose 0 = 4*m + 4*h - 68, -x*h = -4*m - 2*h + 89. Does 5 divide m?
True
Suppose 13*j = 16*j - 15. Let g(w) = -w + 5. Let o be g(j). Suppose 2*b = -4*y + 94, o = -y + b - 0*b + 22. Does 10 divide y?
False
Let u be 1/(-1)*-5 - 2. Is 3 a factor of (u + -7 + 3)*(-72)/1?
True
Suppose -2*s + 6 = -2*l, l = -3*s + 6*s - 9. Suppose v = 2*z, 2*z - 5*v = -l*z. Suppose -t + 56 = 2*o, -5*o - t + z*t = -134. Is o a multiple of 11?
False
Is 80 a factor of (1/(-12)*-30)/((-2)/(-840))?
False
Suppose 21 = h + 2*h. Suppose h*w - 2*w = -35. Is 13 a factor of (-1)/(-1)*(39 - w)?
False
Let b = 22 - 22. Suppose b*s = -4*s + 80. Is s a multiple of 10?
True
Let d(y) = y**2 - 21*y - 20. Let p be d(22). Suppose -p*z + 568 = 4*f - 8, 3*z + 12 = 0. Is 42 a factor of f?
False
Suppose 10*b = 3*b - 56. Let m(t) = 2*t**2 + 11*t + 6. Is m(b) a multiple of 33?
False
Suppose 80*h = 56691 + 108749. Is 21 a factor of h?
False
Suppose -20*p - 2031 = -21*p - 3*l, p - 5*l = 1991. Is p a multiple of 42?
True
Suppose -42*f + 3714 = -36*f. Is 25 a factor of f?
False
Let o = 171 - 99. Does 18 divide o?
True
Let m be 3 + (1 + -1)/(-3). Suppose -5*t - 42 - 180 = m*f, t + 155 = -2*f. Does 10 divide f/(-2) - 3/(-6)?
True
Suppose -10*y + 10 = -5*y, 0 = -2*x - y + 2. Suppose -14 = -4*l + 2. Suppose x = 5*g - 0*g, -l*g - 27 = -c. Is c a multiple of 27?
True
Suppose -4*t + 6 = -2. Does 10 divide (3/t)/((-3)/(-40))?
True
Suppose 0 = -v + 4*j, -3*v = -v + j + 45. Let p = -322 + 378. Let b = p + v. Is b a multiple of 15?
False
Let c = -9 - -1. Let h be 6/c - 5036/(-16). Suppose -5*b = -s - h + 58, -b = 3*s - 64. Does 13 divide b?
True
Suppose -4*k - 4596 = -4*q, 5*q - 2461 = -k + 3302. Suppose 5*n - q = -4*n. Is n a multiple of 23?
False
Is -1 + (867 - -4) + -6 a multiple of 11?
False
Let j be 2/4 - 4/8. Suppose j*d = 5*d. Let r(q) = q**2 - 3*q + 63. Does 21 divide r(d)?
True
Suppose 8 = 6*v - 2*v. Let n be ((-481)/26)/((-1)/v). Suppose 3*g - 119 = n. Does 20 divide g?
False
Let s(o) = -2 - o**3 - 19*o**2 + 9*o + 18 + 10*o. Is s(-20) a multiple of 12?
True
Suppose 1 = -3*c + 2*h + 8, 4*c = -3*h + 32. Suppose 5*p + 8 = 2*k - 17, c*k - 2*p = 31. Suppose -335 = -k*a + 255. Does 37 divide a?
False
Let s = 15 + -10. Suppose 11*f = 6*f - s. Let w = f - -5. Is w a multiple of 2?
True
Suppose 4*x + 4*c - 304 = 0, 157 = 3*x - x + c. Is 27 a factor of x?
True
Suppose 2*c - 12 = -2*c. Suppose -3*s - 3 = -9. Suppose -4*u + 46 = s*w, -c*w + 9 = u - 15. Does 9 divide u?
True
Let j(n) = -n**3 + 23*n**2 + 21*n - 14. Does 13 divide j(17)?
False
Suppose -6*w + 7 = -w - d, -5*d = 5*w - 25. Suppose -w*a = 2*p - 106 - 50, -4*a = p - 309. Suppose 0 = -4*l - 17 + a. Does 3 divide l?
True
Suppose -2*f - 4*i = -150, f - 4*i - 32 = 31. Is f + (-1)/(-3)*(-15)/(-5) a multiple of 8?
True
Let h(v) = -v**3 + 10*v**2 - 9*v - 31. Let m be h(10). Let a = 250 + m. Is a a multiple of 43?
True
Let c(m) = -5*m**3 - 4*m**2 + 18*m + 35. Does 2 divide c(-5)?
True
Let k be (10/30)/(1/6). Suppose -2*p + 2 = -p - 3*j, 4*p - 22 = -k*j. Does 7 divide (2 - p)/(6/(-14))?
True
Let b(n) = -15*n - 20*n + 34*n - 11. Let f be b(-15). Suppose -f*u + 30 = -2. Is 3 a factor of u?
False
Let s = -285 + 499. Does 6 divide s?
False
Let u(g) = -g**3 + 14. Suppose -5*q + 25 = -4*o + 2, 0 = -5*o - 2*q - 4. Let f = -2 - o. Does 7 divide u(f)?
True
Let h(d) = 19*d + 336. Is 58 a factor of h(31)?
False
Let b(s) = s**2 + 17*s + 20. Does 59 divide b(-20)?
False
Let q be 11/(-28)*-4 - (-9)/21. Suppose -3*v = 3*w - 735, 5*v - 1231 = -w - q*w. Is v a multiple of 45?
False
Let k be ((-2)/1)/((-4)/10). Let g = 113 + -116. Is 12 a factor of 123/k - g/(-5)?
True
Suppose -4*c = 4*u + 472, 4*u + 136 - 699 = 5*c. Is ((-32)/(-12))/(4/6) - c a multiple of 17?
True
Suppose -3*c + 3*o = -0*o - 9372, 0 = -5*c - o + 15632. Is c a multiple of 21?
False
Let s = -3 - -6. Suppose 0 = n - 4*v - 6, 2*n - s*v - 3 = 2*v. Is 6 a factor of (1 - -2) + (0 - n)?
False
Let m(q) = -3*q + 4 - 11 + 0 + q. Let g be m(-5). Suppose 68 = -b