14. Let x be g(l). Let z = -18 - x. Is 28 a factor of z?
True
Suppose 4*n = 4*t - 3*t - 257, t - 127 = 2*n. Does 31 divide (-38272)/n - (-2)/10?
True
Suppose -8*u + 3995947 = 59*u. Does 47 divide u?
False
Is -240*(-28)/6*(10 + 185/(-20)) a multiple of 60?
True
Suppose -251 = 2*l - y, -3*y = -4*l + 2*y - 493. Let s = l + 131. Suppose -121 = -s*z + 251. Is z a multiple of 10?
False
Let i(k) = k**3 - 17*k**2 + 17*k - 13. Let j be i(16). Let q(s) = 9 - 20 + 17 + 4*s. Is 3 a factor of q(j)?
True
Let a(o) = -2*o**3 + 139*o**2 + 248*o - 15. Is 77 a factor of a(69)?
False
Suppose -2*q + u + 2629 = -16889, -5*q - u + 48809 = 0. Suppose -q = -22*s + 9643. Is 49 a factor of s?
True
Let p(o) = -390*o**3 - 10*o**2 + 4*o. Let s(n) = 260*n**3 + 7*n**2 - 3*n. Let x(h) = 5*p(h) + 7*s(h). Does 13 divide x(-1)?
True
Suppose 4*k = -5*p - 158, -6*k - 122 = -3*k + 2*p. Let w be (5 + 1 + 1)*k/(-147). Suppose -w*x - t = -35, -2*x - 5*t + 2*t = -33. Does 9 divide x?
True
Let b(k) = 14*k - 12. Let h = 114 + -109. Suppose -104 = h*z - 18*z. Does 20 divide b(z)?
True
Is 19 a factor of (464503/13 - -8) + 12?
False
Let v(n) = 6*n**2 + 215*n - 119. Is 126 a factor of v(-77)?
True
Does 3 divide 4/(-44) - 23930/(-55)?
True
Suppose 18*j = -7*j - 5675. Let f = 463 + j. Does 70 divide f?
False
Let r be (-1)/(4/(-57)) - (-4)/(-16). Suppose 0*u = y - 5*u + 4, 0 = -2*y + 4*u - r. Let o(q) = -q**2 - 13*q. Is o(y) a multiple of 3?
True
Let w(i) = -i**3 + 20*i**2 - 12*i - 43. Let l = 89 - 49. Let s = l - 21. Is w(s) a multiple of 18?
True
Suppose q - 4*q = 15. Suppose -341 = 4*t - 337. Does 42 divide 3774/30 + t/q?
True
Let j(t) = -4*t**2 - 28*t + 45. Let n(b) = -b**2 - 7*b + 11. Let m(l) = 2*j(l) - 9*n(l). Let p be m(-8). Is ((-15)/(-4))/(p/(-24)) a multiple of 10?
True
Suppose -3*v + 87 = q + v, 0 = -5*q - 5*v + 450. Let w = q - 82. Suppose -605 = -w*k + 4*k. Is 13 a factor of k?
False
Suppose -5*q = -5*x - 120320, -19*x = -6*q - 16*x + 144390. Does 12 divide q?
False
Let l = 165148 - 111112. Is l a multiple of 28?
False
Let w(h) = h**2 + 37*h + 38. Let x be w(13). Let g = -485 + x. Does 3 divide g?
False
Let n(v) = v**3 - 8*v + 12. Let u be n(3). Is ((-125)/2)/5*(-42)/u a multiple of 10?
False
Let v(i) = -3*i**3 - 3*i**2 + 3*i + 4. Does 8 divide v(-4)?
True
Let g be 66 - 68 - (0 - 54*-2). Let q = 830 + -532. Let w = q + g. Is 33 a factor of w?
False
Let q(w) = -62*w - 65*w + 135*w + 129*w**2 - 7 + 0. Is 4 a factor of q(2)?
False
Suppose 4*b - 8 = 0, 7*y - 35421 - 17843 = 3*b. Is 60 a factor of y?
False
Let k(v) = -2*v**2 + 24*v + 5. Let o be k(12). Suppose 1984 = 5*q + 4*l, o*q - 4*l + 1408 = 3384. Is 44 a factor of q?
True
Let k = -11 + 11. Suppose 0 = -k*r + 3*r. Suppose -222 = -2*f - r*f. Is f a multiple of 24?
False
Let m(v) = -55*v**3 - 5*v**2 - 7*v - 4. Let u be (-11)/((-165)/10)*-3. Does 26 divide m(u)?
False
Suppose 583 = -5*n - 3*f, 2*n + 5*f = -3*n - 585. Is 19 a factor of 4 - (14 + -8) - n?
True
Let w = -122 - -190. Does 32 divide w/(-17) - (1 + -69)?
True
Suppose 3*s = d - 20, -d - s = -0*d - 4. Let v be 2/d - (-338)/(-8). Let c = v + 127. Is c a multiple of 29?
False
Is 3 a factor of ((-12)/28 + (-21624)/14)*16/(-24)?
False
Suppose -4*i - 11*i = -5190. Let a = -202 + i. Does 9 divide a?
True
Suppose -794 - 727 = -3*r. Suppose 11*p - r = -2*p. Is p a multiple of 6?
False
Suppose 0 = 36*f + 160*f - 176204. Is 15 a factor of f?
False
Does 23 divide 2/(2 - 86921/43469)?
False
Let g(r) = r**3 + 9*r**2 + 8*r + 7. Let y be g(-8). Let w be (-2)/(-5) - ((-2867)/(-5) + y). Let z = -392 - w. Is 24 a factor of z?
False
Let f(x) = -15*x**3 - 3*x + 1. Let g be f(2). Suppose -l = -3*h - 387, 5 - 1 = h. Let z = g + l. Is 22 a factor of z?
False
Let p = 589 + -354. Suppose -p + 1271 = 4*x. Does 37 divide x?
True
Suppose -23*z + 21*z = -2*q - 35856, 5*q = -5*z + 89670. Does 43 divide z?
True
Let s(g) = g**2 + 2*g + 21. Let f be s(9). Let d = -50 + f. Is d a multiple of 10?
True
Let y = 369 + -419. Is (18/(-7))/(y/10500) a multiple of 36?
True
Suppose 5*y = -5*c + 21235, -y = 8*c - 9*c - 4233. Is y a multiple of 12?
False
Let c = -6908 + 11367. Is c a multiple of 49?
True
Does 38 divide 29571/18*3 - -4*10/80?
False
Let s = -385 - -2235. Is s a multiple of 50?
True
Suppose -3092*k = -3030*k - 1909848. Is k a multiple of 226?
False
Let c(i) = -75 + 7*i**2 + 66*i + 32 + 19. Does 17 divide c(-15)?
True
Let d(g) = g + 18. Let f be d(-16). Suppose -f*c + c + 7*c = 0. Suppose c = 16*n - 13*n - 507. Is 13 a factor of n?
True
Let v = 7244 - 2999. Suppose 0 = -5*y - 5*g + v, -851 = -y - g - g. Does 92 divide y?
False
Is 19 - (-270)/(-27) - -18236 a multiple of 90?
False
Let g(o) = o**3 - 6*o**2 + o - 4. Let r be g(6). Suppose 17 - 3 = r*n. Let f(h) = h**2 + 3*h - 7. Does 8 divide f(n)?
False
Let k = -554 - -1100. Suppose k = 3*j + 105. Does 10 divide j?
False
Suppose -338*i - 170*i - 3023713 = -30665009. Does 39 divide i?
False
Let l(f) = -15*f**3 + 2*f**2 - 3*f - 1. Let p be l(-4). Let v = 1413 - p. Is v a multiple of 52?
False
Is 28 a factor of (-315)/18*(-346 + -6)?
True
Let w(q) = q + 8. Let f be w(-3). Suppose f*u = -3*z + 9 + 178, 57 = z + 3*u. Suppose -5*r + 2*g = -99, 4*r - 6*g - z = -g. Does 6 divide r?
False
Suppose -4*j - 18 = 5*n - 7*n, -n - 5*j = 5. Suppose 5*l + 6885 = n*p, l + 0*l = -p + 1367. Does 33 divide p?
False
Suppose v + 3*h + 2592 = 3*v, -h = -3*v + 3895. Is 8 a factor of v?
False
Let a = 159 - -98. Suppose -9*y = -1940 + a. Is 17 a factor of y?
True
Let u(g) = 4 + 6 - 8*g - 2*g - 13*g - 2. Let s = 0 - 5. Does 6 divide u(s)?
False
Let k = -552 - -2152. Is 10 a factor of k?
True
Suppose 12*c - 1915 = 3329. Let l = -184 + c. Is l a multiple of 11?
True
Suppose -2*y = -0*y - 12. Suppose -5*m + 7*m = y. Suppose m*l + 5*l = 960. Is l a multiple of 15?
True
Let u(g) be the second derivative of g**5/20 + 2*g**4/3 + 2*g**3 + 12*g**2 + 2*g - 149. Is u(-6) a multiple of 3?
True
Let r(y) be the third derivative of 7*y**5/6 - 11*y**4/24 + 5*y**3/2 + 13*y**2 - 2. Does 12 divide r(3)?
True
Suppose -25790 = -2*s + 4*z, -7*s + 10*s + 3*z = 38658. Is s a multiple of 10?
False
Let v(t) = -t**3 + 13*t**2 - 9*t - 13. Suppose -6*m + m = 120. Let i be m/(-7)*77/22. Is 13 a factor of v(i)?
False
Let a = -177 - -177. Suppose a = 14*b + 2*b - 32. Is b a multiple of 2?
True
Is 4/14 + 4/14 - (-212235)/21 a multiple of 237?
False
Let s(a) = -7*a - 32. Let y be s(-5). Let f(l) = l**y + 3*l - 8*l**2 - 4*l**2 + 11*l**2 + 6. Does 18 divide f(4)?
False
Does 133 divide ((-747)/(-15))/(2 + 323/(-190))?
False
Let z = 35 + -41. Let j be (-3)/z*-1*(-1100)/5. Let h = 230 - j. Is h a multiple of 15?
True
Let l(g) = -g**2 + 96*g + 51. Is l(28) a multiple of 33?
False
Let f = -1475 + 48761. Is 18 a factor of f?
True
Suppose -5*j = 5*i - 3*j - 4083, 4*i - 3269 = j. Suppose 0 = 5*w + 15, -w - 64 + i = 4*k. Is k a multiple of 27?
True
Let o = 3710 - -220. Does 10 divide o?
True
Let u(k) = -2*k**2 + 24*k - 16. Let z be u(11). Suppose 2*q - 8 = b, z*q - 50 = q - 5*b. Does 5 divide (-696)/(-36)*q/4?
False
Suppose 0 = -3*l - 2*o + 7172, 6*l + 4*o - 4768 = 4*l. Is l a multiple of 14?
True
Suppose -131*i - 5874 = -2*t - 133*i, 3*t - 3*i = 8829. Is t a multiple of 21?
True
Let c(f) = -f**3 - 2*f + 4. Let s be c(-5). Suppose -22*h = -21*h - 7. Suppose -s = -2*b - h. Does 12 divide b?
False
Suppose 4*v + 35 = 5*n, 5 = -3*n + 2*v + 24. Suppose 6 = n*m + 3. Let o(p) = 18*p + 2. Does 4 divide o(m)?
True
Let w = 313 + 81. Suppose -4*b + w + 2 = 0. Suppose 4*o - 4*t = 41 + b, 2*o - 76 = -t. Is o a multiple of 6?
False
Is (4/50 - 24645346/15575)/(1/(-7)) a multiple of 13?
True
Let u be ((-12)/(-10))/(34/30 - 1). Suppose u*t - 8*t - 35 = 0. Let m = 1 + t. Does 5 divide m?
False
Suppose 0 = -z - 5*t + 3964, -12*z + 32834 = 4*t - 14846. Is 8 a factor of z?
False
Suppose 0*q = -6*q + 12. Does 72 divide (((-33)/q)/11)/((-9)/2904)?
False
Let a = -6 + 10. Suppose 4*z + 2*x - a*x + 206 = 0, z + 39 = 3*x. Let n = z - -132. Is 13 a factor of n?
True
Suppose -5*j + 5 = -3*x + 72, 4*x + 4*j - 132 = 0. Let d(z) = -x + 15*z - 3 - 18 + 2*z**2. Is 17 a factor of d(7)?
True
Suppose 758*l = 794*l - 113574 - 417642. Does 68 divide l?
True
Suppose c + 2*m = 1722, c - 37*m + 42*m - 1734 = 0. Does 26 divide c?
False
Let a be ((-306)/(-16))/3 + (-6)/