**2. Is 4 a factor of s(-2)?
True
Let i be (50/40)/(2/16). Let b = i + -13. Is 24 a factor of (-43)/(1 + 6/b)?
False
Suppose 2*n = 11 - 1. Suppose 0 = -2*j - n*o + 17 + 352, 3*o - 184 = -j. Is j a multiple of 10?
False
Let l be (-301)/(-5) - -2 - (-196)/245. Does 5 divide (-392)/12*(-270)/l?
True
Let f = -6797 + 17042. Is 16 a factor of f?
False
Let m be (2 + (-148)/8)*-152. Let n = 64 - 58. Does 36 divide 2/n - m/(-36)?
False
Suppose 0 = 3*k - k - 3*m + 18, 5*k + 2*m = -7. Let x(r) = r**2 + 5*r + 9. Let n be x(k). Suppose 6 = 2*j, -3*j = -n*b - b + 539. Does 7 divide b?
False
Suppose -20*d = -108*d + 2288. Let k be (33/(-2))/((-1)/2). Let u = k - d. Does 5 divide u?
False
Suppose -14*c + 5*j - 9237 = -18*c, -4*c - 4*j + 9240 = 0. Is c a multiple of 8?
False
Let a = 9207 + -4779. Does 39 divide a?
False
Let l(r) = -38*r - 185. Let t be l(-5). Is 117 - (t - (-18)/(-3)) a multiple of 17?
False
Does 47 divide 2 - -4 - -3687*540/81?
False
Let k(g) = -2*g**2 - 2*g + 21. Let x be k(-12). Let l = -216 - x. Is l a multiple of 21?
False
Let s(j) = -2*j**3 - 2*j**2 - 2*j + 6. Let l be s(-3). Does 10 divide 8/2 + 4*(-3 + l)?
False
Suppose 0 = t - 11 + 10. Is 220/10 - (t - 4) a multiple of 25?
True
Is (338/10*6)/(7/105) a multiple of 58?
False
Let u be (-110)/(-10 - -11)*(-4)/1. Suppose 4*k = -y + 3165, -2*k - 2*y + u = -1138. Is k a multiple of 36?
True
Let b(x) = x**2 - x + 1. Let f = 21 + -24. Let d be b(f). Let r(h) = 6*h + 18. Does 7 divide r(d)?
False
Does 36 divide ((-147)/(-56))/7 - (-30135)/24?
False
Let m(t) = t**3 - 8*t**2 + 4*t - 26. Let o be m(10). Let c = 475 - o. Is c a multiple of 3?
True
Suppose 4*g + 335 = 1843. Let b = 593 - g. Does 36 divide b?
True
Let q = 450 - 686. Let k = q + 250. Does 14 divide k?
True
Suppose -810 = 5*w + 1245. Let u = w + 981. Suppose -3*d + 368 = -4*i, -4*d + u = d + 2*i. Is 29 a factor of d?
True
Suppose 100*v - 131*v + 71796 = 0. Does 4 divide v?
True
Let k = 23 - 24. Let q be (7 + -8)*(1 + k). Suppose 0 = o - q - 14. Does 9 divide o?
False
Suppose 39*b + 4746 = 46*b. Let f = b + -449. Is 11 a factor of f?
False
Suppose 6 = 5*v - 2*v. Suppose -144 = -v*o - 2*o. Does 2 divide o?
True
Let k(i) = i + 38. Suppose -2*o - 24 = -5*o. Let z be k(o). Does 5 divide (-3 + z + 5)*1?
False
Let v(o) = -o**3 - 6*o**2 + 26*o + 21. Suppose 11*u - 5*u = -78. Does 11 divide v(u)?
False
Let u be (-4)/(9/30*(-40)/(-96)). Let x = 245 + u. Is 14 a factor of x?
False
Suppose 2*n = -4*s - 22, 4 = n + 2*s - 3*s. Let g(a) = 143*a + 13. Let i(z) = -72*z - 6. Let m(b) = 2*g(b) + 5*i(b). Is m(n) a multiple of 14?
True
Let j(k) = k**3 + 5*k**2 - k - 5. Let q be j(-5). Suppose -2*w - 5*t + 121 = q, w - 2*t - 61 = -5*t. Let r = w - 31. Does 5 divide r?
False
Let h = 342 + -339. Suppose 0*a - 3183 = -5*g + 4*a, -5*g + 3186 = -h*a. Is 10 a factor of g?
False
Let m(s) = 7*s**2 + 50*s - 24. Let u(c) = c**2 - c. Let h(w) = m(w) - 4*u(w). Does 11 divide h(-19)?
True
Let f(j) = j**2 + 31*j + 8. Let q be f(-13). Let w = q + 123. Let i = 12 - w. Does 25 divide i?
False
Let s = 46 - 35. Let j(a) = 0*a + s*a + 4*a - 33 - 12. Is j(17) a multiple of 20?
False
Let d = -11367 + 12015. Does 72 divide d?
True
Suppose -4*s + 154 = 3*s. Is 25 a factor of 4/s - (-214540)/748?
False
Suppose -3*z - l + 13 = 0, -2*l = 3*z - 9 + 1. Let c = -2286 + 1744. Is 4/z + (-2 - c/6) a multiple of 15?
False
Let s(r) = 30*r + 23. Let y(m) = 91*m + 68. Let i(w) = -7*s(w) + 2*y(w). Suppose 2*d + 69*n + 4 = 67*n, 4*n = 5*d + 55. Does 9 divide i(d)?
True
Let v(q) = 15*q**2 + 3. Let p(r) = r**3 + 5*r**2 + 7*r + 7. Let s be p(-3). Is 12 a factor of v(s)?
False
Suppose 164 = 4*u - 2000. Suppose 21*s + u = 8752. Is s a multiple of 51?
False
Let w(b) = -84*b + 658. Does 14 divide w(2)?
True
Let d = 4227 - -3693. Is d a multiple of 22?
True
Suppose -2*i + 1526 = 222. Suppose 3*f + 2*f - 3*z = 855, -4*z = 4*f - i. Is f a multiple of 47?
False
Suppose 0 = -5*i - 15, -71*i + 73*i = -2*u + 12516. Is 54 a factor of u?
False
Let n(i) = i**3 - 14*i**2 + 16*i + 17. Let f(u) = -u**3 + 15*u**2 - 17*u - 18. Let q(w) = -5*f(w) - 6*n(w). Is 4 a factor of q(7)?
False
Suppose f = 4*g - 2119 - 7195, 2*g + 3*f = 4664. Is 8 a factor of g?
False
Let h(m) = -m**3 + 2*m**2 - 14*m + 142. Let q be h(-18). Suppose 20*z - q - 366 = 0. Is z a multiple of 9?
False
Let p be 5 + 6*2/6. Suppose -c + 15 = p. Is c a multiple of 3?
False
Is 23 a factor of (-6 - 2270/3)/(3/(-18))?
False
Let c = -105 + 105. Suppose c = o - 3*d + 4 - 24, -120 = -4*o + 2*d. Is 9 a factor of o?
False
Let v(q) be the first derivative of 7*q**3/3 + 8*q**2 + 12*q + 2. Let h be v(8). Suppose 4*z - 735 = -10*f + 5*f, -z - h = -4*f. Does 21 divide f?
True
Let g(v) = v - 17. Let a be g(17). Suppose a = 90*f - 92*f + 2016. Does 48 divide f?
True
Let b(a) = 8*a**2 - 101*a - 1557. Does 147 divide b(-44)?
True
Let g(u) = -8*u - 7. Let c(l) = -4*l - 3. Let h(k) = 13*c(k) - 6*g(k). Let q be h(16). Let z = 229 + q. Is 56 a factor of z?
True
Suppose 4*z + 3*x - 406 = 0, 14 - 428 = -4*z + x. Let j = z - 79. Suppose -9*f + j = -8*f. Is f a multiple of 4?
True
Suppose -157*z - 44845 + 170660 + 84879 = 0. Does 4 divide z?
False
Let v be (1 - 1) + (1535 - 12). Suppose 5*m - 177 = -u + 145, -4*m - v = -5*u. Does 11 divide u?
False
Let p be (1*-14 - (32 - 35)) + 4. Let l(a) = 13*a**2 - 10*a - 37. Is l(p) a multiple of 14?
False
Suppose -116*b + 1567360 = -76*b. Is 16 a factor of b?
True
Let f(b) = 21*b**2 - 25*b + 51. Does 45 divide f(-14)?
False
Let l = -2 + 19. Suppose -957 = -l*k + 2596. Is k a multiple of 4?
False
Suppose 9*v - 3*y = 7*v + 778, 3*y = 12. Suppose v - 65 = a. Is 10 a factor of a?
True
Suppose 50766 - 6750 = 14*n. Does 12 divide n?
True
Let p = 8293 + -7020. Is p even?
False
Suppose 2*j - 4 = 0, 0 = -13*d + 17*d + 2*j - 136500. Is d a multiple of 7?
False
Is (196/56)/(4/256) even?
True
Let y = -70175 + 108289. Is 34 a factor of y?
True
Let y = 41 - 61. Let v be 1 + 2 - (-5)/(y/(-408)). Suppose -v = -4*s - 29. Is 4 a factor of s?
False
Let g be (-40)/(4 + (-34)/8). Let i = 269 - g. Is 26 a factor of i?
False
Let q be (12/14)/(24/11592). Suppose g - k = q, 4*g - k - 735 - 921 = 0. Is 29 a factor of g?
False
Let d(a) be the first derivative of 11*a**4/12 - 11*a**3/6 - 15*a**2/2 - 11. Let z(i) be the second derivative of d(i). Does 11 divide z(5)?
True
Let a(g) = g**3 - 29*g**2 - 25*g + 99. Is 25 a factor of a(33)?
False
Suppose -10*d + 8081 = -36739. Is 7 a factor of d?
False
Let g = -76 - -77. Let l be 6*(-6)/(-9) + g + -3. Suppose 0 = -2*u - p + 73, -5*u - l*p = -3*p - 200. Is 13 a factor of u?
True
Suppose 52*v + 39*v - 66*v = 112525. Is v a multiple of 30?
False
Let k be ((45/6)/5)/(9/6). Let b be (2*-134)/(-4) + k. Suppose 0*a + b = 4*a - 2*v, -5*a + 2*v = -84. Does 8 divide a?
True
Let g(x) = x**3 + 26*x**2 - 3*x - 40. Let l be g(-13). Suppose l = 4*r + 2*p, r - 4*p - 306 - 243 = 0. Is r a multiple of 30?
False
Suppose 4*p + 4*b = 1052, p - 2*b - 152 = 129. Is p a multiple of 9?
False
Let l(r) = -r + 2. Let p = -8 - -8. Let u be l(p). Suppose 3*i + u*i - 200 = 0. Is i a multiple of 10?
True
Let s(d) = -94*d - 103. Suppose 11*r - 21 + 54 = 0. Does 14 divide s(r)?
False
Let q be -2 + ((-3)/(-18) - 19230/36). Let v = q - -914. Is 54 a factor of v?
True
Suppose -3*t - t = -2*j + 20, -5*j - 2*t = -14. Let s be j*(-2)/4 + -1 + 8. Suppose -68 = -s*z + 62. Does 13 divide z?
True
Suppose 2*m + 23 = 3*m. Let w(x) = -2*x**3 + 53*x**2 - 118*x - 24. Let q be w(24). Suppose q*f - 60 = m*f. Does 30 divide f?
True
Let l be (4 + 1)*56/70. Suppose 2*n - 3*p + p = 1506, -l*p = -3*n + 2263. Suppose 5*b - 1060 = -5*t, -5*b = 2*t - 320 - n. Is 43 a factor of b?
True
Is -720*((-182)/13)/14 a multiple of 36?
True
Let u(i) = -106*i**3 + i**2 - 17*i - 28. Is 14 a factor of u(-3)?
False
Is 7 a factor of (-4)/((-48)/9) + ((-6948325)/100)/(-17)?
True
Suppose -704 = 28*g + 9992. Does 26 divide (g/7)/(-2 + 52/28)?
False
Let p be 0/1*(55/10 + -5). Suppose -11*s + 17*s - 1272 = p. Suppose 3*b - s = -y + 4*b, b + 4 = 0. Is 22 a factor of y?
False
Let o be (36/(-16))/((-6)/272). Suppose -3*y = -2*b - 687, 3*y - 3*b - o = 588. Is 36 a factor of y?
False
Suppose 122*x = 91*x + 486328. Does 53 divide x?
True
Let f = 728 + -80. Let w = f - 312. Is w a multiple of 48?
True
Su