 w - 6. Is g a multiple of 3?
True
Let t(j) be the third derivative of j**4/8 + 2*j**3 - 5*j**2. Let f be t(11). Suppose -6*l = -3*l - f. Is l a multiple of 13?
False
Suppose -171 = -6*v + 477. Suppose -2*w = -8*w + v. Is w a multiple of 18?
True
Let k = 53 - 48. Suppose 0 = -k*y + 2*f + 182, -181 = y - 6*y + f. Is 12 a factor of y?
True
Let h = 663 + -542. Does 2 divide h?
False
Let i be 1*(0/3 + 0). Let s = 5 + i. Suppose 0 = -s*l + 53 + 7. Does 6 divide l?
True
Let s(z) = 4*z**2 - 2*z + 1. Let w be s(1). Suppose -n + i = -4, 2*n + w*i = -n - 12. Suppose n = -5*g + 3*g + 124. Is g a multiple of 22?
False
Is 11 a factor of 4/(-3*1/(-255))?
False
Suppose -9*g = -7*g + 4*l - 6702, -2*l = 3*g - 10037. Does 38 divide g?
False
Let s = -918 - -1029. Is s a multiple of 111?
True
Suppose 0 = 5*h + 2*s - 4, -h - 3 = 4*s - 11. Suppose n - 5*n + 152 = h. Is 19 a factor of n?
True
Let f be (-7 - -9) + 3 + 1. Let n = -2 - f. Is ((-12)/n)/(1/8) a multiple of 4?
True
Let t be (-11)/((-110)/195)*(-28)/6. Let a = t + 119. Does 28 divide a?
True
Let c(m) = m**2 + 8*m - 7. Let y be c(-9). Let x = 236 - 161. Suppose -53 = -y*i + x. Is i a multiple of 18?
False
Let b(f) = -10*f**2 + f. Let i be b(1). Let u(x) = 5*x**2 - 63*x - 20. Let s(w) = 2*w**2 - 21*w - 7. Let g(q) = -11*s(q) + 4*u(q). Is g(i) a multiple of 7?
False
Let z(u) = -u**2 - 9*u + 7. Let o(g) = 3*g**2 - 1. Let l be o(-1). Suppose 4*b - 5*c + 4 = -34, l*b - 3*c = -20. Is 6 a factor of z(b)?
False
Does 11 divide 9414/27 + 15/(-9)?
False
Let x = -71 + 84. Does 11 divide x + (6 + -2)/(-2)?
True
Let s be (2275/15 + 1)*(-3)/(-2). Suppose 3*b - 241 = -2*b - 4*h, -5*b - h = -s. Is b a multiple of 9?
True
Suppose b = 4*c + 60, 3*c + 150 = 3*b - 30. Is 15 a factor of ((2 + -1)*1)/(1/b)?
True
Suppose 0 = -2*x + 3 - 15. Let a = 8 + x. Suppose -i + a*i = 5*f - 56, 5*i + 5 = 0. Is f a multiple of 3?
False
Suppose -4*z - u + 122 + 235 = 0, 279 = 3*z - 3*u. Is 15 a factor of z?
True
Suppose 5*b = 5*m + 6*b - 42, 5*b - 30 = -5*m. Is 2 a factor of m?
False
Let z(s) = 2*s + 4. Let w be z(2). Suppose -54 = -o + 2*y + 2*y, 2*y = -w. Does 6 divide o?
False
Let z = -9 - -19. Suppose z*x + 5 = 5*x. Let c = x - -31. Is c a multiple of 11?
False
Let k = 630 + -542. Is 11 a factor of k?
True
Let f = -71 + 71. Suppose 24*j - 26*j + 66 = f. Does 6 divide j?
False
Suppose l - 101 + 8 = 0. Suppose -200 = -2*t - 5*p + l, 0 = -2*t + p + 287. Does 11 divide t?
False
Let l = 10 + -8. Suppose 4*d - d - 67 = -p, l*d + 126 = 2*p. Suppose -2*t + p = 3*w, -t - 4*w + 16 = -6. Does 17 divide t?
False
Let b(s) = -4*s**3 + 8*s + 14. Is b(-6) a multiple of 83?
True
Let b(m) = m**3 + 8*m**2 + 6*m - 11. Let d = -101 + 95. Does 11 divide b(d)?
False
Let u(o) = o**3 + 6*o**2 - o + 85. Does 17 divide u(0)?
True
Let r = 14 - 12. Suppose 23*b = 22*b + r. Does 2 divide b?
True
Suppose 16*b = -27*b + 13244. Is 22 a factor of b?
True
Suppose -4 = q - 0. Does 2 divide 1*(-4)/q*4?
True
Let b(j) = j**2 + 9*j - 9. Let x be b(-11). Let y = x - -25. Is 38 a factor of y?
True
Let k = -20 + 23. Does 18 divide 1/k - 224/(-3)?
False
Let o(z) = -z**3 - 3*z**2 + 8*z. Let x be o(-6). Suppose -3*g + x + 72 = 0. Is g a multiple of 5?
False
Let g = 1146 - 401. Does 22 divide g?
False
Let t = 2763 - 579. Is t a multiple of 91?
True
Does 20 divide (-12)/(5 + 1506/(-300))?
True
Suppose -64 = 4*w - 2*y - 2*y, -5*w + 4*y = 83. Does 9 divide w/(((-1)/2)/((-6)/(-4)))?
False
Suppose -3*c + 0*c + 96 = 0. Let g = c - 17. Does 15 divide g?
True
Does 28 divide (-6660)/(-14) + 36/126?
True
Suppose 3*o + 195 = -2*c + 964, 0 = -3*c - 3. Let d = o + -181. Is d a multiple of 23?
False
Let y(h) = 69*h**3 - h**2 - h + 2. Is y(1) a multiple of 23?
True
Let l = 56 + -56. Suppose -4*c + 2*m - 49 + 123 = l, 5*m = 15. Is 5 a factor of c?
True
Let u(j) = -3*j**2 + 13*j + 9. Let m(t) = -t**2. Let z(y) = 4*m(y) - u(y). Is 2 a factor of z(-11)?
False
Is 41 a factor of (-42)/189 + 1379/9?
False
Let m = 7 - -7. Let x = -11 + m. Does 6 divide x/6 + (-175)/(-10)?
True
Does 27 divide (-38)/(-285) + (-113392)/(-60)?
True
Suppose -2*m + 2*k = 2, -m + 0*m - k = -7. Suppose 12 = a + 2*u, 4*a - 2*u - 13 = -3*u. Suppose a*b + m*b = 170. Is b a multiple of 8?
False
Let p(o) = -o + 3 - 7 + 4 + 23*o**3. Is 32 a factor of p(2)?
False
Let v(t) = 12*t - 102. Is v(19) a multiple of 2?
True
Let s(f) = -f**3 + f**2 + 18*f + 5. Suppose 3*n - 5 + 46 = -5*m, 3*m - 2*n + 17 = 0. Is s(m) a multiple of 16?
False
Let q = 64 - -66. Does 10 divide q?
True
Let s(y) = y + 1. Let n(o) = -3*o + 3. Let p(r) = -n(r) - 2*s(r). Let v be p(8). Suppose 0 = 5*l - v*f - 412, -7*l + 2*l - 4*f + 384 = 0. Is l a multiple of 16?
True
Let a(q) = q**3 + 11*q**2 + 10*q + 1. Let d be a(-10). Let r be d - (-4 + (4 - -8)). Is 2/((4 + r)/(-6)) even?
True
Suppose 0*z + 327 = 5*v + 4*z, -5*v + 303 = -4*z. Suppose 0 = -2*g + 125 + v. Does 60 divide g?
False
Suppose -5*f = -22 - 3. Suppose 0*v = -3*u - f*v - 16, -3*u - 4*v = 11. Suppose -u*a + 25 = q + 3*q, 0 = 4*a - 3*q - 50. Is a a multiple of 4?
False
Let z(a) = a**2 + a - 4. Let t(r) = -2*r - 19. Let y be t(-8). Let c be z(y). Suppose -c - 25 = -n. Is 9 a factor of n?
True
Let m(v) = v**3 + 21*v**2 + 11*v - 27. Let n be m(-19). Suppose 4*o - 6 = 14. Suppose -h + n = o*h. Does 27 divide h?
True
Suppose -2*r + 2*f = -14 - 18, 2*r - f = 31. Let d = r + -10. Is d even?
False
Let t(l) = 49*l**3 - 1. Let q = 15 + -12. Let r = q + -2. Is 15 a factor of t(r)?
False
Let s(q) = q**2 - 10*q + 13. Let c be s(9). Let z be (-146 - c)/(6/(-4)). Suppose z = 3*v + 2*n, -5*v - 5*n = -2*v - 106. Does 16 divide v?
True
Suppose 5*h - 2*r = 2150, -h = -r - 4 - 423. Is 25 a factor of h?
False
Suppose 2*d + 219 = 867. Is 27 a factor of d?
True
Let a(x) = -2*x**3 + 36*x**2 - 26*x + 17. Is a(17) a multiple of 17?
True
Let f = -135 - -450. Is 45 a factor of f?
True
Let d = 26 - 4. Suppose -d*q + 207 = -19*q. Is 23 a factor of (q/6)/(2/12)?
True
Suppose -2*c = n - 333, 5*c + 2*n = -0*n + 834. Is 5 a factor of c?
False
Let v(b) = 4*b**3 - b**2. Let g be v(1). Suppose 2*x = -g*x + 55. Suppose -6*z + x*z - 510 = 0. Is z a multiple of 17?
True
Suppose 9*u - 4*u - 5 = 0. Suppose -11 = -2*m - u. Suppose m*w - 2*r = 47, 4 = -3*r + 1. Is 3 a factor of w?
True
Suppose -4 = -4*g, -1242 + 359 = -4*f + g. Does 23 divide f?
False
Suppose -6*z = -10*z + 12. Suppose z*n - f = 370, 2*f - 115 = -n + 4*f. Does 25 divide n?
True
Let i = 793 + -433. Does 30 divide i?
True
Let g(k) = k + 3. Let a be g(-6). Let c be a/(-2) - 3/(-6). Does 6 divide (6 - 4)*(c - -5)?
False
Suppose 3*r = -0*r - 4*c + 16, 4*r + 4*c - 20 = 0. Suppose 5*a - 220 = -r*x, -4*a + 0*x + 175 = 3*x. Is 20 a factor of a?
True
Suppose 26*j - 1092 = 5*j. Is 10 a factor of j?
False
Suppose 12*h + 400 = -668. Suppose s = -5*p + 619, -4*s - 128 = -0*p - p. Let r = h + p. Is 7 a factor of r?
True
Let m = -426 + 525. Is m a multiple of 87?
False
Suppose 82 = 2*s + 4*i, 3*s - 5*s + 5*i + 91 = 0. Suppose 5*b - 2*b + 3*y = 27, 0 = -3*b + 5*y + s. Is b a multiple of 3?
False
Is 43 a factor of 189*(3 - 2) - -1?
False
Suppose 5*s = -d + 130, 4*d = 3*s - 102 + 622. Does 14 divide d?
False
Suppose -2*l + 2*z + 28 = -3*z, 0 = 5*l - 4*z - 36. Suppose l*j - 2*j = 6. Suppose 0 = 3*p + 12, 4*p + 216 = 8*m - j*m. Does 10 divide m?
True
Suppose -a + 563 + 1249 = 2*f, 3*a = 2*f - 1796. Is 29 a factor of f?
False
Suppose 240 = -61*v + 65*v. Is (1868/v - 1) + 4/(-30) a multiple of 6?
True
Let d(m) = m**2 - 1. Let z(j) = 2*j**2 + 7*j - 9. Let c(n) = -d(n) + z(n). Let u be c(-8). Suppose u = -5*g + 2*g + 225. Does 17 divide g?
False
Suppose -225*b - 685 = -230*b. Is b a multiple of 7?
False
Let k = -1 + 2. Let c = 14 + k. Suppose 4*z + c = 187. Does 11 divide z?
False
Suppose -a + 32 = -2*i + 3*i, 2*i = 5*a + 78. Does 34 divide i?
True
Let f = 580 - 526. Is f a multiple of 17?
False
Suppose 4*n + 156 = 5*w + 43, 5*w + 76 = -3*n. Let c = -27 - n. Suppose -r = 4*r + 2*j - 75, c = -r + 2*j + 15. Is r a multiple of 3?
True
Let r = 708 - 316. Does 8 divide r?
True
Let b(n) = n**2 - 16. Is b(8) a multiple of 2?
True
Is 1927 + (-7 - (-133)/7) a multiple of 6?
False
Is (-3)/(-1)*(-1)/((-2)/26) a multiple of 39?
True
Suppose -4*q - 4 = 0, -5*f + 36*q - 38*q = -3673. Is 49 a factor of f?
True
Suppose 1980*z -