e
Let v(w) = 6*w**2 + 26 + 4*w + 6*w - 4*w - 8*w. Is v(5) a multiple of 16?
False
Let f(v) = 7*v + 7. Let o be f(11). Let u = -105 - -109. Suppose 0 = -u*q - 2*q + o. Is q a multiple of 14?
True
Let u = -19992 - -61541. Is u a multiple of 15?
False
Suppose 12 = -16*s + 14*s, -s = 2*b - 12636. Does 41 divide b?
False
Suppose 10*p - 6*p = 3*n - 1758, -2*p + 2*n = 878. Let y = 567 + p. Does 5 divide y?
False
Let d(w) = 107*w**2 + 7*w + 4. Let b be d(-1). Suppose 0 = 3*f + 2*c - b - 3103, -3198 = -3*f + c. Is 107 a factor of f?
False
Let c(m) = m**3 - 6*m**2 + 6*m - 5. Let g be c(5). Let b(q) = -10*q**2 - 76*q - 31. Let f be b(-7). Suppose 11*d - 187 - f = g. Is d a multiple of 9?
True
Suppose -2*m = -9*m + 28. Suppose 5 = -3*r + 5*f, m*r + 2*f = f + 1. Suppose 3*y = i - 30, r*i + 5*y + 106 = 3*i. Is 18 a factor of i?
False
Suppose 5*c = a - 17, 3*c + c + 5*a + 2 = 0. Let i = 16 + -1. Let t = i + c. Is 3 a factor of t?
True
Suppose 17*a - 56070 = 12*a - 3*n, 2*a - 4*n - 22428 = 0. Is a a multiple of 126?
True
Let f = 66 + -10. Let t = f + -46. Does 26 divide t*((-100)/6)/((-44)/33)?
False
Let z be (-1)/(-3) + 0 + (-154)/(-42). Suppose c - 5*l - 1 = 14, -12 = 3*c + z*l. Suppose c*a - a + 65 = 5*u, 0 = -2*a - 2*u + 122. Is a a multiple of 12?
True
Let w = 791 + -519. Let d = w - -168. Does 88 divide d?
True
Let n(s) = -7*s - 2. Let u be n(-1). Suppose u*h = 9*h + 28. Let k = 76 + h. Is 8 a factor of k?
False
Suppose 2*s = 143 + 9. Suppose -20*l + 18*l = -2*u + s, -5*u + 2*l + 193 = 0. Is 13 a factor of u?
True
Let g(h) be the first derivative of -3*h**2 + 6*h + 5. Let u be g(-4). Is 33 a factor of 880/u*3*3?
True
Does 20 divide 28/(-98) + (-77412)/(-21)?
False
Let a be (-2)/(-4) - 459/(-6). Let n = 88 - a. Suppose -639 = -n*w + 2*w. Is w a multiple of 6?
False
Suppose -3*s = -4*s + 319. Let d be (6/(-8))/((-1005)/(-60) + -17). Suppose -433 = -4*m - c, d*m - 4*c = c + s. Is m a multiple of 36?
True
Let h be 20/(-15) + 5/((-105)/(-137914)). Suppose -h = 26*k - 33*k. Does 40 divide k?
False
Suppose -19*d + 15*d + 16 = 0. Suppose 4085 = 5*o - 5*t, -4*o = d*t - 0*t - 3260. Is 9 a factor of o/15 + (-2)/5?
True
Suppose -f = 5*n - 3*f + 21, -3*f = -3*n - 9. Let b(d) = 2. Let x(z) = -z**2 - z - 5. Let q(u) = -7*b(u) - 2*x(u). Is q(n) a multiple of 12?
True
Let b = 5 + -15. Let y = 8 + b. Is (y - 234)*(12/(-3))/8 a multiple of 11?
False
Suppose -5*l - 4*f + 50 = -f, 4*f - 34 = -2*l. Suppose -l*r = -10*r + 537. Suppose -388 = -7*p + r. Is 9 a factor of p?
True
Let c(z) = 7*z**2 + 5*z + 7. Let o(a) = 4*a**2 + a + 12. Let m(g) = -g**2 - 4. Let y(r) = 8*m(r) + 3*o(r). Let k(h) = 6*c(h) - 10*y(h). Is 8 a factor of k(-5)?
False
Suppose -162*i + 150*i + 15192 = 0. Does 43 divide i?
False
Suppose 5*d + 3*x = 12, 0 = d + x + 1 - 3. Let t be (-4)/10 + d/(-10)*-8. Suppose -3*l + 331 = -m, 103 = l - 2*m - t*m. Is l a multiple of 24?
False
Suppose -3*i = -4*q + 93, -44 - 4 = 2*i + 2*q. Let g be i/6*(-4 + (-56)/(-12)). Is 52 - ((-1)/g)/(5/60) a multiple of 16?
True
Let j be 5100 - (0 - 3/(2 - 5)). Suppose -14*o = -j - 8019. Does 33 divide o?
False
Suppose 2 = 3*r + n, -r - 4*n + 0 = 14. Let w(q) = -q**3 + 0*q + 4*q**2 - r*q + 6*q + 2 + 0*q. Is w(-2) a multiple of 3?
True
Suppose 2*w = -4*g - 18, -2*g - 11 = 2*w + 1. Let a be (-18)/(-5 - g - 0). Suppose a*f - 7*f = 56. Does 7 divide f?
True
Let s(j) = -5*j**2 - 26. Let v be s(-6). Let t = 413 + v. Let l = t - 30. Is l a multiple of 18?
False
Suppose 26022*n + 276492 = 26034*n. Is n a multiple of 9?
False
Let i be 30/45*(-399)/(-2). Suppose 2341 = 5*x + 3*t + i, 16 = -4*t. Does 5 divide x?
False
Let m = 7191 + 17705. Is m a multiple of 105?
False
Suppose 5*y - 2573 = -778. Is 33 a factor of y + 3/(-3) - (-10 - -5)?
True
Let k(z) = 3*z + 16. Let r be k(-4). Suppose g - r*c = -6, -2*c + 43 - 7 = -2*g. Is 92*(g/(-8) - 3)*-2 a multiple of 17?
False
Suppose -3625 = -x - 3*u, 0 = 6*x - 8*x - 5*u + 7247. Does 8 divide x?
True
Let x(i) = 327*i - 573. Let d(o) = 163*o - 286. Let h(z) = -7*d(z) + 3*x(z). Does 35 divide h(-10)?
False
Let j = 31 - 36. Is 88 a factor of 6620/j*(-4 + 3) + -4?
True
Let n(w) be the second derivative of w**7/420 - 7*w**6/360 + w**5/20 - 5*w**4/24 - w**3/3 + 6*w. Let i(q) be the second derivative of n(q). Does 25 divide i(5)?
True
Let j be 1/2 + (50397/(-2))/(-3). Is 6 a factor of 2/(-18) + j/270?
False
Let y(f) = 77*f**2 + 35*f - 184. Is 54 a factor of y(7)?
True
Does 74 divide (10/4)/(100/503400)?
False
Suppose 0 = m - 1, -71*w - m + 121 = -74*w. Let n be 9/(-6)*-1*-24. Let o = n - w. Does 2 divide o?
True
Let p = 164 - 185. Let k(z) = -3*z**2 - 114*z - 6. Is k(p) a multiple of 22?
False
Let h(y) be the second derivative of 103*y**3/3 - 5*y**2 + 173*y - 1. Let q = -20 + 21. Is 14 a factor of h(q)?
True
Let k(h) = -h**2 + 4*h + 9. Let u be k(5). Suppose -x - 2 = -u. Does 7 divide ((-120)/16)/(x + 118/(-56))?
True
Let d(v) = -3*v**3 + 30*v**2 + 6*v + 11. Let a(p) = 4*p**3 - 44*p**2 - 9*p - 17. Let m(b) = 5*a(b) + 7*d(b). Does 2 divide m(-10)?
True
Let d(x) = -255*x + 1108. Does 27 divide d(-28)?
False
Suppose -522*x + 518*x = -16. Suppose -2*f - 9*i + 723 = -x*i, -f + 3*i + 345 = 0. Is 5 a factor of f?
False
Is 77 a factor of ((-9576)/(-16))/21*6528/18?
False
Suppose -81*w + 101*w = 18940. Let r = 42 + w. Is 20 a factor of r?
False
Let k(r) = r**3 + 8*r**2 + 5*r - 11. Let z be k(-7). Suppose 3*m = -v + 1266, -9*v = -z*m - 5*v + 1266. Is m a multiple of 14?
False
Let s(u) = -101*u + 12. Let b be s(-5). Suppose 5 - b = -4*a. Suppose j - 5*j + 108 = t, a = 4*j - 4*t. Is j a multiple of 14?
True
Let l = 267 - 265. Suppose -l*u + 3*f + 514 = -433, -u - 3*f = -451. Is 11 a factor of u?
False
Suppose -6019 = -q + 8*j - 6*j, -5*q = -2*j - 30111. Does 92 divide q?
False
Suppose 18*g - 255 = 48507. Is 43 a factor of g?
True
Let i(k) = 3*k**2 - 2*k - 1. Suppose -3*u - 5*d = -0*u - 26, 0 = 4*u + 5*d - 33. Is 12 a factor of i(u)?
True
Let k(r) = r + 5. Let q be k(13). Is (0/(-7) - q)*-40 a multiple of 90?
True
Suppose -2*n + 74*n = 47160. Is n a multiple of 5?
True
Let o(b) = b**2 - 7*b + 8. Let r be o(7). Suppose 0 = 10*h - r*h - 464. Is 9 a factor of h?
False
Suppose 7*w - 584 = 3665. Let s = w + -7. Is s a multiple of 50?
True
Suppose 4*r = -2*b + 50, r - 4*b = 9 + 26. Suppose 10*o + r = 15*o. Is (0 - o)/((-4)/(-336)*-2) a multiple of 14?
True
Let z = -316 - -72. Let w = z - -772. Does 24 divide w?
True
Suppose 42*n - 3*p = 38*n - 329, 5*n + 391 = -3*p. Does 29 divide (-57984)/n - (1 + 6/(-5))?
True
Let q(s) = -7*s**2 + 34*s**2 + 4*s - 3*s + 2 + 0*s**2. Let t be (-110)/(-30) - 10/6. Is 19 a factor of q(t)?
False
Let u(w) = -40565*w - 555. Does 61 divide u(-1)?
False
Suppose 0 = 87*x - 2565649 + 23857. Does 32 divide x?
True
Let j(t) be the first derivative of 50*t**3/3 + 5*t**2/2 - t - 15. Let m be j(-5). Is 11 a factor of (-5)/((-105)/m) - 4/14?
False
Suppose 0 = -3*m - 2*d + 1644, 3*m - 3*d - 1635 = -2*d. Suppose 56*p + m = 63*p. Does 14 divide p?
False
Let m be -6 + 1 + 2 - -84. Let z be (-1)/4 + 51/12. Suppose -79 = -z*h + m. Is h a multiple of 8?
True
Is (-123483)/(-4) - (-3060)/1360 a multiple of 41?
True
Let t(n) = 2*n**2 - n - 13. Let p = -25 - -38. Suppose -7 = -4*d + p. Is t(d) a multiple of 8?
True
Suppose -3*k + 18 - 9 = 0. Suppose k*b + 31 = -4*o - 0*b, -2*b = 4*o + 26. Is 45 a factor of (90/o)/(-1*(-1)/(-10))?
True
Suppose 1 = 8*d - 31. Is (-3 + d - 9)*-1*4 a multiple of 32?
True
Suppose -3133 - 2619 = -8*d. Is d a multiple of 5?
False
Let f be (0 + -3 - -17)/((-2)/(-14)). Let u be 470/9 + -1 - f/441. Is 16 a factor of (u/4)/(6/32)?
False
Let b(o) be the third derivative of -3*o**4/4 - 7*o**3/3 + o**2 + 61*o. Does 2 divide b(-12)?
True
Let z(u) = 135*u - 130. Is z(13) a multiple of 25?
True
Let p be (394 - 4)/((-1)/(20/(-15))). Let z = p - 179. Does 30 divide z?
False
Let b be 3 + (2 + -6)/(-2). Let w = 90 - 87. Suppose w*c = b*c - 48. Is c a multiple of 5?
False
Let w = -33 + 44. Suppose 144 = -n - w*n. Let f(p) = -7*p - 21. Is f(n) a multiple of 8?
False
Let u(l) = 1653*l**2 - 183*l + 560. Is u(3) a multiple of 50?
False
Let w = -163 - 138. Does 11 divide ((-22)/4)/(-2 + w/(-154))?
True
Suppose -457*r = -276*r - 645265. Does 5 divide r?
True
Let a(f) = f + 20. Let g be a(14). Suppose 3*j - l = l - 