t i = -101 - -171. Let h = 160 - i. Let v = -32 + h. Does 18 divide v?
False
Let b be 8 + -10 - 160/(-2). Let p = 176 - b. Does 20 divide p?
False
Let w(z) = 448*z**2 - 5*z + 4. Is 22 a factor of w(1)?
False
Suppose 4*j = -2*h + 6766 + 3874, 21305 = 4*h + 3*j. Does 12 divide 4/(-6) + h/39?
False
Let s be (-1)/2 + (-1930)/(-4). Suppose 0 = 5*y + 28 + s. Let u = -72 - y. Is u a multiple of 13?
False
Suppose -4*q = 2*a - 18, 3*q - 8*q - 5*a = -20. Let l(z) = 5 + 3 + 9*z - 2. Is 14 a factor of l(q)?
False
Let s(n) = 5*n**3 - 6*n**2 - 5*n - 8. Let h(k) = k - k**2 + 9 - 5 - 2*k - 5. Let o(i) = -6*h(i) + s(i). Does 20 divide o(2)?
True
Let p be 2/(-10) - 6/(-30). Suppose -16*n + 20*n - 456 = p. Does 19 divide n?
True
Let p(c) = -179*c + 3. Does 16 divide p(-8)?
False
Let m = 32 - 16. Is (m/3)/((-20)/(-600)) a multiple of 8?
True
Let i(t) = t**2 + 3*t - 4. Is i(-10) a multiple of 33?
True
Is 17 a factor of 103092/990 + 2/(-15)?
False
Let a be (-3229)/3 + 27/81. Is 12 a factor of a/(-6) - 2/6?
False
Suppose 0 = -5*k + 11 + 9. Suppose o = -z + 72, 12 = k*z - 8. Is o a multiple of 16?
False
Suppose -3*f - 723 = 2*n, 0*n + 4*f + 724 = -2*n. Let d = -243 - n. Is d a multiple of 23?
False
Let x(c) = 6*c**2 - 13*c + 1. Let n(m) = 5*m**2 - 13*m. Let g(o) = 5*n(o) - 4*x(o). Let r be (2 + 3)/(1/3). Is 22 a factor of g(r)?
False
Let v(a) = -a**3 - 20*a**2 - 5*a - 66. Does 40 divide v(-21)?
True
Suppose -7*s + 30 = -2*s + 5*w, 20 = 5*w. Suppose 5*k + s*t - 107 = 0, 0 = 2*k + 2*t - 7*t - 37. Suppose 0 = 5*z - k - 174. Is z a multiple of 13?
True
Suppose -565 = -4*m + m + 4*q, -4*m + 5*q = -755. Let y = m - 60. Does 7 divide -2 + 1 - y/(-9)?
True
Let i be 14/(-28) + (-2)/(-4). Suppose n + i = 2. Suppose n*d - 10 = -0*d. Does 2 divide d?
False
Suppose -q + 645 = 4*y, -13*q + 5*y - 650 = -14*q. Is q a multiple of 25?
True
Let o(p) = 2*p - 6. Let v be o(4). Suppose 0*h + 18 = -v*h. Is h/18 - (-25)/2 a multiple of 9?
False
Let y = 9 - 19. Let c(g) = -5*g**3 - 10*g - 11*g**2 + 10 + 2*g**3 + 2*g**3. Is c(y) a multiple of 10?
True
Suppose -79 + 997 = -9*c. Let j = c - -390. Is j a multiple of 24?
True
Let y(a) = -a**2 - 5*a + 33. Let f be y(-8). Is 502/f - (-10)/45 a multiple of 16?
False
Suppose -1597 - 171 = -2*k. Does 68 divide k?
True
Suppose -7*m + 3*m = -t + 6, 0 = -4*t - 3*m + 5. Suppose t*c - 6*c + 228 = 0. Is 19 a factor of c?
True
Let x(s) = -s + 6. Let a be x(7). Does 3 divide 20/((4/(-2)*a)/2)?
False
Suppose -3*a + 2*a = j - 450, -5*a = -2*j + 893. Suppose j - 134 = 7*w. Is 15 a factor of w?
True
Suppose 4*j + j + 60 = 0. Let z = -9 - j. Suppose 0 = z*w - 0*w - 78. Is 22 a factor of w?
False
Let t be -9 + 0*3/(-9). Let o be 24/132 + 24/(-11). Let x = o - t. Does 7 divide x?
True
Let k(x) = 145*x**2 + 1. Suppose 0 = -7*i + 8*i + 1. Let w be k(i). Suppose -5*t = -2*z - w, t - 5*z + 69 = 4*t. Does 12 divide t?
False
Let m be (-10400)/(-28) - (-3)/(-7). Is (-1)/(-3) + m/21 + 0 a multiple of 6?
True
Let h = -224 + 316. Suppose y - 3*j = h, -y = -0*j - j - 94. Does 18 divide y?
False
Let w = 34 - 30. Does 21 divide 15/w*3/((-9)/(-160))?
False
Let n(d) = -36*d + 8. Let s be n(-3). Suppose 12 = 3*b - 2*i - s, 10 = 5*i. Does 7 divide b?
False
Suppose 0 = -5*l - 126 - 729. Let m = -112 - l. Is 12 a factor of m?
False
Let f = -3 + 10. Suppose -306 = -f*z + 4*z. Does 36 divide z?
False
Let b(n) = 2*n**2 + 11*n - 31. Let w be b(8). Suppose -2*q = 2*q - 20. Suppose 0 = -4*j - 2*c + 488, -3*j + q*c + 194 = -w. Does 26 divide j?
False
Let t(g) = 6*g - 6*g + 8*g + 8. Is t(4) a multiple of 10?
True
Let f = 3615 - 208. Does 10 divide f?
False
Let l(z) be the first derivative of -z**4/2 - z**2 - 4*z + 6. Is l(-3) a multiple of 8?
True
Let t(o) = o**3 - 2*o**2 + 3*o - 3. Let d(h) = -h**3 + h**2 + h - 1. Let a(z) = -2*d(z) - t(z). Is a(2) a multiple of 3?
True
Let k be ((-15)/5 - -5)/(-2). Is (20 - 22)/(k/52) a multiple of 13?
True
Let j = 65 - 29. Is 11 a factor of 10/45 + 4744/j?
True
Let m(d) = 1351*d**2 - 4*d + 9. Is 115 a factor of m(2)?
True
Does 23 divide 3582/24 - (3 - 30/8)?
False
Suppose j - 104 = 184. Is 36 a factor of j?
True
Suppose 0 = 2*p + 7*d - 3*d + 16, 3*p = 4*d - 14. Is (-2)/p*-2 - 845/(-39) a multiple of 7?
True
Suppose 3*q - 1428 = -h, q - 3*h = -0*h + 476. Is 17 a factor of q?
True
Let r = 834 + -273. Is 33 a factor of r?
True
Suppose -5*g - 31 = -3*a, 17 + 18 = 3*a - g. Let o = 3 + a. Is 4 a factor of o?
False
Suppose 2*q = 1 - 5. Let t = 1 + q. Is 38 + t/(2/(-2)) a multiple of 13?
True
Suppose -5*y + 4*m = -707, -m = -4*y + 2*y + 284. Suppose -2*z = 5*w - y, -w = -4*z + 11 - 44. Suppose 0 = -5*a + w - 14. Does 3 divide a?
True
Suppose -16 = 3*y - f, -3*y - 5*f = -0*y + 28. Let a be 9*((-2)/y + 0). Suppose -a*w + 3*z = 2*w - 173, -4 = -z. Is w a multiple of 13?
False
Let d(x) = -41*x - 4. Let b be d(2). Let z = -23 - b. Is z a multiple of 21?
True
Let q(c) = 6*c**2 + c**2 + 12*c**2 - c**2. Suppose r = 2, 0 = 3*o - 3*r + 9 - 0. Is q(o) a multiple of 12?
False
Let l = 185 + -11. Is l a multiple of 29?
True
Let n(z) = -5*z**2 - 3*z + 19. Let q(t) = -3*t**2 - t + 10. Let f(x) = 4*n(x) - 7*q(x). Is f(-10) a multiple of 12?
True
Is 830*(3 + (-90)/25 + 1) a multiple of 4?
True
Let s(c) = -c**2 + 2*c + 452. Let g(j) = -j**2 + j + 226. Let r(x) = -5*g(x) + 3*s(x). Is 18 a factor of r(0)?
False
Suppose 5*v + 81 = 4*a, -93 + 6 = -3*a - 5*v. Suppose -4*u - 3*g - 43 = 0, -u + 2*g - 28 = -3*g. Let d = a + u. Does 11 divide d?
True
Let d = 22 + -17. Suppose 0 = 8*g - d*g - 270. Does 6 divide g?
True
Let g(f) = -52*f + 8. Let m be g(-2). Let h = 164 - m. Is h a multiple of 13?
True
Let v(g) be the first derivative of g**2/2 + 8*g - 10. Let j be v(-5). Does 38 divide j/(-12) + (-882)/(-8)?
False
Let k = 80 + 43. Let m = -73 + k. Is 5 a factor of m?
True
Let x(i) = i. Let y be x(3). Suppose j - 4*w = 7, -4*j + 17 = -y*w + 2. Does 16 divide (57 - -1) + (0 - j)?
False
Let u be (770/40 - 3/(-4)) + -3. Suppose 4*m + 24 = m. Let w = m + u. Is 8 a factor of w?
False
Suppose 4*d + 27 = 13*d. Is (d + (-10)/5)*14 a multiple of 3?
False
Suppose -9*q + 5191 = 1330. Is 13 a factor of q?
True
Let k(z) = -z**3 - 6*z**2 - z - 3. Suppose 0 = 2*c + 3 + 9. Let o be k(c). Let i(v) = 8*v**2 - 3. Does 16 divide i(o)?
False
Suppose -6*n + 3*n = 4*w - 19, -12 = -3*w. Let l be -2*n + -1 + 6. Suppose 232 = 5*k - l*k. Is k a multiple of 18?
False
Suppose 3*i - 36 = -21. Suppose f - 66 = -3*m + 114, -i*f = 4*m - 856. Is f a multiple of 21?
True
Let p = 25 - 20. Suppose x + 420 = p*x. Suppose 7*i + x = 10*i. Is i a multiple of 9?
False
Let n(t) = t**3 - 7*t**2 + 9*t - 6. Let y be n(9). Is (-24)/(-40) - y/(-5) a multiple of 16?
True
Suppose -5*q + 5*x + 300 = -0*q, q + 5*x - 36 = 0. Does 28 divide q?
True
Let v be (-5)/((-60)/(-8))*-12. Suppose -2*d + 16 = 2*z, 4*z - 34 = -5*d + v. Does 11 divide 1 + -3 + d - -3?
True
Let g(l) = -3*l**2 + 9*l. Let u(t) = -2*t + 2. Let c be u(-2). Let j be g(c). Is 9 a factor of j/4*24/(-9)?
True
Let b = 44 - 122. Does 13 divide 1*2*b/(-4)?
True
Let t = 1 - 2. Let b(y) = -2*y - 2. Let o be b(t). Suppose o*a - 327 = -4*a + 3*x, 69 = a - 5*x. Is 12 a factor of a?
True
Suppose 0 = 2*z - 4*x - 102, -8*z - 5*x = -5*z - 197. Is 14 a factor of z?
False
Suppose 0 = 4*u + 74 + 106. Let m = u + 82. Is m a multiple of 9?
False
Suppose 236 = 8*c - 244. Is c a multiple of 5?
True
Let d(f) = -3*f**2 - 41*f + 6. Let p be d(-14). Let k be 0 + 1 - 32 - -1. Let b = p - k. Does 16 divide b?
False
Suppose -16*n - 56 = 8. Is 8 a factor of 18/(-24) - 271/n?
False
Suppose -5*x + 3198 = 2*h, -3*h - 532 - 1370 = -3*x. Is x a multiple of 13?
False
Suppose -1 = -2*g - 11, 0 = z - g - 160. Is 3 a factor of z?
False
Let y = 718 - 498. Does 44 divide y?
True
Let c = -21 + 27. Let k = -9 + c. Is 7 a factor of (-1)/k + (-1144)/(-33)?
True
Let g(v) = v - 2. Let c be g(7). Does 31 divide (-12)/(-30) - (-308)/c?
True
Let m = 10727 + -7605. Does 122 divide m?
False
Suppose -2*v + 23 = -3*r, 3*v = 12*r - 7*r + 37. Let l(p) = 189*p + 2. Let s be l(2). Suppose -s = -v*i - i. Does 26 divide i?
False
Let s(o) = -o - 13. Let j(y) = y + 12. Let l(w) = -5*j(w) - 4*s(w). Let b be l(-16). Suppose -i + 44 = b. Is i a multiple of 12?
True
Suppose j = -2*x + 3*x + 7, j - 13 = -2*x. Let n be (-2)/9 - (-20)/j. Suppos