4*l = -3*z - 150, -246 = -5*l - 4*z - 74. Suppose -p + 6 + l = 0. Is 3 a factor of p?
True
Let f = 51 - 48. Let n(m) = 7*m**2 + 22 - 8*m**3 + m**f + 6*m**3 + 19*m. Is n(9) a multiple of 8?
False
Let h(v) = -2*v**3 - 31*v**2 + 90*v - 177. Is 15 a factor of h(-24)?
True
Let v(k) = -3*k**2 + 19*k - 14. Let g be v(10). Let n = -117 - g. Suppose b = n*b - 540. Does 9 divide b?
True
Let d(m) = 395*m**2 + 235*m - 1375. Is d(6) a multiple of 78?
False
Suppose 5*s = -30 + 45. Let y(j) = 13*j**2 - 12. Is 35 a factor of y(s)?
True
Let l(a) = 217*a**2 - 180*a + 21. Does 16 divide l(8)?
False
Let m = 4476 - -4153. Is m a multiple of 15?
False
Let w(r) = r**2 - 14*r + 9. Let c be w(14). Suppose 0 = -3*k - 15 - c. Let h = 4 - k. Is 5 a factor of h?
False
Let o be (-1 - 1) + (0 - -4). Let y(k) = 4*k + k**2 + 3 - 2*k + 4*k**o + 2*k**2. Is y(3) a multiple of 9?
True
Let n be 1*4 + (4 - -291). Suppose -3*g + 179 = 2*u, -5*g - 6*u + n = -2*u. Is 27 a factor of g?
False
Let d(b) = -13*b - 154. Let u be d(-32). Let v = -49 + u. Is v a multiple of 52?
False
Let n(j) = -j**3 + 7*j**2 - 2. Let f be n(3). Suppose -4*o = c + 395, o + 71 = c - f. Is 26 a factor of (3/15*-78)/(15/o)?
True
Let r = -2554 - -5920. Suppose 16*x = 38*x - r. Is x a multiple of 9?
True
Let d(n) = n - 18. Let y be (55/(-25))/((-1)/5). Let f be d(y). Is (-352)/f - 4/14*1 a multiple of 10?
True
Is (20412/15)/((-9)/(-60)) a multiple of 6?
True
Let x(b) = -31*b + 1. Suppose -3*u - 5*i + 62 = -16, -4*u + 69 = -5*i. Suppose 0 = 20*o - u*o - 3. Does 15 divide x(o)?
False
Suppose -120 = 14*p - 8*p. Let y = p + -78. Is 22 a factor of ((-1)/(-2))/(-1)*y?
False
Is 49 a factor of (-19)/(399/(-76440)) - -3?
False
Suppose 0 = 2*v - 3*j - 54, -31 = -3*v + 5*j + 51. Suppose v*w = 25*w - 54. Suppose -2*l + 74 = -w. Does 32 divide l?
True
Suppose -191*v + 4*t + 8544 = -188*v, 2*v - 5*t = 5703. Is v a multiple of 18?
True
Let n be ((-6)/(-12))/(2*(-2)/(-48)). Suppose 5*z + 35 = -4*c, -z + 3*z + n = 0. Let k(u) = 2*u**2 + 4*u - 9. Is 12 a factor of k(c)?
False
Suppose -6*h - 6 = -9*h. Let g = h + 3. Suppose -8 = 2*a, -2*a - 27 = -g*l + 36. Is l a multiple of 7?
False
Let t = -795 + 1737. Suppose 0 = -6*v + t + 258. Suppose 3*k - v = -i + 3*i, 5*k + 4*i = 326. Is 33 a factor of k?
True
Let q(v) = -v**2 + 15*v + 3. Let s(j) = j**3 - 23*j**2 - 50*j - 6. Let g be s(25). Let k be q(g). Is 23 a factor of k/(2*3/(-4))?
False
Suppose -16*q + 1184 = -1680. Suppose q*n - 5751 = 170*n. Does 30 divide n?
False
Suppose 2*s - 18527 = 3*z, 25*s - 2*z = 23*s + 18520. Does 30 divide s?
False
Let d = 12477 + -12092. Is 5 a factor of d?
True
Let s = -162 - -158. Let p be (-2*(-3)/(-6))/1. Is 11 a factor of -22*(s - -6)*p/2?
True
Let h = 7 + -10. Let i(s) = 97*s**2 + 84*s**2 - 252*s**2 + 8 + 76*s**2. Is i(h) a multiple of 5?
False
Let z(f) be the second derivative of f**5/20 + 11*f**4/12 + 8*f**3/3 + 11*f**2/2 + 4*f. Suppose -7 = 284*c - 283*c. Is z(c) a multiple of 19?
True
Let b be 2/8 - (-1149)/12. Let i(g) = -15*g + 44. Let d be i(-8). Let j = d - b. Is 9 a factor of j?
False
Let z(t) be the second derivative of -t**3/3 - 14*t**2 - 24*t. Let h be z(-14). Suppose 2*f = d - 124, h = -2*d - 3*d + 3*f + 606. Is d a multiple of 12?
True
Let d = -3825 - -4329. Does 37 divide d?
False
Suppose -11*n + 5*n = 1812. Let h = n + 622. Is 16 a factor of h?
True
Let w = 22 + -30. Let k(b) = 13*b**2 - 53*b - 2. Is 33 a factor of k(w)?
True
Is ((21 - 41) + 160)*(-329)/(-2) a multiple of 35?
True
Let x(g) = -2*g**2 - 13 + g + 2*g + 3*g**2 + g. Let p = -478 - -489. Does 26 divide x(p)?
False
Let h(r) = 2280*r**3 - r**2 - 12*r + 13. Is h(1) a multiple of 12?
True
Let f be (-140)/(-56) - 18/(-4). Suppose 5*s + f = 12. Is 21 a factor of 1 + 38 + (1 - 1)*s?
False
Let l(s) = 4*s**2 - 287*s - 271. Does 21 divide l(77)?
False
Suppose 4*x - 3*z - 99400 = 0, -4*z = -238*x + 233*x + 124250. Does 71 divide x?
True
Let y = 207 + -188. Let l(q) = 10*q - 60. Is 26 a factor of l(y)?
True
Let b be (-3)/4*(-44)/(-33). Is b/(-3) + ((-1349)/3)/(-1) a multiple of 9?
True
Let u = -56 - -66. Suppose -2*q = -4*q + 4*p - u, 5*p + 15 = -3*q. Is 10 a factor of 2/5 - 1098/q?
True
Let k be ((-125)/15)/5*-21. Let p be 80/24*7/(k/18). Suppose -p*j + 864 = -8*j. Is 40 a factor of j?
False
Suppose -65*z = -72*z - 4242. Let l = -305 - z. Is 13 a factor of l?
False
Let d be (-8 - -2)*(-188)/6. Suppose -2*h + 4*y = d, 4*y - 4 = -0*y. Is 11 a factor of -1 - (1 - h/(-2))?
True
Suppose 3297521 = 123*c + 47615. Does 11 divide c?
True
Let y(z) be the third derivative of -3*z**4/8 - 5*z**3/3 - 12*z**2. Let d be y(7). Let i = d + 111. Is i a multiple of 25?
False
Let g = -57 + 66. Suppose -g*v - 21 = -16*v. Suppose 2*w - 199 = -3*k, -w - 9 = -v*k - 104. Does 7 divide w?
True
Suppose -16400 = -76*x + 36*x. Is x a multiple of 41?
True
Suppose 7*h + 2*h - 8208 = 0. Let c be 6/(3657/h - 4). Is c/3 - (13/(-3) + 4) a multiple of 40?
False
Suppose -4938*t + 4932*t + 20124 = 0. Does 43 divide t?
True
Let x = -21 - -24. Suppose -3*l + 3*k = 69, x*k - 65 = 3*l - k. Is (1 + 43)*l/(-6) a multiple of 33?
True
Suppose -p = 3*q - 35041, -3*q = 3*q - 5*p - 70033. Is 85 a factor of q?
False
Let r be (-8)/12 - (-105)/9. Does 7 divide (-1 + 18/(-10))/(r/(-1210))?
True
Suppose 7 - 52 = -3*b. Let t = 20 - b. Suppose 5*r + 165 = 5*f, -4*f + 2*f + 87 = t*r. Is f a multiple of 9?
True
Let z = -9183 - -11333. Is 43 a factor of z?
True
Let x = 34 - 31. Suppose -7*v = 3*u - x*v - 22, -4*u = -3*v + 4. Suppose -q = u*s - 39, -q - q - s = -87. Is 21 a factor of q?
False
Let i(p) = p + 7*p - 3*p + 14*p**2 + 1 - 3. Let j be (4/10)/(3/(-15)). Is i(j) a multiple of 7?
False
Let y(r) = 2*r + 9. Let m = -43 - -40. Let p be y(m). Does 10 divide (-1 + -2)/(p/(-10))?
True
Let x be (2*-9)/((-8)/(-84)) - 0. Let u = -90 - x. Is u a multiple of 9?
True
Is ((-1006)/(-6))/((1515/(-2160))/(-101)) a multiple of 48?
True
Suppose 0 = 11*i - 154 - 286. Let g = 67 - -59. Let p = g - i. Is 39 a factor of p?
False
Let z = 207 + -202. Suppose 3*f = 3*o - 471, -z*f + 583 = -o + 5*o. Is 8 a factor of o?
True
Let f(j) = 4*j**2 - 19 + 164 + 11*j - 40*j. Is 13 a factor of f(9)?
True
Let o(z) = -z + 19. Let l(d) = 7*d - 23. Let b be l(4). Let t be o(b). Is (-1 - (-181)/1) + (t - 10) a multiple of 23?
True
Let d = -1431 - -4456. Is 18 a factor of d?
False
Let r(x) = x**2 + 5*x - 3. Let u be r(-5). Let k be (1/u)/((-7)/(-21)). Is 20 a factor of (-127)/(-1) - (-3 + 1 + k)?
False
Let z be ((-36)/81)/((-2)/9). Suppose 940 = 2*h - z*v, 3*h + 4*v - 2368 = -2*h. Is h a multiple of 21?
False
Does 76 divide (27/(-12) - (-7)/((-280)/(-50))) + 5519?
False
Suppose 120 = -7*o - 76. Let q be ((-14)/o)/(2/52). Suppose -q*i + 184 = -5*i. Is i even?
False
Suppose 2*z + r - 4285 = 769, 5*r = 3*z - 7594. Is 117 a factor of z?
False
Suppose 2*a - 1176 - 154 = 0. Let z = -369 + a. Is z a multiple of 13?
False
Let c = 0 - -4. Suppose -11*t = -c*t - 4*t. Suppose 3*q - 137 - 7 = t. Is 12 a factor of q?
True
Is 71 a factor of 3159/6 + -3 - 1/(-2)?
False
Is 15 a factor of ((-5006955)/1082)/(1/(-2))?
True
Let x(y) = -21*y**2 + 2*y - 5. Let c(h) = 43*h**2 - 3*h + 11. Let k(v) = -3*c(v) - 7*x(v). Let z(w) = -5*w - 18. Let d be z(-4). Is k(d) a multiple of 16?
True
Suppose -10741 + 409 = -28*r. Is r a multiple of 9?
True
Suppose 0 = -m + 5*m + 2*c + 62, 0 = -2*m - 4*c - 34. Let k be 108/30 - (-9)/m. Suppose 0 = -z - j + 87, 5*z - 443 = -k*j + 2*j. Does 22 divide z?
False
Let h = 276 - 78. Does 5 divide (-19)/((-57)/h) - 0?
False
Suppose 0 = 2*n + 2, n + 3*n - 1016 = -5*v. Let d be (2 + -3 - 1)*-1. Suppose 2*t - 286 = a, d*a + v = 5*t - 513. Is 29 a factor of t?
True
Let i = -3 - -8. Suppose -i*t + 959 = 9. Is t + 2 + (-4 - -3) a multiple of 28?
False
Let n(z) = z**2 + 7*z + 1. Let x be n(-8). Let l(y) = 25*y - 19. Is l(x) a multiple of 10?
False
Let g(p) be the third derivative of p**5/5 + 3*p**4/4 + 7*p**3/3 - 124*p**2 - 1. Is 18 a factor of g(-10)?
False
Let v(d) = 3*d**3 + 9*d**2 + 2*d + 24. Let u(m) = -12*m**3 - 37*m**2 - 8*m - 97. Let r(l) = -2*u(l) - 9*v(l). Is r(-5) a multiple of 14?
False
Let d be 1/(-3) + (-374)/(-33). Let c(n) = -n**2 + 15*n + 19. Let s be c(d). Suppose 0 = 7*y - 4*y - s. Is y a multiple of 3?
True
Suppose -37*a + 4*m - 30531 = -40*a, -30567 = -3*a 