+ 5*i + 605. Let o = y + 221. Does 21 divide o?
True
Suppose 3*y + 3*o - 23 = 1, -5*y + 8 = -3*o. Let g be (-250)/(-3) - 2/(-3). Suppose -y*z = -g - 92. Is z a multiple of 22?
True
Suppose 0 = 10*n + 14*n - 5472. Is n a multiple of 76?
True
Let z(h) = 3*h**2 - 11*h - 9. Let l be z(-1). Let v = 16 + -7. Suppose 54 = l*q + v. Does 5 divide q?
False
Let u(c) = -c**2 - 11*c + 13. Let t be u(-12). Is (2 + t + 0)*9 a multiple of 5?
False
Suppose -4*k - 4*f + 3*f + 1590 = 0, -3*f = 6. Is k a multiple of 13?
False
Let s = -6 - -6. Suppose s = b - 4*j + 6 + 12, 0 = 3*b + 5*j - 14. Is (0 + -3 - b) + 53 a multiple of 13?
True
Suppose 601 - 104 = 5*u + 3*p, -p = 1. Suppose -2*t + 0 = z + 2, 5*z + 32 = t. Is 14 a factor of u/z*-3 + -1?
False
Let w(g) = g**2 - 10*g + 4. Let c be w(10). Let i be (1 - 6/c)*0. Suppose i = -2*h + 16 + 20. Is 17 a factor of h?
False
Let a(m) = -5*m**2 + 13*m. Let z(y) = -6*y**2 + 12*y - 1. Let l(c) = -7*a(c) + 6*z(c). Does 3 divide l(-18)?
True
Suppose 0 = -3*z - 9 + 468. Suppose i = 4*s - 283, -2*s - i + z = 16. Does 35 divide s?
True
Suppose -3*a = 4*d - 21 - 35, -3*a + 4*d = -40. Is ((-8)/(-4)*a)/1 a multiple of 16?
True
Let f(w) = -92*w + 200. Does 14 divide f(-17)?
True
Suppose -6*s + 24 = -3*s. Let t be ((-26)/s - 1)*-4. Let k = t + 37. Does 18 divide k?
True
Let h(i) = -i**3 + 2*i + 10*i**2 - 8 - 13*i**2 - 9. Is h(-5) a multiple of 23?
True
Suppose -91 = -6*f + 53. Suppose -19*b + 16*b = -f. Is 2 a factor of b?
True
Suppose 8*x + 29 = 109. Is x a multiple of 5?
True
Suppose -4*s + 4*y + 8 = 240, -4*s - 2*y - 202 = 0. Let d = 43 - 68. Let o = d - s. Does 6 divide o?
False
Let g(z) = -z - 21. Suppose 3*q - 3 = 0, n - q + 5*q - 4 = 0. Let m be g(n). Does 2 divide (m/(-14))/((-3)/(-10))?
False
Let c = -3982 + 5616. Is c a multiple of 86?
True
Let v(x) = 0*x - 3*x - 4*x - 8*x**2 - x - x**3 + 14. Is 9 a factor of v(-7)?
False
Let b(x) = 2*x**2 + 8*x - 4. Let a(i) = 6*i + 10. Let q be a(-3). Let h be b(q). Suppose -u - 2*u = -h. Does 5 divide u?
True
Suppose 0 = 4*i + i - 50. Let s(p) = 0*p**3 - p**3 - 1 - 3*p**2 + 4*p**2 + 9*p**2 + 2*p. Is s(i) a multiple of 16?
False
Let m = -610 + 688. Does 3 divide m?
True
Let n(m) = -m + 1. Let j = -46 - -29. Let a = j - -2. Does 16 divide n(a)?
True
Let j(d) be the first derivative of d**4 - 5*d**3/3 + d**2 + 3*d + 26. Does 12 divide j(3)?
True
Suppose -1465 - 1351 = -22*c. Does 16 divide c?
True
Let d(x) = x**3 - 5*x**2 - 2*x + 7. Let z be d(5). Let a(o) = -4*o - 8. Let w be a(z). Suppose -5*n + w*n = -83. Is n a multiple of 13?
False
Is 32 a factor of (-1)/2*(-8 + -764)?
False
Let t be (-2)/1*(10 - 9). Is (-1)/((-3)/(-162)*t) a multiple of 11?
False
Let f(c) = 0*c + 2*c - 9*c. Does 7 divide f(-3)?
True
Let j be -2*2/3*-3. Suppose -4*b + 5*s - 16 = 0, -j*s = 2*b - 6*b - 12. Is b + 0 + 4/2 a multiple of 2?
False
Let x be -4 + (((-28)/(-1))/(-4) - -4). Let q = x - -217. Does 16 divide q?
False
Does 5 divide (-11 - (-276)/36)/((-2)/357)?
True
Let o(c) = c**2 + 6*c - 7. Let l be o(-4). Let b be l/(-25) + (-1134)/(-10). Suppose -5*p + 251 = -b. Is 22 a factor of p?
False
Let a = -96 + 146. Does 40 divide a/(-5)*(1 + (-51)/3)?
True
Suppose 5*l = 2*c - 43 - 14, -c = 5*l + 69. Let k(r) = -r**2 - 15*r + 14. Is k(l) a multiple of 6?
False
Suppose -4*h = -7*h - 6, -2*b + 292 = 4*h. Is b a multiple of 5?
True
Is (7 - (-10 + 2))*(-2)/(-6) a multiple of 5?
True
Let w(l) = -l**2 + 8*l. Let k be w(8). Let u be (2 + k)*40/16. Suppose 354 = u*d + x, 0*x = 3*d + 3*x - 222. Is d a multiple of 35?
True
Suppose 3*h + 5 = -u, u = 4*h - 1 + 17. Let q be 34/u - 1/(-2). Let z(x) = x**3 - 8*x**2 - 7*x - 4. Is 14 a factor of z(q)?
True
Let t(g) = 3*g**3 - 4*g**2 + 3*g + 9. Let v be t(-4). Let i = -156 - v. Is i a multiple of 25?
False
Suppose -2*k + 180 = 4*h, -h = 2*k - 37 - 128. Suppose 3*c + k = 8*c. Let p = -10 + c. Does 6 divide p?
True
Let f = -86 - -164. Suppose k - f = 5*p, -3*p = -5*k - 5*p + 309. Does 8 divide k?
False
Let c = -23 + 3. Is 15 a factor of ((-368)/c)/((-14)/(-35))?
False
Suppose -3*j - 3*v = j + 13, 5*j - v + 40 = 0. Let w(f) = f**3 + 7*f**2 - 8*f - 2. Is w(j) a multiple of 11?
False
Suppose 3*g = 4*i + 22, 0 = -6*g + 2*g - 4*i - 8. Is -2 + (2 + g)*17 a multiple of 11?
True
Let r be (6 + -6)/(-4 - -1). Suppose r = 2*m - b - 61, -m - 4*b + 48 = -b. Does 4 divide 468/m - (-4)/(-22)?
False
Suppose 28*h - 1182 = 25*h. Is h a multiple of 28?
False
Let v(r) = -r**2 + 9*r + 4. Let l be v(8). Suppose -l = -2*y - 3*h, 0 = -4*h + 2*h - 8. Is 3 a factor of y?
True
Suppose 2*m + 3*k = 34, 0*m + 2*k = -3*m + 41. Does 11 divide m?
True
Suppose -8*i - 5*c + 65 = -6*i, 0 = 2*i - 3*c - 25. Is i a multiple of 20?
True
Let y(w) = -5*w**3 + 6*w**2 + w + 6. Let d(h) = h**3 - h**2 - h. Let j(v) = -4*d(v) - y(v). Let a be (72/(-24))/(6/(-10)). Is 23 a factor of j(a)?
False
Let i(n) = 2*n**2 + 9*n + 4. Let x(l) = l**2 - 1. Let g(f) = i(f) - x(f). Let k be (45/(-20))/(4/16). Is g(k) even?
False
Let c = 6 - 3. Let z(j) = -3*j + 12 - 2*j**3 - j**c + j**3 - 7*j**2 + 3*j**3. Is z(8) a multiple of 13?
True
Let w(m) = 11*m**2 + 17*m - 7. Let n(u) = 5*u + 7*u**2 - 4 - 1 + 6*u + 0. Let f(c) = 8*n(c) - 5*w(c). Is f(6) a multiple of 23?
False
Suppose -4*d + 36 - 584 = 0. Let l = -58 - d. Does 42 divide l?
False
Suppose 32 = -3*i - 4*z, -i = -2*z - 1 - 5. Let u be 2/i - (-92)/8. Let d = 24 - u. Is 5 a factor of d?
False
Let t = 260 - 242. Is 2 a factor of t?
True
Let r(i) = 2*i**2 - 8*i + 2. Let v be r(4). Suppose -6*k = v*n - 3*k - 384, k = 2*n - 384. Does 16 divide n?
True
Let w be 6/15 - ((-114)/15 - 0). Let j(q) = 2*q**2 + 2*q - 4. Is 29 a factor of j(w)?
False
Suppose 5*a - 18 = -z, -2*a - 4*z = -a - 15. Let d(r) = 311*r + 6. Let w be d(a). Is w/21 + 8/28 a multiple of 17?
False
Suppose y - 2 = -y. Let s be (6/18)/(y/(-213)). Let w = -47 - s. Is 12 a factor of w?
True
Let c(u) = -u**3 - 4*u**2 + 3*u - 4. Let m be c(-6). Let f be 644/5 - (-10)/m. Suppose f = 3*y - 0. Is y a multiple of 22?
False
Suppose 4*r - 353 = 3*f + 60, -2*f - r = 279. Let y = f + 305. Is 42 a factor of y?
False
Suppose -4*b + 198 = 34. Let s = 73 - b. Is 8 a factor of s?
True
Let w = 806 - 575. Is w a multiple of 7?
True
Let w = 164 - -97. Is w a multiple of 29?
True
Suppose -j - j + 3 = 3*m, j - 12 = -5*m. Suppose -117 = -m*f + y + 2*y, -4*y = -2*f + 72. Is f a multiple of 14?
True
Is 13 a factor of (-7 - -14) + (-4236)/(-3)?
False
Let j(n) = -n**3 + 6*n**2 + n - 4. Let a be j(6). Let d = -136 - -166. Suppose 0 = v - a*r - d, -2*r - 35 = -3*v + 35. Is v a multiple of 16?
False
Suppose 7*g + 3 = 38. Suppose -q + g = -68. Is q a multiple of 18?
False
Let o = 6 - 1. Suppose -o*c - 30 = 10. Let k = 31 + c. Is 10 a factor of k?
False
Let n = 117 + 11. Suppose -380 = -4*g - n. Is 9 a factor of g?
True
Let w be 0 - (-3 - 1) - -4. Let u be 340/w*(-4)/(-5). Let r = u + -18. Is 13 a factor of r?
False
Suppose -7*z + 2*z = 700. Let a = z - -203. Suppose 3*w - 3*r - 57 = -4*r, r + a = 3*w. Is 20 a factor of w?
True
Let g be -174*4/10*240/64. Let m = g - -395. Does 20 divide m?
False
Suppose -s + 106 = -146. Is 17 a factor of s?
False
Let n be (-2 - (1 + -1)) + 80. Let q be (17 - -3)/(1/3*2). Suppose -3*a = 2*o + 3*o - q, -5*a + n = -o. Is a a multiple of 14?
False
Let o = 3 - 8. Is 21 a factor of (-168)/(-2 + 0) - o?
False
Let y(u) = -u**3 + 8*u**2 - 7*u + 3. Suppose -4*h + 27 = 7. Let o be y(h). Suppose 2*k - 61 = o. Is k a multiple of 13?
True
Let t = 2494 - 117. Does 8 divide t?
False
Let f(g) = -g**2 - 6*g - 3. Let h be f(-5). Suppose -h*x - 126 = -3*x. Is 5 a factor of 2934/x - 2/7?
False
Suppose 0 = 30*m - 27*m - 6. Suppose -b - 3*y + 9 = -84, m*b + 2*y - 174 = 0. Does 19 divide b?
False
Let y(d) = -d**2 + 9*d - 16. Let v be y(6). Suppose -l = v - 57. Suppose l = 6*k - 5. Does 2 divide k?
True
Let c(l) = l**3 + 4 + 10*l - 2*l**3 + 16*l**2 - 4*l. Does 25 divide c(16)?
True
Suppose -7*s + 3*k + 348 = -5*s, -3*s - k = -522. Is s a multiple of 29?
True
Let d(t) = 2*t - 19. Let k be d(12). Suppose i - 24 = -0*i + 3*m, k*i + 2*m - 52 = 0. Is i a multiple of 4?
True
Let f be -3 + 120 + 4 + -1. Suppose -2*k = -4*g - 238, -2*g + 739 - f = 5*k. Suppose -3*h + k = 3*m, -3*h + 2*m + 111 = -m. Does 13 divide h?
True
Is -32*50/(-20) - (7 - 2) a multiple of 14?
Fals