= -740 + 1177. Let i be (-6 - -6) + 74 + -1. Suppose m - i = 4*l. Is l a multiple of 15?
False
Let j = 3954 + 6633. Is j a multiple of 36?
False
Suppose 4*f + 3*o - 28 = 0, -4 = -o - 0*o. Suppose -5*n + 1300 = f*q, -5*q + 8*q - 527 = -2*n. Is 32 a factor of n?
True
Suppose -5 = -b, -l + 5 = -b - 2*b. Suppose 0 = 12*r - 100 - l. Is (1/2 - (-145)/r) + 4 a multiple of 19?
True
Suppose -4*s + s = -123. Suppose 139 + s = 10*k. Suppose k*h = 11*h + 231. Is h a multiple of 3?
True
Let t(h) = -5*h**3 + 2. Let x be t(-2). Suppose 5*j = 5*b, -4*j = 2*b - x + 12. Suppose -f + 5*y = -150, 3*f - 6*y = -b*y + 506. Is 17 a factor of f?
True
Let v = 814 - -745. Does 3 divide v/10 + 3/30?
True
Suppose b + 4*x - 2 = -11, -2*x - 24 = 2*b. Let m(f) = -10 - 2*f - f - 3 + 0. Does 17 divide m(b)?
False
Is 16 a factor of 120*22/99*6?
True
Suppose 2*z + 4*s - 34688 = 0, 19595 + 136421 = 9*z - 2*s. Does 22 divide z?
True
Suppose -16 = -5*w - 36. Let a(m) = -2*m**3 + m**2 + 10*m + 8. Is 28 a factor of a(w)?
True
Let s be (3/3)/((-2)/(-34)). Suppose -2*y - s = -3*p, p = -0*p - 4*y - 13. Suppose p*m - 142 - 188 = 0. Is 22 a factor of m?
True
Let j = 33 - 31. Let f = 59 - 56. Suppose f*r + 26 = q - 33, 5*q - j*r = 256. Does 17 divide q?
False
Suppose 0 = 8*t + 6 - 38. Suppose 0 = -t*q + 420 + 208. Let j = q - -16. Does 15 divide j?
False
Let m(q) = -5*q**3 - 5*q**2 + 5*q - 440. Let s(d) = -12*d**3 - 11*d**2 + 12*d - 880. Let o(u) = -7*m(u) + 3*s(u). Does 40 divide o(0)?
True
Suppose -4*p - 23 = 1. Is 11 a factor of p*(-4 + 177/(-9))?
False
Suppose m + 33 = 4*k, -4*k = m - 6*m - 21. Suppose 10*g - 31 = k. Suppose 3*p = g*v - 261, 0 = -0*v + 2*v + 3*p - 135. Is v a multiple of 34?
False
Suppose -456042 = 91*k - 108*k. Does 34 divide k?
True
Let g = -221 + 225. Suppose -g*n + 1060 = -0*n. Does 4 divide n?
False
Let v = 1267 - 773. Suppose 0 = -16*q + v + 13490. Is q a multiple of 25?
False
Suppose 2*z = o - 4016, o - 17 = -3*z + 4024. Is 11 a factor of o?
True
Let g(v) = -4*v + 17. Let c(f) = f - 4. Let n(u) = 9*c(u) + 2*g(u). Let y be n(4). Suppose y*p = 2*r - 356 + 54, -3*p - 153 = -r. Does 25 divide r?
True
Let u = 57 - 105. Let q = 73 + u. Is q/3 + (-40)/(-60) a multiple of 2?
False
Let n(o) = 2*o - 20. Let g be n(10). Suppose 7*t - 16*t + 54 = g. Does 4 divide -3*(-46)/t - -5?
True
Suppose -29*b + 15*b + 154 = 0. Suppose -454 - 866 = -b*t. Is 6 a factor of t?
True
Is 12 a factor of ((-556)/3)/(2 - 400/195)?
False
Suppose -685038 + 523243 - 782775 = -341*w. Is 4 a factor of w?
False
Let z = -2046 + 22726. Does 94 divide z?
True
Let z be 96/24*(18/(-8))/(-3). Suppose 4*x - 5*c = 8*x - 4051, 4053 = 4*x + z*c. Does 13 divide x?
True
Suppose 3*k - 12 = 0, 2*k + k = 4*a - 4. Suppose 4*t + a = 0, -2*o - t + 6*t = 55. Is 12/o - (-122)/5 a multiple of 12?
True
Let a be (-87)/(-145)*10/3. Suppose -a*x + 101 = -m + 327, 5*x = 3*m - 673. Is 24 a factor of m?
True
Let z(k) = -k**2 + 242*k - 5783. Does 3 divide z(132)?
False
Let u = 344 - 221. Is 31 a factor of 3 + (-3 - -4)*u + 3?
False
Let q(x) = -44*x + 331. Suppose 0 = -9*k - 55*k. Is 22 a factor of q(k)?
False
Let a = -7825 + 9993. Is 29 a factor of a?
False
Suppose -96*l + 14*l = 15*l - 1681786. Does 11 divide l?
False
Let o(g) = 2*g**3 + g**2 - 1. Let p be 4 - 6 - (-1 - 2). Let r be o(p). Suppose 5*w - 71 = -4*h, 3*w + 0*w - 33 = -r*h. Does 6 divide h?
True
Let s be (-5 - -4)*0/(-1) + -2. Let v be (-7)/7*0*s/4. Suppose -3*g - 91 + 415 = v. Is 9 a factor of g?
True
Let n(b) = b**3 + 21*b**2 + 21*b - 4. Let y be n(-20). Let w be ((-5)/(-15))/(2/y). Is ((-81)/2)/(w/24) a multiple of 27?
True
Suppose -640 - 504 = -22*p. Suppose -77*s + 9475 = -p*s. Is 10 a factor of s?
False
Let q(j) = -3*j**2 - 17*j + 5. Let k be q(-6). Let y be -4 + 12 - 3*1. Let t = y - k. Does 4 divide t?
False
Suppose 3*h + 11 = -t - h, 2*t + 2*h = -28. Let l = -13 - t. Suppose -7*c + l*c - 4*m = -680, -m = -c + 127. Does 33 divide c?
True
Let z(p) = -p**3 + 11*p**2 + 39*p + 38. Let n be z(14). Let m(v) be the first derivative of -27*v**2 - 26*v + 1. Does 14 divide m(n)?
False
Suppose -12 = 8*c - 4*c. Is 34 a factor of c + (137 - 32/8)?
False
Let w(c) = -c**3 - 1 + 14*c**2 + 31 - 7 - 11 + 4*c. Let m be w(14). Let i = m + -52. Is i even?
True
Suppose 6 = 3*c + 3. Let u be c*3*-4*48/(-18). Suppose u = -0*h + h + z, -156 = -5*h - 3*z. Is h a multiple of 15?
True
Let f(l) = 7*l**3 + 25*l**2 + 7*l + 14. Let k = -42 - -41. Let r(b) = -b**3 - b**2 - b - 1. Let i(g) = k*f(g) - 6*r(g). Is 2 a factor of i(-19)?
False
Is (80*6/(-9))/(2/(2208/(-8))) a multiple of 8?
True
Let j be (-16)/(-12)*(-9)/6. Let l be ((-16)/(-48))/(j/36). Is 10 a factor of (l + (5 - (-6)/(-3)))*-7?
False
Let m(h) = 2*h**2 + 5*h - 19. Let z be m(-8). Let y be 3*2*92/z. Let i(c) = -c**2 + 11*c. Does 4 divide i(y)?
True
Let c be 8 - (0/(-3) + 3). Suppose -4*i = 5*t + 9, -5*t - 15 = c*i - 5. Is 83 + (t - 2)*1 a multiple of 16?
True
Let s(f) = -2*f**3 - 189*f**2 + 188*f + 280. Does 34 divide s(-96)?
False
Let d(q) = 8*q + 2881. Does 22 divide d(25)?
False
Let x(s) = 2*s**2 - 13*s - 27. Let y be x(15). Let l = y - 129. Does 41 divide l?
False
Let w = 660 - 325. Suppose -2*h + w + 449 = 0. Does 28 divide h?
True
Let f(m) = 1 + 21*m + 3 + 66*m. Let o be f(2). Suppose -6*i + o = -110. Is i a multiple of 6?
True
Suppose -3*c + 28 = 4*g - 0*c, 3*g - 4*c + 4 = 0. Suppose 5*s = n - g*n + 1992, 5*n + 772 = 2*s. Does 23 divide 2*-2 - s/(-3)?
False
Let i(r) = -17 - r**2 - 23 + 30 - 11*r. Let v be i(-10). Does 20 divide 144/(3 + v)*(-30)/(-9)?
True
Let i = -11130 - -23626. Is i a multiple of 30?
False
Is 6 a factor of (-1)/10 + 2/(340/319617)?
False
Let q(p) = 89*p**2 + 280*p - 291. Does 20 divide q(-27)?
False
Let t(h) = h**3 + 37*h**2 + 65*h + 64. Does 4 divide t(-35)?
False
Suppose -87*o = -85*o - 9*g - 31382, -2*o = -4*g - 31362. Is o a multiple of 8?
False
Let o(l) = 4*l**3 - 7*l**2 - l - 4. Let g be o(-7). Let b = -1032 - g. Is b a multiple of 10?
True
Suppose -43*l - 19606 = -48*l - 2*t, 2*l + t - 7842 = 0. Is l a multiple of 53?
True
Suppose 1374 = 2*h - i, 2*i - 157 = -2*h + 1223. Let n = -615 + h. Does 14 divide n?
False
Let k = 94 - -392. Suppose -37*t + 34*t = -k. Does 18 divide t?
True
Let t = -162 + 645. Is t a multiple of 114?
False
Suppose -12 = -u - 3*u + 5*k, 0 = -k + 4. Suppose 12*c = u*c + 4948. Is 46 a factor of c?
False
Let o = -394 - -414. Suppose 0 = -37*y + o*y + 1989. Is 2 a factor of y?
False
Let s(y) = 255*y**2 + y - 1. Let w be -2*((-18)/4 + 5). Is s(w) a multiple of 11?
True
Let r(p) = 14*p - 4*p + 3 - 9*p - 2. Let t be r(2). Is 12 a factor of (16/t + 0)*12?
False
Let i(f) = -f**2 - 12*f - 8. Let r be i(-11). Suppose -r*v + 18 = -12. Suppose -v*m + 264 = m. Does 12 divide m?
True
Suppose 10*p = 8*p. Let q = 53 - p. Is 13 a factor of q?
False
Let t be (-4)/(-18) + (1 - (-32)/18). Suppose q - 4*w = 116, -t*q - 3*w = -2*q - 81. Suppose 0 = -j + 4*j - q. Is j a multiple of 4?
True
Suppose 5*d = -3*t + 7 + 15, 4*d - 2*t = 0. Suppose 2 = -4*l - d, 4*f - 79 = -l. Suppose -f*x + 4*x = -4144. Is x a multiple of 38?
False
Let f(c) = -c**2 - 16*c - 3. Let p(k) = k**3 - 17*k**2 + 18*k - 36. Let g be p(16). Let d be g/14 - (-33)/(-7). Is 8 a factor of f(d)?
False
Let d(q) = -31 - q**3 + 160 - 35 - 65 - 4*q**2 + 4*q. Does 26 divide d(-13)?
False
Suppose s + 20 = 3*u + 11, 3 = 3*u + s. Let y(k) be the third derivative of 37*k**5/60 + 5*k**3/6 - 3*k**2. Does 17 divide y(u)?
True
Let c(t) = -285*t**3 + 13*t**2 - 8. Does 59 divide c(-5)?
False
Suppose -x - 2*t = -3, 3*x + 0*t - 4 = -t. Let n be ((-1 - (x + 0)) + 29)*-1. Let g = 38 + n. Does 11 divide g?
True
Suppose -23 = 2*c + 5*r, c + 3*r + 11 - 2 = 0. Is 6/24 + (-1578)/c a multiple of 33?
True
Suppose -5*l - 132310 = -701*m + 696*m, 3*l = -2*m + 52914. Is m a multiple of 245?
True
Let n(b) = 464*b - 80. Let u be n(2). Suppose -41*p + u = -33*p. Is 2 a factor of p?
True
Suppose 2*t - 18 = 4*b, 18 = -3*b - 2*t - t. Let v be 5/((-125)/(-15)) - 57/b. Suppose -2*h - h = v, -4*u = -5*h - 128. Does 9 divide u?
True
Let x(d) be the second derivative of 8*d**3/3 + 17*d**2/2 + 85*d. Is x(8) a multiple of 29?
True
Let k(u) = -1313*u + 12285. Is k(-10) a multiple of 299?
True
Let m(r) = 1435*r - 5920. Does 4 divide m(5)?
False
Let x(z) = -2*z**3 + 98*z**2 