 2. Let g be v(-6). Let c be 284/10 - g/(-10). Let j = -4 + c. Is 8 a factor of j?
True
Let v be 25 - 6 - (1 + -2). Let i = -18 + v. Suppose -3 = -t + 3*p, 4*t - 6*p = -i*p + 44. Is 8 a factor of t?
False
Suppose -2 = -b - 0. Suppose -41 - 25 = -b*m. Suppose m = n - 1. Is n a multiple of 7?
False
Let j(d) = 15*d**2 + 4 + 5*d + 0*d + 3 - 13*d**2. Let u be -10*(-2)/(-8)*2. Is 16 a factor of j(u)?
True
Let c = 7003 - 2953. Is c a multiple of 15?
True
Let j = 326 - -2106. Is 88 a factor of j?
False
Let n = 32 + 4. Suppose -n = p + 2*p. Is (-3)/(-4) - 435/p a multiple of 8?
False
Let d(u) = 22*u + 91. Is 16 a factor of d(21)?
False
Suppose 6*u - 5962 + 1594 = 0. Suppose 2*g = -178 + u. Does 55 divide g?
True
Suppose 4*p + p = 20. Suppose y - p*y + 42 = 0. Does 7 divide y?
True
Suppose -47 = 4*y + 17. Does 8 divide -1 - (y + (-15)/(-5))?
False
Does 93 divide 8/7 - 9743/(-7)?
False
Suppose n = 5*a + 5 - 29, 4*a - 22 = n. Is 6 a factor of 12/(-42) + (-578)/n?
False
Let a(i) = i**2 - 7. Suppose d - 5*w - 18 = 0, d = 3*d - 4*w - 18. Let h be a(d). Suppose 34 = 3*l - j, -l + j + 18 = h*j. Is 12 a factor of l?
False
Let y = 1568 + -815. Is 35 a factor of y?
False
Let c(h) = 35*h**2 + 32*h + 130. Is c(-4) a multiple of 6?
False
Let p(z) = -z**3 - 9*z**2 + 14*z - 6. Suppose i - y = 5*i + 44, 5*i - y + 46 = 0. Let k be p(i). Let u = 2 - k. Does 16 divide u?
True
Does 38 divide (462/(-105))/((-1)/100)?
False
Suppose q - 153 = -5*o, -4*o = -5*q - 105 + 754. Suppose -4*v - t = -q, -14 - 1 = -3*t. Suppose -v = 4*g - 188. Is g a multiple of 11?
False
Suppose -86*p + 3680 = -78*p. Does 5 divide p?
True
Let o(f) be the first derivative of f**4/4 + 8*f**3/3 + f**2 - 3*f - 2. Suppose -2*w = -5*v - 41, 4*w + 0*w + 2 = -2*v. Is o(v) a multiple of 18?
False
Suppose -1173 = -2*b - f, 5*f + 1160 = 4*b - 1207. Does 98 divide b?
True
Let u = 1581 + -943. Is u a multiple of 10?
False
Let o = -40 - -42. Suppose -2*g + 7 + 13 = 4*v, 0 = -2*v - 5*g + o. Is 2 a factor of v?
True
Suppose 0*s + 3*s - 15 = 0, 4*n + 3*s - 3 = 0. Let h(b) be the second derivative of -b**3/2 - b. Does 9 divide h(n)?
True
Suppose 2*y - p = 164, 5*y + p - 656 + 253 = 0. Let m(q) = q**3 - 15*q**2 + 16*q + 15. Let c be m(14). Let o = y - c. Is o a multiple of 19?
True
Let t = -1051 + 2141. Is 6 a factor of t?
False
Suppose -523 = 5*n - 2*s, 4*s - 292 = 4*n + 136. Let i = -54 - n. Does 5 divide i?
False
Let q be (2 - -2)*(255/4 + -2). Suppose q = 5*f + 7. Does 10 divide f?
False
Suppose 2*l - 5*u - 25 = 0, -3*l + 5*u + 18 + 7 = 0. Suppose m - 8 + 4 = l. Suppose 256 = m*x - 6*p + p, 0 = -x + 3*p + 57. Is 23 a factor of x?
True
Let j(z) = -112*z + 63. Let g(k) = 7*k - 4. Let b(d) = -63*g(d) - 4*j(d). Let o be b(1). Suppose -v + 2*h = -o - 17, 51 = 3*v + h. Does 7 divide v?
False
Let n = -536 + 805. Suppose n + 203 = 8*l. Is 14 a factor of l?
False
Let g = 1152 - 940. Is g a multiple of 28?
False
Suppose 1 = -j + 9. Suppose 2*u = 2, -2*u + 4 = 2*q - j. Is ((-18)/5)/(q/(-25)) a multiple of 11?
False
Let j(i) = i**3 + 16*i**2 + 19*i + 98. Is 32 a factor of j(-14)?
True
Suppose 4*z = 3*s - 31, -4*z + 26 = 3*s + 3. Let p(y) be the second derivative of y**5/20 - 2*y**4/3 - 3*y**3/2 + 13*y**2/2 + 5*y + 3. Is 4 a factor of p(s)?
False
Let j(i) = -i**3 + 5*i**2 - 2*i + 11. Let w(t) = 5*t - 5. Let k be w(2). Let g be j(k). Let q(s) = 24*s**2 - 2*s + 3. Does 5 divide q(g)?
True
Suppose -11*q + 24*q - 3952 = 0. Is q a multiple of 8?
True
Suppose y + 6 = -2*k - 1, 3*y = -5*k - 19. Let j(g) = -5*g + 13. Is j(k) a multiple of 11?
False
Let o(p) = -10*p + 16. Let d be o(3). Is 4/d - 850/(-35) a multiple of 2?
True
Does 4 divide (-24)/(-12)*-1 - (-354 + 1)?
False
Suppose 4*r + 5*t = 22, 0 = 4*r - 2*t - 4 - 4. Is 787/8 + r/(-8) a multiple of 14?
True
Suppose -481 = -28*c + 639. Does 10 divide c?
True
Let h(g) = g**3 - 8 - 1 + 22*g**2 - 20 + 18*g. Does 19 divide h(-21)?
False
Let n(w) = -w**3 + 4*w**2 + 5*w + 11. Let g(k) = -3*k**2 + k - 1. Let y be g(1). Let l(t) = t**2 + 2*t + 2. Let c be l(y). Is 11 a factor of n(c)?
True
Suppose -2*b + 3267 = -473. Is b a multiple of 30?
False
Let q be (-14)/112 - 49/(-8). Let s = 2 - q. Is 57*s/(-24)*2 a multiple of 4?
False
Let k be 3 + (-12)/3 - -17. Let n = 9 - k. Let x(y) = y**2 + 3*y - 10. Is 9 a factor of x(n)?
True
Is (-2)/16*-2 + (-118261)/(-44) a multiple of 21?
True
Suppose 2*t = -5*v + 4145, 0*t = -2*v - t + 1658. Does 32 divide v?
False
Suppose -5*n = -0*d - d + 16, -d - 8 = 3*n. Is 28 a factor of n + (-18)/(-3) - (-2 - 79)?
True
Let z = -111 + 155. Suppose -3*j = 4*w - 148, 5*w - w - z = -j. Does 13 divide j?
True
Let t(n) = -2*n**3 + n - 31. Is t(-6) a multiple of 25?
False
Let w(c) = -36*c**3 + 6*c + 20. Is 3 a factor of w(-3)?
False
Suppose 2*p - 5*f - 4015 = -3*p, 0 = p - 5*f - 823. Is 57 a factor of p?
True
Suppose 76*z = 16*z + 73140. Does 53 divide z?
True
Let n(q) = -8*q + 8. Let p be (22/(-4))/((-2)/(-4)). Does 24 divide n(p)?
True
Is 4 a factor of (3544/56 - 2) + (-4)/14?
False
Suppose -139020 = -68*t + 26*t. Is t a multiple of 9?
False
Suppose 3*v - 25 = 3*n + 2*n, -16 = 3*n - 2*v. Is 19 a factor of (235/10 - -5)/(n/(-8))?
True
Let s = 42 - 15. Suppose 2*h = s + 13. Is 9 a factor of h?
False
Suppose 0*r = -3*c + 2*r + 10, -5*c + 5 = -r. Suppose c = 5*n - 94 - 6. Is n a multiple of 10?
True
Let j be 3*(64/(-12))/(-4). Suppose -j*m - 5*x = -10*x - 389, 4*m - 380 = -4*x. Is 16 a factor of m?
True
Let m = 547 + -129. Is m a multiple of 22?
True
Let s(v) = -v**2 + 15*v - 9. Let l be s(14). Suppose -q - 46 = -l*y, 5*q - 25 = -3*y + 3*q. Is y a multiple of 2?
False
Let d = 224 + -175. Is d a multiple of 7?
True
Let a be 73 - ((2 - 0) + -1). Let q = a + 42. Is 19 a factor of q?
True
Let a = -43 + 44. Does 15 divide 91/2*(-15 + a)/(-7)?
False
Suppose -2*o - o = -12. Suppose 0*l - o*y = -l + 2, 5*y - 2 = -l. Is 2 a factor of l?
True
Let f = 7 - 3. Suppose -6 + 0 = -3*a. Suppose -2*m - d = -51, f*m + a*d = 4*d + 106. Does 13 divide m?
True
Let j(m) = 10*m. Let u be j(3). Let t be (3/(-4))/(u/(-80)). Suppose -96 = -t*k - 0*k. Is 16 a factor of k?
True
Let a(b) = 13*b**2 + 3*b + 52. Let k(t) be the second derivative of -t**4/4 - t**3/6 - 13*t**2/2 + 9*t. Let x(n) = -2*a(n) - 9*k(n). Is x(-6) a multiple of 14?
False
Let s be 1/(-5) + 46/5. Let y = s - 5. Suppose 7*p - 3*b - 39 = y*p, -30 = -5*p - 2*b. Is 4 a factor of p?
True
Let y(m) = m**2 + 22*m + 34. Let i be y(14). Let n = -383 + i. Does 22 divide n?
False
Does 55 divide ((-627)/(-38))/((-2)/(-220)*3)?
True
Suppose 3*x = -4*a + 2623, 5*x + 3*a + 1501 - 5858 = 0. Is 17 a factor of x?
False
Let o = -27 - -23. Is 20/10*(-90)/o a multiple of 18?
False
Let y(h) = h**3 + 7*h**2 - 2*h - 12. Let t be y(-7). Let b = 70 + -28. Suppose -t*o + b = -32. Is o a multiple of 10?
False
Suppose -138 = -f + 3*d, -4*f + 4*d + 592 = -0*f. Let b = -73 + f. Does 40 divide b?
True
Suppose 37*l + 129885 = 72*l. Does 75 divide l?
False
Let w = -205 + 307. Is (w/15)/((-8)/(-60)) a multiple of 30?
False
Suppose -5*h - 17 = 18. Let l = h + 10. Suppose -l*i = -4*i + 8. Does 2 divide i?
True
Suppose -164 + 24 = 4*d. Let s = d - -60. Does 24 divide s?
False
Let i = -16 + 19. Suppose 2*n - 4 = -i*p + 1, 0 = -2*n + 3*p - 1. Suppose -n + 9 = x. Is 8 a factor of x?
True
Suppose 602 = -26*h + 5412. Does 79 divide h?
False
Let l be 1/(-1) + -2 + 8. Let b(i) = i**2 - 2*i + 2. Let m be b(0). Suppose -m*r + r + l*q = -46, -4*q = 5*r - 259. Is 15 a factor of r?
False
Let a be 28*(15/(-20) + 1). Suppose d = 2*d - a. Suppose -d*c + 144 = -4*c. Is 8 a factor of c?
True
Let r(w) = -2*w - 10. Let z be r(-6). Let t be 469/(-14) - z/(-4). Is (-8 - -1) + 4 - t a multiple of 30?
True
Does 33 divide (-20)/(-8) - 7132/(-8)?
False
Suppose 101637 - 472077 = -90*z. Does 98 divide z?
True
Let m = 22 - 9. Suppose 4*s + 5*d - m = 0, 9*s - 3*d - 44 = 4*s. Is s/(-35)*(-1 + -394) a multiple of 12?
False
Let g(x) = x**3 + 7*x**2 - 21*x + 9. Let i = 26 + -35. Is g(i) a multiple of 26?
False
Let n(s) = -2*s**2 - 34*s - 29. Suppose -4*w + 3*y = 55, -5*w + 4*y - 8*y = 61. Is 9 a factor of n(w)?
False
Let y = -73 - -313. Suppose 21*u - y = 16*u. Is 8 a factor of u?
True
Suppose -5*q = -6*q + 16. Suppose -l + 25 = q. Let v(k) = -k**2 + 10*k + 7. Does 4 divide v(l)?
True
Let q(i) = 90*i 