15). Let c = 434 - v. Does 33 divide c?
False
Let g(y) be the first derivative of 3*y**3 - 5/2*y**2 + 4*y + 1. Is g(3) a multiple of 15?
False
Suppose -48*q - 28 = -55*q. Let l be (4/(-3))/(-1)*3. Suppose -8*b + l*w = -q*b - 284, -4*b + 329 = 5*w. Is 19 a factor of b?
True
Let l(m) = -4*m + 60. Suppose z - 2*n = -32, -11 = -z + n - 38. Is l(z) a multiple of 37?
True
Is 858 - -21*(-14)/49 a multiple of 14?
False
Let d(x) = -x - 1. Let i be 0 + (-5 - (1 + -2)). Let n(z) = 9*z - 6. Let w(y) = i*d(y) - n(y). Does 10 divide w(-7)?
False
Suppose 3*z - 5*z = -868. Does 9 divide z/8 + 7/(-28)?
True
Suppose 6704 = -13*h + 29*h. Is h a multiple of 29?
False
Suppose k - 4*n = -3*k + 28, 2*n + 29 = 5*k. Suppose 2*r = 4*s - 2*r, 0 = -k*r + 5. Suppose -2*w + 3*w - s = 0, 5*f - 155 = 5*w. Is 9 a factor of f?
False
Is (-89)/(-1) - 0 - -7 a multiple of 8?
True
Suppose 5*b - 2 = 3*b, -3*b - 3047 = -5*p. Suppose t + 2*l = 127, -7*t + p = -2*t + 5*l. Is 7 a factor of t?
False
Let z be 5/((6 + -4)/2). Suppose n + 44 = 4*l, 0 = 3*l + n + z - 31. Does 5 divide l?
True
Suppose 4*z = 5*r + 11 + 34, -5 = 5*r. Let m = z + 41. Is m a multiple of 7?
False
Let f(q) = -2*q - 23. Let n be f(-11). Let s be 14/(n - -3) - -1. Suppose -v - 1 = -s. Is 4 a factor of v?
False
Let h be 17 + (2 - 2)/3. Suppose 4*u + 6*q - h = 3*q, 5*u + q = 13. Suppose u*r = 4*k + 60, 50 = -3*r + 5*r + k. Does 6 divide r?
False
Let s = 37 + -7. Let o = -2 + 4. Suppose 2*t + 2*t = o*r + 140, 3*r + s = t. Does 18 divide t?
True
Let s = -679 - -1939. Does 45 divide s?
True
Suppose 0 = 4*a, 7*b - 2*b = -2*a + 15. Suppose -5*v + 3*x + 89 = 0, -3*v = 2*v + b*x - 101. Is v even?
False
Suppose -5*s = 5*a - a + 46, 4*a = 2*s - 32. Let l be (-2)/2 - (a - -3). Suppose 0 = -l*j + 46 - 6. Does 4 divide j?
True
Suppose -298 = -13*k + 950. Is 4 a factor of k?
True
Suppose -2*c + w = 2, -c + w = 4*w - 13. Does 4 divide (1/c)/(3/114)?
False
Is 11 a factor of -2*((-235)/20)/1*22?
True
Let n(l) = -l**2 - 11*l + 28. Does 8 divide n(-11)?
False
Suppose -3 = -29*w + 28*w. Suppose -w*m + 174 = 4*h - 0*m, 4*h + 4*m - 176 = 0. Is 14 a factor of h?
True
Let h = -365 + 369. Let x(o) = -o**3 - 5*o**2 - 4*o + 2. Let z be x(-4). Suppose -s + 77 = z*w - 0*s, -w + h*s + 16 = 0. Is 12 a factor of w?
True
Suppose f + 0*n = 2*n - 3, n - 29 = -5*f. Does 6 divide ((-3)/f)/(1/(-20))?
True
Let k be 3/4*((4 - -6) + -6). Suppose -3*f + 24 = k*x, 0 = -3*f + 5*x - 0 + 64. Is f a multiple of 13?
True
Suppose s = -3 + 5, 0 = -3*w + 2*s + 1034. Let y = -170 + w. Does 7 divide y?
False
Let u(g) = -14*g**3 - 2*g**2 + g + 1. Suppose -r + 1 = 0, 0*r = 4*q - r - 3. Let i be u(q). Let m = 31 + i. Is m a multiple of 17?
True
Suppose 0 = n - 5*v - 289, n - v + 47 = 348. Does 16 divide n?
True
Suppose -b = 4*b + 5*f - 195, 5*f - 125 = -3*b. Let o = b - 17. Suppose 4*c - o - 6 = 0. Is 2 a factor of c?
True
Let t be (0 + 0 - -1)*131 + 2. Let v = -51 + t. Is v a multiple of 32?
False
Let r = 58 + -30. Let x = 48 - r. Is x a multiple of 10?
True
Suppose -4 = -5*r + 2*r + q, r = -2*q + 13. Let m be 12/(r + (-6)/3). Suppose 5*t - 28 - 35 = k, -m = 4*k. Is 12 a factor of t?
True
Let o = -7 - 5. Is 3/(o/(-353)) - 3/12 a multiple of 5?
False
Suppose -w = -2*i + 159, -4*w - i = 311 + 298. Let a = -125 - w. Is 4 a factor of a?
True
Let z = 424 + 382. Is 26 a factor of z?
True
Let p = -17 - -48. Let u = 218 - p. Does 17 divide u?
True
Let z be (14/4 + -3)*0. Suppose -4*f + 20 - 4 = z. Suppose -2*w + f*w = 32. Does 16 divide w?
True
Let d be 13/52 - 1138/8. Let y = d + 274. Suppose -4*a - 4*h = -y, 0*h = a + 4*h - 33. Is 14 a factor of a?
False
Let g = 12 + 28. Does 3 divide ((-24)/g)/((-2)/40)?
True
Let z be (-5 - 0 - -3)*3. Let v = 2 + z. Is v/6 + (-258)/(-9) a multiple of 9?
False
Does 9 divide (-14)/10 - -1 - 4994/(-110)?
True
Let t be ((-24)/14)/(30/(-2415)). Suppose 3*q - t = -5*o, -29 = 4*o - 3*q - 134. Does 17 divide o?
False
Let o(v) be the third derivative of v**5/15 + v**4/6 + v**3/2 - 8*v**2. Is 2 a factor of o(-2)?
False
Suppose -5*o = -o - 220. Let t = o - 37. Is t a multiple of 6?
True
Let x(a) = 3*a**2 + 32*a + 60. Is x(-20) a multiple of 68?
False
Suppose 61*w = 41*w + 16000. Is 16 a factor of w?
True
Let u(b) = -b + 690. Is u(38) a multiple of 4?
True
Suppose 20 = 2*t + 14. Suppose 0 = -5*f - t*n + 514, -n = 6*f - f - 518. Is 26 a factor of f?
True
Suppose -13 = m - 17. Suppose -a + 63 = d, 3*a - 2*a = m*d + 48. Is a a multiple of 7?
False
Suppose -10*t + 11*t - 2484 = 0. Is 11 a factor of t?
False
Let f(i) = -9*i + 27 - 10*i + 2*i**2 - 5. Is 17 a factor of f(12)?
False
Is 11 a factor of (-4)/(-22) - (-22164)/66?
False
Is 5 a factor of (144/18)/(-1*(-2)/92)?
False
Suppose -34831 = 41*p - 102*p. Is p a multiple of 19?
False
Let r(d) = -d + 9. Let n be r(5). Suppose 0*g + 2*s - 10 = -n*g, -20 = -5*g + 5*s. Suppose -y - 235 = -3*m, -4*m + 181 + 139 = -g*y. Is m a multiple of 21?
False
Let j = 966 + -672. Does 14 divide j?
True
Suppose 76*i = 60*i + 6336. Is i a multiple of 12?
True
Let u = 38 + -19. Does 2 divide u?
False
Let i = 28 + -78. Let n = -39 - i. Is 11 a factor of n?
True
Suppose -13*u + 12*u + 299 = 0. Is u/11 - ((-4)/(-22) + 0) a multiple of 27?
True
Let c(z) = z**3 - 28*z**2 - 24*z + 44. Suppose 2*q - 50 = 8. Is c(q) a multiple of 27?
True
Let z(m) = 6*m + 15. Does 5 divide z(47)?
False
Suppose 5*x = 3*g - 16, 8 = -5*x + 3*g - 4*g. Is 3 a factor of 1/((-4)/(-10)*(-1)/x)?
False
Let i(g) = -g**3 + 10*g**2 + 26*g - 28. Let p be i(12). Suppose 0 = -5*x + a - 37, -2*x + 7*x + 52 = -4*a. Is (2/p)/(x/336) a multiple of 3?
True
Let g be 12*((-4)/8)/(-1). Suppose 4*b + 16 = -4*m, 4*b + 8 = -g*m + 4*m. Let p = 18 - m. Does 11 divide p?
True
Let u = -246 - -358. Suppose 0 = -4*q - 0*q + u. Is q a multiple of 28?
True
Suppose -5*l - 2*l + 196 = 0. Is 26 a factor of (-4)/(2 - l/13)?
True
Suppose -3*l = -7*l + 48. Does 19 divide -4*(0 - 303/l)?
False
Suppose 0 + 4 = k. Suppose 0 = k*m + m - 15. Suppose -q + 14 = 3*j - 4, m*j = -3*q + 36. Is q a multiple of 4?
False
Let l be ((-2)/(-3))/(4/6). Let p(m) = 55*m + 1. Let r(c) = 83*c + 1. Let u(d) = -7*p(d) + 5*r(d). Is 14 a factor of u(l)?
True
Let h = -45 - -47. Suppose -3*w + 55 = h*k - 0*k, 3*k = 15. Is 2 a factor of w?
False
Suppose -17171 = 19*m - 41871. Does 25 divide m?
True
Suppose 0 = -s - 0*c + 2*c + 2, -4*s - 3*c = 25. Let p = 38 - 94. Is (-4216)/p - s/(-14) a multiple of 25?
True
Let z be 54*((-6)/9 - -1). Suppose -6 = 3*h - z. Is 21 a factor of (-1 + 3)/(h/138)?
False
Let u(r) = 15*r**2 + 3*r + 1. Let o(i) = -i**2 - i. Let q(z) = 2*o(z) + u(z). Is q(-3) a multiple of 23?
True
Does 33 divide ((-572)/14)/(33/(-693))?
True
Suppose -3*x - 19 = -5*v + 18, -4 = x. Suppose -3*y - 2*z = -v*z, 2*y = z - 5. Is ((-34)/y)/(1/5) a multiple of 21?
False
Let x(j) = -2*j + 3. Let v be x(3). Let q = 51 - 23. Is (2 + q)/v*-3 a multiple of 10?
True
Suppose -2 = -2*h - 8, 0 = 5*y - 2*h - 741. Let d = y - 96. Does 17 divide d?
True
Let s(o) = 32*o + 10. Let p be 14/(4*(-4)/8). Let h(t) = -32*t - 9. Let b(a) = p*h(a) - 6*s(a). Is b(1) a multiple of 11?
False
Suppose -3*q + 34 = -86. Suppose 0 = -c - 2 + 5. Is 8 a factor of (24/10)/(c/q)?
True
Let i = -39 + 41. Suppose -84 = -i*k - 2*d, 5*k = 2*d - 0*d + 175. Does 17 divide k?
False
Let g(c) = 10*c**2 - 11*c + 13. Is 2 a factor of g(4)?
False
Let v(i) = 13*i - 132. Is 7 a factor of v(11)?
False
Let c(a) = -25*a - 207. Is 4 a factor of c(-11)?
True
Suppose 12 = 3*i - 12. Suppose -312 = i*h - 11*h. Does 13 divide h?
True
Let j be 1*(-1*10 - -3). Let f(c) = -c**3 - 8*c**2 - 7*c - 1. Let y be f(j). Let u = 40 + y. Is 13 a factor of u?
True
Let y = -61 + 49. Is 35 a factor of y/(-54) - (-2858)/18?
False
Suppose -4*c = 1401 - 5817. Is c a multiple of 92?
True
Suppose -3*y - 2*y - 2*j + 80 = 0, 0 = -3*j. Let t be -20*(-4)/(y/6). Suppose 0*g + 2*g - t = 2*v, 0 = 5*v. Is 15 a factor of g?
True
Suppose n = 5*n + r - 8, -2*r = 3*n - 11. Is 10 a factor of n*(-30)/1*-8?
True
Let n be 3 + ((-459)/85 - (-2)/5). Let o(p) = -2*p**3 + 3*p**2 + p - 1. Is o(n) a multiple of 9?
False
Let q(k) = -20*k**3 + 5*k**2 - 6. Let v(f) = 7*f**3 - 2*f**2 + 2. Let b(l) = -6*q(l) - 17*v(l). Let t = 37 - 40. Is 11 a factor of b(t)?
True
Suppose -o = -5*o + 8. Suppose o*t - 360 = -2*t. Is t a mult