Let i be h(z). Does 6 divide -18*((-9)/18 - (-6)/i)?
True
Let u(m) = m + 5. Let v be u(0). Let y = 203 + -198. Suppose -v*i + 125 = 5*n, 3*i + y*n = 2*i + 37. Does 12 divide i?
False
Suppose 106*p = 102*p + 44. Suppose 3*u - 2*g - 1483 = 0, 2*u - p*g - 992 = -13*g. Does 19 divide u?
False
Let k(z) be the third derivative of z**4/24 + 30*z**3 + 4*z**2. Let x be 18/6 + -6 + 3. Does 20 divide k(x)?
True
Let a = 4146 - 3275. Is 8 a factor of a?
False
Let k be 4/(-10) - 44/(-10). Suppose -304 = -4*z - 0*b - 4*b, b = -k*z + 301. Let l = -45 + z. Does 15 divide l?
True
Let h = 3275 - 2770. Is 5 a factor of h?
True
Suppose -4*x - 3*v - 11 = -40, 3*x + 5*v - 30 = 0. Let a = x - 3. Suppose 6*m - 483 = a*m + p, -5*p = 3*m - 345. Is 30 a factor of m?
True
Let a(o) = -3*o**2 - 22*o - 10. Let i be a(-5). Suppose 18*x - i*x = -1008. Does 24 divide x?
True
Suppose 11*y - 147 + 37 = 0. Suppose 462 = y*m - 1818. Does 8 divide m?
False
Let m be 4*(-6)/((-48)/(-230)). Let u = m - -166. Is 17 a factor of u?
True
Let h = -71 + 75. Suppose -2*j + h*c = -128, -2*j - 3*j + 356 = -c. Is j a multiple of 24?
True
Let s be 71 + 1 + 26/13. Let v = 83 + s. Does 21 divide v?
False
Suppose u + 28 = 5*y, 3*u = 5*y - 3*y - 6. Let v(n) = 49*n**2 - 15*n - 17. Let o(z) = 25*z**2 - 7*z - 8. Let i(w) = 13*o(w) - 6*v(w). Is 20 a factor of i(u)?
True
Suppose 4819 = -8*c + 5763. Is c a multiple of 11?
False
Let x be 6 + 4/3*(-3)/2. Let d be 52/(5 - x)*-2. Let o = -99 - d. Does 3 divide o?
False
Let w = 3839 + 9. Is w a multiple of 74?
True
Let o = -42 - -33. Let j(k) = -6*k - 39. Is j(o) a multiple of 5?
True
Let g = -26 + -257. Let d = g - -165. Let c = d - -213. Is 45 a factor of c?
False
Let q(t) be the first derivative of t**3/3 + 2*t**2 + 98*t - 47. Does 43 divide q(-13)?
True
Let y(c) = -c**3 + 4*c**2 - 2*c. Let p be y(2). Suppose 0 = -p*v - 2*h + 3*h + 523, 3*v - 395 = -2*h. Let s = v - 40. Does 13 divide s?
True
Suppose -48*m + 1938329 = 721241. Is 33 a factor of m?
False
Is 38 a factor of 147/(-42)*133*-4?
True
Let a be 82635/175 - ((-22)/(-10) + -2). Suppose 11*d - a = 7*d. Does 59 divide d?
True
Let s be -1*(-3)/(-2)*(7 + -5). Let k(u) = -100*u + 128. Is k(s) a multiple of 14?
False
Does 13 divide ((-36)/(-48))/(75/309400)?
True
Suppose -408 = 2201*m - 2210*m - 102. Let n = 18 - -10. Let z = n + m. Does 31 divide z?
True
Let z = 248 - 250. Is 31 a factor of ((-160)/120)/(2/726*z)?
False
Suppose -4*r = -534 + 162. Let p = 137 - r. Suppose 0 = -6*z - p + 356. Is 8 a factor of z?
False
Let g(c) = -3336*c + 898. Does 227 divide g(-8)?
False
Let l(f) = -2*f**3 - 8*f**2 + 20*f - 15. Is l(-10) a multiple of 88?
False
Let p be (-4 - -3) + (-25)/(-5). Suppose -77 = p*b - 377. Is b a multiple of 12?
False
Let s = -6114 + 8324. Does 34 divide s?
True
Suppose 0 = w - 2 - 2, 5*a = -3*w + 62. Suppose a*z - 11*z = -456. Is 24 a factor of z?
True
Suppose 2*f = 5*a + 4, f - 3 = 2*a - 1. Is (-4 + (-13)/(-2) - f)*98 a multiple of 7?
True
Let y(u) = 2*u + 18. Let t be y(-9). Suppose 5*s - 1 = -m - t*s, -4*m - 4*s - 12 = 0. Does 17 divide m - ((-24)/(-16))/((-3)/128)?
False
Let m(f) = -f**2 + 5*f + 3. Suppose 31 = 5*d - 3*h, 2*d - 2 = -0*d - 4*h. Let s be m(d). Suppose 2*i - s*i + 22 = 0. Does 5 divide i?
False
Let x(z) = z**2 + 12*z - 188. Is x(40) a multiple of 3?
False
Suppose -24340 - 9026 = -101*u + 23598. Is 2 a factor of u?
True
Suppose 37*t - 74256 = -14*t. Does 28 divide t?
True
Let l = 766 + -46. Suppose -4*j = j - l. Let z = -8 + j. Is z a multiple of 24?
False
Suppose 0 = 5*s - 5*j + 1710, -4*s + j - 1365 = -4*j. Let k = 409 + s. Is k a multiple of 5?
False
Suppose -3*t + 3*j + 852 = 0, -5*t = -j - 614 - 818. Let d = 299 - t. Is d a multiple of 2?
True
Is 27 a factor of (-80 - -179)*(-246)/(-11)?
True
Suppose 0 = 111*a - 3*a - 421848. Is 18 a factor of a?
True
Let x = 147 + 417. Let y = x - -165. Is 11 a factor of y?
False
Suppose -3*o = o + 5*a - 1, 5 = -o - 3*a. Suppose -o*g = -0*g - 0*g. Suppose 5*r - 9 - 31 = g. Is r even?
True
Let p = -49150 - -92679. Is 19 a factor of p?
True
Let r be -2 + 9 - 6 - 2*8. Let t(f) = -f**3 - 15*f**2 + f + 22. Let z be t(r). Suppose -c + 16 = m, z*c - 4 = -m + 2*c. Does 3 divide m?
False
Let l be 20/8*(-2)/1 - -3. Let m be 1060/(-14) - (48/21 + l). Let r = m + 140. Is r a multiple of 32?
True
Is (3564/10)/((-63)/((-92610)/28)) a multiple of 27?
True
Suppose -w + 1852 = -2*m, -74*w - 4619 = 5*m - 71*w. Let y = m - -2065. Does 10 divide y?
True
Let v = 28576 - 9824. Does 32 divide v?
True
Is 10 a factor of -6 + ((3 + -1)/((-6)/9) - -5029)?
True
Suppose -5*x + 4*n = -10992, 3*x - 2*n + 5*n - 6579 = 0. Is x a multiple of 134?
False
Let v be (0 - 1)/(-2*7/1274). Suppose 12*u = 5*u + v. Suppose -2*q - 660 = -u*q. Is q a multiple of 10?
True
Suppose -6*w + 4*w - 4 = -3*x, -5*x + 5 = -3*w. Does 10 divide (w/20)/(5/(-760))?
False
Let i = -21836 - -22479. Is 11 a factor of i?
False
Let r(s) = s**2 - 13*s + 3. Let z be r(-8). Let d = -44 - z. Let u = 28 - d. Does 31 divide u?
False
Suppose -10*j + 16 = -26*j. Is 2/5*j - 5735/(-25) a multiple of 15?
False
Let f(l) = -3*l**3 - l**2 - 8*l - 6. Let s(q) = 44*q + q**3 - 26*q - 19*q + 1 - q**2. Let o(h) = f(h) + 2*s(h). Is 19 a factor of o(-6)?
False
Let x = 23 - 19. Let s be (x - -1113) + 1 + -1 + -1. Suppose 7*z - s = -59. Is 30 a factor of z?
False
Let g = -6278 + 11784. Is g a multiple of 75?
False
Let z(b) = 6*b**3 - 6*b**2 + 6*b - 39. Let t be -4*7/14 - -6. Is z(t) a multiple of 21?
True
Suppose -82*w + 51522 = -103458. Is 30 a factor of w?
True
Let v be (-2724)/(-14) + (-63)/(-147). Suppose 0 = -y - v + 475. Is y a multiple of 14?
True
Let u(d) be the second derivative of d**3/2 + 31*d**2/2 - 44*d. Let s be u(-9). Suppose 0*x + s*x - 480 = 0. Is x a multiple of 10?
True
Let b be 73 + 1/12 + (-3431)/564. Let w = 115 + 3. Let x = w - b. Is x a multiple of 10?
False
Let b be 1 - (-186)/9 - 4/6. Let q = b - -27. Suppose -5*d = -67 - q. Is d a multiple of 23?
True
Let j = 995 - 481. Suppose -c - 2*a = -j, 0*c - c + 5*a + 479 = 0. Is (10/6)/(20/c) a multiple of 14?
True
Let b(p) = 14*p**3 - 3*p**2 + 31*p + 5. Let g(z) = -7*z**3 + z**2 - 14*z - 2. Let i(h) = -3*b(h) - 7*g(h). Is i(2) a multiple of 2?
False
Is 3 a factor of (195/26)/(-2 + 1)*-30?
True
Let p = -9198 - -20118. Is p a multiple of 105?
True
Let j(x) = -x**2 + 7*x + 50. Let n be j(11). Suppose -n*r + 90 + 144 = 0. Is 32 a factor of r?
False
Let m(d) = d**2 + d + 4. Let c be m(-3). Let x be (6/15)/1 + 36/c. Suppose 0*k + 28 = k + x*y, 140 = 5*k + 2*y. Is k a multiple of 13?
False
Let a(l) = 26*l + 8. Suppose -14*w + 22*w = 48. Let t be a(w). Is 18 a factor of t - -5*4/(-10)?
True
Let j(p) = -24*p - 12. Let k(z) = -z**3 - 2*z**2 + 6*z + 9. Let o be k(-2). Does 3 divide j(o)?
True
Let c(s) be the second derivative of 0 - 11/2*s**2 + 23*s + 3/2*s**3 - 3/4*s**4 - 1/20*s**5. Does 33 divide c(-11)?
True
Suppose -4*w - 2*x + 52734 = -x, 0 = -2*w - 4*x + 26346. Does 45 divide w?
True
Let j(l) = 2 - 31*l**2 + 19*l**2 - 423*l**3 + 82*l**3 + 10*l**2. Does 25 divide j(-1)?
False
Suppose 142120 = -1201*a + 1239*a. Is 11 a factor of a?
True
Suppose -18*g - 14 = -50. Suppose -g*s - d + 2213 = -0*s, 0 = -s + 4*d + 1084. Is s a multiple of 12?
True
Let i be (5 + -4 - 15/10)*-14. Suppose 5*v + 3*m - 3055 = 0, 4*m - 2417 = -4*v + i*m. Is 76 a factor of v?
True
Suppose u - 3298 - 8068 = -5*l, -u = -2*l - 11324. Does 13 divide u?
True
Suppose -93*l = -123*l + 17580. Is 15 a factor of l?
False
Is 39 a factor of 972/14*((-2548)/(-42) + 0)?
True
Let o(j) = j**3 + 15*j**2 - 6*j - 104. Is 6 a factor of o(-13)?
True
Let q = -133 - -554. Does 11 divide 1/(-1) - -6 - -1*q?
False
Let b(f) = -f**3 - f**2 - 24*f + 7759. Does 126 divide b(0)?
False
Let f(l) = -15*l**2 - 3*l - 5. Let b be f(4). Let j = b + 380. Let k = -97 + j. Is k a multiple of 2?
True
Let h(m) = 538*m**2 + 29*m - 3. Let x be h(-4). Suppose 22*t - x - 3127 = 0. Is t a multiple of 88?
True
Let a(q) = -1487*q - 1530. Is a(-2) a multiple of 15?
False
Suppose -2*x + 49975 = 5*p, -480*p + 476*p + 3*x = -40003. Is 13 a factor of p?
True
Suppose 38*f + 28767 - 163667 = 0. Is f a multiple of 10?
True
Let m(z) = 712*z - 116. Is 9 a factor of m(51)?
False
Suppose -18750 = 13*f - 163*f. Is 25 a factor of f?
True
Let i = 83 - 9