2*i + 123 = 4*z + 5, -5*i = z + 328. Let q = -395 - -264. Let n = i - q. Is n a multiple of 22?
True
Let v = 92338 + -43698. Is 64 a factor of v?
True
Let l = 8809 + -5454. Is 55 a factor of l?
True
Suppose 5*o + z + 9 = -54, 0 = 3*o + 5*z + 29. Let h = o + 13. Suppose x + p - 11 = h, x - 11 = -2*p + 1. Is x a multiple of 5?
True
Suppose -34*w + 17782 = -19958. Let n = w + -360. Is 25 a factor of n?
True
Suppose 4*j - 160 = 4*v, -j - 3*v = j - 80. Suppose 3*a = -7*a + j. Suppose -3*c + 440 = a*g - 6*c, -230 = -2*g - c. Does 9 divide g?
False
Let s(j) = 4984*j - 41. Let t be s(3). Suppose -38*p + 51*p - t = 0. Does 78 divide p?
False
Let f = 70 - -1. Let b = f + -57. Suppose 0 = -b*p + 13*p + 144. Is 26 a factor of p?
False
Suppose -2*g + 7 = -g. Suppose g*h = 8*h - 19. Is 13 a factor of ((-1)/(-2))/(h/3876)?
False
Let r(m) = 2*m + 8. Let a be r(-5). Let w be 430/35 - a/(-7). Let x = w - -7. Is 19 a factor of x?
True
Suppose 2*d = -2*s + 100, -4*d = -7*d - 15. Suppose 34*k = 31*k + 171. Let q = s + k. Is q a multiple of 22?
False
Let v = -83 - -273. Does 4 divide v?
False
Let i(y) = y**3 + 15*y**2 - 16*y. Let v be i(-16). Suppose -x - 635 = -4*w, 3*w = -v*x - 4*x + 462. Is w a multiple of 9?
False
Let r(l) = 20*l + 120. Let b be r(-5). Suppose -z = b*z - 17640. Is z a multiple of 10?
True
Let p(o) = -4*o**2 - 7*o + 3. Let f = 23 - 29. Let v be p(f). Let w = v - -142. Does 4 divide w?
False
Let i = -115 + 114. Let q be (18/(-27))/(i/(-1344)*2). Let s = 682 + q. Does 39 divide s?
True
Let n(r) be the second derivative of 3/2*r**2 + 0 + 9*r + 19/6*r**3. Does 2 divide n(1)?
True
Suppose 0 = -30*c - 10797 + 148917. Is c a multiple of 4?
True
Suppose 0 = 5*j + 3*y - 67, -9*j + 2*y = -8*j - 16. Suppose 20*q - 1404 = j*q. Is 13 a factor of q?
True
Let i be (-146)/14 - (-60)/(-105). Is (151 + i)*(-4)/(-10) a multiple of 8?
True
Let x = -64 + 176. Let s = 183 - x. Let o = s - 47. Does 6 divide o?
True
Suppose 1429542 = 131*n - 165751 - 590835. Is n a multiple of 56?
True
Suppose -3975036 = -43*r - 567544. Does 16 divide r?
False
Suppose -l + 1959 = 2*l. Suppose -514 = -4*x + 2*n, 6*n - 7*n = 5*x - l. Is x a multiple of 21?
False
Let b be (1/(-9))/(61/(-549)). Is 6*b*8360/120 a multiple of 22?
True
Is 10 a factor of (696/5*(-4)/8)/((-1683)/89760)?
False
Suppose -167*m - 2367 = -170*m. Is 7 a factor of m?
False
Suppose 19*k + 40*k = -452*k + 15368325. Is 75 a factor of k?
True
Let g be (-7 - -1)*(-106)/(-4). Suppose 19*y + 449 + 1622 = 0. Let v = y - g. Is 11 a factor of v?
False
Let w(s) be the second derivative of s**4/6 + 7*s**3/6 + 20*s**2 + 3*s - 5. Does 13 divide w(-6)?
False
Let c(f) = -20*f**2 - 60*f + 11. Let m be c(6). Let p = m - -2085. Is 51 a factor of p?
False
Let y = 78 + -78. Suppose y = -28*g + 7*g + 23142. Is g a multiple of 57?
False
Suppose -8*l - 2036 - 6972 = 0. Let f = l + 2795. Is f a multiple of 19?
False
Let o(q) be the first derivative of q**4/4 + 38*q**3/3 - 61*q**2/2 - 30*q - 53. Does 23 divide o(-39)?
True
Is 12 a factor of 10 - (-775 - (10 + -2))?
False
Suppose -30653 - 52339 = -19*l. Does 156 divide l?
True
Let y = -139 + 154. Suppose -3*z = 4*d - 999, y*d - 11*d + 4*z - 996 = 0. Is d a multiple of 28?
True
Suppose -34*o + 6*o + 1402 - 142 = 0. Is o a multiple of 34?
False
Suppose 0*r - 10*r - 3903 + 12233 = 0. Does 49 divide r?
True
Let x be 0/(((-4)/2)/2). Suppose -3*t + 748 = -2*n, t - 4*n - 6 - 260 = x. Is 9 a factor of t?
False
Is ((-29)/(290/(-24)))/(2/1190) a multiple of 242?
False
Let b be (115/(-230))/(0 + (-1)/8). Suppose -3*a - p + 583 = 0, -b*p + 5*p = -a + 195. Is a a multiple of 5?
False
Suppose -161*f + 153*f - 8032 = 0. Let x = f + 1689. Is 18 a factor of x?
False
Let r(u) be the second derivative of -7*u**3 - 17*u**2/2 + 10*u. Let s be r(-4). Suppose 335 = 6*y - s. Is 13 a factor of y?
False
Let b = -65246 + 93046. Is b a multiple of 40?
True
Let u(s) = 29*s + 11. Let j(o) = o**2 + o + 1. Let r(v) = -6*j(v) + 2*u(v). Is 47 a factor of r(8)?
False
Let c be (-20)/(-15)*30330/20. Let k = 3001 - c. Is 10 a factor of k?
False
Let d = 652 + -449. Suppose -d - 113 = -4*a. Is a a multiple of 38?
False
Let g = -209 + 179. Let t(i) = i**3 + 31*i**2 + 23*i - 174. Is 9 a factor of t(g)?
True
Suppose 5692 - 132 = 4*p. Is 23 a factor of p?
False
Let m(q) = -3*q**2 - 427*q + 111. Does 9 divide m(-105)?
True
Let p(y) be the second derivative of 7*y**3/3 + 18*y**2 - 67*y. Does 4 divide p(4)?
True
Let v = -7303 - -8884. Does 17 divide v?
True
Suppose 4*d + 4 = 0, d = 5*n - 3*d - 14. Suppose -7*f + 2430 = n*f. Is 5 a factor of f?
True
Let a be -59 + -4 + -3 + 1. Does 89 divide 5/a + 82820/130?
False
Let v(w) = 88*w - 1121. Does 115 divide v(83)?
False
Suppose 13 = 5*f - g, f + 7*g + 4 = 5*g. Is ((-159)/f)/(8/(896/(-21))) a multiple of 62?
False
Let l(c) = 3 - 7 + 12*c**2 + 1 - 3*c. Let a(p) = -6*p - 8. Let h be a(-1). Is 13 a factor of l(h)?
False
Let s be (1878/(-12) + -2)*2. Let z = s + 480. Is z a multiple of 13?
False
Let j(h) = 22*h**2 + 8*h + 16. Let l be j(-14). Suppose -3265 = -4*x - g + l, 3*x + 5*g = 5615. Suppose -3*k - 8*k = -x. Is k a multiple of 30?
False
Let k(w) = 7*w + 12. Let c be k(4). Let o = 34 - c. Does 19 divide 2/5*65/(-4)*o?
False
Suppose 0 = -i + 3*p, 3*i - 5 = -3*p + 7. Let s = 90 + -66. Suppose s = 4*f - i*f. Does 12 divide f?
True
Does 10 divide 80132/138 - (-4)/(-6)?
True
Let p be 21 - ((-4 - -8) + -2). Let d = 29 - p. Is 8 a factor of ((-396)/(-2) + -2)*5/d?
False
Let u(s) = s - 12. Let v be u(-9). Let m(r) = -1537*r - 38 + 761*r + 766*r. Is m(v) a multiple of 43?
True
Let m(c) = c**2 - 10*c - 10. Let z be m(-10). Let x = z + -301. Is (27/(-12))/(1 + x/108) a multiple of 9?
True
Suppose -63*s - 5*s = 8*s - 608. Let c(v) = v**3 - 3*v**2 + v - 3. Let i be c(3). Suppose i = s*p - 211 - 805. Is p a multiple of 9?
False
Suppose 0 = 11*j + 3*j - 137079 - 23627. Is 40 a factor of j?
False
Suppose 259*a + 243*a = 485*a + 115243. Is 88 a factor of a?
False
Does 20 divide 160*((-58)/145)/((-4)/1165)?
True
Let m(s) = -s**3 - 11*s**2 + 6*s + 4. Let i(n) = 5*n**3 + 56*n**2 - 29*n - 19. Let r(q) = -2*i(q) - 11*m(q). Does 11 divide r(-6)?
False
Let c(k) = k + 2. Let n be c(-4). Let h be 1/(-2)*(-6 + -4 - -4). Is 5 a factor of (2/h)/(n/(-84))?
False
Let i = 17246 + -12530. Is i a multiple of 47?
False
Let r(c) = -759*c**3 + 2*c**2 + 23*c + 28. Is r(-4) a multiple of 82?
True
Suppose -19*a + 22*a - 24 = 0, -5*o + 5*a = -6755. Is o a multiple of 23?
False
Let y = 292 - 161. Let f = -106 + y. Is f a multiple of 25?
True
Does 3 divide (270/12)/(15/618)?
True
Suppose -2584*o = -2656*o + 3842064. Is 185 a factor of o?
False
Let k = -31 - -29. Is 23 a factor of (k - (3 + -7*53)) + -1?
False
Let s be (-1 + 149)/(-1)*(-72 - -1). Suppose 773 = -5*x + s. Is 4/14 - (-3 + x/(-21)) a multiple of 20?
False
Let p(x) = -299*x + 21. Let f be p(-2). Let j = f + -514. Does 21 divide j?
True
Let s = 42256 - -5239. Does 23 divide s?
True
Let k(i) = -4*i + 36. Let u be k(9). Is 350/(-1 - -6)*(2 - u) a multiple of 10?
True
Let c be (1 + 14)*4/10. Let f be (-40)/16*c/(-5). Does 3 divide (-3)/6*-57 - f/(-2)?
True
Let g = -279 + 252. Let b = 303 + g. Is 27 a factor of b?
False
Is 1603 - -3*((-39)/234)/(2/(-4)) a multiple of 4?
True
Suppose -5*s - 2*u + 21 = -3, 2*u = s. Suppose a + 675 = 4*t, s*t - 717 + 48 = -a. Suppose -4*f = m - t, m = 3*f - m - 126. Is 7 a factor of f?
True
Is 44 a factor of (-421)/11788 - (-567645)/28?
False
Let y(z) = z**2 + 18*z - 43. Is y(-29) a multiple of 92?
True
Let p(y) = -y**3 + 3*y**2 + y. Let o be p(3). Suppose 3*b = 5*l - 72, 0*b + o*l = -2*b - 29. Let a = -6 - b. Is a a multiple of 4?
False
Let o = 86 - 79. Suppose -3 = -2*v - o. Is 3 - 6 - (-5 - v)*44 a multiple of 9?
False
Suppose -2*g - 12 = -4*u - 8, -3*g = 3*u - 12. Suppose -g*y - 170 = -842. Is 7 a factor of y?
True
Does 20 divide (2 - 16/(-12))*-6*(21 - 124)?
True
Let v be (-30)/6 - (4 - 1). Is 12 a factor of 38 + 0 + (-24)/(v/(-1))?
False
Suppose -15*s = 14 - 29. Does 12 divide s*3 + 3*(8 - -155)?
True
Suppose 8 = 3*y - 4*u + 3, -3*u + 40 = 4*y. Does 39 divide (-4)/(-1) + y + -11 + 119?
False
Suppose 17244 = 4*z + 5*s, 11460 + 1473 = 3*z + s. Is 117 a factor of z?
False
Suppose 3*k + 217 = 574. Suppose -g = -2*g + k. Is g a multiple of 16?
F