e 2*j + 0*o - 199 = 3*o, 5*j - 535 = -5*o. Suppose -a + j = 2*x + 4*a, 4*a - 100 = -2*x. Is x a multiple of 21?
True
Let f = 16 + 149. Does 33 divide f?
True
Let i = -18 + 13. Let c(t) = -t**3 - 4*t**2 - t + 2. Let h be c(i). Let u = h - 14. Is 10 a factor of u?
False
Suppose -z = -2*r - 0*z + 81, 0 = 2*r + z - 79. Is 11 a factor of r?
False
Suppose -3*t = -4*t - 8. Is (-76)/(-6) - t/(-12) a multiple of 8?
False
Suppose -3*a = 5*l + 111 - 610, 5*a = 3*l - 279. Is 14 a factor of l?
True
Let g(w) = w + 4. Let d be g(-3). Does 4 divide d/(-2)*-2 + 5?
False
Suppose -18*h + 5236 = 286. Does 25 divide h?
True
Let z(w) = 101*w**2 - 5. Let i(y) = -50*y**2 + 3. Let g(f) = 7*i(f) + 4*z(f). Let n be g(1). Let p = -30 + n. Does 25 divide p?
True
Suppose 0*a + 90 = a. Is a a multiple of 15?
True
Suppose -18 = -5*f + 7. Suppose -f*p = -0*p - 4*o - 7, 4*p + 7 = -o. Let j = p - -8. Does 7 divide j?
True
Let k(q) = q**3 + 12*q**2 + 11*q - 5. Let s be k(-9). Let a = s + -97. Is a a multiple of 14?
True
Is (28/6)/((-2)/(-15)) a multiple of 6?
False
Does 24 divide (-11 - -1)*(-36)/5?
True
Let m(p) = -5*p + 1. Let i be -3*(-2 + 3 - -2). Is m(i) a multiple of 23?
True
Suppose 3*z - m = 15, -3*z - 3*m = -5 - 10. Suppose -z*i + 0*i + 145 = 0. Is 13 a factor of i?
False
Let h = -6 + 6. Is 16 a factor of 0 - h - 1 - -36?
False
Let t = -21 - -14. Does 6 divide -1 - -18 - t/7?
True
Let f(i) = -i**3 - 9*i**2 - 8*i + 4. Let h be f(-8). Suppose 2*d + h*o - 50 = 6*o, -3*d + 43 = 5*o. Is d a multiple of 10?
False
Let n(u) = -4*u - 5. Let q(b) = 11*b + 16. Let k(z) = -17*n(z) - 6*q(z). Is 7 a factor of k(10)?
False
Suppose -5*c = 2*r - 25, 1 = 2*c - 3*c. Let f be 375/(-55) - 4/22. Let a = f + r. Does 3 divide a?
False
Suppose 105*p = 108*p - 168. Does 14 divide p?
True
Suppose 0 = -0*r - r + 5. Suppose 13 = 2*t - r. Is 9 a factor of t?
True
Suppose -r - 5*r = -54. Does 5 divide r?
False
Suppose -5*y + 7 = -3. Suppose -y*a + 66 = 18. Is a a multiple of 18?
False
Let g = -23 + 87. Is 13 a factor of g?
False
Suppose -3*x - 4*w = 0, 3*w + w + 8 = -5*x. Let s be 104/10 - x/(-10). Is 20/6*12/s a multiple of 4?
True
Let x(a) = -2*a + 4. Let t = -3 - 0. Is 7 a factor of x(t)?
False
Suppose 5*q - 247 = 63. Let s(u) = 8*u - 32. Let x be s(16). Let k = x - q. Is k a multiple of 17?
True
Suppose 420 = 24*p - 19*p. Is p a multiple of 12?
True
Let h be -1*((1 - 2) + 85). Let r be -3 - 1/((-1)/(-2)). Is (h/20)/(1/r) a multiple of 15?
False
Suppose 8*h - 85 = 803. Is h a multiple of 4?
False
Let x = 2 - 5. Let z be 3*x/(-9) - -4. Suppose 25 = -z*f + 60. Is f a multiple of 4?
False
Let q(l) = -2*l. Let b be q(-1). Suppose 3*c - b*v = 3*v + 222, -2*c + 148 = 3*v. Is c a multiple of 20?
False
Let m be ((-1)/(-3))/((-1)/3). Let c(k) = 3*k**2 + k + 1. Let d be c(m). Suppose d*g = 2*b + 8 - 24, -3*b - 5*g + 5 = 0. Is 3 a factor of b?
False
Let n = -29 - -169. Does 20 divide n?
True
Let q(o) = 8*o**2 - 3*o. Let w be q(-3). Suppose -111 = -4*i + w. Is 24 a factor of i?
True
Let n be -2 + 3/3*11. Is (-1)/1 + 198/n a multiple of 7?
True
Let w = -6 + 10. Suppose r = -r + w. Suppose -5*j + r*j = -36. Is 12 a factor of j?
True
Let n(v) be the first derivative of 7*v**2 - 2*v + 3. Does 27 divide n(4)?
True
Suppose 7 = 3*j - 8. Suppose 2*x = -j*g + 13, -g + 3*x + 6 = -0*g. Is 12 a factor of (-4)/6 - (-74)/g?
True
Let q(g) = 4*g + 11. Let z(t) = -3*t - 10. Let y(b) = -2*q(b) - 3*z(b). Does 10 divide y(12)?
True
Let x = 39 - 19. Does 4 divide x?
True
Let n be 3/(-15) + 52/10. Let y(w) = 1 + 2 + 2*w + 0. Is y(n) a multiple of 6?
False
Let z(q) = 3*q**3 - 4*q**2 - 5*q + 15. Is z(3) a multiple of 15?
True
Suppose 0*l + 452 = 4*l. Let s = -18 + l. Is s a multiple of 19?
True
Suppose 2*j + 4*i - 64 = 0, 168 = j + 3*j - 2*i. Suppose 3*c = j + 152. Is c a multiple of 17?
False
Suppose -4*m + 4*g - 96 = 0, 18 = 3*m - 2*g + 94. Let f = -5 - m. Does 23 divide f?
True
Suppose 2*b + 2*b = 16. Let a be (-348)/(-16) + 1/b. Let t = 52 - a. Is 15 a factor of t?
True
Suppose -6*l = -10*l + 20. Is 5 a factor of l?
True
Suppose -j = -4*n + 268, 2*n + 3*j = 70 + 50. Is 11 a factor of n?
True
Let t(r) = 3*r**2 - 2*r - 1. Let a be t(-1). Let l = a - 4. Suppose -2*v + 7 = -3*d - 22, l = -5*v + 4*d + 62. Is v a multiple of 3?
False
Suppose -3*t = l - 3, -4*l - 4 + 16 = 2*t. Suppose 0 = d + 4*d - 3*v + 85, 0 = 3*d - v + 51. Let i = l - d. Does 10 divide i?
True
Suppose 144 = -2*s + 8*s. Does 3 divide s?
True
Let p be ((-6)/(-18))/(2/12). Suppose p*v - 6 = -0*v. Suppose 2*x - 3*x + v = 0. Does 3 divide x?
True
Let p(r) = -r**3 - 6*r**2 + 3*r + 8. Let x be p(-6). Let c = -6 - x. Suppose n = c*n - 60. Is n a multiple of 10?
True
Let b = 29 - 13. Let k = b - 28. Let r = k + 25. Does 13 divide r?
True
Suppose -3*p = -p. Let b(c) = -c**3 - c**2 + 26. Is b(p) a multiple of 13?
True
Let m(q) = -10*q**2 + 1. Let k be m(1). Suppose -4*o = -2*o - 6, w + o + 3 = 0. Is 7 a factor of (42/k)/(4/w)?
True
Let o = 25 - 0. Let b = -17 + o. Is b a multiple of 4?
True
Suppose 0 = -3*p + 5 + 4. Suppose -4 = c, p*h = -0*c + 3*c + 294. Does 29 divide h?
False
Suppose -l = 3*l - 252. Suppose -3*o + 89 = k, -4*o + l + 61 = -4*k. Suppose 6*t - 5*t + 3*c = o, -3*t + 54 = -3*c. Does 19 divide t?
False
Let p(w) = -3*w**2 - w**3 + 10*w**2 - 3*w - 3 + 1. Is 15 a factor of p(3)?
False
Let c be (-28)/(-6) - 4/6. Let y be (2/c)/((-1)/(-6)). Suppose 0 = -y*p + 10 + 20. Is 10 a factor of p?
True
Let r be -3 - (0 + -3*2). Suppose 3*l = 2*n - 83, n - r*l = 5*n - 121. Is n a multiple of 10?
False
Let z be 5*(-2)/(-5) - 3. Is (-2 - 2)/z - -66 a multiple of 21?
False
Suppose -4*f + 20 = 0, 3*x + 22 = 4*x + 2*f. Does 4 divide x?
True
Let c be 111/6*(-2 + 4)*-2. Let i = -26 + 4. Let w = i - c. Does 19 divide w?
False
Let d(s) = s**3 + 2*s**2 + 4*s + 3. Let n be d(-2). Let m = -3 - n. Suppose -2*b + 39 = 5*w, -4*w + 24 = -0*w - m*b. Does 4 divide w?
False
Suppose -4*j + 7*j + 18 = 0. Let q = 6 + j. Suppose 5*b = -q*b + 235. Is 16 a factor of b?
False
Suppose -3*o + 532 = -2*u - 153, 3*u + 687 = 3*o. Suppose -o = -4*l - 71. Does 13 divide l?
True
Suppose -p + 1 = -0*p. Suppose 2*o - 2*f = -8, -o + 6 + 8 = 5*f. Let s = p - o. Is s a multiple of 2?
True
Let w(x) = x**2 - 5*x - 10. Is 23 a factor of w(-8)?
False
Let w = 4 + -4. Does 11 divide 2/(w - (-4)/66)?
True
Let i(k) be the first derivative of 17*k**2/2 - k - 1. Is 8 a factor of i(1)?
True
Let y = 14 - -2. Is 6 a factor of y?
False
Let g be 2/(-10) + (-741)/(-5). Suppose -4*t + 2*f + g = -2*f, 167 = 5*t + 4*f. Is t a multiple of 7?
True
Suppose 2*y - j = y + 11, 4*y = -j + 49. Is 90/(-4)*y/(-18) a multiple of 7?
False
Let k(c) = c + 1. Let u be k(3). Suppose 0 = 4*m - 2*b - 2*b - 72, m - 2*b = 20. Let f = m - u. Does 6 divide f?
True
Suppose 94 = -3*c - 5*h, -c - 4*c + 2*h = 105. Let k = c - -41. Is 6 a factor of k?
True
Let n(b) = -b + 4. Let z(l) = -l**2 - 2*l + 2. Let m be z(2). Is 3 a factor of n(m)?
False
Suppose 5*v + n = -3, 3*n - 11 = 4*v + v. Let p(g) = 29*g**2 - g. Let u be p(v). Suppose u = c - 5*y, -2*y + y - 150 = -5*c. Is c a multiple of 12?
False
Let o be 26 + 0*(3 + -2). Let f = -12 + o. Does 7 divide f?
True
Let g(b) = 37*b**3 - b**2. Does 27 divide g(1)?
False
Suppose -2*l - l + 24 = 0. Suppose -4*d = -8*d + l. Suppose 2*x = -5*q + 4*x + 95, d*q + 3*x = 19. Is q a multiple of 17?
True
Let z be (3 + -12)/(-3) + 1. Suppose -3*k + 133 = 2*k - 4*r, -2*k + 58 = -z*r. Suppose -3*n - 4 = v - 37, n + 5*v - k = 0. Is n a multiple of 6?
False
Let w(v) = 3*v. Let q be w(2). Let f be 0/(3*(-4)/q). Suppose f*z = -z + 25. Does 17 divide z?
False
Suppose 0 = 5*f - 58 - 92. Does 6 divide f?
True
Suppose -2*k - 105 = -d, 0 = -3*d - 2*d - 5*k + 600. Does 11 divide d?
False
Let l be 2 - (6/3 - 0). Suppose l = -f + 3*f - 112. Is f a multiple of 14?
True
Let m = 6 - 6. Suppose m*n - 30 = -n. Is 16 a factor of n?
False
Is 0 - (-4 + (3 - 1) + -4) a multiple of 2?
True
Suppose -4*j - 236 = 3*f - 8*f, -4*f - 2*j = -168. Let h = -25 + f. Does 13 divide h?
False
Suppose 3*x = 0, -15 = 5*t + 2*x + 2*x. Is 1/(t + 444/147) a multiple of 17?
False
Is 2/9 + 4576/144 a multiple of 12?
False
Is 11 a factor of (-6)/9*69/(-2)?
False
Suppose 0*i - 3*i = 0. Suppose i = 3*n + n - 24. Does 4 divide n?
False
Let s(t) = 14*t - 1. Let q = -6 - -