2 + (-2)/2 + 1653. Suppose -4*l - l + o = k. Is l a multiple of 44?
False
Let f = 12601 - 6471. Is f a multiple of 13?
False
Let x(i) = -26 + 28*i + 29*i + 11*i + 217*i**2 - 220*i**2. Is 5 a factor of x(18)?
False
Let i(r) = r**2 + 13*r + 24. Let c be i(-11). Let s be (c/(-3))/((-6)/441). Suppose 2*t - 15 - s = 0. Is t even?
True
Suppose 24 = -4*g, 114*g - 115*g + 82164 = 5*j. Does 69 divide j?
False
Let y be ((-132)/88)/(0 - (-6)/8). Is 7 a factor of (-15 + 29)/(3*y/(-24))?
True
Suppose -2*s + 17 = 7. Let c(k) = k**3 - 5*k**2 - 8*k + 4. Let u be c(s). Is 103 + (-11)/4 + 9/u a multiple of 20?
True
Suppose -11*l + 10*l + 19 = 0. Let v = l - -1. Is v even?
True
Let z(f) = 3*f + 6. Let i be z(-4). Let j(t) be the first derivative of -t**4/2 - 10*t**3/3 - 15*t**2/2 - 10027. Does 27 divide j(i)?
True
Let p(n) = -698*n**3 + n**2 + n + 1. Let x be p(-1). Let u be (-20)/15*(-2)/(-4)*x. Let o = u + 666. Does 20 divide o?
True
Let m(i) = 269*i**3 - 6*i**2 + 6*i + 23. Is 55 a factor of m(3)?
False
Let z be 6/((2 + -1)*8/20). Let w(i) = 2*i**2 - i**2 - 2*i**2 - z*i**3 - 26*i**3. Is 20 a factor of w(-1)?
True
Suppose 23*o - 18*o + 35*o - 151200 = 0. Is o a multiple of 60?
True
Let b be ((-28)/(-6))/(2/6). Suppose 147*j - 60*j + 242 = -155*j. Does 14 divide 7/(b/(-6)) - (-144 - j)?
True
Let s = -1168 - -1707. Suppose -2*o + 53 = s. Is (-1)/(3/o)*2/6 a multiple of 6?
False
Suppose u + 11 = -5*k, -2*u + 17 = 2*k + 31. Does 10 divide (-33)/22*692/u?
False
Let d be (-312)/(2/1) - (-158 + 161). Let l = d - -179. Is 13 a factor of l?
False
Let r = 1641 - 515. Does 7 divide r?
False
Let s(d) = 5*d**2 - 4*d - 7. Let l be s(6). Let f(w) = 70*w - 1769. Let g be f(26). Let j = l + g. Does 58 divide j?
False
Let h = -13 - -22. Suppose 0 = -5*o + 4*g + 304, 2*o - 2*g - 129 = -h. Is (3 - o/12)*-39 a multiple of 13?
True
Let r = -1351 - -1681. Does 66 divide r?
True
Suppose 31*t + 2177 + 1388 = 0. Let x = 175 + t. Is x a multiple of 12?
True
Let l(n) = -5*n**3 - 16*n**2 - 73*n - 20. Let q(h) = h**3 + 4*h**2 + 18*h + 5. Let c(b) = -2*l(b) - 9*q(b). Does 3 divide c(7)?
True
Let t(g) = 2*g**2 - 27*g - 122. Let s be t(-22). Suppose 0 = -137*i + 129*i + s. Does 15 divide i?
True
Let g(v) = v**2 + 6*v - 12. Let d be g(-6). Does 16 divide -4 + (-282)/(d/4)?
False
Let b(r) be the first derivative of r**3/3 + 3*r**2 + 4*r - 16. Let o be b(-7). Suppose o*d = 4*d + 448. Does 5 divide d?
False
Suppose -2*d = -v, -v - 4 - 10 = 5*d. Let o(z) = z**3 + 4*z**2 + 2*z - 1. Let m be o(d). Suppose -m*t + 689 = -f, -t = -5*t - 5*f + 925. Is 46 a factor of t?
True
Suppose 7*o + 0*o + 3*o = 0. Let f = 2 - o. Suppose 35 = 5*b - f*c, -2*b = 2*c - 5*c - 3. Is 4 a factor of b?
False
Let z = 1036 + -730. Let i = 46 + z. Is 44 a factor of i?
True
Let i = -36 - -35. Let g be i/(2 + 44/(-20)). Suppose 14 = g*m - 116. Is 4 a factor of m?
False
Suppose -2*y = 11*y + 845. Let x = y + 65. Suppose x = 12*f + 258 - 2466. Is 46 a factor of f?
True
Suppose -13408 - 3377 = -11*x + 10132. Is 5 a factor of x?
False
Suppose -3*g = 5*a - 1436, 2*g + a + 419 = 1367. Does 4 divide g?
True
Let h(r) = 32*r**2 + 3*r - 10. Let o(u) = 63*u**2 + 5*u - 21. Let t(x) = 5*h(x) - 2*o(x). Is 46 a factor of t(2)?
True
Suppose 4*k - 14*k + 150 = 0. Suppose k*s - 2479 - 221 = 0. Does 12 divide s?
True
Let k be (0 - -1 - -2) + (-26780)/(-52). Suppose -34*x = -41*x + k. Does 2 divide x?
True
Suppose -1171*i - 3*f - 149712 = -1174*i, -f + 49888 = i. Is 216 a factor of i?
True
Let q(b) = 533*b - 3560. Is 24 a factor of q(16)?
True
Suppose -3*o = -6*o + 15. Suppose -2*h = -t - t - 200, -2*t = o*h - 521. Suppose -5*x - 4*j = -577 + h, -3*j = x - 97. Is x a multiple of 15?
False
Let p(g) = -2*g**2 + 21*g + 38. Let y(t) = 3*t**2 - 31*t - 13. Let z be y(11). Does 13 divide p(z)?
True
Let c be (362/(-2))/((-2)/6). Suppose t = c + 516. Is 16 a factor of t?
False
Let n be (76/(-6) - -1)*(61 + -49). Is 10 a factor of (1203/(-15))/(28/n)?
False
Let v(z) = 6*z + 210. Let j = -388 - -388. Is 14 a factor of v(j)?
True
Let b(x) = x**2 - 10*x + 22. Let m be b(9). Suppose -34 = -m*f + 57. Suppose -f*l = -577 - 494. Is l a multiple of 9?
True
Let l be 0/(-4*-1*(-2)/4). Suppose 2*x + o + 1081 = l, -3*x + 351 = 2*o + 1975. Let v = -318 - x. Is 20 a factor of v?
True
Let q be (-25)/75 - (-16)/3. Suppose -1966 = -2*g - q*y, g + 993 = 2*g + 5*y. Is 14 a factor of g?
False
Is (-378)/28*-492 - 14 a multiple of 88?
False
Let m(r) = 286*r**2 + 97*r + 16. Is m(-4) a multiple of 13?
False
Let c(d) = d**3 + 13*d**2 - d - 9. Let w be c(-13). Suppose w*v = 4*j + 28, -3*v + 5*j = -0*v - 29. Suppose -v*h = -11*h + 960. Is h a multiple of 12?
True
Let p = 13338 - 8638. Is p a multiple of 20?
True
Is 11 a factor of 5 + (1 - -6) + 164?
True
Let f(d) = 3*d**2 - 27*d + 53. Let l(a) = -16*a**2 + 136*a - 267. Let w(n) = 11*f(n) + 2*l(n). Is w(35) a multiple of 21?
True
Is 3 a factor of (90675/3)/5 - (76 + -67)?
True
Let j = -63 + 55. Does 6 divide 6*j/60*-85?
False
Does 15 divide 1529469/90 + 82*6/(-120) + 4?
False
Suppose 0 = -2*t + 4 - 0. Suppose 0 = g + t*g - 3*l - 387, -5*l + 20 = 0. Suppose -3*y = -m - g, 2*m + 0*m - 4 = 0. Is y a multiple of 15?
True
Is (10 - 16) + 16 + 1022 even?
True
Suppose x + 3*t + 26 = -228, -3*t - 1210 = 5*x. Let g = -122 - x. Is g a multiple of 9?
True
Let b(q) = -8*q + 3*q + 20 - 22. Let x be b(-1). Is 10 a factor of (3/(-4))/(x/(-8)) + 144?
False
Let b = -3241 - -7661. Is 26 a factor of b?
True
Let n(y) = 0 - 4*y**2 + 54*y**3 - 2 + 2*y - 10*y**3 - 2. Is 16 a factor of n(2)?
True
Suppose 2*f + 2142 = 5*f. Suppose -f = -32*y + 18*y. Is y a multiple of 6?
False
Suppose -5*v + 72426 - 19711 = 5*n, -42165 = -4*v - 5*n. Does 43 divide v?
False
Suppose 0*f + 5*f - 2050 = 0. Suppose 137 = -3*x + 2*k + f, -2*x + 4*k + 190 = 0. Is 3 a factor of x/6 - (-4)/24?
True
Let n(a) = -a**3 + 4*a**2 + 8*a - 4. Let j be n(5). Let g = 1810 + -1511. Let f = g + j. Is 31 a factor of f?
True
Let r be 8163/12 + -3 + 4/(-16). Suppose 2*l = -5*f + 3361, r = f + 2*l - 4*l. Is 28 a factor of f/4 - 1/4?
True
Suppose 39 + 111 = 25*v. Suppose 0 = -2*n - y + 1856, v*n = 3*n + 3*y + 2793. Does 15 divide n?
False
Let a = 2464 + -709. Suppose -c = t + 5*c - 882, -2*t - 3*c + a = 0. Is 11 a factor of t?
False
Let z(n) = -n**2 - 11*n - 10. Let x be z(-9). Suppose -x*h + 15 = -11*h. Let o(k) = 9*k**2 + 7*k + 8. Is 25 a factor of o(h)?
False
Suppose -10*j + 86085 = -12315. Is j a multiple of 15?
True
Let x(s) = -1 - 6 - s**2 + 5*s + 10*s - 4*s. Let g be x(10). Suppose 370 = 4*n + g*z, -2*n - 5*z + 70 = -122. Is 13 a factor of n?
True
Let j = 35 - 19. Let t be -418*12/j*(-6)/9. Suppose -3*i = -22 - t. Does 12 divide i?
False
Let m = 17125 - 10724. Is 94 a factor of m?
False
Let n(t) = t**3 - 23*t**2 + 10*t - 46. Let v be n(23). Suppose -a - 4*o = -0*o - 46, -v = -5*a + 3*o. Is 38 a factor of a?
True
Suppose -7*b + 4*p = -6*b + 20, 0 = 5*b + 5*p - 25. Is (-34)/(-2)*(b - -1) a multiple of 2?
False
Suppose 0 = 4*n - h - 367, 3*n - 10*h - 289 = -12*h. Does 31 divide n?
True
Let h(n) = -n**3 + 11*n**2 + 28*n + 264. Does 48 divide h(-10)?
False
Is 9 a factor of ((-8)/10*5 - -1) + 516?
True
Let x be (-7)/(-3) - 2*(-6)/(-36). Let d be -1 + (-2 - (-3 - 82)). Suppose -x*m = -0 - d. Is m a multiple of 5?
False
Let f(l) = -7*l**3 - 5*l**2 + 3*l - 18. Let j(u) = u. Let g(q) = -f(q) - 5*j(q). Does 31 divide g(3)?
False
Suppose 17 = 5*l - 3*y - 50, -3*l + 45 = 3*y. Suppose l*p = p + 1339. Let o = p - 91. Is 3 a factor of o?
True
Suppose 4*c = 2*g + 8, -17 = -5*g + 2*c - 5. Suppose g*o + 0*j + j - 982 = 0, -2*j + 1229 = 5*o. Is 35 a factor of o?
True
Suppose 249 = -2*u + 243, 2*u - 31434 = -12*j. Is j a multiple of 116?
False
Suppose -9*v + v + 80 = 0. Suppose 0 = 2*f - v*f + 600. Is 26 a factor of ((-156)/9)/2*f/(-5)?
True
Let m(h) = -7*h + 14. Let j be m(2). Is 12 a factor of ((-52)/3 - (-4 + j))*-9?
True
Suppose 147 = 4*n - 25. Let h = n - 33. Suppose h*c = 7*c + 231. Does 11 divide c?
True
Suppose -3*y - 21 = -30. Suppose -y*q - 3*b + 10 = -5, 2*b - 2 = 0. Suppose -585 = -q*s + 5*n, s + 3*n = 3*s - 295. Does 28 divide s?
True
Let o be -2 - 9 - (4 + -5). Let z be (o/15)/(3/9). Does 50 divide ((-424)/5)/z*(-5)/(-2)?
False
Let d = -64 + 59. Let j be d*(-4)/20 - (1 - 53). Let g = -1 + j. Does 13