). Is (2/w + -1)*-10 a multiple of 7?
False
Suppose -2*y - 156 = -4*g, 5*g - 21 = -y + 188. Let a = g + -19. Does 21 divide a?
False
Is 13 a factor of (2 - -4)*78/9?
True
Let j(k) be the third derivative of -3*k**4/4 - 8*k**2. Is j(-4) a multiple of 36?
True
Let h be (-37)/7 + (-2)/(-7). Is 15 a factor of 6/(-15) - 152/h?
True
Suppose -4*m + d + 57 = 0, -3*d - 21 = -m + 7. Suppose -2*q - 9 = 5. Let k = m - q. Is k a multiple of 10?
True
Let k = -25 - -39. Suppose -z + v - 6*v = -10, -v - 19 = -4*z. Let n = k - z. Does 4 divide n?
False
Suppose -2*m - 3*m = -25. Suppose -m*h + 3*h + 82 = 0. Is 15 a factor of h?
False
Let q(n) = -2*n - 2 - 3 + 9*n. Is 17 a factor of q(8)?
True
Let h be 166/10 + 4/10. Let z = -15 - -6. Let x = h + z. Does 4 divide x?
True
Let b(o) = 107*o**3 + 2*o**2 - o - 2. Does 13 divide b(1)?
False
Let b be 1/((10/6)/5). Suppose b*z = -5*s + 2*z + 100, -2*s + 22 = 4*z. Is s a multiple of 21?
True
Let f = -2 - -10. Suppose a = -2*w - f, 25 = -2*a - w + 9. Is (-4)/(-16) - 70/a a multiple of 5?
False
Let m be (2/4)/((-4)/(-16)). Suppose m*c + 0*c = 38. Let g = -10 + c. Is g a multiple of 6?
False
Suppose 355 = 4*t - 5*b, 2*t - 205 = -0*t - 3*b. Suppose 7*y = 2*y + t. Is 11 a factor of y?
False
Let b = -54 - -86. Suppose b = 3*d - 28. Does 4 divide d?
True
Let b be -2 + (-19)/(-2)*2. Let d = b + -12. Is 5 a factor of d?
True
Let i(n) = -n**2 + 138. Let j be i(0). Let q = -81 + j. Is 19 a factor of q?
True
Let h = 0 - 7. Let u(z) = -6*z + 6. Does 18 divide u(h)?
False
Let w(p) = 5*p. Suppose 3*b = -5 - 1. Let v be w(b). Is 1/(1 - (-8)/v) a multiple of 5?
True
Let p = 87 - 47. Is p a multiple of 10?
True
Let v = 26 + -20. Is v a multiple of 2?
True
Let c = 4 + -5. Does 14 divide (2 + -24 + -1)*c?
False
Suppose d + 3*i - 14 = -6, 20 = 4*i. Let m = 5 + d. Is 7 a factor of (-23)/(-3) + m/3?
True
Let o(z) = 3*z**2 + z + 1. Let n be ((-2)/4)/(3/(-18)). Is o(n) a multiple of 7?
False
Suppose -3*o - 3 = -6*o. Let l = o + 19. Is l a multiple of 5?
True
Let d = -13 + 13. Let j(x) = 2*x + 20. Let y(i) = 3*i + 20. Let m(b) = 4*j(b) - 3*y(b). Is m(d) a multiple of 18?
False
Let c be (20/8)/((-1)/(-2)). Suppose c*h - 47 = -3*w + 68, 0 = 5*h + w - 115. Is 16 a factor of h?
False
Is (-2 + -1)/((-6)/80) a multiple of 40?
True
Let x(z) be the third derivative of 0 - 4*z**2 + 1/120*z**6 - 1/15*z**5 + 1/8*z**4 - 5/6*z**3 + 0*z. Is 15 a factor of x(5)?
False
Suppose 3*f - 5*f = -2*h + 4, -5*h = -20. Suppose o - 8 = -f*v, o + 5*v = -2 + 22. Is 1 - (o - -1) - -15 a multiple of 6?
False
Let r(m) = -48*m**2. Let d be r(-1). Let l = d + 67. Is l a multiple of 13?
False
Let w(o) be the first derivative of o**4/4 + 8*o**3/3 + o**2/2 + 10*o - 2. Let v be w(-7). Suppose -3*h = -77 - v. Is h a multiple of 17?
False
Let p(l) = l**3 - 7*l**2 - 8*l + 1. Let c be p(8). Let n(t) = 20*t**3 - t + 1. Does 13 divide n(c)?
False
Let i be 0*1/(-2) + 2. Suppose -4*q = -4*p + 5*p - 220, -i*q = -2*p - 110. Is q a multiple of 24?
False
Let h(f) = 0 + 4 - 3*f**2 + 4*f**2. Let k be h(0). Suppose 5*j - 2*t = 100, -k*j + 4*t - 15 + 107 = 0. Does 10 divide j?
False
Let l be 0 + 4*(-2)/(-4). Let i(f) = -4 - l*f**3 + 2*f + 3*f + 3 - f**2 - 4*f. Is i(-2) a multiple of 9?
True
Suppose 0 = -r + 5*n - 9, 57 = 2*r - 0*r + 5*n. Suppose -5*b - r + 106 = 0. Is b a multiple of 5?
False
Let l(v) be the first derivative of v**3/3 + v**2/2 + v - 3. Let w(p) be the first derivative of l(p). Is w(6) a multiple of 10?
False
Let t(r) = -r + 42. Does 3 divide t(28)?
False
Let q(l) = -l**2 - l + 2. Let x be q(0). Let h(f) = -f**2 + 14*f - 10. Let i be h(13). Suppose x*r + 26 = i*r. Is r a multiple of 12?
False
Let a(p) be the second derivative of p**7/1260 + p**6/720 + p**5/120 - p**4/6 + 3*p. Let j(v) be the third derivative of a(v). Does 5 divide j(-2)?
False
Suppose 0 = 5*d + 9 + 21. Let a(p) = -2*p - 6. Is a(d) a multiple of 6?
True
Suppose 0*k = -2*k + 10. Suppose -4*f = -k*n - 0*f + 51, -3*n = -4*f - 37. Does 7 divide n?
True
Let y = 10 + -8. Does 30 divide 2*1 - (y - 90)?
True
Suppose -2*l = -3*x + 53, -5*x - 4*l = -3*x - 46. Suppose 0 = w + s - 60 + x, 4*w - 162 = -3*s. Is w a multiple of 13?
True
Let s = 9 - 7. Suppose 2*p + 18 = -3*t, s*t = -2*p - p - 17. Does 11 divide (-3)/12 - 89/t?
True
Let g = 137 - 28. Is g a multiple of 5?
False
Suppose -m = -2*w + 27, -m + 0*m = w - 6. Does 2 divide w?
False
Suppose -132 = -5*z - 3*t, 3*z + 113 = 7*z - 5*t. Is z a multiple of 9?
True
Let z = -6 - -4. Let a = 6 + z. Suppose 62 = -a*k + 2*c + 190, -3*k - 2*c = -96. Is k a multiple of 13?
False
Suppose -3*f + 15 = -0*f. Suppose f*l - 73 = 197. Does 18 divide l?
True
Suppose 4*c - y = 136, -202 + 58 = -4*c + 3*y. Is c a multiple of 33?
True
Let u = 241 + -172. Is 14 a factor of (u - 3)*4/3?
False
Suppose 0 = -b + 6*b - 20. Let p be (0/2)/(b/(-2)). Is p - 3/((-6)/14) a multiple of 4?
False
Suppose -3*r + 0 = -2*t + 1, 2*t = 10. Does 3 divide r?
True
Suppose -6*z = -2*z. Suppose z = -s - 3 + 37. Let r = 64 - s. Does 19 divide r?
False
Suppose m + r + 1 = 0, -4*r = -5*m + 27 - 5. Let n(h) = -19*h - 2. Let s be n(m). Let d = s - -61. Does 8 divide d?
False
Let l(y) = 18*y + 6. Is 32 a factor of l(5)?
True
Suppose -t + 11 = 3*g - 9, -5*g = 20. Is 8 a factor of t?
True
Is (316/(-8))/((-1)/2) a multiple of 15?
False
Is (-2 - -7 - 1)/((-3)/(-12)) a multiple of 3?
False
Suppose -r + 4 = -3. Suppose -q - 2*m = -5 - r, 5*q - 3*m = -5. Is q a multiple of 2?
True
Let n be 40*(-2)/(-4)*-1. Let u = n - -40. Is 20 a factor of u?
True
Suppose s - 19 = -r + 5*r, 0 = 5*r - 2*s + 20. Is 15 a factor of ((-8)/r)/(6/162)?
False
Let l = -15 - -9. Let u = 20 - l. Is 7 a factor of u?
False
Let i = 10 + -10. Let f(v) be the second derivative of v**3/6 + 5*v**2/2 + v. Is f(i) even?
False
Does 6 divide (-1 + 2)*57/3?
False
Suppose 44 = 3*r + 4*k, -4 + 30 = 2*r + 2*k. Is r a multiple of 5?
False
Let i be 170/(-8) + (-1)/(-4). Let z = -12 - i. Is z a multiple of 6?
False
Let z be (-1 - -1) + 0/5. Let a = z - -7. Is a a multiple of 7?
True
Let u be (0 - -1)*(3 - 3). Suppose -3*k = -u*k - 129. Let p = k + -26. Is p a multiple of 9?
False
Suppose 0 = 2*z + 4*m + 10, -3*z + 2*m - 7 = -8*z. Suppose 2*s - 5*p = -2*s + 87, 5*p - 39 = -z*s. Suppose -15 = -3*c + s. Does 10 divide c?
False
Suppose 0 = -2*m + 31 + 65. Is 24 a factor of m?
True
Suppose 3*u = -g - u + 8, -3 = -3*u. Let j = g - 2. Suppose -5*x + 78 = 4*p, -5*x + 101 = j*p + 17. Is 9 a factor of x?
True
Let c = -1 + 3. Suppose q - c*a = 6*q - 38, 26 = 3*q - 2*a. Is 4 a factor of q?
True
Let v be (9 - 1)*(-1)/1. Let q = v - -10. Suppose q*p = 32 + 16. Is p a multiple of 24?
True
Suppose 0 = 3*z - 0*z + 12. Let b = 8 + z. Suppose 0 = -3*t + b*t - 11. Is t a multiple of 5?
False
Suppose -2*p + 70 = 5*z - 2*z, -3*p + 90 = -3*z. Suppose s + m + 0*m - 8 = 0, -4*s + p = m. Does 4 divide s?
True
Let s(t) = -28*t - 4. Is 8 a factor of s(-2)?
False
Let g = -95 + 195. Is 26 a factor of g?
False
Let m = -60 + 208. Let p = -106 + m. Suppose -16 = -2*b + p. Does 10 divide b?
False
Is 29 a factor of ((-114)/24*2)/(1/(-14))?
False
Let m = -29 - -24. Is ((-28)/m)/((-4)/(-30)) a multiple of 14?
True
Let y = 0 + 4. Suppose 0 = 5*c - 4*a + 2, -3*c - y*a + 20 = c. Suppose -4*t = -v - 60, 0*t = c*t + 4*v - 30. Is t a multiple of 10?
False
Let p = -5 + 11. Let h = p - 4. Suppose h*z = -2, -g - 2*g = 2*z - 13. Is g even?
False
Suppose -z = -5*z + 320. Does 14 divide z?
False
Let y = -40 - -58. Let r = 30 - y. Does 4 divide r?
True
Let y(b) = -b - 7. Let i be y(-5). Let o(l) = 10*l**2 - 3*l - 1. Is 10 a factor of o(i)?
False
Is (-4186)/(-26) + 4/(-1 + 2) a multiple of 15?
True
Let m(s) = 18*s**3 + 5*s**2 - 5*s. Does 22 divide m(2)?
True
Suppose 0 = -4*j - 126 + 486. Suppose -18 = -4*s + j. Is s a multiple of 27?
True
Let k(i) = i**2 - 7*i + 13. Let r be k(9). Suppose 23 = v - r. Does 17 divide v?
False
Let r(y) = -y**3 - 6*y**2 - 1. Let k be r(-7). Suppose -4*p + 3*u + k = 0, 2*u - 4 = 5*p - 64. Is p a multiple of 6?
True
Let m(g) = 18*g**3 + g. Suppose -4 = -9*k + 5*k. Is m(k) a multiple of 15?
False
Let z(l) = 2*l**3 + 2*l**2 - 5*l + 3. Is z(3) a multiple of 14?
False
Let a = 11 - 2. Is a a multiple of 2?
False
Suppose -f + 11 + 45 = 0. Suppose -m = 3*m - f. Is 10 a factor of m?
False
Is 6 a factor 