oes 32 divide (-98540)/(-520) + 2/(2*-2)?
False
Suppose -32499 = -21*v + 15864. Is 18 a factor of v?
False
Let x = -56 - -50. Let z = -21 + 32. Let l = z + x. Is 5 a factor of l?
True
Let w = 30 + -28. Suppose 4*o - 415 = -o + 5*u, 0 = w*u. Let f = o - -36. Does 31 divide f?
False
Suppose k = 19 + 14. Suppose -11*y + 10*y = -k. Is y a multiple of 14?
False
Suppose 23*s + 51520 = 51*s. Does 80 divide s?
True
Let m = -12 - -68. Is 8 a factor of m?
True
Suppose 3*r - 4*g = -2 + 3, -4*g = -8. Suppose -3*q + 2*q = -r. Suppose 3*z + 2*f = -q*f + 75, -3*z + 75 = -2*f. Does 6 divide z?
False
Does 19 divide (8 - (-23 - 7))*(-314)/(-4)?
True
Suppose 0*l + 2*l = 8. Let w = -22 + l. Let k = 34 + w. Does 12 divide k?
False
Let b = -276 - -301. Does 3 divide b?
False
Does 9 divide (1 - -1)*(105 + -8 + 2)?
True
Is 1/4*5951 - (-238)/(-136) a multiple of 24?
False
Suppose 2*k + 12 = 2*t, 2*k + 4*t + 9 = -9. Let q = -5 - k. Suppose -2*j = q, 3*l - 3*j = -8*j + 178. Is 18 a factor of l?
False
Let q be (-746)/(-6) - (-2)/(-6). Let p = -88 + q. Suppose 0*i + p = i. Is 12 a factor of i?
True
Let k = -18 - -31. Suppose 8 = 2*l + 2*x, 4*x - k = -3*l - 0*x. Suppose 2*w + l*w + 4*s - 47 = 0, 0 = -5*w + 5*s + 65. Is 11 a factor of w?
True
Let d(u) = 11*u + 25. Let i be d(-2). Suppose 4*g - 1008 = -i*g. Is g a multiple of 36?
True
Let g = 25 - -17. Let t = 66 + g. Is t a multiple of 36?
True
Suppose -14*l = -11*l + 12. Is 36 a factor of (-5 + 6)/((8/(-118))/l)?
False
Let c(q) = 21*q**2 - 75*q + 1179. Is c(16) a multiple of 21?
True
Suppose v = 5*a - 943, a + 11*v = 7*v + 197. Does 7 divide a?
True
Suppose 5*i = 5*b - 6912 + 587, 0 = -b - i + 1273. Is b a multiple of 22?
False
Let j(k) = -105*k**3 - 2*k**2 - 6*k - 6. Is j(-2) a multiple of 16?
False
Let r be ((-6)/(-15))/((-1)/5). Let a be r/5 + (-27)/(-5). Suppose 5*o - 59 = -3*z, -a*z - 4*o + 135 = -3*o. Does 14 divide z?
True
Let u(g) be the second derivative of g**6/60 - g**5/10 + g**4/6 - g**3 + 5*g**2/2 + g. Let t(x) be the first derivative of u(x). Does 18 divide t(4)?
False
Let u(c) = -1 - 2*c - 4*c**3 + 5*c**3 - 6 + 6*c**2. Is u(-5) a multiple of 7?
True
Let u = -575 - -3035. Is u a multiple of 12?
True
Let k = 7 + -2. Suppose k = -x - 27. Does 4 divide (-15)/(-2)*x/(-20)?
True
Suppose 0 = 5*r - 2*w + 301 - 1458, 4*r - 2*w = 926. Does 11 divide r?
True
Let d = 82 - -1493. Is d a multiple of 60?
False
Let f(m) = -m**3 + 2*m**2 - 1. Let p be f(1). Suppose -4*z = -p*z + 16, -2*u + 5*z = -28. Is 13 a factor of 36/24 + 150/u?
True
Suppose 4*y - 913 = -5*r, 5*y + 24 = -3*r + 564. Does 37 divide r?
True
Suppose 299 = -3*x + 4*x. Let r = x - 175. Suppose -4*h = -0*h - r. Is 8 a factor of h?
False
Let v(w) = -19*w**3 + 6*w**2 + 4*w + 8. Does 11 divide v(-3)?
False
Suppose 0 = i + 2*y + 2, 0*i + 5*y = 2*i - 32. Suppose -11*o = -i*o + 165. Let q = 16 - o. Is 15 a factor of q?
False
Suppose -4*x + 7*x - 27 = -3*d, -3*x + 7 = -2*d. Suppose -x*g + 74 = -311. Suppose 3*c - 25 = g. Is c a multiple of 8?
False
Let k(n) = 10*n**2 + 36*n - 212. Is k(9) a multiple of 12?
False
Let s(k) = -k**3 - 5*k**2 - 5*k - 3. Let i be s(-4). Let y be (5/2 + i)*14. Let d = y + -23. Is d a multiple of 13?
True
Suppose -3*v + 0*v + 9 = 0. Let j be (v/6 + -1)*-282. Suppose 0 = -4*l - 5*t - 15 + 113, 5*l - 3*t = j. Is 9 a factor of l?
True
Let n = -14 - -16. Suppose n*v - 21 - 45 = 0. Does 19 divide v?
False
Does 22 divide 6 - 17*(-30)/3?
True
Let b be 18 + 1*-2 + -1 + 2. Suppose f + b = 87. Is 7 a factor of f?
True
Suppose -370 - 393 = 3*u - 4*d, 1268 = -5*u + 3*d. Let l be u/(-5) - (-6)/15. Is 17 a factor of l/(4 + (-12)/4)?
True
Let n = -44 - -47. Let m(j) = 24*j - 7. Does 16 divide m(n)?
False
Let y = 87 - -99. Is 49 a factor of y?
False
Let a = 31 + -20. Suppose w + 0*w = j + a, 16 = 2*w + j. Is w a multiple of 2?
False
Does 50 divide (-17562)/(-27) + 20/(-45)?
True
Let f = -460 + 3174. Does 59 divide f?
True
Let g = 58 + -92. Does 17 divide 24/(1 - -1)*g/(-6)?
True
Let p(n) = 366*n - 86. Does 11 divide p(2)?
False
Let h be -3 + 28 + (-5)/((-15)/(-12)). Suppose -4*x + 3*s + 12 = -55, x - 5*s = h. Does 16 divide x?
True
Let o(x) = 11*x - 5. Let w be o(2). Suppose j + w = 3*k - 0*j, 5*j = 3*k - 1. Let q(p) = p**2 + 17. Is q(k) a multiple of 22?
True
Let g be (1 + -25 - -2) + -3. Let s = g - -46. Does 8 divide s?
False
Let d = -89 - -19. Let f(p) = p**3 + p**2 - 5*p - 114. Let v be f(0). Let q = d - v. Is 11 a factor of q?
True
Let f = 103 + -52. Suppose -2*o - 57 - f = -n, n = o + 112. Does 45 divide n?
False
Let x = 106 + -121. Let u(r) = r**3 + 12*r**2 - 50*r - 27. Is 6 a factor of u(x)?
True
Let p(w) be the second derivative of -32*w**3/3 + w**2 + 6*w. Does 11 divide p(-1)?
True
Let u = 14 + -10. Let r(p) = -p + 6. Let h be r(u). Suppose 57 = 4*l + 5*v, -l - h*v = 3*v - 33. Is 4 a factor of l?
True
Let k(g) be the third derivative of g**6/120 - g**5/20 - g**4/12 + 5*g**3/6 + 16*g**2. Is k(4) a multiple of 13?
True
Let d = -358 + 518. Is 40 a factor of d?
True
Let k(b) = 25*b**2 + 53*b - 111. Is 9 a factor of k(2)?
False
Is 12*(-5 - -4)/(9/(-18)) a multiple of 24?
True
Let x = 20 - 22. Does 37 divide -1*(-35 + (-4 - x))?
True
Let g = 18 + -16. Let s(t) = 2*t**3 - 2*t + 3. Let b be s(g). Is 15 a factor of (b/4)/(3/24)?
True
Suppose -43 = -7*b + 6. Suppose -7*w = -3*w + 16. Let m = b - w. Does 11 divide m?
True
Suppose -2*b - 110 = -4*b. Suppose -x + b = 13. Is x a multiple of 7?
True
Let z = -991 + 2197. Is 18 a factor of z?
True
Suppose 4*c - 145 = -n, 6*n + 5*c = 4*n + 293. Suppose 0 = -t - w + 104, n - 43 = t - w. Does 21 divide t?
True
Let q be (-10)/(-2) + (-6 - -3). Let t(s) = s**3 + s + 2. Is 3 a factor of t(q)?
True
Let o(w) be the third derivative of w**5/60 + w**4/24 + 13*w**3/2 + 13*w**2. Is o(0) a multiple of 5?
False
Let o = 1130 + -866. Is o a multiple of 3?
True
Suppose 7*m = 12*m - 205. Let v = -37 + m. Suppose -v*b = -188 - 72. Is 11 a factor of b?
False
Let v = 101 - 100. Does 19 divide v/(-6) - 3425/(-30)?
True
Suppose -7928 + 1642 = -14*y. Suppose -159 = -2*w - 5*f + 8, 2*f = -5*w + y. Does 13 divide w?
True
Suppose -5*z + 13 = -12. Suppose -155 = -z*h + 5*v, 0 = 2*h - h - 4*v - 16. Suppose 0*r - h = -3*r. Is r a multiple of 4?
True
Let w(p) = 24*p**2 - 38*p - 7. Is 49 a factor of w(8)?
True
Let c(i) = 17*i**2 - 27*i + 21. Is 18 a factor of c(7)?
False
Suppose -469 = -4*p - 45. Let b = 299 - p. Is b a multiple of 35?
False
Suppose 0 = -72*h + 69*h - 12. Is 111 - 0/((-12)/h) a multiple of 25?
False
Let s = 26 + -109. Let j = s - -134. Is 12 a factor of j?
False
Suppose -2*a = -20 - 8. Suppose -2*r + a = -16. Suppose -2*o + 2*i = -r - 7, 4*o - 28 = -4*i. Does 7 divide o?
False
Suppose 0 = -41*j + 34*j + 3080. Is 20 a factor of j?
True
Suppose 52 = -4*c - n, 0*c - 2*c - n - 28 = 0. Let m(z) = z**3 + 12*z**2 + 6*z + 12. Let s be m(c). Is 5 a factor of (-2 + -1)*s/9?
True
Does 32 divide ((-11500)/3)/(-10) + (-10)/(-15)?
True
Suppose 0 = -2*g + 568 + 58. Is g a multiple of 8?
False
Let p(u) = -u**3 + 2*u**2 + 3*u + 2. Let b be p(3). Suppose 78 = -4*t + b*t. Is 16 a factor of (-2)/(-13) + (-1242)/t?
True
Let l = 65 + -65. Suppose -5*n = c - 450, n + c + 7 - 97 = l. Is 9 a factor of n?
True
Let f(w) = -3*w**3 - 4*w**2 - 76*w - 13. Is f(-9) a multiple of 8?
False
Let r be (16/12)/(6/9). Suppose -r*u + 9 = -7. Suppose -5*n - 81 = -u*n. Is n a multiple of 12?
False
Suppose -49*v + 4994 = -3238. Is v a multiple of 14?
True
Let u be 128/(1 + (1 - 3)). Let g = 200 + u. Let v = g - 24. Is 12 a factor of v?
True
Let s(w) = 5*w + 13. Let j be s(-8). Let p = 22 + j. Does 15 divide 26 + 0 + (p - -8)?
False
Suppose 2619 - 8667 = -84*f. Is 8 a factor of f?
True
Let g = -4 + 5. Suppose v - 2*p + g - 15 = 0, 5*p - 4 = -4*v. Is v a multiple of 6?
True
Let f(v) = -v + 1. Let x(o) = -5*o**2 + 1. Let i(p) = 4*f(p) - x(p). Let g be i(5). Let h = g + -54. Is h a multiple of 33?
False
Suppose 4*l = -l + 95. Suppose 3*c + l = -c - 3*j, 4*c = 3*j - 37. Let g(k) = k**2 + 2*k - 21. Is g(c) a multiple of 4?
False
Let i be 86/11 + (-20)/(-110). Suppose 12*a - 28 = i*a. Is a even?
False
Suppose 3*j + 0*j = 2*o + 26, -j = 3*o + 39. Let p(g) = -2*g + 70. Let i be p(26). Let k = i + o. Does 5 divide k?
True
Suppose -2*j + 4*m + 684 = -j, -3*m = -3. Is 16 a fact