= -27 + k. Is q a multiple of 2?
False
Suppose -5*i + 3*a = 1, -i - 4*a = 4*i - 13. Let z(l) = 31*l**2 + 5*l - 6. Let k be z(i). Suppose 19*h + 1980 = k*h. Does 20 divide h?
True
Suppose -91*k + 225445 = -47*k + 69113. Is 17 a factor of k?
True
Let i(g) be the second derivative of -11*g**4/12 + 2*g**3/3 + 15*g**2/2 - 6*g. Let s(u) be the first derivative of i(u). Is s(-2) a multiple of 7?
False
Is 7 a factor of (2 + 0)/((-45)/(-135) - (-1519)/(-4566))?
False
Suppose -22 = -2*t - 5*m, -t + 0*m - 2*m = -11. Let k = -26 + t. Is (-3 + (-35)/k)*-33 a multiple of 10?
False
Suppose 41*m + 270 = 38*m. Let w = m - -246. Does 13 divide w?
True
Let q = -7 + 9. Suppose -4*g = k - 5*k - 12, -k - q*g = -12. Suppose -2*m = -2, k*z + m + 94 = 295. Is z a multiple of 20?
True
Suppose 7*q = 4*q - 6*q. Suppose q = 5*t - 18*t + 130. Is t a multiple of 10?
True
Let t(x) be the third derivative of -x**5/60 + x**4/8 + 2*x**3 + 13*x**2. Let r be t(5). Suppose -6*v + 224 = r*v. Is 8 a factor of v?
False
Let a = 52 + -666. Let s = a + 369. Let k = s + 455. Does 10 divide k?
True
Let d(t) = t**3 - 1. Let x be d(1). Suppose 4 = -2*l, 4*a + l - 550 = -x*l. Suppose 412 + a = 5*m. Is 22 a factor of m?
True
Let j be 142/6*-3*3. Let d = -357 - j. Let w = 284 + d. Is w a multiple of 14?
True
Let u = -775 + 771. Is 13 a factor of ((-442)/u)/(90/1080)?
True
Let q be (4/(-6))/(3/(-9)). Suppose -14*x + 18*x - 8 = -4*j, 2*j = 4*x + 10. Suppose -j*m - 4*f = -517, m - q*f - 179 = -0*m. Is m a multiple of 34?
False
Suppose 542*w - 2111712 = 2694744. Is 9 a factor of w?
False
Let o = -11247 - -21620. Is 9 a factor of o?
False
Let s(a) = 2*a**3 - 22*a**2 + 47*a + 135. Is s(14) a multiple of 4?
False
Suppose 0*f + 10 = 4*q - 3*f, 0 = -5*q - 2*f + 24. Let h(z) = 4*z - 12. Let v be h(4). Suppose -4*w + v*j = -212 - 100, 234 = 3*w + q*j. Does 26 divide w?
True
Let h(v) = 3*v**3 - 12*v**2 - 28*v + 406. Is 50 a factor of h(8)?
True
Let b be (-6)/3*(5 + -12). Does 7 divide 8/b + (-8091)/(-63)?
False
Let r(o) = -16*o - 8. Let t be r(-6). Let g be (12 + (0 - 2))*(1 - 0). Let p = t - g. Is 13 a factor of p?
True
Suppose 28256 = -39*r + 43*r + 4*g, 3*r + 4*g = 21186. Does 7 divide r?
True
Let f(c) = c**3 - 15*c**2 + 7*c - 43. Let i be f(17). Let j = i + -101. Is 40 a factor of j?
False
Is 20 a factor of (-14)/(-1)*6823710/4179?
True
Suppose 117988 = -26*v + 69*v + 7822. Is v a multiple of 61?
True
Let b(m) = -150*m**2 + m. Let l be b(1). Let h = l + 251. Does 2 divide h/15 - (12/(-15))/4?
False
Suppose -5*m + 5 = 5*h, -2*h - 3*m - 5 = -2. Let d(z) = -z - 1. Let o(y) = -6*y - 19. Let i(v) = 5*d(v) - o(v). Does 5 divide i(h)?
True
Let s = 12117 + -8384. Let u = s + -1844. Does 26 divide u?
False
Is 116 a factor of ((-183222)/45)/(-27)*240?
True
Suppose 6*c = -5 + 35. Suppose c*b - 1168 = v, 3*b - 6*b + 698 = -2*v. Does 6 divide b?
True
Suppose 4*n + 6520 = 4*y + 3*n, 0 = -y - 4*n + 1647. Is y a multiple of 3?
False
Suppose 0 = -3*i + 9, 0 = 2*b + 3*i - 19. Suppose 3*p - 195 = -b*w, -3*p = 10*w - 8*w - 78. Is w a multiple of 13?
True
Let l(r) = 45*r**2 + 597*r - 86. Is 44 a factor of l(-35)?
True
Let p be 10 + 9/(-3) - (4 - 6). Suppose 5*n + p - 324 = 0. Does 3 divide n?
True
Is 18 a factor of (3*10/(-5))/(20/(-2380))?
False
Suppose -5*w = 7*w - 48. Let a be (4 - 6)/(4/(-394)). Suppose 4*z - 4*d - 533 = 175, -z + a = w*d. Is 31 a factor of z?
False
Let q(i) = 19*i**2 + 5*i - 43. Let s be q(7). Let c = -475 + s. Does 28 divide c?
True
Let h be 104/(-6) + ((-14)/(-21))/2. Let r(v) = -4*v + 32. Does 5 divide r(h)?
True
Let k be (4/(-10))/((-16)/(-720)). Let w be (-17)/(k/99 + (-19)/(-165)). Let b = 527 - w. Is b a multiple of 18?
False
Suppose 0 = -7*c + 2*c - 15. Let d = 9 + c. Suppose -114 = -5*w + d. Is w a multiple of 12?
True
Suppose z = d - 572, 3*z - 2860 = 8*z - 2*d. Let q = z - -862. Is 29 a factor of q?
True
Let k be (-24)/(-18) - 0 - 30/(-18). Suppose 3*r - 5238 = -5*h, -33*h + 38*h - k*r - 5232 = 0. Does 40 divide h?
False
Let w(z) = 4*z**3 + 8*z**2 - 50*z + 518. Is 22 a factor of w(16)?
True
Let r = 9 - -39. Let p = -567 + 807. Suppose -r*m = -43*m - p. Does 24 divide m?
True
Suppose 11*j - 6*j = 115. Suppose -14 + j = 3*c. Suppose h = -h - d + 13, 0 = c*h + 5*d - 9. Does 8 divide h?
True
Suppose -1205 = -22*z + 1303. Does 18 divide z?
False
Suppose -2*o = -2*q + 1895 + 253, -q = o - 1068. Is 3 a factor of q?
True
Suppose -33 = 2*s - 5*s. Suppose s = 3*q - 100. Let h = q + 86. Is 26 a factor of h?
False
Suppose 0 = -2*a - 4*b + 8244, 3*a = -4*b + 7407 + 4947. Is a a multiple of 10?
True
Suppose -4603 = -3*r + 5711. Is ((-2)/(-3))/((-6)/r*-2) a multiple of 32?
False
Let b(v) = 37*v - 5. Let s(k) = 6*k + 17. Let c be s(-3). Let y be b(c). Let u = -3 - y. Is u a multiple of 16?
False
Let g be 3 - (4 + 4 + -7). Suppose r + g*q + 3 = -0*r, -5*r - 3*q + 6 = 0. Is ((-884)/78)/(r/(54/(-4))) a multiple of 13?
False
Let f = -132 + 133. Does 3 divide (-726)/(-44)*f*2?
True
Suppose 3*m = 3*h - 2*m - 24553, 5*h - 4*m = 40939. Is 88 a factor of h?
False
Let z(t) = 20*t - 40*t + 9 + 17*t. Is 11 a factor of z(-30)?
True
Let d(s) = 3*s + 5 - 8*s**3 - 8*s**2 + 7*s**3 + 16 + 13*s. Is d(-11) a multiple of 40?
False
Let f(d) = -467*d + 34. Is 5 a factor of f(-1)?
False
Let r(y) = 2 - 4*y + 19*y + 2*y**2 + 9*y - 38. Is 4 a factor of r(-18)?
True
Let f(y) = -27*y**2 + 47*y - 211. Let c(x) = -13*x**2 + 24*x - 105. Let b(o) = 5*c(o) - 3*f(o). Is 21 a factor of b(6)?
False
Let j = 4651 - 4630. Suppose 0*x - 30 = -n - 4*x, 0 = -4*n + 3*x + 158. Let w = n - j. Does 5 divide w?
False
Let y(h) = 40*h**2 - 38*h - 458. Is 86 a factor of y(-18)?
False
Let z(d) = -482*d**2 - 9*d + 21. Let a be z(7). Is 13 a factor of ((-2)/(-10)*2)/((-28)/a)?
True
Let k(s) = 337*s - 334. Is k(14) a multiple of 8?
True
Suppose 62*v + 32 = 70*v. Let g(n) = 1 + 12*n - n**2 + 5 - 6*n. Is 7 a factor of g(v)?
True
Let a(m) = 116*m**3 + 9*m**2 + 8*m - 3. Let z(d) = d - 5 - 17*d + 15*d + 17*d**2 + 233*d**3 + 16*d. Let r(n) = 7*a(n) - 4*z(n). Does 14 divide r(-1)?
False
Suppose 4*i - 5*f - 51 = 0, -f = 3*f + 12. Suppose 52 = -7*y + i*y. Does 26 divide y?
True
Let x(d) = 0*d**2 + 3*d - 3 - 13 + 2*d**2 + 1. Let t be x(-10). Suppose 154*k = t*k - 85. Is 22 a factor of k?
False
Let v = 9691 + -6780. Does 44 divide v?
False
Suppose -972533 + 270791 = -37*f. Is f a multiple of 109?
True
Let a(m) = 8*m**2 - 18*m - 60. Let o = 1 + -6. Does 8 divide a(o)?
False
Suppose 123419 + 660375 = -l + 23*l. Does 90 divide l?
False
Let a(o) = -3*o + 2 - 61*o**2 + 12*o + o - o**3 + 52*o**2. Let l be a(-10). Suppose 4*b + 5*z = 95, l*b + 5*z = 3*b - 55. Is b a multiple of 6?
True
Suppose 3*d + 201 = 3*b, 2*b - 78 = -5*d + 56. Let y = 71 - b. Suppose 4*h - 596 = -4*z, 0 = -y*h + 5*z - 27 + 668. Is h a multiple of 11?
True
Let y = 1120 + 1151. Does 16 divide y?
False
Let r(d) = d**3 + 4*d**2 + 2*d - 1. Let c be r(-2). Let l(x) = -4*x**2 - 6 + c*x - 5*x + 8*x**2. Is l(-4) a multiple of 11?
True
Let k(u) = 9*u**2 + 34*u - 2126. Is k(28) a multiple of 34?
True
Let f = -110 - -4791. Does 49 divide f?
False
Suppose 14 = -a + 3*u, u = -a + 6*a + 14. Is 9 a factor of (-7)/((-214)/106 - a)?
False
Let p(r) = -10*r**2 + 203*r - 31. Is 27 a factor of p(19)?
True
Let c be -1*1*24/4. Let z be (2/4)/(c/(-6648)). Suppose -z = -3*n - 212. Is 19 a factor of n?
True
Let t(f) be the third derivative of -5*f**4/4 - 38*f**3/3 - 6*f**2 - 5. Is t(-10) a multiple of 28?
True
Let k(f) = 155*f**2 - 14*f + 18. Is k(2) even?
True
Suppose -13634 = -12*i - 12710. Does 4 divide i?
False
Let x(r) = -58*r**3 + 4*r**2 - 21*r - 57. Is 6 a factor of x(-2)?
False
Let b = -3045 - -3628. Is b a multiple of 27?
False
Let u be 2*-4*(-99)/24. Suppose -67 = 4*f - 3*w, 3*w + 0*w + 37 = -4*f. Let s = f + u. Is 5 a factor of s?
True
Is (-1031625)/(-4375)*(-110)/(-3) a multiple of 87?
False
Let b(l) = l**2 - 17*l - 87. Let d be b(27). Suppose -43 = 4*f - d. Does 7 divide f?
True
Let b = -121 + 43. Is (-34 - b) + (7 - 1) a multiple of 3?
False
Is 1508/(((-6)/(-72))/(7/14)) a multiple of 232?
True
Let c = -3732 - -6140. Does 9 divide c?
False
Let i(r) = -r**3 - 16*r**2 + 2*r + 14. Let a be i(-16). Does 9 divide a - -436 - (-6 + 1)?
True
Let u = -3949 + 5282. Does 43 divide u?
True
Let n(z) = -z**2 + 7*z - 1. Let w b