)?
False
Suppose -5*r + 2 = -768. Does 11 divide r?
True
Suppose 2571 = -39*v + 11658. Is 2 a factor of v?
False
Let w(j) = j + 1. Let d(p) = -4*p + 6. Let o(b) = -d(b) + 4*w(b). Let n = 16 - 10. Is o(n) a multiple of 11?
False
Is 283 + 5/(-10)*8 a multiple of 9?
True
Let i be (-1)/(-4) - 3430/(-8). Suppose -7*c = -4*c - i. Is c a multiple of 13?
True
Let m = -838 + 1923. Does 35 divide m?
True
Suppose -g = -4*g - 6*g. Suppose 2*z - c = 49, -c - 1 = -g*c. Is z a multiple of 6?
True
Suppose 2*k = 3 - 9, -2*l + 5*k + 1111 = 0. Is 20 a factor of l?
False
Does 51 divide -51*(-30)/12*412/10?
True
Let q be (176/(-33))/(4/(-138)). Let f(m) = -m + 3. Let s be f(0). Suppose s*b - q = 14. Is 22 a factor of b?
True
Let z = 99 - 88. Does 3 divide z?
False
Let y = -11 + 13. Suppose 2*u = 3*m - 2, -11 = -3*m - y*u + 11. Suppose k - 3*i = 66, i = -m*i - 15. Does 12 divide k?
False
Let y be -3*1 - (8 + -15). Suppose -y*n = -3*l + 38, 0 = l + 2*l + 4*n - 46. Does 16 divide l + (7 + -1)/3?
True
Let n(r) = r**3 + r**2 - r + 24. Let q = 20 + -20. Does 24 divide n(q)?
True
Let n(d) = d**3 + d**2 - 2*d + 3. Let p be n(-2). Suppose -p*q + 13*q = 900. Is q a multiple of 15?
True
Suppose 5*g + 2*i = 23, -g - 1 = -i - 0. Suppose 0 = g*z - 2*d - 65, 3*z + 3*d = -0*d + 60. Suppose j + 0*j = z. Does 7 divide j?
True
Let q = 81 - 41. Let w(u) = -29*u. Let c be w(-3). Let b = c - q. Is 21 a factor of b?
False
Let k(p) = -15 + 6 - 3*p + 17*p**2 + p**3 - 9. Does 6 divide k(-17)?
False
Let m(l) = 79*l**2 + 29*l - 24. Does 125 divide m(6)?
False
Suppose -9*t + 1502 - 44 = 0. Is t a multiple of 2?
True
Let l(i) = i**2 + 52*i - 54. Is l(9) a multiple of 55?
True
Suppose -l + 2*k + 11 = 4*k, -2*k = 3*l - 13. Let v(x) = 117*x - 1. Is v(l) a multiple of 29?
True
Let t = -1200 - -1978. Does 16 divide t?
False
Suppose -2*j + 26 = -68. Suppose b + 4*u = j, -3*b - 4*u - 33 = -150. Is 35 a factor of b?
True
Let q(z) be the second derivative of z**3/6 - 31*z**2/2 + z. Let m be q(17). Is 10 a factor of (-60)/2*(m + 11)?
True
Let j be 6/4*(-3090)/(-9). Let d = j + -344. Is 32 a factor of d?
False
Let j(v) = v**3 - 2*v + 2. Let h be j(-2). Let u be (-4)/(-8)*h - -4. Suppose 4*m - 81 = a, a - u*a - 10 = 0. Is m a multiple of 10?
False
Suppose 5*x + 5*a = -94 - 31, -49 = 2*x + 3*a. Let j = x - -29. Suppose -j*u - 11 + 122 = 0. Is u a multiple of 5?
False
Suppose 2*t + 2*h - h = 179, 0 = -5*t + 3*h + 453. Is t a multiple of 6?
True
Suppose 10 = -2*p + 20. Suppose -r - p*u = r - 68, 189 = 5*r + 3*u. Does 13 divide r?
True
Let k(v) be the first derivative of 3*v**2 + 21*v + 10. Is k(7) a multiple of 10?
False
Suppose -2*f = -5*f + 192. Suppose -4*q = -f - 8. Is 4 a factor of q?
False
Suppose -49 = -11*m - 16. Is 166 - (1 - m)/((-3)/(-3)) a multiple of 32?
False
Suppose -1812*m = -1796*m - 26624. Is 16 a factor of m?
True
Suppose -108 = -12*m + 768. Is 2 a factor of m?
False
Is 23 a factor of (-2)/(-1)*(5 - 3 - -200)?
False
Suppose -9 = 4*p + 5*u - 6*u, -2*u - 6 = 4*p. Is 3 a factor of 18*p*2/(-6)?
True
Let w = 37 + -36. Let z = 6 + -11. Is 11 a factor of (-2 - w)*(z - 6)?
True
Let k(b) be the first derivative of 3*b**4/4 - 4*b**3/3 - 17*b**2/2 + 8*b - 38. Is k(5) a multiple of 11?
True
Let y(j) = -8*j**3 + 4*j + 10. Let f(v) = 6*v**3 - 4*v - 9 - 5*v**3 + 0*v + 6*v**3. Let x(p) = -7*f(p) - 6*y(p). Is x(-4) a multiple of 17?
True
Let l be 262 - (3 - 6 - 0). Suppose 2*c = 5*c + 15, -4*c + l = -5*w. Let k = -32 - w. Is 6 a factor of k?
False
Is ((-84)/(-10))/(-15 - 7653/(-510)) a multiple of 68?
True
Let r = 64 - 57. Suppose 20*k - 468 = r*k. Is k a multiple of 4?
True
Let m = 325 + -229. Does 3 divide m?
True
Suppose 4 + 4 = 2*d. Suppose -2 = d*l - 774. Suppose -4*w = -131 - l. Is 9 a factor of w?
True
Is ((-10)/(-75))/(1/(-6))*-1255 a multiple of 67?
False
Suppose -1416 = -h - 11*h. Is h a multiple of 12?
False
Does 88 divide (5*(-18623)/165)/((-2)/6)?
False
Let g = -1543 + 2189. Is 38 a factor of g?
True
Let c = -9 - -11. Suppose 2*i + i = -9, 55 = -c*q + i. Let g = 67 + q. Is g a multiple of 10?
False
Suppose -3*i - 5*v + 8 = -i, 12 = 3*i - 5*v. Let f(s) = i*s + 3 - 5 - 8. Does 6 divide f(7)?
True
Let n = -2047 - -3091. Is n a multiple of 29?
True
Is 23 a factor of ((-29)/58)/((-2)/1048)?
False
Let l(n) = 1290*n**3 + 2*n**2 - 2*n - 1. Is l(1) a multiple of 88?
False
Suppose 2*c = -2*c - 12. Is 10 a factor of 4 - 3*16/c?
True
Suppose 0 = -6*k + 13 + 5. Is 17 a factor of 1*3*110/k?
False
Let a(f) = f**3 + 31*f**2 - 150*f - 9. Is 11 a factor of a(-35)?
True
Let n = -30 + 33. Is -4 - (n - (4 - -27)) a multiple of 6?
True
Let f(v) = -v**3 + 3*v**2 + 4*v + 6. Does 6 divide f(4)?
True
Suppose 1 - 10 = -3*n. Suppose 12 + 66 = n*w. Does 15 divide w?
False
Let g(b) be the second derivative of 61*b**3/6 - 7*b**2/2 - 15*b. Is g(2) a multiple of 23?
True
Let q = -72 + 392. Is q a multiple of 10?
True
Suppose -2*z - 5*n + 419 = 0, -z - n = -17 - 185. Is 8 a factor of z?
False
Suppose -z + 1623 = -3*q, -5*z + 8093 = -15*q + 11*q. Suppose -z = -14*l + 2919. Is l a multiple of 12?
True
Suppose 0 = 55*d - 53*d - 60. Is 4 a factor of d?
False
Let p(z) = -z**3 - 4*z**2 - 5*z. Let x be p(-4). Suppose 2*s + x = 6*s, 4*v - 274 = 2*s. Is 14 a factor of v?
False
Suppose 3*w = -w - 16. Let q(u) = u**2 + 4*u. Let x be q(w). Suppose 7*y - 2*y - 49 = -3*c, x = -5*y + 25. Does 8 divide c?
True
Let o be (-2328)/(-27) - (-4)/(-18). Let v = o - 36. Suppose n - 49 = -0*x - 4*x, 4*x = -2*n + v. Is 12 a factor of x?
True
Is (-40)/(-12)*(11508/10)/7 a multiple of 11?
False
Suppose 34*x - 36*x + 2132 = 0. Is x a multiple of 92?
False
Let w be (-10 - -2)/(2*(-1)/(-8)). Is 11 a factor of 276*(3 - (w/(-3))/4)?
False
Let k = 1337 - 721. Suppose 0 = 8*p - p - k. Is p a multiple of 11?
True
Let y be (-1)/(1 - 18/17). Let b = 22 - y. Suppose b*g - 2*g = 42. Does 7 divide g?
True
Suppose -x + 3*x - 673 = -z, -335 = -x + z. Does 10 divide x?
False
Suppose 0 = 5*n - 3*n + 6, 2*n = -5*q + 14. Suppose q*l = 7*l + 6. Let x(h) = -6*h. Does 6 divide x(l)?
True
Suppose 3*x - 6*k - 99 = -2*k, 2*x - 73 = 5*k. Suppose -2*i - 3*i = -2*o + x, -o + 31 = 3*i. Does 11 divide o?
True
Let y be (4/(-3))/((-10)/45). Let i = -4 + y. Suppose -i*f - 117 = -5*c, 2*c - 75 = 4*f - 25. Is c a multiple of 9?
False
Let z(i) = -i**2 + 2*i + 3. Let r(b) = b**2 + 5*b + 3. Let j be r(-5). Let f be z(j). Suppose f*w = 4*w - 124. Is 10 a factor of w?
False
Let h(q) = 122*q - 369. Is 3 a factor of h(5)?
False
Let b(z) = 2*z**2 + 10*z + 9. Let h be 1 + 5 - -4 - -2. Let o(v) = v**2 - 13*v + 6. Let l be o(h). Is b(l) a multiple of 11?
False
Let s(z) be the third derivative of -z**5/60 + 17*z**4/24 - 3*z**2. Is s(15) a multiple of 23?
False
Let c = 46 - -162. Is c a multiple of 22?
False
Let c = -34 - -42. Suppose 0 = c*b - b - 224. Is 10 a factor of b?
False
Let w be -3*(-15)/27*-6. Let v be (-12)/10*w/3. Suppose 76 = 5*n + 3*j, -5*n - 12 + 74 = -v*j. Does 7 divide n?
True
Suppose 8*t - 4*t = -3*f + 508, 3*f + 112 = t. Let y = -35 + t. Does 24 divide y?
False
Suppose -1330 - 1678 = -8*z. Is z a multiple of 8?
True
Suppose -8*u + 4399 = -6*u - p, 2*u + p - 4393 = 0. Is 68 a factor of u?
False
Suppose k + 2*k - 6 = 5*b, 0 = 5*k + 4*b - 47. Let v = -11 + k. Does 13 divide 1*(468/v)/(-3)?
True
Suppose -188 = 2*b - 4*b. Is b a multiple of 6?
False
Suppose -7*u - 2*j = -5*u - 5310, 0 = 4*j - 12. Is 156 a factor of u?
True
Let v = 24 + 138. Is v a multiple of 15?
False
Let a = 32 - 33. Let k = a + 13. Does 3 divide k?
True
Suppose 5*f = 4*k - 2337, -2*k = -5*k + 4*f + 1754. Is 24 a factor of k?
False
Is (1322/2)/(-34 - -35) a multiple of 18?
False
Suppose -12270 = 50*l - 127770. Is l a multiple of 10?
True
Let k be ((-2)/1)/(2/(-3)). Suppose 3*u - 160 = -4*q - u, -k*u - 15 = 0. Is (-9)/q - (-21)/5 a multiple of 2?
True
Let p(h) = 27*h**2 + 62*h + 31. Is p(-5) a multiple of 63?
False
Suppose x = -2 + 35. Let m = 15 - x. Is (12/m)/(4/(-18)) a multiple of 3?
True
Suppose -n - 87*i + 187 = -91*i, 0 = 4*i. Is n a multiple of 2?
False
Let b = 944 - 850. Does 15 divide b?
False
Let o(u) be the second derivative of -u**5/20 - u**4/12 + u**3/6 + 49*u**2/2 + 7*u. Does 7 divide o(0)?
True
Let l(d) = 4*d**2 + 10*d**2 - 5 - 8*d - d**3 - 2 - 5*d**2. Suppose -4*f + 22 = g - 7, -3*f + 24 = 3*g. Is