1*y - 13. Is l(-2) a multiple of 6?
False
Suppose 4*k - 70 = -k. Suppose 9*z = k*z - 2820. Suppose -j + 5*j - z = 0. Does 9 divide j?
False
Suppose 0 = 12*f - 30*f + 72. Suppose f*l = -5*g - 0*l + 696, 5*g = 3*l + 668. Is 17 a factor of g?
True
Let s(x) be the second derivative of 0 - 5/2*x**2 - 6*x - 7/3*x**3. Is 4 a factor of s(-5)?
False
Let v = -339 - -550. Let l = v + 9. Is 4 a factor of l?
True
Suppose 251*t = -248*t + 514*t - 867600. Is t a multiple of 120?
True
Suppose -5*b + 110 = 100. Suppose b*j + 2 = 6. Suppose -j - 80 = -2*i. Does 6 divide i?
False
Suppose -16*k + 2*k + 335580 = 37*k. Does 28 divide k?
True
Let r = 346 - 575. Let t = 243 + r. Is 7 a factor of t?
True
Let g = -3300 - -20562. Is 18 a factor of g?
True
Let y = -181 + 2127. Is 28 a factor of y?
False
Let s = -2273 - -3526. Suppose l + s = 3*p - 1556, 3 = -3*l. Is 72 a factor of p?
True
Suppose 3*j + 13*x - 88106 = 8*x, -4*j = -3*x - 117407. Is j a multiple of 5?
False
Let t = -1 + -2. Let o be (-6 - t)/(-1)*1. Suppose -y - 3*y + 4*w + 100 = 0, o*w = -3*y + 75. Is y a multiple of 5?
True
Is (-19 - -16)*1 - (3 + 0)*-1846 a multiple of 6?
False
Let y(u) = -4*u - 1 + 100 + 3*u - 18. Is y(16) a multiple of 5?
True
Suppose -2*u - 12*b + 13*b = -6962, 3*u = 3*b + 10446. Does 30 divide u?
True
Let d = 314 - 79. Let n = d + -218. Does 11 divide n?
False
Let r(v) = -3*v - 7. Let l be r(-5). Let g(i) = -60*i + 21. Let k(c) = -20*c + 7. Let f(b) = -3*g(b) + 8*k(b). Does 26 divide f(l)?
False
Suppose 0 = -u + 6, -f - 2*u = -688 + 91. Is 117 a factor of f?
True
Suppose -5*q - 10 = 0, -m + q + 16 - 2 = 0. Suppose m*v - 1740 = 2*v. Is 14 a factor of v?
False
Let j(g) = 785*g**3 + 19*g**2 - 28*g + 25. Does 149 divide j(3)?
True
Is 2427*6/14 + 14/(-98) a multiple of 16?
True
Let n(w) = -2*w. Let f be n(5). Let j(b) = -b**2 - 11*b - 7. Let c be j(f). Suppose 2*l + 4*d = 72, -c*l - d = 4*d - 106. Is l a multiple of 7?
False
Let i(k) = -k**2 - 48*k + 16. Suppose -6*w + 17*w + 286 = 0. Does 6 divide i(w)?
True
Suppose -2*r + s = -s - 2, 0 = -2*s - 2. Suppose -4*w + 10*w - 792 = r. Is 7 a factor of w?
False
Suppose -2*i + 7452 = 2*t, 5*t = 5*i + 2039 + 16561. Does 142 divide t?
False
Let y(r) be the first derivative of 3*r**4/4 - 4*r**3/3 - 2*r**2 - 5*r - 767. Let d(w) = -2*w. Let p be d(-2). Is y(p) a multiple of 29?
False
Let u(t) = t**2 - t. Let z be u(2). Suppose d - q - 147 = 0, z*d + 5*q - 313 - 2 = 0. Is 3 a factor of d?
True
Let d be 280/45 + (-2)/9. Let j(g) = -6*g - 14. Let r(f) = -f**2 - 1. Let l(x) = j(x) - 6*r(x). Is 43 a factor of l(d)?
True
Let l(z) = 2*z**2 - 10*z + 10. Let x be l(10). Suppose -22 = 3*i - 4, 0 = 4*t - 5*i + 382. Let c = x + t. Is 5 a factor of c?
False
Let r be 0*(-7 - 0 - (-35 - -29)). Suppose r = -3*u + 2*f + 1543, 4*u - 1766 = 4*f + 294. Is u a multiple of 57?
True
Let q be (4/(-6))/((6/1)/(-36)). Suppose h - 1325 = q*z + 558, 0 = -5*h - 3*z + 9530. Is h a multiple of 12?
False
Let j = -13680 - -25944. Is 14 a factor of j?
True
Let x = 7394 - 4956. Suppose -10*g + 4782 = -x. Does 38 divide g?
True
Is (-14 + (-16340)/50)*-5 a multiple of 36?
False
Let p be 452 + 2 + 0/(0 + 1). Suppose -f = 4 - p. Is 18 a factor of f?
True
Let w = 139 + -141. Is (8 - 52)/(1/w) a multiple of 22?
True
Suppose d - 29760 = -253*z + 258*z, 3*d = -2*z + 89365. Is d a multiple of 35?
True
Let l be (-33)/(-21)*190 + (-6)/(-14). Let y be 6/(1 - (-2)/4). Suppose y*b - l = 1. Is 15 a factor of b?
True
Let s = 1024 + -1020. Suppose 20 = -5*p, -102 + 21 = -3*d + 3*p. Suppose -4*m = -4, 4*m - 133 - d = -s*b. Is 19 a factor of b?
True
Let s(z) = 14*z**2 + 9*z + 12. Let v be s(-8). Suppose 0 = 10*u - v - 204. Does 6 divide u?
False
Let q(u) = u**3 - 6*u**2 + 10*u - 27. Let i be q(5). Let t be (i/5)/1 + 39314/110. Let k = -209 + t. Is k a multiple of 16?
False
Suppose u - 1722*l + 1718*l - 792 = 0, u - l - 786 = 0. Does 4 divide u?
True
Is ((-81)/18 - -4)/((-4)/(-422))*-16 a multiple of 52?
False
Let r = 150 + -3. Suppose 3*b = 4*j - r, 2*j + 2*b - 122 = -2*j. Is 2 a factor of j?
False
Let b(d) = 9*d**2 + 6*d - 1. Let l = -11 + 12. Let z be b(l). Suppose 340 = z*u + 60. Is u a multiple of 13?
False
Let x(r) = -3*r**2 + r - 6 + 5*r**2 + 2*r**2. Let a be x(3). Suppose -4*w - a + 181 = 0. Does 17 divide w?
False
Suppose 26*m - 39*m = -32*m + 51129. Does 9 divide m?
True
Let r(k) = -8*k**3 - 2*k**2 - 17*k - 38. Let l be r(-6). Suppose 2*w + 2*w + 8 = 0, -3*g + l = w. Is g a multiple of 41?
True
Suppose 0 = 5*p - 9*p + 3484. Suppose -14335 + p = -24*o. Is 14 a factor of o?
False
Let a be 9/(-3)*-1 + (-16)/(-4). Suppose h - 4*h + 912 = 0. Suppose -3*w - h = -a*w. Does 7 divide w?
False
Let q(r) = 2*r + 3. Let n(d) = 2. Let o(w) = -5*n(w) - q(w). Suppose p + 6 = -9. Does 13 divide o(p)?
False
Let b(z) = z - 35. Let o be b(9). Let u = -14 - o. Suppose -16*g + 240 = -u*g. Does 10 divide g?
True
Let i be (10/6)/(8/240*10). Suppose -i*j + 290 + 80 = -5*g, 0 = -2*j - 4*g + 142. Does 7 divide j?
False
Let s be (-3)/15 - -11*1/5. Suppose -s*v - 5*j - 463 = 0, 3*v + 5*j + 617 = -65. Let k = v - -409. Is k a multiple of 10?
True
Let o(z) = -287*z - 14. Suppose 0 = 3*h - 4*h, 5*n - 2*h + 20 = 0. Does 10 divide o(n)?
False
Let c(g) = g**3 + 16*g**2 + 26*g + 2. Let n = -204 + 190. Does 15 divide c(n)?
True
Is 76 a factor of -1 - ((-2)/10 - 4274544/380)?
True
Suppose 76*s - 80*s + 412 = 0. Let t = -65 + s. Is t a multiple of 18?
False
Let a be (5 + 99/(-15))/(2/(-5)). Suppose -7*o + a*o + 900 = 0. Suppose -h - 231 = -6*m + 2*m, 5*m = 5*h + o. Is m a multiple of 20?
False
Let c = -11642 + 15862. Is c a multiple of 32?
False
Let t = 11 + -3. Let h be (-14)/t*-1 - 1/(-4). Suppose -h*b - 4*g - g + 48 = 0, 5*b = g + 147. Is 4 a factor of b?
False
Is (75/12 - 0)*7128/27 a multiple of 150?
True
Let y(w) = 1170*w**2 - 11*w + 22. Does 90 divide y(2)?
True
Suppose 48*q - 292992 = -8*q. Is q a multiple of 16?
True
Let o(i) = 360*i + 312*i - 765*i + 23. Is 19 a factor of o(-2)?
True
Let u(l) be the third derivative of -2*l**4/3 - 10*l**3/3 - 54*l**2 - 1. Does 50 divide u(-20)?
True
Let n(s) = 95*s**2 + 1150*s - 57. Does 11 divide n(-17)?
False
Suppose -11*j + 130489 - 17431 = 0. Does 19 divide j?
False
Let i(a) = 7*a**2 - 85*a - 710. Is 5 a factor of i(-9)?
False
Let t(r) = 23 - 20*r + 10*r - 19*r - 21*r. Let g be t(-11). Let u = -395 + g. Does 26 divide u?
False
Let g(h) be the second derivative of 85*h**3/3 - 166*h. Is 30 a factor of g(6)?
True
Suppose -2*p - p - 5*q + 905 = 0, 606 = 2*p + 4*q. Suppose -8*d + p = -7*d. Does 23 divide -20 + d + 0 + 1 + 0?
True
Suppose 5*o - 1260 = -3*n, 4*n + 3*o - 465 = 1237. Is 30 a factor of n?
False
Let p(v) = -565*v + 2082. Is 38 a factor of p(-6)?
True
Let r = 3645 + -3631. Is 2 a factor of r?
True
Let v = 489 - 479. Suppose -6 = -z + 4*q, v = 2*z - 2*q - 8. Does 4 divide z?
False
Let s(f) = f. Suppose -30 = 4*k - 34. Let w(d) = 3. Let l(o) = k*w(o) - 4*s(o). Does 5 divide l(-10)?
False
Let v(m) = 10*m**3 - m**2 + m. Let o be (-2 - 24/(-10)) + (-16)/(-10). Let u be v(o). Let l = u - 38. Does 8 divide l?
True
Let g = 34948 + -3667. Is 71 a factor of g?
False
Let n(f) = -6*f + 60. Let x be n(-10). Does 5 divide (-8 + 14)*x/9?
True
Let l = 164 - 164. Suppose -8*p - 6*p + 1260 = l. Does 18 divide p?
True
Suppose -277 = 2*v + 3*n, 215*v - 3*n - 670 = 220*v. Let z be 394*(1/(-2) + 1). Let j = z + v. Does 26 divide j?
False
Let q = 270 + -268. Does 18 divide (-255 + -1 + 4)*(-3)/q?
True
Suppose 0*v - 196 = 2*v. Let c = -66 - v. Suppose 4*f + p - c = 229, -5*f + 5*p + 345 = 0. Is 22 a factor of f?
True
Let o = -6707 - -9502. Is o a multiple of 13?
True
Suppose 0 = l - 2*n - 3, -4*l + 12 = -n + 2*n. Suppose -5*g = -l*g + 6. Is g - (-4 - 11/1) a multiple of 4?
True
Let q be (-7)/((-7)/6) + -2. Let a be 0 + q/(-14) - 282/42. Let u(o) = -4*o + 8. Does 9 divide u(a)?
True
Let j(f) = f**2 - 4*f + 3. Let k be j(3). Suppose 5*r = -k*q + 2*q + 8, 5*q = -20. Suppose p + r*i - i = 172, -4*i = 3*p - 516. Does 43 divide p?
True
Suppose -80 = -31*g + 27*g. Is 13 a factor of (-4)/(-3)*15/g + 77?
True
Suppose 0 = 63*q - 182818 - 80963. Is q a multiple of 79?
True
Suppose 0 = -f, 79*w - 78*w + f - 291 = 0. Is 97 a factor of w?
True
Does 116 divide (-185600)/(-12)*3/2?
True
Let q be 1 + 2 - 164/41. Let