 + 8. Does 48 divide z(b)?
True
Let z be 60/16 + (-40)/(-32). Suppose -3*s = 4*c - 744, -11*c + z*s = -13*c + 358. Is 21 a factor of c?
True
Suppose 7665 + 5315 = 11*k. Let a = -715 + k. Is 33 a factor of a?
False
Suppose -4*h = -3*g + 16, -g + 18 = -h + 6*h. Suppose 7*q + g*q + 1170 = 0. Let d = 90 + q. Is d a multiple of 3?
True
Suppose 0 = 5*u + 8 + 2, 5*x + 2*u - 11 = 0. Does 14 divide 94 + 1*(x - (-1)/1)?
True
Does 15 divide 0 + -4 + 2 - (-42 - 2758)?
False
Suppose -8 = -3*y + 4. Suppose 5*u - y - 6 = 0. Is (1 + (-45)/(-2))*u a multiple of 46?
False
Suppose 5*n = -3*l + 166599, -2*l - 399902 = -30*n + 18*n. Does 12 divide n?
True
Let x = -293 - -558. Let q = 289 - x. Is q a multiple of 3?
True
Let f be (-3)/4 + 5 + 10773/12. Suppose 0 = 11*i - f - 6391. Is 64 a factor of i?
False
Is 28 a factor of (-9)/(-6) - (26 - 13 - (-71148)/(-8))?
False
Let m = 123931 - 66283. Is 34 a factor of m?
False
Let k = -432 - -437. Suppose -3*g - 3*v = 2*g - 2076, 3*g - k*v - 1232 = 0. Is 68 a factor of g?
False
Let s = -1023 + 2816. Suppose 11*b - 506 - s = 0. Is 62 a factor of b?
False
Does 11 divide 5/(-15)*15*-204 - -3?
True
Suppose 2*d = 12*d - 1300. Is 4 a factor of 1126/8 - (4 - d/40)?
True
Suppose -37*l + 7974 = -27768. Does 4 divide l?
False
Let z(o) = -o**2 + 7*o + 40. Let k be z(0). Let i = -2 - k. Let p = i + 67. Is 7 a factor of p?
False
Suppose 3*u - 6*u = -0*u. Suppose -5*t + 15*t - 1060 = u. Suppose h - 5*f = -4*h + 260, -t = -2*h + 3*f. Is h a multiple of 10?
True
Suppose 34*w + 41982 - 848340 - 432806 = 0. Is w a multiple of 58?
False
Let q(u) = 579*u**2 + 8*u + 78. Is 16 a factor of q(4)?
False
Let k = -21 - -21. Suppose k = 6*u + 2*u + 8. Let b = u + 89. Is 14 a factor of b?
False
Let o(p) = 5*p**2 - 47*p - 27. Let t(y) = -4*y**2 + 47*y + 30. Let c(i) = 5*o(i) + 4*t(i). Is 40 a factor of c(11)?
False
Suppose 2*v = 712 - 142. Let m(j) = -j**3 - 52*j**2 + 5*j + 293. Let y be m(-52). Suppose v = 3*i + y. Is 12 a factor of i?
True
Suppose 43*w - 39*w - 16 = -4*o, 3*o + w = 12. Is o/(-24) + 4 + 2001/18 a multiple of 12?
False
Suppose 2*t + 26130 = 4*z, 5*z - 15*t = -6*t + 32682. Does 108 divide z?
False
Suppose -70*z + 74*z - 4 = 0. Let h be 2 + 4 + z + 3. Suppose -17 = -2*m - v, -5*v + 50 = 5*m - h*v. Does 4 divide m?
False
Suppose 2*j = -2*j + 32. Let x be (-148)/(-1) + (2 - 4). Suppose -j*f - 2 = -x. Is 8 a factor of f?
False
Let p(j) = -7*j - 42. Let b(u) = u**3 - u**2 - 1. Let n(a) = -5*b(a) + p(a). Is 17 a factor of n(-5)?
True
Let q = 23094 - 2807. Does 7 divide q?
False
Let k be ((-9)/6 - (-11)/(-2))*-200. Suppose k = -124*c + 131*c. Does 25 divide c?
True
Let c(h) = 14*h - 5. Let m be 4/(((-66)/(-55))/(18/20)). Is c(m) a multiple of 24?
False
Suppose 5*c = -5*n + 231 + 1814, -2065 = -5*n - c. Suppose -954 - n = -8*q. Does 57 divide q?
True
Let u be 56/(-10)*15/6. Let w(q) = -q**2 - 28*q - 14. Is w(u) a multiple of 9?
False
Is 1185/2*36/75*3430/147 a multiple of 14?
True
Let g(x) = 3*x**3 - 6 + 0*x - 2 + 6*x - 34*x**2 + 2*x. Let y(i) = -i**3 + 11*i**2 - 3*i + 3. Let w(o) = -2*g(o) - 7*y(o). Does 10 divide w(9)?
True
Suppose 216*p + 211*p + 921330 = 445*p. Is p a multiple of 353?
True
Let n(f) be the third derivative of -7*f**4/8 - 7*f**3/3 - 8*f**2. Suppose 27*g - 22*g = -35. Is 19 a factor of n(g)?
True
Let s(g) = -g**3 + 2*g**2 + g - 4*g**2 - 2 + 5*g**2 - 1. Let w be s(3). Is (w - 1)/(-3 - 86/(-29)) a multiple of 5?
False
Suppose -2*r + 21 = -3*j - 33, 5*r = -15. Let z be 180/8*32/j. Is 19 a factor of 18/(-8)*(-3)/(z/(-352))?
False
Let j(c) = 2171*c**3 + 2*c**2 + 140*c - 275. Is j(2) a multiple of 91?
True
Let h be (-1 - (-124)/1)*20/(-20). Let b = 245 - h. Does 80 divide b?
False
Let h(t) be the second derivative of -t**5/20 - 5*t**4/3 - 20*t**3/3 + 13*t**2/2 - 37*t + 3. Is 6 a factor of h(-20)?
False
Is 10 a factor of 101/((23/(-414))/((-2)/18))?
False
Let h = -328 - -926. Is 23 a factor of (h/(-52))/(2/(-76))?
True
Let t = 4350 + -3373. Is t a multiple of 7?
False
Let o(c) = -25*c + 24. Let n be 0 + 4/(-28) - 688/(-14). Let t = n + -53. Does 31 divide o(t)?
True
Let k = -57 + -12. Let h = 507 - k. Is 9 a factor of h?
True
Is 54 a factor of -12*8/(256/(-30384))?
True
Is 13 a factor of (9 + -5)/44 - (-838544)/88?
True
Does 28 divide 15888/(-40)*(-1890)/81?
True
Let u(k) be the first derivative of -83*k**4 + 2*k**3/3 + k**2 + 45. Is 17 a factor of u(-1)?
False
Let m be -5 - 66/(-14) - (-46)/14. Suppose m = 3*r - 6. Is -4 - -4 - (-150)/2 - r a multiple of 13?
False
Suppose 8*m - 2198 - 4858 = 0. Does 3 divide m?
True
Let l = 10132 - 481. Is l a multiple of 22?
False
Let l = 4666 + -1376. Does 18 divide l?
False
Suppose 0 = 292*o - 300*o + 42376. Is o a multiple of 12?
False
Suppose -17*n = -6 - 45. Suppose -n*h + 2*w = 3*w - 182, -h = -2*w - 70. Does 31 divide h?
True
Suppose -3*m + 216764 = -2*p, -423841 = 3*p + 4*m - 98695. Does 64 divide 2/(-9) + p/(-423)?
True
Suppose 4*m - 2*o = 2866, -1891 - 1699 = -5*m + 5*o. Suppose 2275 - m = 5*h. Does 52 divide h?
True
Let u(n) = 172*n**2 - 6*n + 1. Let p be u(-5). Suppose 0 = 9*j + 1838 - p. Does 10 divide j?
False
Let m(g) = -g + 10. Let c be m(6). Suppose 2*l - 1361 = -f - 206, c*f - 4628 = -4*l. Is f a multiple of 19?
True
Let c = -326 + 326. Suppose -16*u + 8770 + 382 = c. Does 11 divide u?
True
Let i(q) = 3*q + 2. Suppose 0 = -50*a + 52*a. Let v be i(a). Suppose m + 3 = 0, 0 = -2*t + v*m - 3*m + 19. Is 3 a factor of t?
False
Suppose -3063 = -5*x + 43137. Suppose 72*w - x = 50*w. Is 12 a factor of w?
True
Suppose -40*x + 57782 + 614058 = 0. Is 76 a factor of x?
True
Suppose 12*o + 3437 + 2743 = 0. Let d = -40 - o. Is d a multiple of 57?
False
Suppose -290*d = -343*d + 2118675. Does 13 divide d?
True
Let p = 341 - 316. Suppose -p*z + 16085 + 10990 = 0. Is z a multiple of 21?
False
Suppose -a = m - 10578, 12*m - 5*a + 31724 = 15*m. Is m a multiple of 16?
False
Let y = 85 - 73. Let l(g) = g**3 - 13*g**2 + 24*g + 41. Does 13 divide l(y)?
False
Let r(i) = 2*i**3 - 101*i**2 - 10*i + 1227. Is r(51) a multiple of 158?
True
Let p(y) = -71*y**3 + 11*y**2 + 20*y + 12. Does 6 divide p(-3)?
True
Let f = -470 - -454. Is (f/(-24))/((-2)/(-162)) a multiple of 54?
True
Let h be -3*((-2)/2)/1. Suppose -2*l = -2*x + x - 302, 5*x - 4*l + 1540 = 0. Is h/(8/(x/(-9))) a multiple of 13?
True
Let w(m) = -34 + 21 + 31 - 173*m. Is 26 a factor of w(-2)?
True
Let x(s) = s**2 - 626*s + 5063. Is 11 a factor of x(8)?
False
Let u(m) = m**2 - 3. Let l be u(-3). Let n(b) = -8*b**3 - b**2 - 11*b - 16. Let k be n(-3). Suppose 0 = l*j - 694 - k. Is j a multiple of 9?
True
Suppose -9*d + 2*q + 160139 = 0, 2*d - 7*d = 5*q - 88960. Is d a multiple of 131?
False
Let a(b) = 41*b**3 + 8*b + 33*b**3 - 78*b**3 + 6*b**2. Is 23 a factor of a(-3)?
True
Suppose -22*r + 27*r - 155671 = 3*g, -5*r - 3*g = -155659. Does 11 divide r?
False
Let i be (-5)/((-5)/(-4))*(-12)/16. Suppose 2*f = w + 464, 4*f = i*w - 311 + 1243. Is 23 a factor of f?
True
Let a = 741 + -737. Let k = -3 + 29. Is 10 a factor of 9988/143 + a/k?
True
Suppose -1575*l = -1579*l + 4*z + 30140, 2*z = 14. Is l a multiple of 9?
True
Let y(d) = -d**2 + 40*d - 45. Suppose 0 = 23*p - 28*p + 90. Is 43 a factor of y(p)?
False
Let i = 28915 + -16855. Is i a multiple of 67?
True
Let f(t) = 14*t + 3*t**2 + 2*t + 21*t - 67. Does 16 divide f(-17)?
False
Let k = 8567 + -4539. Is 38 a factor of k?
True
Let y(l) = -5*l + 29. Let j(g) = g. Let t(q) = j(q) - y(q). Let a = 14509 + -14500. Does 2 divide t(a)?
False
Let i(w) = -3*w + 20. Let x be i(6). Let z be x/5 + 46/10. Suppose 3*j - 173 = -4*y, -3*j + 54 = z*y - 163. Does 11 divide y?
True
Let j(d) = -d**3 + 199. Let q be j(0). Suppose k + 48 = 2*s - 201, 3*s - 372 = k. Let v = q - s. Does 24 divide v?
False
Let j = 3131 + 3443. Is j a multiple of 25?
False
Let i be (54/(-12))/(3/24*-6). Let b be (((-464)/i)/2)/(3/(-18)). Is 13 a factor of b/3 - (-16)/24?
True
Suppose 5*l + 3865 = 4*v - 27116, -v - 4*l + 7740 = 0. Is v a multiple of 88?
True
Is 23 a factor of 53958*4/(-18)*(2 + 21/(-6))?
True
Let q = 1618 + 700. Does 6 divide q?
False
Let b = -13 + -19. Let g = -1 - b. Is 24 a factor of g?
False
Is (865/50 + (-5)/2)*(-230)/(-4) a multiple of 4?
False
Let x be (-2)/14 + 424/28. Let q be 80/x - (-2)/(-6). Suppose -233 = -q*b + 87. Is 8