2. Let a = -230 + i. Is 4 a factor of 2/(-5) + a/(-20)?
True
Let b be 4 + 5 + -12 + (-7)/(-1). Suppose -2 = -2*q + 2, -b*q = a - 113. Is a a multiple of 15?
True
Let x = 44 - 40. Suppose x*i - 98 = -2*y, 4*y = i + 6*y - 23. Is 8 a factor of i?
False
Is 17 a factor of (4/6)/(26/5967)?
True
Let v = 129 - -303. Is v a multiple of 15?
False
Let x(p) = 2*p**2 + 7*p - 44. Is x(8) a multiple of 3?
False
Suppose 12 = 5*f - l - 174, -f + 4*l + 22 = 0. Let b = f - 26. Is b a multiple of 6?
True
Let k(b) = -22*b - 7. Suppose -6*m = -20 + 38. Is k(m) a multiple of 7?
False
Suppose -5*n + 131 = -2*p, n - p = -4*n + 133. Let t be (0 + -4)/(-1) + 0. Suppose t*s - s = n. Is 2 a factor of s?
False
Suppose -5*u + 2*u + 3 = 0. Does 4 divide (38/(-57))/(110/114 - u)?
False
Let m = 1925 + -1637. Is m a multiple of 9?
True
Let v be 4/3 - (-12)/18. Let d(w) = 16 - 2*w**2 + 5 - 11*w + 4*w**v. Is d(5) a multiple of 8?
True
Suppose 0 = 7*a + 2*a - 1485. Is a a multiple of 36?
False
Suppose 14*x - 2 = 16*x. Is 10 a factor of 6/5 + x - 4370/(-25)?
False
Suppose -449*n + 450*n = 1352. Is 13 a factor of n?
True
Let f = 218 + -224. Let y(h) = -9*h - 6. Let a be y(-4). Is 15 a factor of (a/3)/((-1)/f)?
True
Suppose 55*d - 51896 + 12956 = 0. Does 12 divide d?
True
Let n(p) = -2*p**2 - 7*p - 4. Let g(j) = -3*j**2 - 14*j - 7. Let i(v) = -3*g(v) + 5*n(v). Let z(t) be the first derivative of i(t). Is 11 a factor of z(-9)?
False
Let h be (3 + -16)*7/1. Let f be (-46)/(-14) - (-26)/h. Does 9 divide 4/(-6) - (-56)/f?
True
Let g(j) = 6*j**3 - j**3 - 4*j**3 - 2*j**2 + 6*j - 5*j**2. Let o be g(6). Suppose 0 = -o*y - 2*y + 152. Is y a multiple of 30?
False
Let t = -31 + 36. Suppose -t*j = 99 - 369. Is 9 a factor of j?
True
Suppose -95*m + 92*m + 84 = 0. Does 2 divide m?
True
Let l(h) = 50*h**2 - 16*h - 31. Is 49 a factor of l(-4)?
True
Suppose -6 = 3*f, 3*z - 5*f - 329 = 212. Is 8 a factor of z?
False
Let j = -148 - -318. Let k be 1/(-2) - j/(-20). Suppose 0 = b - 3*h - k - 16, 4*b = -2*h + 54. Is b a multiple of 5?
True
Let p(b) = -b**2 + 46*b + 5. Does 12 divide p(16)?
False
Suppose -5*y - 75 = -6*y. Suppose -2*g + 111 = y. Is g a multiple of 18?
True
Suppose 7*u + 17 = 66. Let c = u - 5. Does 39 divide c - 7/(35/(-590))?
False
Let b = 56 + 26. Does 3 divide b/6 - (-28)/(-42)?
False
Suppose 6*x = 10*x - p - 1153, 3*p = -3. Is x a multiple of 6?
True
Is (-4845)/(-38)*(-2 - -16) a multiple of 51?
True
Suppose 458 = 3*h - 334. Is 4 a factor of h?
True
Does 47 divide 15 - (28 - 10) - (0 - 53)?
False
Let i = 26 - 23. Let p be 6*-2*i/6. Let c(d) = d**3 + 6*d**2 - 8*d - 17. Is 16 a factor of c(p)?
False
Let b(u) = u**3 + 43*u**2 - 36*u - 20. Is b(-42) a multiple of 110?
False
Let c be ((-6)/(-4))/((-6)/(-2080)). Let m = c + -262. Suppose 5*g + 3*q = m, 0*q - 4*q - 124 = -2*g. Does 18 divide g?
True
Suppose -5*s + 42 = -3*s. Does 6 divide ((-36)/(-7))/(6/s)?
True
Suppose -3*d - 3 = 0, -4*l = -8*d + 3*d - 21. Suppose 0 = -l*c + 356 + 324. Is 14 a factor of c?
False
Let n(m) be the second derivative of 35*m**3/6 + 15*m**2/2 + 19*m. Does 10 divide n(3)?
True
Suppose -2*v = -h - 29 + 94, -2*h = 10. Let r = v - -40. Suppose 97 - 387 = -r*d. Does 9 divide d?
False
Does 14 divide (11 + -5 + 1108)*1?
False
Let t(l) = -l**3 - 9*l**2 - 9*l - 10. Let m be t(-8). Let h(o) = 2*o**2 + 3*o. Let v be h(m). Suppose 0*s + 4*j - 16 = -s, -4*s + 78 = v*j. Does 10 divide s?
True
Let o(m) = 36*m**2 + 9*m + 18. Is o(-3) a multiple of 21?
True
Let h(u) be the first derivative of u**4/4 - 5*u**2/2 + 3*u - 3. Let x be h(3). Is 4/(-10) + 366/x a multiple of 8?
True
Let c(w) = w**3 + 5*w**2 + 7*w + 7. Let o be c(-3). Suppose -o*b + 404 = -3*t - 415, 5*b - 1000 = -t. Does 12 divide b?
False
Let u(c) be the third derivative of -c**5/60 + 2*c**4/3 + 11*c**3/3 + 13*c**2. Is 26 a factor of u(14)?
False
Let t = 5 - 5. Suppose -5*l + 531 = -2*s, t = -l - l - 5*s + 224. Does 23 divide l?
False
Does 65 divide (17314/14 - 2) + (-22)/(-77)?
True
Suppose 0 = -13*l + 1051 + 1133. Is l a multiple of 24?
True
Let a = 898 - 337. Does 11 divide a?
True
Is -24 + 23 + 8/(-2) + 1021 a multiple of 36?
False
Let k(j) = j**3 - 9*j**2 + 7*j. Let t be k(8). Let q = -24 - -53. Let c = t + q. Does 4 divide c?
False
Suppose 3*y + 57 = 15. Let t = -11 - y. Suppose -u + 46 = 2*l + l, 0 = 2*l - t*u - 38. Is l a multiple of 5?
False
Let h(x) = 31*x**2 - 56*x + 622. Does 11 divide h(9)?
True
Suppose 0 = -11*t + 27*t - 96. Does 7 divide 626/t - 42/(-63)?
True
Suppose 5*a = -5*d - 30, 6*a - 6 = a + 4*d. Let w be 28/2 + (-1 - a). Suppose f - w = -4*f. Is f a multiple of 3?
True
Let l be (-168)/49 - 6/(-14). Let v be 5 + (-3 - l)/(-1). Suppose -v*g + 89 = -61. Is g a multiple of 9?
False
Let n be (-2)/10 + (-1952)/(-10). Let v = n + -39. Does 39 divide v?
True
Let w(v) = -v**2 - 11*v + 3. Let r be w(-11). Suppose 0 = r*g + g + 4, 5*g + 101 = 3*b. Is b a multiple of 15?
False
Let i = 39 + -33. Let t(c) = -c**2 + 7*c - 1. Let k be t(i). Suppose -15 = 5*q + 10, -k*r - 3*q = -80. Does 19 divide r?
True
Suppose -12 - 12 = -4*q. Let x be 8/q - (-2)/3. Suppose 5*z + o - 113 = -2*o, -x*z = -2*o - 42. Does 4 divide z?
False
Suppose 3*v = -2*m + 480, -4*m + 5*v = -0*m - 916. Is m a multiple of 13?
True
Suppose 3*o + 2*o - 405 = 0. Suppose 3*r - 70 = 5*s, -4*r - 3*s + 22 + o = 0. Suppose 5*j - 10 = r. Is j a multiple of 7?
True
Suppose 4*d - 18 = 6. Suppose -2*u + 4*a = 10, d*a = 2*u + 4*a. Let l(b) = 11*b - 7. Is 16 a factor of l(u)?
True
Suppose 0 = -2*o + 18 - 14. Is 17 a factor of 210/(o + 0) + 3?
False
Suppose 1245 - 20 = 7*s. Suppose 0 = -2*i + 9*i - s. Is 8 a factor of i?
False
Let j be (-1 + -11)/(12/(-30)). Suppose 5*y = 2*f - 180, 2*f - 3*y - 158 - j = 0. Is 20 a factor of f?
True
Let t(u) = u**3 + 12*u**2 + 11*u + 5. Let d be t(-11). Suppose -15 = -d*f - 5. Let m = 32 - f. Is m a multiple of 10?
True
Let m(b) be the third derivative of b**8/20160 + b**6/45 - 7*b**5/60 - 9*b**2. Let s(p) be the third derivative of m(p). Does 16 divide s(0)?
True
Suppose 0*w = -3*w - 5*u - 310, 0 = -5*u - 10. Let y = 144 + w. Is y a multiple of 9?
False
Suppose -5857 - 863 = -12*h. Is h a multiple of 16?
True
Let w(a) = -a**3 + 7*a**2 + 7*a + 11. Let t be w(8). Suppose i = 4*o + 7, -t*i = o - 24 - 23. Is 6/i - (-556)/10 a multiple of 15?
False
Let z(a) = -a - 10. Let b be z(-12). Suppose k - 235 = -3*t, 3*t - 65 = b*t + 3*k. Suppose 9 = -4*x + t. Does 4 divide x?
False
Suppose -4*l = -l - 27. Let d = 10 - l. Is (d/3)/(5/225) a multiple of 15?
True
Suppose 5*n = 10, 4*h - 248 = 2*h - 2*n. Suppose 23 = -3*u + 4*k + 121, -4*u + k = -h. Does 8 divide u?
False
Suppose 3*p + 2*p = -5. Let f be (0/(2 - p))/(-1). Suppose n = -f*n + 10. Is 10 a factor of n?
True
Let a = 548 - 861. Let q = a + 171. Let w = -98 - q. Is 22 a factor of w?
True
Let x(g) = g**2 - 3*g + 24. Suppose 0 = -4*v + v + 21. Is x(v) a multiple of 13?
True
Suppose -2*z = -10*z + 1024. Suppose 0 = -5*l + 17 + 3, 0 = -k + l + z. Suppose -k = -23*j + 20*j. Does 9 divide j?
False
Let f be -2 - (-2 - 0) - -19. Suppose 0 = q - 13 - f. Is q a multiple of 8?
True
Suppose -2*j - 2*n - 40 = 0, -j - 8 = -0*j - 5*n. Let w = j - -12. Is 13 a factor of w/(-15) - 1290/(-25)?
True
Suppose -5*m = 4*m. Suppose m = 3*q + 9, -5*t + 120 = -4*t + q. Is 34 a factor of t?
False
Let k(q) be the third derivative of 131*q**5/12 - q**4/12 + q**3/6 + 5*q**2. Let x be k(1). Does 28 divide x/12 + (-3)/(-2)?
True
Suppose 1525 = 13*n - 802. Suppose 4*y - 1435 = -n. Is 25 a factor of y?
False
Suppose 3*p = -0*p - 228. Suppose 22*m - 342 = 25*m. Let g = p - m. Does 19 divide g?
True
Does 15 divide (-19336)/6*204/(-272)?
False
Suppose -w + 655 = -0*w. Suppose 0 = -5*q - 0*q - w. Let z = q - -201. Does 12 divide z?
False
Suppose -5*t + 3*b = -4060, 4*b - b = 0. Is t a multiple of 28?
True
Suppose 3*s - 10290 = -12*s. Is 37 a factor of s?
False
Is 990/(24/20*(-20)/(-16)) a multiple of 20?
True
Let v(c) = 23*c**2 - 60*c - 341. Is v(-6) a multiple of 5?
False
Let t(u) = -u**3 + 3*u**2 + 6*u + 6. Let q = -82 + 50. Let k = -28 - q. Is 4 a factor of t(k)?
False
Suppose -3*o - 935 = -6*x + x, -4*x - o = -731. Let l = 286 - x. Does 34 divide l?
True
Suppose 2*b + 48 = 5*k, -b - 16 = -4*k - 5*b. Let p be 18 - (-4)/(k/(-6)). Suppose -2*n = 4*y, -4*n - 3*y +