 - 15*y + 9. Is 14 a factor of l(j)?
False
Let h = -183 - -185. Suppose h*m = 237 - 199. Does 19 divide m?
True
Suppose 2*z - 1081 = q, 0 = -3*z + 4*z + 3*q - 551. Suppose 1042 = 3*i - z. Does 24 divide i?
True
Let c(k) = k**2 + 2*k - 4. Let g be c(2). Let y = 105 - 96. Suppose -4*l = 3*b - 239, -g*l + y*l = -b + 285. Is 10 a factor of l?
False
Let o = -106 + 109. Suppose 2*y = -5*t + 1585 - 1, 4*y - o*t = 3168. Does 22 divide y?
True
Let u(r) = -r**3 + r**2 - r + 22 + 10*r + 19 + 4*r. Does 42 divide u(-5)?
True
Let o = 7565 + 92. Does 19 divide o?
True
Let j be 9*(-4)/(-6)*-6. Is (j/10)/(51/(-18530)) a multiple of 12?
True
Let n(d) = -d**3 + 24*d**2 + 625*d + 7. Is n(31) a multiple of 62?
False
Let w(b) be the third derivative of -119*b**5/60 + b**4/12 - 17*b**3/6 + 32*b**2. Let i(u) be the first derivative of w(u). Is 20 a factor of i(-1)?
True
Let j = -15950 - -18960. Is 35 a factor of j?
True
Let b(m) = 44*m + 2673. Is b(-27) a multiple of 5?
True
Let y be (55/10 - 5)*-24. Is 13093/19 + y/114 a multiple of 13?
True
Suppose 0 = 7*c - 4 - 24. Suppose -2*y + c*p + 600 = 0, -6*y + 4*p = -y - 1500. Does 30 divide y?
True
Let x(q) = -529*q**3 - 8*q**2 - 39*q - 140. Is 152 a factor of x(-4)?
True
Let n(y) = 6*y + 130. Let v be n(-28). Let t(z) = -z**2 - 41*z + 156. Is t(v) a multiple of 6?
True
Let h(j) = j**3 - 5*j**2 - 12*j - 10. Let q be h(7). Is 16 a factor of (7929/12)/3 + (-1)/q?
False
Let n(m) = -m**3 + 6*m**2 - 3*m - 10. Let t be n(6). Let v = t + 35. Suppose 1217 - 97 = v*k. Is 27 a factor of k?
False
Suppose 1733 + 1579 = 6*f. Is 3 a factor of f?
True
Let i(w) = -w**3 + 7*w**2 - 5*w - 1. Let c be i(1). Suppose -3*g + 4*q + 2117 = c, 29 - 17 = 3*q. Is 57 a factor of g?
False
Suppose -l = -172*k + 173*k - 31436, -84 = 12*k. Does 83 divide l?
False
Let v be (-4)/14 + (-3572)/(-7). Suppose 7*k = 2*k - 3*m + 13, 4*m = 4. Suppose -2*h - v = -3*p, -4*p + 5*h + 681 = k*h. Is p a multiple of 21?
True
Suppose 13*y - 11294 = 12*y - 2*b, -3*y - b = -33897. Is 112 a factor of y?
False
Let p = -334 + 357. Let r(f) = -2*f**3 + 40*f**2 + f**3 + 16 - 18*f**2 + 23*f. Is r(p) a multiple of 6?
False
Let t(j) = 4*j**2 + j - 1104. Does 91 divide t(60)?
False
Let w(a) = 29*a**2 - 31*a + 2. Is w(7) a multiple of 9?
True
Let j(r) = 8 + r + 16*r**2 - r**3 - 15*r**2 - 7*r**2. Let z be j(-6). Is 15 a factor of 26 + 8 - 8/z?
True
Let a = 13723 + -3971. Does 94 divide a?
False
Let h(s) = 21*s + 65. Let v be h(-3). Let z(a) = 23*a**2 + 3*a + 7. Let b(j) = 34*j**2 + 5*j + 10. Let w(u) = -5*b(u) + 8*z(u). Is w(v) a multiple of 14?
False
Let p be 27/6 + 2 - (-16)/32. Is 22 a factor of 32*(p + 54/(-24))?
False
Suppose 4*o + 2*a - 175476 = 0, 54*o + 43879 = 55*o - 2*a. Does 19 divide o?
True
Let j be (-188)/(-6) - (-224)/(-168). Let p be 1/(3/(-96)) + 2. Let h = j - p. Does 5 divide h?
True
Let g(y) = -413*y - 3059. Is g(-20) a multiple of 29?
False
Suppose 517 + 1265 = 18*c. Suppose -c - 139 = -o. Does 68 divide o?
False
Let f = 3549 - 2531. Is 13 a factor of f?
False
Let o(w) = -2*w + 38. Let u be o(17). Suppose -5*c = -3*b + 34, -u*b + 3*c = -0*b - 60. Is (b/15)/(2/((-120)/(-9))) a multiple of 3?
False
Suppose 14523 = 129*n - 26*n. Is n a multiple of 30?
False
Suppose 20 = 5*d, 204*k = 201*k + 4*d - 7. Let j(r) = 43*r - 8. Let y(q) = -87*q + 16. Let h(l) = 5*j(l) + 2*y(l). Is 10 a factor of h(k)?
False
Suppose 11*j - 432 = 3*j. Let o be 1*((-1)/(-3))/(2/j). Let g(x) = x**2 - 5*x + 15. Does 8 divide g(o)?
False
Suppose -30*q + 35*q - 15 = 0. Suppose 37*s - 38*s = q. Is s - ((-18)/1 + 1) a multiple of 7?
True
Let o(v) = -4*v + 33*v + v**3 - 28*v**2 - 50 - 21*v. Does 58 divide o(28)?
True
Let d = 194 + -263. Let a = d - -129. Is 10 a factor of a?
True
Let t(n) = -20*n**2 + 3*n + 6. Let i be t(-2). Let s = -76 - i. Suppose s*r + 43 = 331. Is r a multiple of 6?
True
Is -19 + 19 + (3 + 1 + -3 - -5309) a multiple of 9?
True
Let h be (-430)/(-9) - (-50)/225. Suppose 0 = 8*x - x - 14. Is 40 a factor of -60*(h/(-9) + x)?
True
Let r = -2777 - -3362. Does 6 divide r?
False
Suppose -5*q + 2*n = -9770, 136*n + 1954 = q + 140*n. Is q a multiple of 17?
False
Let t(k) = 11*k**2 + 17. Let c be t(14). Suppose 5*j = c - 618. Is 25 a factor of j?
False
Let l(c) = c**2 - 9*c + 11. Let p be l(10). Does 24 divide 6/p + (-4672)/(-14) + 2?
True
Let r(f) = -43*f**3 + 20*f**2 + 100*f - 20. Is r(-4) a multiple of 17?
True
Let g(r) = -2*r**3 + 129*r**2 + 67*r + 201. Does 101 divide g(64)?
True
Let h(l) = -7*l + 1. Let y(g) = -140*g + 144. Let v(s) = 5*h(s) - y(s). Does 103 divide v(18)?
True
Let j be -5*((-2608)/10)/((-74)/(-259)). Suppose -j = 13*q - 20*q. Is 5 a factor of q?
False
Suppose -11*y + 380 = -15*y. Let q = y + 13. Let c = -45 - q. Is c a multiple of 26?
False
Suppose 0 = -678*j + 650*j + 135408. Does 22 divide j?
False
Let i = -11245 + 26461. Is 112 a factor of i?
False
Let j(t) = t + t + 151 + 2*t - 11*t - 95. Let c = -8 - -2. Is 14 a factor of j(c)?
True
Let z = -17 - -12. Let d = -637 - -645. Is 26/d + z/20 a multiple of 3?
True
Let j(m) = 2*m**2 - 23*m + 11. Let q be j(11). Suppose 0 = p - 3*o - 324, 2*p = -q*o + 3*o + 648. Is 9 a factor of p?
True
Let d = 4387 - 2518. Is d a multiple of 7?
True
Suppose 0 = -4*r - 21 + 25, 661 = 2*j + r. Is 2 a factor of j?
True
Let g = 14614 + -13525. Does 11 divide g?
True
Let y(o) = -6*o**3 - 2*o**2 - 2*o + 18. Let c(q) = q**3 + q - 1. Let z(p) = -3*c(p) + y(p). Does 39 divide z(-4)?
True
Let x(n) = 3*n**2 + 8*n + 22. Let s(c) = 7*c**2 + 15*c + 44. Suppose -2 = 2*y - w, -4*y - y = 3*w + 16. Let j(l) = y*s(l) + 5*x(l). Is j(-10) a multiple of 22?
True
Let v(h) = -12 - 6*h + h - h + 0*h**2 + h**2. Let y be 3 + 2 - (-8 - -4). Is v(y) a multiple of 15?
True
Suppose -z = -3*x - 14, 7*z = 2*z - x + 6. Suppose -87 = -f - 3*t, -f = z*t - 10 - 78. Suppose -2*r = -2*y - f, 5*r = 2*r + 2*y + 130. Does 17 divide r?
False
Suppose -3*a - 86 = -3*l + 121, -4*a = 20. Suppose -20*p + l*p = 9152. Is p a multiple of 4?
True
Suppose -2*g = 5*n, -g = 3*n + 2*n. Let o(l) = l**3 + l**2 + 2. Let c be o(g). Does 8 divide ((-136)/12 + c)*-6?
True
Suppose 0 = f + 4*f + 2*g - 101678, 5*g + 40677 = 2*f. Does 248 divide f?
True
Let z be (-579)/(-30)*68 + 18/30. Let k = z + -505. Is k a multiple of 18?
False
Is (0 - 969218/(-20)) + (1379/(-70))/(-197) a multiple of 23?
True
Suppose 12 = -2*q + 2*c, -4*q + 3*c + 12 = -7*q. Let w(k) = -k**3 - 4*k**2 + 10*k + 18. Let g be w(q). Let f(n) = -19*n - 2. Is 23 a factor of f(g)?
False
Let c(i) = -4*i**2 - i + 827. Let h be c(0). Let t = -268 + h. Is t a multiple of 43?
True
Suppose -91*f + 96*f = 1775. Suppose -5*q - 4*g - 913 = 104, 2*q + 404 = -3*g. Let m = f + q. Is m a multiple of 25?
True
Let t be 7/((-105)/(-15140)) - 4/12. Let g = t + -669. Is g a multiple of 4?
True
Let m(j) = 2*j**2 - 19*j - 2. Let y be m(10). Let b(s) = 49*s**2 - y*s + 4 - 15*s**2 - 23*s**2. Is b(4) a multiple of 13?
False
Suppose 847 = -2*t + 3891. Is 23 a factor of t?
False
Does 35 divide -3*(766/(-7) - (-51)/119)?
False
Is (2 - 4688/(-6))/(((-2686)/408)/(-79)) a multiple of 188?
True
Let y(t) = 19*t**2 - 29*t + 4. Let a be 49 + -36 - 9*1. Is 6 a factor of y(a)?
True
Suppose -77878 + 28371 = -31*y. Is y a multiple of 3?
False
Let d be ((-6)/(-5) - 2)/(16/(-2880)). Let n = 307 - d. Does 19 divide n?
False
Suppose -3*z + 12 = -3*g, 5 = -4*g - 5*z + 25. Let b(h) = h**3 - 2*h**2 + 2*h + 22. Is b(g) a multiple of 11?
True
Suppose -184*g - 534983 + 1668575 = 133*g. Is 8 a factor of g?
True
Let a(m) = 1102*m - 69. Let b be a(7). Suppose 0 = 17*k - b - 9185. Is k a multiple of 31?
False
Is 8 a factor of (-4312)/2*(-22 + -10 - -30)?
True
Let f = -348 - -348. Suppose f = 11*r - 2*r - 1656. Does 3 divide r?
False
Let v be (42/(-35))/((-1)/(6680/12)). Let y = v + -397. Is y a multiple of 7?
False
Is 53216/12 - -3 - 14/(-42) a multiple of 7?
True
Let b(k) = -k**2 - 6*k + 9. Let g be b(-7). Suppose g*s + 60 = 14*s. Suppose 0*r - j - 243 = -2*r, -s*r + 3*j + 609 = 0. Is r a multiple of 8?
True
Is (-246)/5*(-80 - 520) a multiple of 72?
True
Let d = 7163 - 1924. Suppose 9*c + 1261 - d = 0. Does 34 divide c?
True
Is 11 a factor of ((-900)/(-16))/(-16 - (-63762)/3984)?
False
Suppose 0 = 2*a - 3*t - 1252, 4*a - 2941 + 427 = t. Does 2 divide a?
False
Is -21*4734/(-42) + 3