. Let u = d - -195. Does 26 divide u?
False
Let c(f) = -f**3 - 15*f**2 + 15*f - 2. Is 14 a factor of c(-16)?
True
Let j(p) = -7 + 4*p - p - 2*p + 0*p. Let k be j(12). Suppose u - 65 - 18 = -4*z, -k*z + u = -97. Is 8 a factor of z?
False
Let q(r) = -r**3 + 8*r**2 - 6*r + 9. Does 15 divide q(6)?
True
Is 21 a factor of 4 - 7 - (-87 - -1)?
False
Suppose 648 = 6*g + 216. Does 12 divide g?
True
Let y be (-153)/(-85) + 2/10. Let v be (-44)/(-6) - 4/(-6). Suppose 0 = -y*x + 4*x - v. Is x a multiple of 2?
True
Suppose 0*l + 170 = -2*l. Let q be ((-3)/15 - 1)*20. Let y = q - l. Is y a multiple of 16?
False
Let o(k) = k - 2. Let p(r) = r**2 + 4*r - 2. Let h be p(-4). Let q be o(h). Let z = 30 + q. Does 9 divide z?
False
Let a be ((-30)/(-24))/(1/4). Suppose a*m - 103 = 72. Is 9 a factor of m?
False
Let y(p) = -p**2 - 7*p - 4. Let q be y(-6). Suppose q*a + 0*o = -3*o, 0 = 4*o. Suppose a*j + j + 4*l = 38, 118 = 5*j - 4*l. Does 13 divide j?
True
Let h(k) = 2*k**2 + 6*k + 9. Is 15 a factor of h(-6)?
True
Let z be (-4)/6*(-6 - -3). Suppose -z*s + s = -2. Suppose 3*a - 58 + 10 = -5*j, -s*a = -5*j + 68. Does 8 divide j?
False
Let l(s) = 3*s**2 + s + 5. Let r be l(-5). Let j = r - 50. Suppose f + j = 6*f. Does 2 divide f?
False
Let l(u) = -7*u - 9. Does 11 divide l(-6)?
True
Let o be 3/6 + (-17)/2. Let k = o + 15. Is 5 a factor of k?
False
Let q = 20 - 13. Let c be (0 - 1 - 4)*-2. Suppose w - c = q. Does 13 divide w?
False
Let a(i) = -8*i + 7. Let g(d) = -9*d + 5. Let q(o) = -18*o + 9. Let m(s) = -5*g(s) + 2*q(s). Let r(f) = -3*a(f) - 2*m(f). Does 17 divide r(5)?
False
Let d = 1042 + -1669. Is 18 a factor of d/(-15) + (-1)/(-5)?
False
Let h(u) = -4*u. Let n be h(-6). Let v be (2/4)/(3/n). Suppose -q - 51 = -2*b, b - v*q = -0*b + 36. Is b a multiple of 12?
True
Suppose 3*r - 2*m = 0, 5*m = 5*r + 8 - 3. Suppose -r*u + 17 = -u. Is u a multiple of 17?
True
Let y(b) = b**3 - 5*b**2 + b - 2. Let g = 3 + -5. Let l be g/(-5) + 69/15. Is 2 a factor of y(l)?
False
Suppose -6*d + 15 = -3*d. Suppose 5*t - 8 = -4*o - 1, 11 = -d*t + 2*o. Is t*(-16 - 2)/2 a multiple of 4?
False
Let c = 11 + -5. Suppose c*d = 4*d - 4*x - 14, 14 = 3*d - x. Suppose -47 = -2*v - d. Does 11 divide v?
True
Suppose 2*z - 3*z - 4*x - 16 = 0, -3*x = -3*z + 12. Suppose 3*s = -d + 2*s + 4, -5*s = z. Let f = d + 20. Does 8 divide f?
True
Let c(z) = -5*z + 5 - 5*z + 2*z**2 + z + 11. Is c(8) a multiple of 24?
True
Let o(g) be the second derivative of g**3/2 + g**2/2 - 2*g. Suppose -3*a = -k - 8, -5*a + 2*k + 7 = -2*a. Does 10 divide o(a)?
True
Let o = -105 + 149. Suppose x - o = -0*x. Suppose 0*b = 2*b - x. Is 8 a factor of b?
False
Let r(s) = 2*s**2 + 11*s + 11. Let u(m) = -m**2 - 5*m - 5. Let l(v) = -6*r(v) - 11*u(v). Suppose n = 6*n + 40. Is l(n) a multiple of 8?
False
Let p(v) = -14*v - 67. Does 13 divide p(-21)?
False
Let g be (1/1 - -2) + -5. Let u be (-1)/g*(-1 + 1). Suppose b + 2*i = 15 + 25, u = -2*i - 8. Is 14 a factor of b?
False
Let x(g) = 3*g**2 - g. Let p be x(1). Suppose 3*s + p = -4, -2*s = -5*w + 124. Is 8 a factor of w?
True
Let b(o) = -2*o**2 - 2*o - 1. Let d(c) = -c**3 - 3*c**2 + c + 2. Let t be d(-3). Let s be b(t). Let f = s - -9. Is f a multiple of 4?
True
Let m = 11 - 4. Suppose 0*x - x = -m. Is x/((-2)/(-4)*1) a multiple of 6?
False
Let i(p) = p**2 + 5*p - 1. Let s be i(-6). Let w be s/(10/4) - -44. Suppose 3*k - 8 = w. Is 13 a factor of k?
False
Let k = -218 - -348. Is k a multiple of 16?
False
Suppose -y + 129 = -3*c, 2*c - y = -64 - 23. Let v = -8 - c. Is v a multiple of 17?
True
Let g(d) = -7*d - 1. Let y be g(3). Let p = 34 + y. Is 4 a factor of p?
True
Suppose 1 + 32 = 3*b. Let v be 19/7 - (-6)/21. Let a = b - v. Is 5 a factor of a?
False
Suppose 0*o + 15 = -5*o - 4*f, 4*o = 5*f - 12. Is (-67 - o)*(2 + -3) a multiple of 22?
False
Suppose -4*w + w = 0. Let h be 6/(1/(w + -4)). Is 2 a factor of (6/(-4))/(h/32)?
True
Suppose -3 = 4*g - 5*g. Suppose -z - 45 = g*u - 4*u, 3*u = -z + 123. Is u a multiple of 14?
True
Suppose 0 - 4 = -v. Does 17 divide 3 + 4/v + 76?
False
Suppose -3*j - 20 = 4*w, -j - 15 = -0*j + 3*w. Suppose -s + 2*x + x - 22 = j, 0 = -3*s - 4*x - 40. Does 4 divide 12/(-8)*s/6?
True
Let u = 37 - 53. Let w be 4/u - (-265)/4. Is 15 a factor of ((-12)/(-9))/(4/w)?
False
Suppose -g = -3*r + 1 - 38, 0 = 4*r + 8. Does 26 divide g?
False
Suppose 6*o = 3*o + 612. Does 51 divide o?
True
Let u = -33 - -63. Does 8 divide u?
False
Is 1/2*(-4 + 9 - -39) a multiple of 4?
False
Let b(r) = 2*r**2 + 16*r + 14. Is b(-8) even?
True
Is (-2)/6 - 284/(-6) a multiple of 28?
False
Let j(b) = -14*b + 1. Let t be j(1). Let h = t - -7. Is h/(-9)*1*21 a multiple of 14?
True
Let m = -115 - -59. Let v = m + 131. Does 20 divide v?
False
Suppose -192 = -6*t - 36. Let r = t + -14. Is r a multiple of 6?
True
Let m = 4 - 1. Let t = m + 1. Suppose -5*z - 114 - 23 = -t*c, 2*c + 4*z = 62. Is c a multiple of 21?
False
Let s = 0 - 0. Suppose s = 7*a - 4*a - 6. Does 15 divide (3/a)/((-3)/(-30))?
True
Let s be (180/(-27))/((-4)/6). Let f = s + -4. Is 3 a factor of f?
True
Let f(t) = -t + 12. Suppose -20 = 2*w - 0. Is 11 a factor of f(w)?
True
Is (2*16)/(10 - 8) a multiple of 16?
True
Let w(h) be the second derivative of 0 + 1/2*h**3 - h - 2*h**2. Does 7 divide w(6)?
True
Let f(y) be the first derivative of y**4/4 - 10*y**3/3 + 3*y**2/2 - 12*y - 4. Does 9 divide f(10)?
True
Does 50 divide (70/21 - 3)/(2/1794)?
False
Let f(y) = 2*y**3 - 4*y**2 + y - 3. Is f(3) a multiple of 11?
False
Let i(m) = -19*m. Suppose -18 = 4*t - 6*t. Let r be ((-4)/(-12))/((-3)/t). Is i(r) a multiple of 6?
False
Let q be 1/4 + (-66)/(-24). Suppose 0 = -c + q*c - 20. Does 5 divide c?
True
Let n(d) = d + 4. Is 8 a factor of n(10)?
False
Let y(r) = 37*r - 57. Is y(7) a multiple of 39?
False
Let q(f) = -3*f**3 + 10*f**2 - 4*f + 3. Let n(v) = -v**3 + v**2 - v - 1. Let z(a) = -4*n(a) + q(a). Is 4 a factor of z(-6)?
False
Let f(m) = -3*m + 7. Let y be f(8). Let x = -12 - y. Is x a multiple of 5?
True
Let c = -28 + 58. Suppose 6*o - o - c = 0. Is o a multiple of 5?
False
Let q(j) = 45*j**2 + 2*j + 1. Is q(-1) a multiple of 13?
False
Is 9/36 - -2374*1/8 a multiple of 14?
False
Suppose 0*m = -m + 1, -l - 4*m = -13. Let i(w) = w**2 - 6*w - 10. Is i(l) a multiple of 12?
False
Let m(l) = 7*l - 5. Let d(n) = -36*n + 25. Let o(y) = -2*d(y) - 11*m(y). Is 15 a factor of o(-5)?
True
Suppose 0*f = 5*f - 15. Suppose 0*a + f*a - 36 = 0. Suppose 6*h - 2*h - a = 0. Is h a multiple of 3?
True
Let p(g) = -5*g + 1. Let b be p(1). Let y be (-21)/b + (-2)/8. Suppose -w + 9 = y*d, -2*d - w + 0*w = -3. Is 2 a factor of d?
True
Let y = 94 - 73. Is 11 a factor of y?
False
Let h be (32/20)/(1/(-5)). Let b = h - -13. Suppose 0 = -b*p, 3*a + 2 = 4*p + 8. Does 2 divide a?
True
Suppose 711 = 13*l - 10*l. Is l a multiple of 32?
False
Is (-2)/(2 - (-672)/(-333)) a multiple of 26?
False
Suppose 2*q + 3*q = 550. Does 22 divide q?
True
Let t = -31 + 58. Does 9 divide t?
True
Is 100/8*4 + 4 a multiple of 27?
True
Suppose 0*k + 6 = 3*k. Suppose 0 = -3*g - k*g + 75. Is g a multiple of 5?
True
Let g = -146 - -258. Is g a multiple of 14?
True
Suppose 3*c + 2*c - 130 = 0. Let w be (1 + -2 - 4)/(-1). Suppose w*s - c - 69 = 0. Is s a multiple of 7?
False
Let a(b) = 6*b + 5 - 2 - 6. Is 11 a factor of a(6)?
True
Let m(i) be the first derivative of i**4/4 - i**3 - i**2 + 3*i - 16. Suppose -w + 4 = -2*b + 3, 0 = w - 4*b + 3. Does 15 divide m(w)?
False
Let x = 27 - -94. Does 36 divide x?
False
Suppose 4*w = -12 - 0. Let g = w - -5. Does 8 divide (1/(-1) - g) + 32?
False
Suppose -2*j = 2*n - 7*n - 68, j - 5*n - 44 = 0. Is 12 a factor of j?
True
Let x be ((-10)/15)/((-4)/30). Suppose -x*t + 4*t = -3*p + 64, -p = 2*t - 19. Does 21 divide p?
True
Let w be (243/(-6))/(6/(-8)). Suppose -2*r = r - w. Does 18 divide r?
True
Suppose -q - 4*p = -7, 3*p = -0*q + 3*q + 54. Let u = -25 - -18. Let s = u - q. Is s a multiple of 6?
True
Let n = 126 - 67. Suppose -5*u = -3*f - 57, 0 = 5*u - f - 0*f - n. Is 6 a factor of u?
True
Let s = 376 - 261. Suppose -2*p = -5*p, -5*b = 2*p - s. Does 9 divide b?
False
Let r(w) = w**2 + 57. Is r(0) a multiple of 12?
False
Let c(p) = -p + 2. Let n be c(-2). Suppose 0 = -3*q + n*v + 29, -q - v + 1 = q. Suppose q*j - 2 = 40. Does 7 divide j?
True
Let w be -1 + 3 + -2 