5*a - 2*j - 159 - 350 = 0. Let f = a + -95. Suppose c - i = 222, f + 2 = -4*i. Is 22 a factor of c?
True
Let j(x) = -2*x**3 + 19*x**2 - 8*x - 9. Let d be j(9). Suppose p + 0*p = -3*o - 175, 5*p - 3*o + 875 = d. Let u = p + 285. Does 10 divide u?
True
Does 90 divide 279*(-6 + -9 - -75)?
True
Let r(f) = 3*f**2 - 3*f + 260. Let x(h) = -h**3 + h**2 + 1. Let u(d) = r(d) + x(d). Does 30 divide u(0)?
False
Let n be (-1)/((-70)/(-12) - 6). Is 15 a factor of 3/((12/190)/n)?
True
Let y(u) = 24*u + 17. Let x be y(7). Let p = -106 + x. Let c = -14 + p. Is c a multiple of 14?
False
Suppose 4*g - 3*i - 288 = 642, -4*g - 3*i + 942 = 0. Is 234 a factor of g?
True
Suppose -5*l + 2*s + 691 = 0, l - s - 554 = -3*l. Let m = 62 - l. Let y = -65 - m. Is y a multiple of 6?
True
Let w = 92 + -92. Suppose w = -13*y + 11*y + 16. Suppose c = y*c - 840. Is 28 a factor of c?
False
Let l be (-2)/(-8)*11111*4. Suppose 36*q + 599 - l = 0. Is 17 a factor of q?
False
Let h(x) = -x**3 - 25*x**2 - 2*x - 51. Let s be h(-25). Does 7 divide s/2 - 2151/(-18)?
True
Suppose 0 = 22*t - 17*t + 340. Let h be (17/t)/(1/(-52)). Suppose h*p + 308 - 1114 = 0. Is 21 a factor of p?
False
Let z = 11 + -29. Let n be (z/(-15))/(1/30*4). Does 6 divide 224/12 + (-6)/n?
True
Suppose 0 = -31*h + 365899 - 158795 + 949909. Does 87 divide h?
True
Let t(a) = -11 + 7 + 4*a - 5*a + 2*a. Let l be t(4). Suppose -3*n + 95 = 5*c - l*n, -2*n - 76 = -3*c. Is 21 a factor of c?
False
Let s(u) be the second derivative of 9*u**3 + u**2/2 + 403*u. Suppose 24 + 1 = 5*o. Does 18 divide s(o)?
False
Let b be 210/25*(-10)/(-3). Let c = 31 - b. Suppose l - 60 = 3*o, -c*o = -2*l + 2*o + 119. Is l a multiple of 13?
False
Let r be 34/(-221) + 18063/39. Let n = r - 428. Does 31 divide n?
False
Let g = -54 - -16. Let p = g - -40. Suppose l + 169 = p*q - 0*l, 5*l = -5*q + 415. Is 14 a factor of q?
True
Suppose -2*y - 2*t = -23538, 2*t - 35073 = -5*y + 23757. Is 20 a factor of y?
False
Let n(i) = -i**2 + i + 125 + 13*i + i**2 + i**2 + 120. Does 6 divide n(-31)?
False
Does 124 divide 5*(-30)/(-200) - 4517/(-8)*2?
False
Suppose -3*t + 10*m - 12*m = -21, 2*t + m = 13. Suppose -4*v + 1134 = t*b, 0 = -4*b - b - v + 1146. Is b a multiple of 5?
True
Let d = -27 - -24. Let b be (-28)/d - 2/(-3). Is 7 a factor of (12 - -30)*b/4?
True
Let o(m) = m**3 + 17*m**2 + 32*m + 84. Does 9 divide o(-13)?
False
Let y(k) be the third derivative of 2*k**5/15 + k**4/24 - 5*k**3/6 - k**2. Let h(v) = -v**2 + 7*v + 5. Let j be h(8). Is 17 a factor of y(j)?
False
Let o = 15168 + -10166. Is o even?
True
Let s(n) = 20*n**2 + 3*n + 4. Let m(f) = -20*f**2 - 3*f - 3. Suppose 7 = u - 2*u. Let t(b) = u*m(b) - 6*s(b). Is 10 a factor of t(1)?
True
Let s(b) = -1172*b**2 + 2*b - 4. Let j(h) = -391*h**2 + h - 1. Let a(z) = 17*j(z) - 6*s(z). Does 43 divide a(-1)?
True
Suppose 0 = 14*h - 3708 + 866. Suppose -2*d = -3*q - 397, d - 23 - h = -4*q. Is 49 a factor of d?
False
Let k be -5 - (-4 + 0) - (-3)/1. Suppose -k*v + 21 = 3*d, -3*d - 2 + 14 = -v. Does 12 divide v - (1 - (-3 - -2) - 71)?
True
Does 33 divide 2240 + (6 + -2 - 0)?
True
Let u(q) = q**2 - 3*q + 18. Let w be u(-9). Suppose h - 83 - w = -2*x, 0 = -3*h + 4*x + 597. Is h a multiple of 69?
False
Let f(t) = -8*t**3 - 5*t**2 - 9*t - 16. Let d be f(-3). Let s = d - -257. Does 30 divide s?
False
Suppose 4*j = -2*j + 2*j. Let m be -1 + -2 + j + 3. Suppose l - 19 = -r - m*r, -71 = -4*r - 5*l. Is 9 a factor of r?
False
Let a = 10293 - 7314. Is 20 a factor of a?
False
Does 30 divide 0 + (5 + -2 - -717)?
True
Let j(p) = 2*p**2 + 13*p + 7. Let g be j(-7). Suppose -u = g - 32. Suppose u*z - 10*z - 192 = 0. Is 24 a factor of z?
True
Let f(g) = -6*g**2 + 13*g - 35. Let p(t) = 6*t**2 - 13*t + 36. Let a(v) = 3*f(v) + 4*p(v). Is 5 a factor of a(6)?
False
Suppose 4*m = 5*t + 881, 3*m - 8*m = -3*t - 1111. Let g(b) = 3*b**2 + 2*b - 8. Let y be g(-7). Let l = m - y. Is 19 a factor of l?
False
Let i(v) = 30*v**2 - 14*v - 172. Is i(-17) a multiple of 13?
True
Let v be (-1862)/(-28) + 3/2 - 3. Let g = -133 + v. Let t = g - -96. Is 4 a factor of t?
True
Let r = -3890 - -4068. Let l = 51 - -57. Let j = r - l. Does 5 divide j?
True
Suppose 0 = -2*b - 134*s + 135*s + 9179, 22955 = 5*b + 5*s. Is 9 a factor of b?
True
Suppose -5*h = 2*a - 73129, 7*h - 14618 = 6*h - 3*a. Suppose 0 = 39*u - h - 11737. Does 52 divide u?
True
Suppose s - 4*u = -0*s - 43, 0 = -2*s - 5*u - 60. Let z be 2/(-11) - s/11. Does 10 divide (2 + -6)*z/(-12) + 99?
True
Let d(q) = 2*q**3 - 9*q + 25. Let g(h) = -h**2 + h + 1. Let k(y) = d(y) - 4*g(y). Does 35 divide k(6)?
False
Let j(s) = 11*s**2 - 32*s - 5. Is 3 a factor of j(-6)?
False
Let w(d) = -2*d + 7. Let s be w(16). Let x = s - -21. Is 24 a factor of 4/(x - 0) + 49?
True
Let v = -501 + 777. Let s(o) = 664 - v - 8*o - 316. Does 12 divide s(6)?
True
Let p(i) = 9*i**2 + i**3 + 7*i**2 + 34 + 34 + 0*i**3 + 21*i + 13. Is 45 a factor of p(-12)?
True
Suppose -150*v + 132*v = -82944. Does 12 divide v?
True
Let u(m) = 160*m + 964. Is 2 a factor of u(-5)?
True
Let a be ((-140910)/(-45))/7 - 1/3. Let n = a - -736. Is 46 a factor of n?
False
Suppose -8*b + 2 = -7*b. Suppose 2*f - 705 = -3*z + 2*z, -4*f = -b*z - 1422. Does 19 divide f?
False
Is (1886032/(-64) + 15/12)*-1 a multiple of 139?
True
Suppose -4*j + 59937 = 2*l + 21509, 8*l - 2*j - 153640 = 0. Is 16 a factor of l?
False
Suppose -5*m - c + 8 = 73, -6 = -m - 4*c. Let v be (-2 + 0)*m/(-4). Is 13 a factor of (-180)/v + (-30)/(-105)?
True
Let f = 303 + -303. Suppose -3*s - j + 1172 = f, 2*j - 4 = -0. Is s a multiple of 16?
False
Let j(w) = 84 + 10*w + 139*w**2 + 139*w**2 - 277*w**2. Does 20 divide j(-14)?
True
Let h(g) = -g**2 + 11*g - 12. Let l be h(3). Suppose l*b + 219 = 987. Let q = b + -61. Is q a multiple of 3?
True
Let k be ((-9702)/(-27))/(26/39). Let d(z) = -8*z**2 - 10*z + 9. Let b be d(6). Let t = b + k. Is t a multiple of 14?
False
Let f = -145 + 147. Is 13 a factor of f*(-26 - 3)*-2?
False
Let f = -1891 - -2768. Suppose -10*b + f = 27. Does 4 divide b?
False
Let j(x) = -x**2 - x + 1. Let s be j(1). Let u be (-97)/(s + 2/3). Is 3 a factor of (-2)/(u/(-96) + 3)?
False
Let g be (1020/80)/((-6)/(-152)). Let u = -73 + g. Does 10 divide u?
True
Suppose -2100 - 1254 = 13*q. Let j = q + 420. Is j a multiple of 9?
True
Suppose n + 3*m = -n + 12, 2*n + 8 = 2*m. Is 8 a factor of 149 - -2 - n - (-3 + 1)?
False
Suppose -47 = -17*v - 81. Does 45 divide (-30 - -29)*v*(-167)/(-2)?
False
Let o be 5/2 + ((-4)/8 - -1). Suppose 5*b = -s + 78, o*s - 92 - 62 = b. Let y = s + -4. Is 9 a factor of y?
False
Suppose 0 = 5*k - 2*b + 2962, -5*k = -8*k + 5*b - 1762. Let v = k + 1009. Is 2 a factor of (-302)/(-10) - 0 - 83/v?
True
Let h(f) = -2*f**3 + 6*f**2 - 2*f + 6. Let l(q) = 2*q**2 - 14*q + 6. Let c be l(6). Does 10 divide h(c)?
False
Let k = -35 - -48. Suppose k*u - 9*u - 1664 = 0. Is 16 a factor of u?
True
Let p(t) = -13*t - 175. Let r be p(-13). Is 5 a factor of 96 + r/2 + (31 - 25)?
False
Suppose -5250 = 21*c - 26*c. Suppose 5*b - 4*j = c, 66 = b - 3*j - 144. Does 35 divide b?
True
Let g = -5262 + 10676. Is g a multiple of 102?
False
Let w(p) = p**3 - 8*p**2 + 12*p + 7. Let k be w(7). Suppose -9*g + 45 = -10*g + 3*u, u + 37 = -g. Let i = k + g. Is 2 a factor of i?
False
Let v = 27859 - 16680. Does 125 divide v?
False
Let u be (-9)/45 - (-1)/5. Suppose u*g = -4*r + 2*g + 1480, -4*g - 1120 = -3*r. Is 46 a factor of r?
True
Let a(b) = b**2 + 1432*b + 2804. Is 23 a factor of a(0)?
False
Let t(h) = h**3 - 27*h**2 + 4*h - 1227. Is 96 a factor of t(35)?
False
Let g = -15 + 20. Suppose 113 = g*v - 787. Does 60 divide v?
True
Does 17 divide 7*((-321744)/252)/(16/(-24))?
False
Let z(f) = 24*f - 1. Let u be z(-2). Let d = 205 - 203. Does 12 divide 24/(-7)*u/d?
True
Let d(n) = -544*n - 1275. Is 12 a factor of d(-6)?
False
Let q(y) = -1 - 3 + y**2 - 2*y + 6 + 2. Let a be q(0). Suppose -a*c + 112 = -0*c. Does 5 divide c?
False
Let r = -158 - -108. Let d be r/(-15)*((-3)/(-2))/1. Is (4 + (-4)/d)/(1/5) a multiple of 9?
False
Let g be (16/5)/((-3)/(-15)*2). Suppose -4 - g = -2*o. Is 958/o + (-18)/27 a multiple of 12?
False
Suppose -7*o = -3*m + 3834, 62*m - 2510 = 60*m - 3*o. Does 79 divide m?
True
Is (-6045)/(-10)*1*9/(108/56) a multiple of 31?
True
Let q(m) = -m**3 - 3*m**2 + 4*m - 2. Let k be 