- 23 + 107 = 0, -4*u + 4*z + 80 = 0. Suppose -3*b + 2 = -u. Suppose 3*v = -m + b, 3*m + 3*v = 5*m - 21. Does 9 divide m?
True
Let s(x) = 3*x - 3*x + 5 - 2 + x. Let f be s(-3). Suppose f = -r + d + 48, -5*r + 2*d + 240 = 6*d. Does 11 divide r?
False
Let p(z) = -45*z**2 - 278*z + 4. Is 33 a factor of p(-4)?
True
Let f be (-3 - (5 - 4))*-1. Suppose -v = 4*x - 132, x + f = 5*x. Is v a multiple of 16?
True
Suppose -5*f + 5592 = n, 0 = 3*f - 4*f + 5*n + 1134. Suppose -1 = -8*o + f. Does 28 divide o?
True
Let n = 133 + 382. Is 41 a factor of n?
False
Suppose 112 + 32 = 6*a. Is 2 a factor of a?
True
Let c(w) = w + 3. Let m be c(2). Suppose p + f - 116 = 17, -m*f = p - 149. Is p a multiple of 23?
False
Let a be (-7)/(-1) + (-2 - -3). Is -3 - (-19 - (a - 4)) a multiple of 4?
True
Let s = 438 + -237. Let w = -117 + s. Is w a multiple of 42?
True
Let h be (16/20)/(-2 - 96/(-45)). Let f(m) = 11*m**2 - m - 2. Let n be f(-2). Suppose -h*k + 4*k = -n. Does 14 divide k?
False
Suppose 4 = 5*h + 44. Let p = h + 30. Does 3 divide p?
False
Suppose -2*c = -3*d + 22, -d - 4*d = 3*c - 24. Suppose -r - 4*x + 26 = 0, d*x + 130 = 5*r + x. Is 13 a factor of r?
True
Let s(t) = 1 + 9*t**2 - 2*t**2 + 7*t**2 - 8*t**2 - 2*t. Is 32 a factor of s(3)?
False
Suppose 4*d = -11 - 1. Let c(i) = 2*i**2 + 12412 - 12413 + 2*i + 0*i**2. Is c(d) a multiple of 3?
False
Suppose -7*y + 180 + 436 = 0. Does 11 divide y?
True
Suppose -s + 2*d = -12, 0 = -5*s + 3*s - 2*d + 24. Suppose 0 = -4*a + 3*v - 49, 5*a = a + 5*v - 39. Does 5 divide a/s*-1*15?
True
Let c = 1710 + -266. Is c a multiple of 76?
True
Let x be (-20)/(-15) + 4/6. Let f be x - 1 - 3*-6. Suppose -2*p + 7 = -f. Is p a multiple of 5?
False
Let w(x) = -7*x**2 + x - 7. Let q(o) = -15*o**2 + 3*o - 14. Let t(l) = 4*q(l) - 9*w(l). Let f(j) = -j**2 - 3*j + 4. Let y be f(-5). Is 25 a factor of t(y)?
False
Suppose 6*n = 6 + 18. Is 19 a factor of (n - 16)*24/(-9)?
False
Let f(a) = -6*a - 66. Is 14 a factor of f(-24)?
False
Let p = -28 + 20. Let m = p - -21. Is 6 a factor of m?
False
Let l = 1842 - 1111. Is l a multiple of 17?
True
Suppose 4*b = -v + 84, 0 = -3*v - b + 184 + 123. Does 5 divide v?
False
Let u be ((-3)/6)/((-3)/(-60)). Let n = u - -12. Suppose -i + 23 + n = 0. Is 18 a factor of i?
False
Let a be (-7 - -17)*5/2. Suppose 0 = 18*r - 13*r - a. Suppose -r*g + 203 = -o, o - 2 = -0. Is 10 a factor of g?
False
Let j(v) = v**3 - 6*v**2 + v - 4. Let w be j(6). Let z(b) = -2*b**3 + b**2 - 2*b**3 - w - b**3 + 3*b. Does 12 divide z(-2)?
True
Suppose -v + 2*n = 2*v, 5*n - 9 = 3*v. Suppose -2*q - 3 = 5*x + 3, 2*q - 2 = -x. Suppose -v*p + 44 = -q*u, p + 4*u = -p + 14. Does 17 divide p?
True
Let t(p) = 255*p**2 - 4*p + 2. Let a be t(1). Let x = a - 103. Is x a multiple of 27?
False
Suppose -3*r = 16 - 10. Does 7 divide (7/r - -4)*68?
False
Is ((-8 + 9)*-18)/(3/(-34)) a multiple of 68?
True
Suppose 6*u - 147 = 3*u. Suppose 36 = 4*k - 5*z, -k + 6*z = 3*z - 16. Suppose -4*c - k + u = 3*n, 9 = 3*c. Is 5 a factor of n?
False
Suppose -4*y - 588 = -3*h + 440, 4*y = -2*h + 672. Is 7 a factor of h?
False
Let v(l) = 4*l**3 + 15*l**2 + 12. Suppose -3*c = -3 - 15. Let i(w) = 5*w**3 + 16*w**2 + w + 12. Let a(b) = c*v(b) - 5*i(b). Does 12 divide a(9)?
True
Let v(w) = w**3 + w**2 - 85. Let b be v(0). Let f = b + 148. Let c = f - -4. Is c a multiple of 30?
False
Let w be ((-15)/30)/(2/(-28)). Suppose 0 = w*o - 7 - 7. Suppose f + 44 = o*f. Is 22 a factor of f?
True
Let k = -12 + 16. Suppose -2*d - 22 = -0*d - k*w, 0 = -d - 2*w + 5. Let g = d + 13. Does 10 divide g?
True
Let a(u) be the third derivative of 0 - 25/6*u**3 - 7*u**2 - 5/8*u**4 + 1/60*u**5 + 0*u. Is a(17) a multiple of 8?
False
Let v(b) = -b**3 - 2*b**2 + 2*b - 1. Let q be v(-3). Suppose 5*d = -2*l + 1617, l = -q*d + 3*l + 658. Suppose 0 = -5*a + d + 170. Does 20 divide a?
False
Let j be (7/(-2))/(2/32). Let v = 31 + j. Is 116/10 - 10/v a multiple of 12?
True
Let n be (-4)/14 + 10/35. Suppose n = -3*d + 15, 4*u - 9 = d - 6*d. Does 8 divide u + 0 + 3 + 22?
False
Suppose 3*y - 4*o - 2490 = 0, 3*o - 2466 = -3*y - o. Is 60 a factor of y?
False
Let s = 32 - 30. Suppose 36 = s*x - 5*z, 2*z = -5*x + 22 + 10. Does 7 divide x?
False
Let h = 36 + -21. Suppose -5*t = -h - 200. Does 21 divide (0 + (-1 - -2))*t?
False
Suppose 4*m - 168 = 4*g, 3*m + 3*g - 19 = 107. Is m a multiple of 7?
True
Suppose 4*m + 25 = x, -8*x - 1 = m - 3*x. Let z be ((-12)/8)/(m/16). Suppose z*k = 17 + 87. Is k a multiple of 11?
False
Let o(m) = 6*m - 12. Let r be o(4). Suppose 0 = -n - n + 4*d + 8, -n + r = 2*d. Suppose n*s - 6*s = 136. Is 34 a factor of s?
True
Let g be -2 + (1 + -1)/2. Let r = 38 + -47. Let c = g - r. Is 3 a factor of c?
False
Let a(i) = 2*i**3 - 2*i. Let j(u) = -5*u**3 + u. Let l(n) = -2*n**2 + 1. Let c be l(-1). Let y be j(c). Is 15 a factor of a(y)?
True
Suppose -174 = 709*w - 711*w. Does 65 divide w?
False
Let s(t) be the first derivative of -t**4/4 - 7*t**3/3 - 7*t**2/2 + 4*t + 2. Is s(-6) a multiple of 6?
False
Suppose -190 = 5*g - 2*s, g = 2*g - 2*s + 38. Does 16 divide g/171 - 3/(54/(-6340))?
True
Let m be 1*(-2)/12 + (-25)/(-6). Suppose 5*h = -m*l + 104, 0*h - h = 5*l - 4. Does 12 divide h?
True
Let i = 24 + 0. Does 13 divide (-195)/10*i/(-9)?
True
Suppose k + 5*a = a - 12, 0 = -2*k + a + 3. Suppose k = -3*n + 4*v - 536, 4*v + 514 = -4*n - 210. Is 84/10*n/(-24) a multiple of 13?
False
Suppose -c + 0*c = -61. Let q be (-4)/((-4)/(-3)) - -3. Suppose q*o = o - c. Is 16 a factor of o?
False
Suppose -24 = -p + 49. Suppose 0 = 6*o - p - 173. Does 19 divide o?
False
Let m(n) = -13*n**3 + 2*n**2 - 1. Let b be m(-1). Let v = 61 + b. Does 27 divide v?
False
Suppose 0 = 13*z - 19494 - 4426. Suppose -11*d = -3*d - z. Does 23 divide d?
True
Suppose 0 = -f + 6 - 6. Suppose f = -18*r + 16*r + 72. Does 6 divide r?
True
Let s = 13 + -9. Let c be 5 + -3 + s/4. Suppose -57 - 33 = -c*z. Does 6 divide z?
True
Suppose -798 - 984 = -27*n. Does 33 divide n?
True
Is ((-1826)/44)/((-2)/12) a multiple of 50?
False
Let b(z) = -34*z - 8. Let a be b(8). Let w = a - -440. Does 25 divide w?
False
Let m(n) = n**2 - 20*n - 25. Let d be m(22). Suppose 91 - d = 8*t. Is t a multiple of 2?
False
Let u(b) = b**3 + 10*b**2 + 2*b + 11. Let x be u(-10). Let s be ((-87)/x + 0)*9. Suppose -41 - s = -8*q. Is 16 a factor of q?
True
Let s(j) = 2*j**2 + 13*j + 33. Let u be s(-4). Suppose -u*a + 16*a = 9. Is 2 a factor of a?
False
Let l = -3 - -5. Suppose -5*w - 2*x + 4*x = -135, -5*x - 75 = -l*w. Is w a multiple of 5?
True
Let h be 5 - ((-10)/(-15) + (-11)/3). Suppose -h*k - 256 = -2*j - 5*k, 5*j + 5*k = 615. Is j a multiple of 7?
False
Let d = 89 + -119. Let i(h) = -16*h - 5. Let a be i(4). Let k = d - a. Is k a multiple of 13?
True
Let w(u) = -u**2 + 4*u + 14. Let m be w(6). Suppose -m*p = 2*p - 48. Does 7 divide (69/p)/(2/8)?
False
Let i = 10 - 5. Suppose -i*z + 59 + 51 = 0. Suppose -5*t + 60 = -5*s, 4*s + z = 3*t - t. Does 13 divide t?
True
Is 21/(-3)*(-4 - (61 + 0)) a multiple of 23?
False
Let y = -89 - -64. Let j = y + 40. Let i = j - -6. Is 6 a factor of i?
False
Let y(p) = -3*p**3 + 3*p**2 - p - 1. Let g be y(1). Let z be 3*g/(4/22). Is (-2)/(z/(-17) + -2) a multiple of 8?
False
Let p = -15 - -18. Suppose w - 321 = -5*z, -p*z + 2*z + w = -69. Is z a multiple of 13?
True
Suppose 13*q + 11557 - 36959 = 0. Is q a multiple of 34?
False
Let p(a) = -13*a - 6. Let f(v) = -v**2 - 53*v - 24. Let b(m) = -2*f(m) + 9*p(m). Is 5 a factor of b(7)?
True
Let a(v) = -v**3 - 7*v**2 + 17*v - 3. Let w be a(-9). Does 11 divide (66/(-8))/(w/(-32))?
True
Suppose 42*i - 43*i = -160. Suppose i = 25*s - 20*s. Does 8 divide s?
True
Suppose -3*o + 2*m = -12, 5*o + 0 + 2 = -4*m. Let h(w) = w**o - w**3 - 2 - 223*w + 223*w. Is h(-2) a multiple of 3?
False
Let u = -42 - -45. Suppose -4*p = -u*y - 399, -6*y = -y + 25. Is p a multiple of 12?
True
Let b(a) be the third derivative of 7*a**5/10 + a**4/24 + a**3/6 - a**2. Suppose -5*w + 4*t = -t + 15, w = -2*t + 3. Does 25 divide b(w)?
False
Suppose 16*x = 15*x + 16. Suppose x*o - 20*o - 352 = 0. Does 17 divide -3 - (o + -2 + -2)?
False
Suppose 0 = 4*m - 5*x - 4629, -3*m + 4*m - 5*x = 1176. Is 42 a factor of m?
False
Let z be 7/1*624/91. Suppose 121 + z = 3*o + 5*g, o - 3*g = 47. Does 32 divide o?
False
Let o = 1258 + -101. Is o a