z - 63. Suppose 0*s + v = s. Does 14 divide s?
True
Let w(b) be the first derivative of 43*b**4/2 - b**2/2 + 9. Is w(1) a multiple of 17?
True
Suppose -22 = q - 5*j, -q - 3*j - 83 = q. Let n = q - -85. Is 43 a factor of n?
False
Suppose -586 = -2*f + 824. Is f a multiple of 53?
False
Let d(l) = 2*l**2 + 5*l + 2. Is 38 a factor of d(-14)?
False
Let y(b) = -10*b - 132. Is y(-38) a multiple of 7?
False
Suppose 5*y = 2*d + 146, -5*y - 5*d = -145 - 15. Let u = 43 - y. Does 13 divide u?
True
Let v be (-12)/(-2)*(-2)/3. Is 15 a factor of 4 + 0 + v - -32?
False
Suppose 4*k = -0*k. Let p(z) = -z**3 + 3*z**2 - 2*z. Let l be p(2). Suppose l = -k*q + 3*q - 30. Is q a multiple of 2?
True
Suppose -2*m - 60 = -4*m. Suppose 2*t - m = -3*t. Does 2 divide t?
True
Let b be -5*((-7)/(-5) + -11 + 9). Suppose 4*g = -b*g + 224. Is g a multiple of 4?
True
Let j = 12 + -12. Is 2 a factor of 2/(-1)*(-4 + (1 - j))?
True
Suppose -23 = u - 4*l, 2*l + 1 = 2*u + 17. Let t(a) = -29*a + 10. Let w be t(u). Let m = w + -53. Is m a multiple of 11?
True
Suppose -12512 = 372*m - 389*m. Is 32 a factor of m?
True
Let d be (1 - 0) + 7 + -10. Is (-64)/(-5) + d/(-10) a multiple of 13?
True
Suppose 0 = v + 30*v - 34720. Is 80 a factor of v?
True
Is 10 a factor of (13/((-65)/(-5550)))/((-3)/(-2))?
True
Let k be 0/(-2) - (4 - 7). Suppose -k*u + b = -6, 0*u - 4*b = -u - 9. Does 3 divide u?
True
Let m be 7 - ((-36)/3)/(-4). Suppose -m*p + 5*c = -569, -2*p + 4*p - 278 = -4*c. Is p a multiple of 39?
False
Let k(j) = -j**3 - 15*j**2 + 13*j + 30. Is k(-18) a multiple of 24?
True
Let y be 1/4 + 19/4. Suppose 3*h + s + 1 = 63, y*h = -5*s + 100. Is 5 a factor of h?
False
Suppose 0 = -n - 0*n. Suppose f - 5*f + 888 = n. Suppose 3*l - 2*k - f = -2*l, 2*l = 3*k + 80. Does 21 divide l?
False
Let z = 176 - 522. Let r = -185 - z. Is r a multiple of 31?
False
Is 44 a factor of (-9)/(36/16) - -9 - -171?
True
Let y(v) = 8*v**2 - 33*v + 21. Is y(6) a multiple of 6?
False
Suppose -3*p + 5 = -1. Let h be -2 - (28 + (-1 - p)). Let y = -19 - h. Is y even?
True
Let z = 1017 - 744. Does 59 divide z?
False
Let p = -324 + 494. Suppose 0 = 12*w - 566 + p. Is w a multiple of 3?
True
Let d = 34 - 29. Suppose -d*u - t = -24, -u - 2*t = 3*u - 24. Suppose -u*v - 460 = -9*v. Is v a multiple of 19?
False
Is 10 a factor of 75732/30 - (-12)/(-30)?
False
Let f be 2 + (3 - 1 - 1). Let z be (-30)/4 + (-33)/(-22). Is 18 a factor of 16 - 1/(f/z)?
True
Let x be 177/(-24) - 3/(-8). Let z be (-131)/(-7) + 4/14. Let o = z + x. Does 3 divide o?
True
Suppose -27*g = -32*g + 10355. Does 81 divide g?
False
Suppose -2*c + 3*c + 2619 = 2*t, 4*t + c - 5229 = 0. Does 12 divide t?
True
Suppose -s = -31 + 29. Let m(j) = 14*j**3 + 3*j**2 + j. Is m(s) a multiple of 7?
True
Let d = -38 - 7. Let f be (-2)/(1 - d/(-43)). Let c = 72 - f. Does 8 divide c?
False
Let u(t) = -2*t**3 + t**3 - 2 - 4*t - 3*t**2 + 0*t**3. Is 10 a factor of u(-3)?
True
Let b be 679/(-14) + -3 + 2/(-4). Let c be 2/8 - (-118)/8. Is c/5*b/(-3) a multiple of 26?
True
Let m = 101 - 49. Does 4 divide m?
True
Let v(x) = -228*x - 3. Let f be v(-1). Suppose -5*p + 3 - 74 = -l, 0 = 3*l - 3*p - f. Does 31 divide l?
False
Let o = 1 - -8. Let q = o + -7. Suppose 4*i + q*w - 31 = 15, 4*i - 4*w = 52. Does 4 divide i?
True
Does 128 divide 4/10 - 5/(100/(-20212))?
False
Let h = -595 + 317. Let n = -46 - h. Is n a multiple of 23?
False
Let f(v) = -2*v + 55. Let o be f(26). Suppose -5*a + 5*p + 810 = 0, -o*a + 3*p - p + 481 = 0. Is a a multiple of 29?
False
Let i = -47 - -49. Is 113/6 - 3/(i - 20) a multiple of 9?
False
Let j(h) = -7*h - 2 - 3*h + 5*h + 2*h**2 + h**3. Let t be j(-3). Suppose 0 = -f, -190 + 46 = -t*o - 3*f. Is 18 a factor of o?
True
Let s = 247 + -80. Does 16 divide s?
False
Suppose 3*v - 192 = v. Is 12 a factor of v?
True
Let v(j) = -j**3 + 3*j**2 - 2*j + 4. Let a be v(2). Suppose -4*l - 74 = -2*u, u - a*l = 9 + 20. Is 11 a factor of u?
False
Suppose 2*x = -0*x. Suppose x = -3*i + 2 + 10. Suppose -i*s = 92 - 268. Does 11 divide s?
True
Let m = 12 + -13. Let c = 2 - m. Is (c + -2)/((-2)/(-4)) a multiple of 2?
True
Suppose 4*f - o = 4*o + 45, -5*f + 2*o = -52. Let d(b) = -b**2 + 11*b + 1. Let n be d(f). Let h = n - -16. Is h a multiple of 19?
False
Let n(i) = -143*i - 15. Is 64 a factor of n(-1)?
True
Let y = 1209 + -1156. Is y a multiple of 11?
False
Suppose 46*z + 4818 = 68574. Is 77 a factor of z?
True
Suppose 11 = -4*p - 5. Suppose -2*l = 2*r - 2 + 14, -5*r = -4*l + 12. Is (-9)/l + 2/p even?
True
Let k be (-2)/3*(-99)/6. Let a(v) = -3*v**2 + v + 18. Let x(t) = -t**2 + 6. Let p(j) = -3*a(j) + 8*x(j). Is 27 a factor of p(k)?
False
Let m(c) be the first derivative of c**4/4 + c**3/3 - c**2/2 + c + 4. Let y be m(1). Does 18 divide y/10 - (-359)/5?
True
Is 11/99 + (-4624)/(-18) a multiple of 50?
False
Suppose -4*f = -2*j - j - 11, 2*j + 14 = 4*f. Suppose 0 = -f*o + 598 + 207. Is 19 a factor of o?
False
Let l be (-1)/((-3)/(-24)) + 4. Let n be -1 - (l - -2) - 0. Suppose 0 = -4*f + 19 + n. Does 5 divide f?
True
Let u be 22/(-6) + 3/(27/6). Is 35 a factor of (0 - u/3)*302?
False
Let c(z) = -11*z - 4. Let f be c(-1). Let x(t) = t**2 - t + 11. Is x(f) a multiple of 11?
False
Suppose -11*v - 8 = -3*r - 13*v, 24 = 4*r - 4*v. Let i be (-2)/(-4) - (-1)/(-2). Suppose i = r*d + 12, -3*k = -0*d + 5*d - 141. Is k a multiple of 15?
False
Let g(a) be the first derivative of 13/2*a**2 + 4 - 11*a. Is g(6) a multiple of 17?
False
Suppose -3*u - 2*l + 193 = 0, -5*l - 69 = -u - l. Is u a multiple of 13?
True
Let i(d) = d + 17. Let u be i(-14). Let j(v) = v**3 - 3*v**2 + 2*v - 3. Let r be j(u). Is 18 a factor of (1 - r) + 5 + 47?
False
Let t(b) = 2*b**2 + 4*b - 2. Let m be t(-3). Suppose -4*k + 2*c = -198, 0 = 3*k - m*c - 95 - 66. Is k a multiple of 34?
False
Let g be (4/5)/(-2)*-25. Suppose 2*s = -0*s + g. Suppose l + 0*l + z - s = 0, -3*l - 2*z = -12. Is l a multiple of 2?
True
Suppose 3*a = -4*f + 19, -5*f + 0*f = -5. Suppose 2*d = 54 + 10. Suppose 0 = a*n + 3*k - 86, -2*k + d = 2*n - 0*k. Is n a multiple of 6?
False
Let q = -11 - -13. Let r = q - 0. Suppose -7*i + 35 = -r*i. Is i a multiple of 6?
False
Is (-54340)/(-455) + (1 - 6/14) a multiple of 15?
True
Suppose 1810 = 2*l + 4*t - 1586, -t = 5*l - 8517. Does 10 divide l?
False
Let x be (0 + 3 + -17)*-3. Let g = x + -31. Does 8 divide g?
False
Suppose -3*x = 3*h + 2*x - 211, -5*h + 337 = x. Let u = -15 + h. Does 26 divide u?
True
Suppose 10*r + 218 = 68. Is ((-156)/(-65))/((-1)/r) a multiple of 3?
True
Suppose -x + 331 + 719 = 0. Does 15 divide x?
True
Suppose -4*u = -5*l + 12, -2*u - 33 = l - 13. Let r be 84/u + (-1)/2. Let x = 13 + r. Is x a multiple of 2?
True
Let k = 242 + -186. Is 2 a factor of k?
True
Let i(n) = 3*n**2 - 22*n - 3. Is i(13) a multiple of 8?
False
Suppose 11*n - 9*n = 98. Is 5 a factor of n?
False
Suppose 12784 = -47*m + 64*m. Is 8 a factor of m?
True
Let r(a) = -a**3 + 8*a**2 + 58*a - 19. Is r(-9) a multiple of 19?
True
Let f be (1302/(-8))/(13/(-52)). Suppose -f = -3*u + 3*g, -2*g = 3*u + 170 - 806. Is 10 a factor of (-2)/(-9) + u/9?
False
Suppose 8200 = -79*c + 22578. Is 3 a factor of c?
False
Let d be -2*(1/(-2) + (-4)/2). Suppose 0*s - 5*n + 240 = 3*s, 3*s - 240 = d*n. Is s a multiple of 8?
True
Let m = 32 + -38. Let z(w) = -3*w + 4. Is 3 a factor of z(m)?
False
Suppose -678 = -4*h - 2*c, 3*c - 496 = -3*h - c. Suppose -4*b - 600 = -5*r, r - h = 3*b - 41. Let f = r - 55. Is f a multiple of 12?
False
Let b(j) = -j**3 - 11*j**2 + 11*j - 17. Suppose -2*x - 32 = -6. Does 40 divide b(x)?
False
Let f(q) = 8*q + 161. Is f(13) a multiple of 53?
True
Is (-12 - 340/(-12)) + (-2)/6 even?
True
Suppose 0*m - 2*m = 0. Suppose -5*z = m, 4*z = l - 5*l + 16. Suppose 2 - 30 = -l*i. Does 4 divide i?
False
Is 10 a factor of (112/12)/(6/90)?
True
Let g(q) be the second derivative of -7*q**3/6 - 9*q**2/2 - 20*q. Does 4 divide g(-11)?
True
Suppose 4*g + 620 = 4*x, 218 = 3*x + g - 255. Let c = 223 - x. Is 22 a factor of c?
True
Let x = 658 - 354. Is 8 a factor of x?
True
Suppose -324 = 2*u - 2*o, 0 = -2*u - 3*o + 16 - 315. Let y = 421 + u. Is 34 a factor of y?
False
Let g(u) = u**3 - 5*u**2 + 5*u - 3. Let v be g(4). Suppose 4 = c - v. Suppose -18 = -c*n + 37. Is n a multiple of 5?
False
Suppose -3*k = 2*m - 7 + 1, 5*k = -3*m + 11. Let j = 