 k = c + -11. Is 9 a factor of k?
False
Does 21 divide (-124)/((444/72)/(-37))?
False
Let i = 249 + 84. Is 37 a factor of i?
True
Suppose -2*v = 6*v - 184. Is 9 a factor of v?
False
Suppose m - 7 = f, 7 = m - 0*m - 4*f. Let v(c) = -c**3 + 6*c**2 + 7*c + 7. Let u be v(m). Let k = -2 + u. Does 2 divide k?
False
Let c be ((-6)/(-9))/((-8)/(-1884)). Suppose 5*l = 4*x + c + 183, 10 = 2*x. Suppose 0 = -4*t + 52 + l. Does 14 divide t?
False
Let f be 12/(-42) - 58/(-7). Suppose 5*n - 5*d = -10, -3*d - f = -5*d. Suppose n*z + 59 - 3 = 4*s, 4*s - 80 = -4*z. Does 8 divide s?
True
Let x = 0 - 0. Let a(r) = 2*r - 13. Let u be a(14). Suppose x = 5*g + u, l - 4 = 3*g + 78. Does 28 divide l?
False
Let q(m) = m**2 - 12*m - 76. Does 89 divide q(30)?
False
Let o = -159 + 622. Is 5 a factor of o?
False
Suppose 0 = 4*h - 4*j - 221 + 33, -2*h + 92 = -4*j. Let b = 122 - h. Does 17 divide b?
False
Suppose -17*k + 2236 = -4*k. Let u = k + -121. Does 3 divide u?
True
Suppose y + 17*k - 2036 = 19*k, -3*y - 3*k + 6072 = 0. Does 13 divide y?
True
Let s = 1277 + 991. Is 126 a factor of s?
True
Suppose 0 = 3*r - 1072 - 767. Does 23 divide r?
False
Let u be 6 - 0/(0 - 3). Suppose 196 - 724 = -u*j. Is 22 a factor of j?
True
Suppose 2*n + 0*n = -5*b + 40, -4*n = -20. Let j(f) = f**2 - 10. Is j(b) a multiple of 2?
True
Let j(g) = 16*g + 4. Let k = -5 - -7. Let p be j(k). Does 21 divide p*(-2)/5*-5?
False
Let o = -464 + 793. Does 3 divide o?
False
Does 9 divide (-2864)/(-22) + (-8)/44?
False
Suppose 5*q + 6 = 3*t, -t + 2 + 0 = -4*q. Suppose q*u + 6*u - 216 = 0. Suppose -u = -5*i + i. Is 9 a factor of i?
True
Let n(o) = -7*o - 2. Let h be n(-14). Is 21 a factor of h + (1 - -2) - -1?
False
Let i = 822 + -542. Is i a multiple of 7?
True
Suppose -q = 3*q. Suppose 0 = -5*h - 25, 5*h + q*h + 33 = 2*l. Suppose -4*z - k = -426, -2*z - k + l*k = -206. Is 19 a factor of z?
False
Suppose n - 2*l = -9, -6*n + 2*n - 2*l - 26 = 0. Let c(d) = 3*d**2 + 8*d - 5. Let f be c(n). Let i = f - 50. Is 9 a factor of i?
True
Let g = 14 + -12. Suppose -g*c = -0*c - 34. Is 5 a factor of c?
False
Suppose -5*a = 4*l - 14, 4*a + 3*l - 12 = -1. Suppose a*c - 4 = c. Suppose -4 = c*r, q - 5*r = -q + 41. Is q a multiple of 9?
True
Let i be (-180)/80*(-16)/6. Suppose 0 = 5*n + 3*b - 88, 0 = -n - i*b + b. Is n a multiple of 3?
False
Suppose -5*f + 2721 = 4*i, 4*i - 2742 = 4*f - 2*f. Is 57 a factor of i?
True
Let p be (-234)/(-26) + 3/(-1). Is (-6)/(-4)*44/p a multiple of 11?
True
Is 725 - 114 - (-10 + 1) a multiple of 20?
True
Let m = -77 + 83. Suppose -58 - 32 = -m*s. Is 3 a factor of s?
True
Let n(s) = -17*s - 25. Let l be n(-3). Suppose -90 - l = -q. Is 7 a factor of q?
False
Suppose 3*j - 3*o - 41 = -2*o, 3*j = 2*o + 40. Does 2 divide 4/(-14) + 74/j?
False
Let w be (1/4)/((-6)/(-312)). Let o = w - 11. Is -2 + ((-132)/(-1))/o a multiple of 28?
False
Suppose 138*s = 198*s - 360. Does 3 divide s?
True
Let l be 25/15 - (-2)/(-3). Let m be (0/l + -3)/(-1). Suppose 63 + 15 = m*w. Is 13 a factor of w?
True
Let a(k) = 6*k**2 + 3*k + 23. Let y be 2 + (4*-4)/2. Does 13 divide a(y)?
True
Let j = 131 + -134. Is 2 a factor of ((j - -5) + 0)*13?
True
Suppose h - 233 - 103 = 0. Suppose -3*k + 9*k = h. Is 16 a factor of k?
False
Suppose 9*a = 4*a + 275. Suppose -4*c = c - a. Let o = 15 - c. Is 4 a factor of o?
True
Let l be (28/8 + (-2)/4)*1. Suppose 5*q = -4*u + 322, l*q + u = -u + 194. Is 33 a factor of q?
True
Is 5430/4*24/36 even?
False
Suppose -62 = n + 124. Let y be n/4 - 6/(-4). Does 24 divide (-18)/y - (-358)/5?
True
Suppose 4*x - 2*p - 3268 = 0, 0 = x + 2*x + 2*p - 2437. Is 11 a factor of x?
False
Suppose -5*h = -6*h + 6. Let u be (-9)/(-2) - (-3)/h. Suppose -n - 3*n - 62 = -5*w, -u*w + 41 = 3*n. Is 5 a factor of w?
True
Let w(n) = 10*n**2 - 59*n + 327. Is w(17) a multiple of 54?
True
Suppose 3*o + 14 = 4*r - 6, 2*r = 4*o + 20. Suppose r*f + 10 = -3*f. Is 22 a factor of f - (1 - -1 - 74)?
False
Let t = -7 + 9. Suppose -t*u = -3*h + 2*u + 144, 0 = -4*u. Does 8 divide h?
True
Suppose -5*t + 5 + 20 = 0. Suppose t*i - 90 = -2*f, f - 4*i + 6*i - 45 = 0. Suppose 0 = -4*m + 3*p + 36, 5*m = -5*p - 0*p + f. Does 3 divide m?
True
Suppose 13*n - 4*k - 402 = 12*n, 2*k = -5*n + 2032. Is 2 a factor of n?
True
Suppose 144 = 19*o - 15*o. Let h = 60 - o. Does 7 divide h?
False
Let y be 0 + -1 + 10 - 3. Suppose 5*r - d - 617 = 0, -2*d + 378 = y*r - 3*r. Is 31 a factor of r?
True
Let u = 362 - 300. Does 12 divide u?
False
Suppose 21 = -3*u + 69. Suppose -11*d = -15*d + u. Is 12 a factor of (-100)/12*(1 - d)?
False
Let f be ((-12)/(-14))/((-1)/(-7)). Let j(a) = -38*a + 5*a**2 + 4 - a**3 - 23*a + 69*a. Is j(f) a multiple of 16?
True
Let x = 32 + -17. Let h(c) = -c + 16. Let k be h(x). Is 13 a factor of (k - -38)/(1 - 0)?
True
Let r be (14 - (-3 - -1)) + -3. Let u(k) = k + 1. Let l be u(r). Suppose -l = -2*o - j + 1, 3*o = 4*j + 17. Does 7 divide o?
True
Let k(o) = -1. Let z(c) = 5*c - 12. Let f(d) = 3*k(d) - z(d). Let h be f(-5). Suppose y - h = -7. Does 7 divide y?
False
Let h = -21 - -43. Let s = h + -5. Suppose -3*c = -2*c - s. Does 14 divide c?
False
Let m = -98 - -53. Let t be ((-12)/(-9))/(3/m). Let b = t + 28. Is 8 a factor of b?
True
Is (43 - 7)/((-2)/(564/(-9))) a multiple of 24?
True
Let u(g) = 40*g + 42. Does 22 divide u(5)?
True
Suppose 2*z - 1 = -3*i, -3*i + 0*i = -5*z + 34. Let d be (5 - 9) + 4/1. Suppose d = z*k - 25, 0*j + 2*j = -2*k + 14. Is j even?
True
Suppose 104 + 1 = 5*a. Let p = a + -13. Let j = p + 1. Does 3 divide j?
True
Suppose 0 = 2*d - 4*t - 120, 5*d = t + 280 + 20. Is d a multiple of 15?
True
Let l be (87 - 0/3) + (3 - 0). Is 9 a factor of ((-204)/(-85))/(4/l)?
True
Does 15 divide (2/(-15) + 44572/165)*2?
True
Let h = -67 + 172. Let s = -9 + h. Does 13 divide s?
False
Let w = 926 - 684. Is 4 a factor of w?
False
Let i = 16 + -11. Suppose 0 = -5*x + 3*u + 81, x - i*u - 55 = -2*x. Let f = 13 + x. Is f a multiple of 7?
True
Let o be 3 + 0*4/8. Suppose -75 = -o*x + 3*h, -x + 31 = 4*h + h. Let v = x - -16. Is v a multiple of 16?
False
Suppose -189 = 5*s - 8*s. Let u = s - 38. Does 11 divide u?
False
Let a = 5 + 490. Is a a multiple of 45?
True
Suppose -2*w = -42*o + 43*o - 440, -5*o - 2*w = -2200. Is o a multiple of 55?
True
Let u = 25 - 16. Let d be 0/5 - 1*3. Let l = d + u. Is 3 a factor of l?
True
Suppose 4*m - 592 = 2*b - 200, -3*m = 4*b - 294. Is m even?
True
Suppose g = -4*u + 23, g - 28 = -9*u + 4*u. Suppose -g*l = -3*s + 309, -l - 403 = -6*s + 2*s. Is s a multiple of 22?
False
Suppose -6 - 349 = 5*o. Let w = o - -135. Does 15 divide w?
False
Is 10 a factor of (-15)/((-372)/360 + 1)?
True
Let y = 27 + -19. Let w(x) = -x**2 + 14*x - 3. Let n be w(y). Is (n/6)/((-1)/(-4)) a multiple of 8?
False
Suppose -647*i + 644*i = -6285. Is 36 a factor of i?
False
Suppose 44 = 7*o + 9. Suppose -2*p + 78 = o*h, -4*h - 71 = -2*p - p. Is 7 a factor of p?
False
Is 2 a factor of (-476)/(-12) - ((-6)/18 - -1)?
False
Let q(f) = 30*f - 5. Let y be q(-3). Let x = y - -179. Is x a multiple of 12?
True
Let h(a) = 4*a**2 + 6*a + 9. Let q be h(-4). Suppose -3*l + q = -47. Is l a multiple of 16?
True
Suppose 0 = 8*a + 2 + 126. Let y = -39 + 10. Let n = a - y. Is n a multiple of 13?
True
Let q be (3 + -3 - -3) + 1. Suppose -2*f + q*f - h = 3, -5*h + 18 = f. Does 3 divide f?
True
Let u = -556 - -919. Does 11 divide u?
True
Let u(z) = -z**3 + 5*z**2 + 3*z + 21. Let f be u(6). Is (1 - 117)*(f/(-6) + 0) a multiple of 16?
False
Let v = -79 + 242. Does 25 divide v?
False
Let v = -746 + 1219. Does 17 divide v?
False
Let c(k) = 2*k**2 + 2*k + 3. Suppose -3*s - 9 - 6 = 0. Is 9 a factor of c(s)?
False
Let w = 287 - -200. Does 36 divide w?
False
Is 54 a factor of 38 - -100 - (2 + 0)?
False
Let s = 1849 + -690. Is 6 a factor of s?
False
Let h = 1127 + -583. Is 7 a factor of h?
False
Let j(d) = d**3 - 4*d**2 + d + 2. Let q be j(4). Let i = q + -20. Is 9 a factor of i/(-8)*(-60)/(-3)?
False
Let n = 97 + -28. Let i = 150 - n. Is 12 a factor of i?
False
Let c(q) = -2*q - 15. Let s be c(-10). Suppose -s*v + 220 = -0*v. Suppose 12*m - v = 8*m. Is m a multiple of 3?
False
Let p = -66 + 67. Does 15 divide (-3 - -3) + 3 - (-80)/p?
False
Let s be -10*(18/(-4) + 4). Suppose s*j - 64 + 639 = 5*r, -2*r + 233 = -3*j. Is 16 a factor of r?
True
Let v(b) = b