Suppose 3*i + 14*x - 18*x = 15, 4*i + x = 20. Suppose l*r = -0*z + z - 41, -25 = i*r. Is 8 a factor of z?
False
Let i(y) = -y**3 + 8*y**2 + 5*y - 6. Let a(g) = -3*g**3 + g**2 - g - 1. Let b be a(-1). Suppose -27 - 1 = -b*q. Is 21 a factor of i(q)?
False
Suppose 2*v = 4*g + 136, -57*v + 55*v - 5*g = -91. Is v a multiple of 2?
True
Suppose 3*r = 16 + 104. Suppose -r*q - 56 = -41*q. Does 11 divide q?
False
Let j(t) = 2*t**2 - 2*t - 2. Let g be j(2). Suppose -7 = -3*b + l, -2 = -3*b - g*l + 11. Let c(o) = 2*o**3 - 3*o**2 - 3*o. Is c(b) a multiple of 9?
True
Let v(y) = -13*y**3 - 9*y**2 - 12*y - 14. Let c(m) = 4*m**3 + 3*m**2 + 4*m + 5. Let q(b) = -7*c(b) - 2*v(b). Is 17 a factor of q(-3)?
False
Let t(h) be the second derivative of 49*h**4/12 - h**3/6 - 9*h. Is t(-1) a multiple of 10?
True
Does 23 divide ((-20)/(80/21))/((-6)/224)?
False
Suppose -5*d + 3 = -17. Suppose 197 + 7 = d*b + 5*r, -4*b + 204 = -5*r. Is 17 a factor of b?
True
Let l(j) = -j**3 - 12*j**2 + 24*j - 16. Let d be l(-14). Suppose 4*p + 3*q - 10 = 0, -6 = -3*q - 0*q. Is 8 a factor of 64/d*p*15?
True
Let q(c) = 6*c**2 + 2*c - 3. Let x be q(-3). Let z = x + 5. Does 4 divide z/3 - (-4)/(-6)?
True
Let j(n) = 2*n - 1. Let w be j(2). Let g(c) = 12*c**2 - 3*c - 1. Does 14 divide g(w)?
True
Suppose -2*a + 3*a = o - 5, 0 = 2*o - 3*a - 11. Let u = -60 + 62. Suppose -101 = -u*s - 3*f, 2*s = -2*s - o*f + 204. Does 14 divide s?
False
Let y = -2 + 4. Does 12 divide 142 + (y - 0/(-3))?
True
Suppose -4*r + 6 = -3*d, 0 = 3*r - 9. Does 2 divide (d/(-3))/(4 - (-97)/(-24))?
True
Let j = -4 + 9. Let l(a) = 10*a + 22. Is 12 a factor of l(j)?
True
Suppose -7*y - 734 = -3219. Is y a multiple of 51?
False
Let f(h) = -4*h - 8. Let g be f(-7). Let r = 1001 + -526. Is r/g - 1/(-4) a multiple of 8?
True
Let x(n) = -1 - n**2 + 24 + 5 + 19*n. Is 16 a factor of x(13)?
False
Let o = 156 - -2013. Is 14 a factor of o?
False
Suppose -2*s + 5*t + 296 = -0*t, -5*s - 5*t + 740 = 0. Is 11 a factor of s?
False
Let a be -3 - 33/(-9) - 38/(-6). Suppose -m + a*m = 1974. Is 58 a factor of m?
False
Let r = -1 + 3. Let t(a) = 11*a**r + 34*a**2 + 1 + 14*a**2 + 2*a. Is t(-1) a multiple of 25?
False
Let k(h) = h**3 + 18*h**2 + 15*h - 8. Suppose 0*n - 136 = 8*n. Is 6 a factor of k(n)?
False
Suppose m = 4*m + 9. Let w(t) = -17*t - 2. Let x be w(m). Let j = x - 16. Does 11 divide j?
True
Let m(h) = -h**3 + 5*h**2 - 13*h + 9. Let y be m(8). Let l = -119 - y. Let p = -98 + l. Does 14 divide p?
True
Let l be (20/(-15) - -2)*(-138)/(-4). Suppose -21*b + l*b = 168. Is b a multiple of 12?
True
Let h(k) = 3*k + 2. Let l be h(0). Suppose 5*z + l*q - 214 + 10 = 0, 5*z - 3*q = 194. Is z a multiple of 9?
False
Let t(z) = -13*z**2 + 7*z**2 + 5*z**2 - 3*z - 2 - 20*z**3. Is 10 a factor of t(-1)?
True
Suppose n - 4*n = -30. Let h = n - 5. Does 9 divide (8/h)/((-46)/(-1265))?
False
Let y = -14 - -39. Let s = y + -22. Is (-6)/4*(-5 - s) a multiple of 3?
True
Let n(k) = -k**2 + 7*k - 12. Let x be n(3). Suppose x*a + 3*a - 4*b - 56 = 0, 4*b - 4 = 0. Does 10 divide a?
True
Suppose r = -3*r, 3*o + 3*r = 15. Suppose 0 = -o*a + 14 + 11. Is 2 a factor of a?
False
Suppose -4*g = -16, 0 = x - 3*x + 2*g + 1232. Does 62 divide x?
True
Let y = 3266 - 709. Is 18 a factor of y?
False
Suppose 0*b - b - 315 = -2*f, 0 = 5*f - b - 780. Suppose 3*t - 41 = 2*t - 2*g, -f = -4*t + g. Is 12 a factor of t?
False
Suppose -3*u + 12 = -4*u + 3*s, -1 = -2*u + s. Suppose 0 = 5*c - 4*v - 145, -u*c = -2*v - 21 - 64. Is 25 a factor of c?
True
Suppose 2*s - 5*i = -3 + 24, 3*s + 6 = -5*i. Let g(j) = 7*j + 2. Let d(x) = -6*x - 2. Let n(h) = s*d(h) + 2*g(h). Does 10 divide n(-3)?
True
Suppose 4*n - 3*g - 1261 = 0, -3*n + 1399 = -5*g + 467. Is n a multiple of 17?
False
Suppose t + t = 8. Let c be (142 + 2)*2/t. Suppose 0 = -5*g - y - c + 175, 2*g - 37 = y. Does 10 divide g?
True
Let d = -25 + 29. Suppose 0 = d*i - i - 111. Is 12 a factor of i?
False
Let s(j) = 2*j**3 + 15*j**2 - j + 2. Suppose 75 = -5*u + 40. Is s(u) a multiple of 25?
False
Let g(r) = r**2 + 5*r + 35. Suppose -7 - 11 = 3*m. Is g(m) a multiple of 7?
False
Let t(l) = 19*l + 11. Let r be t(1). Suppose -5*f + 6 = 4*c - r, -15 = -2*f - c. Is f a multiple of 2?
True
Suppose 5*m = 11 + 4. Let t = 8 - m. Suppose -5*g - 15 = -t, 0 = -b - 3*g + 45. Does 13 divide b?
False
Let l be 1/2*-6*(-66 - -1). Suppose 4*y - 15 = -k, -2*k + 4*y = 3*k - l. Is 10 a factor of k?
False
Let v(w) = 179*w - 847. Is v(8) a multiple of 5?
True
Suppose 5*v - 23*w - 3465 = -18*w, 2087 = 3*v - 5*w. Does 53 divide v?
True
Suppose 65*m - 1200 = 5495. Does 3 divide m?
False
Suppose 248*m - 245*m = -4*x + 6549, 2*m - 4913 = -3*x. Is 8 a factor of x?
False
Suppose 0 = -4*i + 3*i + 2*a + 8, 0 = -3*a - 9. Suppose i*n + 98 = 4*n. Is n a multiple of 7?
True
Suppose 234 + 436 = g - 4*j, -2*g + 1327 = 5*j. Is 17 a factor of g?
False
Let n(i) = -i**3 - i**2 + 1. Suppose -5*w - 4 - 1 = 0. Let x be n(w). Is x*37 + (7 - 10) a multiple of 17?
True
Let z(v) = v**3 - 20*v**2 + 8*v - 52. Is z(21) a multiple of 22?
False
Let s be ((-6)/(-4))/((-3)/(-28)). Suppose 297 = s*l - 11*l. Does 11 divide l?
True
Let o = 458 + 182. Does 40 divide o?
True
Suppose 0 = -3*g + 9, -i + 3*g - 6 = -2. Suppose -i*a - 6*m + 5*m = -8, -12 = -2*a + 4*m. Does 17 divide (35 - 1)*1/a?
True
Let m(p) = p**3 + p**2 - p + 2. Suppose 10*x = 9*x. Let y be m(x). Suppose 0 = 3*l - y*l - 11. Does 11 divide l?
True
Let c = 13 + 1943. Is c a multiple of 12?
True
Let b = -2454 + 3575. Is 56 a factor of b?
False
Suppose 2965 = 5*k + 5*d, 5*k - 4*d + 3*d = 2935. Is k a multiple of 14?
True
Suppose -5*r + v + 2747 - 827 = 0, 0 = -5*r + 4*v + 1905. Is 77 a factor of r?
True
Suppose 2*y - 2*m = 356, -2*y + m + 336 = 3*m. Is 28 a factor of y?
False
Let h = 931 - 418. Is 27 a factor of h?
True
Let b = -64 + 68. Suppose -5*q + 1728 = b*q. Is q a multiple of 23?
False
Let o = -114 - -119. Suppose -3*c = -o*q + 58, -48 = -4*q + 4*c - 2*c. Does 5 divide q?
False
Suppose -2*j = -4*j - 4*d + 204, 0 = j - d - 99. Let s be (-3)/12 - j/(-16). Does 18 divide ((-3)/1)/(s/(-36))?
True
Let b(w) = w**2 - 3*w - 4. Let j be b(6). Let q = j + -12. Suppose 36 = q*l - 0*l. Is 6 a factor of l?
True
Suppose -3*h = 6*h - 2772. Suppose 6*i = h - 38. Does 9 divide i?
True
Suppose 5*f = 5*d - 4810, 2*d = d - 2*f + 956. Suppose 0 = -2*w + 10*w - d. Is w a multiple of 40?
True
Let a(t) = -5*t**3 - t**2 + t + 2. Let k be a(-1). Suppose 0 = 3*i + 5*w - 204, 3*w - 60 = -i + 4*w. Suppose -243 + i = -k*m. Is 12 a factor of m?
True
Let q = 117 - -117. Is 18 a factor of q?
True
Let f(k) = 2*k**2 - 94*k - 374. Does 18 divide f(56)?
False
Let w = -1502 + 51. Is 8/(-36) + w/(-9) a multiple of 33?
False
Let v(b) = 21 + 5*b**2 - 7*b - b**2 - 5*b - b. Is 18 a factor of v(7)?
True
Suppose 5*v = 15 + 15. Suppose -4*r = s - v*s + 21, -1 = -r. Suppose 0 = -s*q + 5 + 10. Is q a multiple of 3?
True
Suppose -448 = -5*a + 2*f, -5*f = -4*a - f + 356. Suppose 2*q + 126 = v, 86 = -3*q + v - 102. Let j = a + q. Is 7 a factor of j?
True
Let b = -1 - 0. Let t(d) = -5*d - 15 + 34 - 40*d - 20. Does 11 divide t(b)?
True
Suppose -5 = -f + 2. Suppose 6*y - f*y + 2 = 0. Suppose -3*o = 2*v - 5*v - 294, y*o - 190 = -v. Is 32 a factor of o?
True
Suppose v + 20 = -4*v. Does 20 divide (v/(-4))/(-1 + 88/87)?
False
Suppose -4*n + n + 15 = 0. Suppose -4*y + 2*r = -93 - 109, 0 = 2*y + n*r - 83. Is y a multiple of 10?
False
Let d = 11 + 11. Suppose 0 = l + 5*t - 0*t + 3, 4*l + 2*t + 48 = 0. Let p = d + l. Is p a multiple of 3?
True
Let j(q) = 12*q - 88. Does 8 divide j(16)?
True
Let d be (-158)/2 - 72/(-18). Let w = d + 152. Is (w - 0) + 0 + 4 a multiple of 12?
False
Let z(x) = -x**2 + 3. Suppose 0*j = -j. Does 3 divide z(j)?
True
Let w be -1*(-40)/(-2 - -7). Is 26 a factor of 7/((-14)/w) + 124?
False
Let p = -581 + 1127. Suppose -8*d + p = -d. Is d a multiple of 11?
False
Let r = 1576 - 719. Is 92 a factor of r?
False
Suppose 8 - 33 = -5*m. Suppose -m*w = -697 - 333. Does 44 divide w?
False
Let n = 25 + 542. Does 26 divide n?
False
Let g = -15 + 15. Suppose g = u + u - 166. Is u a multiple of 21?
False
Suppose 68*n - 66*n = 158. Suppose 4*w - 55 - n = -v, 466 = 3*v - 4*w. Does 10 divide v?
True
Suppose -5*o - 2*a = -33, -4*a = 3*o - 9*a - 26. Suppose 5*b - o = 13. Is 0 + -2*(-7