 79. Is -2 - (-182 - 5*(-4)/d) a multiple of 15?
False
Let f(o) = 3*o**2 - 2*o + 12. Let g(r) = -2*r**3 - r**2 + 4*r + 2. Let m be g(-2). Is 9 a factor of f(m)?
True
Let y = 28 + -26. Suppose 4*d - 69 = -y*v + d, -4*d = -5*v + 115. Is v a multiple of 13?
False
Let i = -12 - -14. Let b be i/(-8) + (-3582)/(-24). Suppose -5*f + 3*r = 21 - b, 0 = 5*f + r - 144. Does 14 divide f?
True
Does 22 divide ((2 - 0) + -452)*(-7)/3?
False
Let o = -8 - -5. Is (-4 - o)*-3 - (-11 + -1) a multiple of 2?
False
Is (1606/219)/((-137)/(-135) - 1) a multiple of 45?
True
Let x(t) = 2*t**2 - 3*t + 7. Let m be x(9). Let z = m + -7. Is 9 a factor of z?
True
Let b(t) = -2*t. Let x(n) = 1. Let v(j) = -b(j) - 10*x(j). Let f be (-6)/15 - 124/(-10). Is 7 a factor of v(f)?
True
Let h = 29 + -15. Suppose h = -5*x + 5*v + 424, -x + 82 = 5*v. Does 7 divide x?
False
Is 10 a factor of (-9 - 1)/(60/(-27) - -2)?
False
Let m = -30 - -57. Suppose -3 = d - m. Suppose -4*j + 32 = -d. Is 14 a factor of j?
True
Let v = -128 - -227. Suppose 6*o - 3*d - 370 = o, -d + 137 = 2*o. Let w = v - o. Does 14 divide w?
True
Let v(y) = 2*y - 26. Let j be v(11). Let a be 5 + (-4 - -8) + j. Suppose w - 3*w = -a*g + 88, -w = g - 12. Does 16 divide g?
True
Let f(i) = -i**3 - i**2 + 3*i - 4. Let n be f(-3). Suppose n*w + 0*w = 165. Does 4 divide w?
False
Suppose k - 58 = -c, 0 = 5*k - 9*k - c + 244. Is 6 a factor of k?
False
Suppose u + 4 - 147 = 0. Is 4 a factor of u?
False
Suppose 1702 = n + c - 40, 3*c + 8734 = 5*n. Does 55 divide n?
False
Let d = 2 + -1. Let p = -85 - -84. Is 4 a factor of (10 - d) + p + 2?
False
Let q(m) = -m**3 - m**2 - 5*m - 1. Let w be q(-4). Let t = w - 43. Does 4 divide t?
True
Let l(w) = -5*w - 53. Let g be l(-17). Suppose 8*y - g = 152. Does 7 divide y?
False
Let c(k) = -k**2 + 1. Let y(d) = 3*d**2 - 3*d - 1. Let h(b) = -2*c(b) - y(b). Let l be h(2). Let s = 6 - l. Is s even?
False
Let m = -4584 + 9874. Is m a multiple of 23?
True
Suppose 30*m = 21*m + 1989. Is m a multiple of 51?
False
Suppose -11*f + 2440 = -f. Is 24 a factor of f?
False
Let r = -3 + -2. Let v = 9 + r. Suppose 4*k - 16 = v. Is k a multiple of 4?
False
Let l be 3 - (-348 + 4/(-4)). Let v be l/(-55) - 3/5. Let a(y) = y**2 + 4*y - 15. Does 4 divide a(v)?
False
Suppose -93*i + 107*i = 10332. Is 19 a factor of i?
False
Let y(l) = l**2 + 26*l + 54. Let f be y(-23). Let g(b) = b**3 + 16*b**2 + 14*b - 12. Does 2 divide g(f)?
False
Is 144*(40/(-72))/((-10)/12) a multiple of 12?
True
Let x(z) = 24*z + 1. Let t = -15 + 25. Let v = t - 9. Does 25 divide x(v)?
True
Suppose 0 = 3*z + 6, r - 2*z + 336 = 2*r. Let t = r + -94. Is 41 a factor of t?
True
Suppose 5*h - 353 = 257. Let j = 182 - h. Does 12 divide j?
True
Let y = 4 + -4. Suppose z - 2*z + 36 = y. Let b = z - -6. Is b a multiple of 11?
False
Let c = 43 + -38. Let f = c + 66. Is 21 a factor of f?
False
Let y(q) = 3*q**2 - 9*q - 5. Let w be y(-7). Suppose -c = 4*c - w. Is c a multiple of 16?
False
Let d(g) = -2 - 11 + 21*g - 8*g - 7 - g**2. Is d(8) a multiple of 4?
True
Let o = 23 - 19. Suppose 75 + 25 = o*n. Does 5 divide n?
True
Suppose 3*l - 3*h = 12, 2*h - h = 3*l - 8. Suppose -l*i - 3 + 11 = 0. Suppose -v = -i*v + 39. Does 8 divide v?
False
Suppose 2*y + y = 0, 0 = -5*v + 3*y - 35. Let o(a) = -a**3 - 8*a**2 - 8*a + 5. Let g be o(v). Does 3 divide (21/g)/(1/4)?
False
Let m(q) = -q**2 - 7*q - 5. Let h = 9 + -14. Let z be m(h). Suppose 55 = 5*o - 0*o - z*t, 5*o + 2*t - 90 = 0. Is 8 a factor of o?
True
Let a = 1348 + -1251. Does 39 divide a?
False
Let i(o) = -o + 8. Let h be i(3). Suppose 2*v + 4 = 2*p + 38, 0 = -3*p + h*v - 41. Let u = p + 25. Is u even?
False
Let w = 334 - 210. Let f be -1*w/8*2. Let y = f + 55. Is y a multiple of 18?
False
Let d be (5 - 3) + 32/1. Suppose 87 = 3*q - 5*n - d, 3*q = n + 113. Suppose -2*v + 2 - 6 = -4*o, 4*v + o - q = 0. Is v a multiple of 8?
True
Let s(j) = 28*j - 13. Let n be ((-6)/(-45) - 94/30) + 10. Does 40 divide s(n)?
False
Let d(l) = -l**2 - 12*l + 10. Let z be d(-9). Suppose 0 = -5*t - 4*n + 132, -41 = -3*t - 2*n + z. Suppose 46 = 5*y - t. Is y a multiple of 14?
True
Let z = 2989 + -2069. Is z a multiple of 7?
False
Let t be ((-6)/24)/(2/(-56)). Suppose -2*u - t - 3 = 0, -4*b + 3*u = 21. Let s = b + 18. Is s even?
False
Let h(z) = -2*z**2 - 17*z - 17. Let r(l) = -l**2 - 8*l - 8. Let b(x) = -4*h(x) + 7*r(x). Let a be b(-11). Is 25 a factor of (50*1 - 0)*a?
True
Does 9 divide (-8)/(-4 - -3)*(-1442)/(-56)?
False
Suppose 0 = 7*d - 3106 - 8045. Does 59 divide d?
True
Suppose k + 0 = 5*a - 10, 0 = 4*a + 4*k - 32. Suppose -213 = -a*m - 36. Does 5 divide m?
False
Let r(p) = -p**2 - 14*p - 16. Let f(v) = 2*v**2 + 28*v + 33. Let t(z) = 3*f(z) + 5*r(z). Is 5 a factor of t(-13)?
False
Suppose 3 = -5*f + 28. Suppose 0 = f*r + 15, -3*j - 66 + 270 = 4*r. Is j a multiple of 14?
False
Let n be ((-104)/(-2))/4 + -2. Suppose -n*u + 15*u = 560. Is u a multiple of 6?
False
Let b(s) = 3*s**2 - s + 1. Suppose 1 = -m, 3*w + w = -2*m + 2. Let i be b(w). Suppose i*p - 2*o - 37 = -7*o, 0 = -4*p - 2*o + 26. Is p a multiple of 4?
True
Let h(i) = -4*i - 41. Let k be h(-11). Suppose -k*n - 45 = -2*w - 3, -5*n + 82 = 3*w. Is 12 a factor of w?
True
Suppose -8 = q + 2. Let g be 5/(q/(-4)) - -106. Suppose -g = -2*t - 2*t. Is 8 a factor of t?
False
Let f(i) = -i**2 + 7*i - 6. Let q be f(6). Suppose q = -2*t + l + 408, -507 - 313 = -4*t + 4*l. Let h = -139 + t. Is h a multiple of 30?
False
Let w(q) = 2*q + 12. Let j be w(-6). Suppose 0*d - d = j. Is 5 a factor of d + 0/2 + 13?
False
Let y be -4 - 1 - (-144)/9. Let o(b) = -b**3 + 11*b**2 - b + 22. Is o(y) even?
False
Suppose 3*n = -12, 5*u - 5*n - 5 = 20. Let g be 7 - u*0/(-3). Suppose 0 = 3*o - 2*b - 34, -b + 11 + g = 2*o. Is 10 a factor of o?
True
Let p(m) = 23*m + 67. Let k(u) = -8*u - 22. Let x(q) = 17*k(q) + 6*p(q). Let d be x(-12). Is 10 a factor of 415/20 - 3/d?
True
Let t be (-2)/(-3) - 50/(-15). Suppose t*d + 1350 = 10*d. Does 25 divide d?
True
Let f(u) = 27*u**2 + 3*u - 4. Is 50 a factor of f(-6)?
True
Let m be (-3 + 116/20)*5. Let x = m - -64. Does 26 divide x?
True
Let h be 94/18 - 4/18. Suppose -4*t - 14 = -h*i + 2*i, 2*i = t + 6. Suppose 0 = i*x + 5*d - 121, -x = -d - 27 - 16. Is 12 a factor of x?
True
Suppose 22*z = 2020 + 1258. Is 4 a factor of z?
False
Suppose 5*f = -3*f. Suppose 6*z + z - 217 = f. Does 31 divide z?
True
Does 13 divide 5/(-3) + (-11 - (-13692)/18)?
False
Suppose 12*v = 7*v - 4*r + 875, -4*v + 694 = 2*r. Is v a multiple of 19?
True
Is 70/21*(235/10 + 2) a multiple of 10?
False
Suppose 0 - 5 = -n. Does 28 divide (25 - 1)/(1 + n/(-7))?
True
Let g = 389 - 341. Is g a multiple of 5?
False
Let a = 325 - 223. Is 10 a factor of a?
False
Does 6 divide (-1550)/(-6) + 9 + 150/(-18)?
False
Let d(s) = s**3 + 16*s**2 + 28*s + 5. Let y be d(-14). Suppose p = -2, y*q - 5*p - 350 = q. Is q a multiple of 10?
False
Does 28 divide 84*(-4 + 60/9)?
True
Let j(r) = r**2 - 8*r - 7. Let g be j(8). Let h = g - -13. Is ((-2)/h)/((-1)/30) a multiple of 10?
True
Let p(t) = -t**3 + 5*t**2 + 2*t - 7. Let m be p(5). Suppose 2*l = m*q + 245, q = -l + 5*q + 135. Is 23 a factor of l?
True
Let j(b) = 2*b - 10. Let p be j(6). Let r(n) = n + 5*n + n**3 + 11 + 3*n + 7*n**p. Does 8 divide r(-5)?
True
Let q = 105 + -33. Let u = 86 - q. Does 14 divide u?
True
Let w(v) be the third derivative of -v**4/8 + 5*v**3/3 - 18*v**2. Is w(-17) a multiple of 14?
False
Let m(j) = -j**3 - 13*j**2 + 9*j + 113. Is m(-16) a multiple of 5?
False
Let m(k) = 6 + 2*k**2 + 0*k**2 - 7 + 2*k. Let t be m(4). Suppose -b = 2*b - t. Is 5 a factor of b?
False
Let n = -259 + 446. Does 17 divide n?
True
Let t(g) = 23*g**2 - 11*g - 20. Is t(6) a multiple of 15?
False
Suppose 4*m + 3*i = 161, -m = m + 4*i - 78. Is 33 a factor of m?
False
Suppose 4*f = -3*w + 31 + 49, 2*f + 2*w = 38. Let t = 19 - f. Is 4 a factor of t - (-3 + 57)/(-3)?
False
Let w(b) = -3*b**3 + 4*b**2 + 7*b + 2. Let y(p) = -4*p**3 + 5*p**2 + 8*p + 3. Let n(u) = 3*w(u) - 2*y(u). Let v be n(4). Is v/20 + (-93)/(-5) a multiple of 7?
False
Suppose 36*a - 31344 + 1032 = 0. Is a a multiple of 19?
False
Let b(n) = -3*n - 7. Let a be (1/2)/((-1)/6). Let j be b(a). Suppose -4*z = -5*l + 12, -2*l + 0*z = -3*z - j. Is 3 a factor of l?
False
Let w(i) = 134*i + 2. Let t be w(-1). Let k = 25