). Let c = f + -6. Is 4 a factor of c?
True
Let p be -2 - 1/2*-122. Suppose 88 = 5*w - 5*j + 4*j, -3*j + p = 4*w. Does 3 divide w?
False
Suppose 5*s = 9 - 44. Is ((-2)/s)/(9/63) even?
True
Let t = -19 - -32. Let r = -19 + t. Let a = 59 + r. Does 22 divide a?
False
Is (-31)/(-9) - 3 - (-53119)/99 a multiple of 10?
False
Let t(a) = a**3 - 3*a**2 - 4*a + 5. Let y be t(4). Suppose 1 + y = 2*m. Suppose -m*r = r - 276. Is 23 a factor of r?
True
Let w(t) = t**2 - 2*t - 205. Does 27 divide w(39)?
False
Let h be 1/(-3) + 470/(-30). Let o(p) = -10*p + 47. Is o(h) a multiple of 23?
True
Let h(o) = o**3 + 27*o**2 - 5*o + 65. Is h(-27) a multiple of 10?
True
Let i(y) = y**2 + 9*y - 6. Let t be i(-8). Let k = -10 - t. Suppose 0 = -3*s + k*s - 39. Does 13 divide s?
True
Let r = 26 - 23. Suppose 2*f + r*f + y - 1024 = 0, y - 4 = 0. Does 36 divide f?
False
Is 44 a factor of 1104 - 3 - 2/(4 + -2)?
True
Suppose -3*m + 4*m + 3 = -3*u, -4*u = 20. Suppose -m - 8 = 4*s. Is 26 a factor of s/2*-22 - 3?
True
Let s(d) be the second derivative of d**5/20 - 3*d**4/4 - 5*d**3/3 + 3*d**2/2 - 14*d. Does 2 divide s(10)?
False
Let b(z) = -4*z**3 + 11*z**2 + 3*z + 22. Let s(f) = -3*f**3 + 11*f**2 + 3*f + 21. Let c(g) = -2*b(g) + 3*s(g). Is 10 a factor of c(11)?
False
Let v = 153 + -149. Suppose -v*n - n = 5, -462 = -5*o + 2*n. Is 46 a factor of o?
True
Let q(t) = -3*t + 1. Let y be q(-1). Does 6 divide 94/4 - (-2)/y?
True
Suppose 0 = -p - 269 + 682. Does 15 divide p?
False
Suppose o - 99 = -2*o. Suppose -5*h - 40 = -3*s, -3*h + 59 = 4*s - o. Does 4 divide s?
True
Suppose 59*c - 2841 - 404 = 0. Suppose 4*b - 3*g - 100 = 28, -5*g = 2*b - 38. Let o = c - b. Is o a multiple of 26?
True
Suppose 9918 = 11*y + 8*y. Is y a multiple of 12?
False
Let m = -541 + 800. Does 27 divide m?
False
Suppose 4*l = 3*l + 15. Let f be l*((-28)/12 - -2). Does 12 divide (f - -3) + -1 + 15?
True
Is 37 a factor of (-18)/288 + 223783/112?
True
Let g(q) = -q - 4. Let x be g(-4). Suppose 3*a + 99 + 6 = x. Is a*(1 - 7/5) a multiple of 7?
True
Let m = -8 + 10. Let i be (-1)/m + (-104)/(-16). Suppose 0 = 5*o - 174 - i. Is o a multiple of 30?
False
Suppose -5*r + 6*r - 5 = 0. Suppose 0 = -r*o + 4*o. Suppose -4*s + 3*j + 148 = 5*j, o = -5*s - j + 191. Is s a multiple of 19?
False
Let z be -1*8/4*-16. Suppose 3*y - 43 - z = 0. Let l = y - 21. Is 4 a factor of l?
True
Let r(l) = -5*l + 17. Let v(m) = 3*m - 8. Let q(k) = 4*r(k) + 7*v(k). Let j be q(-8). Suppose g - j = 0, -4*c + 248 = c + 2*g. Does 14 divide c?
False
Let n(m) = 34*m - 71. Does 27 divide n(14)?
True
Suppose 15*p - 4*p = -2156. Is 20 a factor of (-1)/((6 - 4)/p)?
False
Suppose -27442 = -15*z + 4418. Is z a multiple of 19?
False
Let w be 4 + 2 + (-6)/3. Suppose -118 = 2*d - w*d. Let o = 92 - d. Is 5 a factor of o?
False
Let h(r) = -2*r**3 + 3*r**2 - 3*r + 288. Is 8 a factor of h(0)?
True
Suppose 0 = 7*k - 10*k + 15. Suppose k*j - j = -52. Let s = j - -74. Is 14 a factor of s?
False
Suppose 10*t - 6*t = -5*w + 3308, 0 = 2*w + 3*t - 1326. Does 12 divide w?
True
Suppose -224 = 2*s + 5*w - 619, -2*w = -2. Let n = s - 131. Is 22 a factor of n?
False
Let z(c) = 0*c**3 - c**3 + 0*c**3. Let h(l) = 7*l**3 + 7*l**2 + 5*l + 2. Let v(w) = h(w) + 6*z(w). Does 7 divide v(-6)?
False
Let y(c) = c**3 - 3*c**2 - c + 12. Does 50 divide y(9)?
False
Let l be 2/4 - 112/(-32). Suppose 13*k = l*k + 585. Is k a multiple of 13?
True
Let k = -282 + 503. Is k a multiple of 17?
True
Let k(w) = -w**3 - 25*w**2 - 28*w - 241. Does 27 divide k(-25)?
True
Let t(h) = -3*h**2 - 83*h - 20. Does 12 divide t(-25)?
True
Let t(k) = k**2 - k + 2. Let o = -13 + 15. Let d be t(o). Suppose -4*l + 232 = 4*h, 3*h - 2*l = -d*l + 170. Does 18 divide h?
True
Let v be 1 - ((-261)/5)/((-15)/50). Let p(b) = -9*b**3 + b**2 - 4*b. Let f be p(3). Let k = v - f. Is k a multiple of 21?
False
Let i(w) = -2 - 1 + 30*w + 17*w. Let u be i(2). Let s = u - 49. Is 14 a factor of s?
True
Let x be 6/12*(-28)/(-2). Let r be (22/8)/(2/(-8)). Let h = x - r. Is 7 a factor of h?
False
Let c = -11 + 16. Suppose c*r + 2*x = 42, -r + 1 + 17 = -2*x. Is r even?
True
Let i(b) = b**2 + 6*b - 5. Let t be i(-7). Suppose 2*y + 0*y + 2*d = 4, -d = 4*y - t. Suppose y = 4*z - 5*z + 3. Is z a multiple of 3?
True
Suppose 2*s - 5*b - 6 = 0, -2*b + 27 = -7*s + 2*s. Let u(v) = -v**2 - 6*v - 1. Let r be u(s). Is r/36 + (-454)/(-18) a multiple of 19?
False
Suppose 4 = 5*v - 6. Suppose -6*r + v*r + 192 = 0. Is r*(-4)/12*-2 a multiple of 8?
True
Let c(n) = 1 - 5*n + 9*n**2 + 6*n - 2*n. Let i be c(1). Let y = 24 - i. Is 5 a factor of y?
True
Let d(p) = -p**3 - 11*p**2 - 7*p + 24. Let r be d(-10). Let g = 46 + r. Is g a multiple of 7?
False
Suppose -29678 = 37*d - 75*d. Is d a multiple of 11?
True
Let s(g) = -21*g**2 - 7*g + 5. Let k be s(4). Let x = 504 + k. Suppose 0 = 12*l - 7*l - x. Does 4 divide l?
False
Let w = -1578 + 1587. Is 6 a factor of w?
False
Let r(u) = u**2 - 3*u - 11. Suppose 0*y = -y + 2*z + 17, y - 15 = z. Suppose -12 = -10*j + y*j. Is 16 a factor of r(j)?
False
Let u(q) = 7*q - 4. Let v be u(-2). Let b be (6/v)/(2/(-30)). Let h = b - -19. Does 12 divide h?
True
Suppose 16*w = 130 - 210. Let l = -4 + 6. Does 24 divide 223/5 - l/w?
False
Suppose -4*p + 7 + 66 = 5*d, -15 = -3*d. Is 40 a factor of (27*2)/(8/p)?
False
Suppose 0 = -43*u + 122000 - 32216. Is u a multiple of 58?
True
Suppose 0 = f - y - 883, -5*y + 4*y - 2647 = -3*f. Is f a multiple of 14?
True
Let q(i) = 2*i**3 - 31*i**2 - 21*i + 18. Does 18 divide q(18)?
True
Let y(z) = -7*z**2 + z - 2. Let o be y(-2). Let k = 1 + o. Let a = 1 - k. Is 16 a factor of a?
True
Let k = 1224 + -600. Is 13 a factor of k?
True
Suppose -42*b = -40*b - 1476. Suppose -b = -9*a - 126. Does 17 divide a?
True
Suppose 0 = 6*p - 0*p - 30. Suppose -v - d - 77 = -2*v, 2*d = -p*v + 371. Is 6 a factor of v?
False
Suppose 3*d = 7*d - 12. Suppose 5 = -d*c - 7. Is 9 a factor of (c + 69/(-15))*-5?
False
Let k(s) = s**3 - 2*s**2 - 43*s + 790. Is k(0) a multiple of 5?
True
Suppose 14*z = 4*z + 1550. Is 11 a factor of z?
False
Let d be (0 - 3)/(2 + -1). Let y be ((-102)/8)/(d/8). Suppose -6 - y = -s. Is s a multiple of 8?
True
Let m be 11 - 21 - (-3)/1. Let r be ((-4)/(-28))/((-1)/m). Suppose -2*v + 33 = r. Is 16 a factor of v?
True
Suppose -16*l + 39704 = 40*l. Does 36 divide l?
False
Suppose 5*g + 7*v = 4*v + 7498, -4*v + 5992 = 4*g. Is 85 a factor of g?
False
Suppose -2*w = -16*w + 98. Is 483/w*(0 + 1) a multiple of 17?
False
Suppose 4*q + 4 = 24, 2*a + 2*q - 978 = 0. Is 44 a factor of a?
True
Let u = 9 - 7. Suppose -2*m = -t - u*t - 12, 3*m - 5*t - 20 = 0. Suppose m = 3*f - 66. Is f a multiple of 22?
True
Let a = -792 - -1122. Is 11 a factor of a?
True
Let k = 15 - 12. Is (k/(-9)*-87)/1 a multiple of 12?
False
Does 28 divide (-4)/6 + 122668/546?
True
Suppose 2*z - 246 = 3*w + 1508, 3*w = -6. Is 19 a factor of z?
True
Let a be 12/14 - (-570)/21. Let k = 23 - 41. Let f = k + a. Is f a multiple of 5?
True
Suppose 2*l + 0*p - 14 = 5*p, 0 = -5*l - 5*p. Suppose 3*y - 1280 - 182 = -5*c, -5*c - l*y + 1463 = 0. Is c a multiple of 38?
False
Let n = 1088 - 728. Is n a multiple of 10?
True
Suppose m - 4 + 0 = 0. Suppose 15 = -k - h - 4, -k + 2*h = m. Is 2*29*(-13 - k) a multiple of 29?
True
Let v(z) = 7*z**2 - 13*z + 7. Is v(5) a multiple of 7?
False
Suppose 6*n = 7*n + 4. Let f(t) = 3*t**3 + 2*t**2 - 4*t - 8. Let q(u) = 7*u**3 + 3*u**2 - 8*u - 16. Let h(y) = 5*f(y) - 2*q(y). Is h(n) a multiple of 4?
True
Suppose 2*y + 15 = -795. Let i = -210 - y. Is i a multiple of 13?
True
Suppose -9*y = -10*y + 4*d + 292, -2*y - 4*d + 644 = 0. Is y a multiple of 13?
True
Let z be -5 + 6/(9/3). Let c be (16/z)/((-9)/108). Let y = c - 25. Is y a multiple of 8?
False
Is 26 a factor of -1 - (3/(-3) + -255)?
False
Suppose 2*y + 3*s = 3*y - 75, -3*y + 4*s + 220 = 0. Is 23 a factor of y - 4*(-12)/(-16)?
True
Let t = -12 - -40. Suppose 4*h - t = 8. Is (210/h)/((-2)/(-6)) a multiple of 14?
True
Let l(a) = -a**2 + 9*a - 7. Let b be l(8). Let u be 3 - 2 - (5 - b). Does 2 divide (u/(-2))/(30/140)?
False
Let s(g) = -g**2 - 11*g - 12. Suppose -9*l + 4*l - 45 = 0. Let r be s(l). Is ((-4)/r)/((-3)/72) a multiple of 5?
False
Let q be (-5)/(-25) + (-42)/10. Let s = q - -8. Suppose 4*f + 55 = d + s*d, -53 = -4*d + 5*f. Does 7 divide d?
True
Is