 w be 2/(-6) - 7/(-3). Suppose -w*h = -6*h + 56. Suppose 96 = 4*x + 2*l, -4*l - h = 2. Does 8 divide x?
False
Suppose -p + 0*p = 7. Let f = -3 - p. Suppose -f*n - k + 23 = -67, -5*k - 12 = -n. Is n a multiple of 11?
True
Let o = -12 + 24. Suppose 3*m = -4*a + 28, 4*a - o = 2*m - m. Suppose 0 = -4*l - 5*q + 84, 4*l + 0*q - 84 = a*q. Does 7 divide l?
True
Let n be 475*1 + (-6 + 3)*1. Suppose 0 = r - 1, -2*l = r + 3*r - n. Does 45 divide l?
False
Let v(i) = i**2 + 6*i + 8. Let r = 26 - 14. Suppose 0 = -0*a + 2*a + r. Is v(a) a multiple of 4?
True
Let i(a) = 7*a**2 + 3. Let y be i(-3). Suppose -3*k + 414 = -2*q, 0 = -3*k - 2*q + y + 360. Is k a multiple of 20?
True
Let q = 149 - 60. Is q a multiple of 4?
False
Suppose -6*t - 20 = -11*t. Let c(m) = -m + 1. Let w be c(-5). Suppose 22 = t*g - w. Is g even?
False
Let m = -1435 + 2076. Is 38 a factor of m?
False
Suppose 3*p - 1112 = 1534. Does 20 divide p?
False
Suppose 2*g + 3 - 193 = 0. Suppose -4*h = -5*t + 32, 2*t + h = 3*h + 12. Suppose 7*w - t*w + g = 0. Does 25 divide w?
False
Suppose -5*w - 70 = i, 3*i + 3*w + 147 = -63. Let h = -55 - i. Is 6 a factor of h?
False
Does 7 divide (-9)/(-12)*-8 + 405?
True
Let l(z) = z**2 - 20*z - 140. Does 11 divide l(29)?
True
Let o(x) = -x**3 + 6*x**2 - 3*x - 2. Let v be o(5). Suppose -331 = -v*n + 109. Is 10 a factor of n?
False
Let w = -493 + 1203. Does 10 divide w?
True
Let t be (-50)/40 - (-3)/(-4) - -1. Let s(n) = -76*n - 10. Does 11 divide s(t)?
True
Let h be (-16)/(-1) - ((-32)/2)/(-4). Suppose -4*z + h = -0*z. Is 2 a factor of z?
False
Let i(t) = 7*t**2 + 9*t. Is i(8) a multiple of 65?
True
Let c = 273 - -364. Does 39 divide c?
False
Suppose -78*w + 75*w + 4*l + 6984 = 0, 0 = -w - 3*l + 2328. Does 12 divide w?
True
Does 104 divide 1031 - (-10 + 5/5)?
True
Suppose -41*r + 38*r - 6 = 0. Let s(b) be the first derivative of 5*b**3 - 2*b**2 - 3*b + 2. Is s(r) a multiple of 13?
True
Suppose -6*q = -q, -q = 4*b. Let g = 7 + b. Is (-2)/(-7) - (-404)/g a multiple of 15?
False
Let p(t) = 2*t**3 - t + 1. Let r be p(1). Suppose r*v - 3*i - i = 8, 2*v - 3 = -i. Does 17 divide 24/v*(11 - 9)?
False
Suppose -2*d - x = -47, -6*d = -2*d - 5*x - 101. Let h = d + -11. Suppose -4*z + h = -59. Is z a multiple of 9?
True
Let u(b) = 3*b**2 + 13*b + 7. Let m be u(-10). Suppose m = 2*s + 2*s + 3*r, 4*r + 229 = 5*s. Is 13 a factor of s?
False
Let o(m) = 0 + 3 - 12 - 11*m. Let z be o(-11). Suppose 5*a - 280 = k, -2*k - z = -2*a + 3*k. Is a a multiple of 20?
False
Let s be 2 + (-668)/(-4) + 1. Let f = 129 - 218. Let g = f + s. Does 27 divide g?
True
Let q(z) = 16*z**3 + 2*z - 1. Let u = -12 + 13. Let b be q(u). Suppose -3*s - 2*p + b = -0*p, -s + p = -4. Is s even?
False
Let p(j) = 2*j**2 + 11*j + 12. Let n(z) = -6*z**2 - 33*z - 35. Let f(i) = -3*n(i) - 8*p(i). Let o = -14 + 8. Is 5 a factor of f(o)?
True
Let r be (-1 - 58)*-2 - -5. Let y = -108 + r. Is y a multiple of 3?
True
Suppose 4*g = -n - 0 - 4, 0 = -5*n - 2*g + 16. Does 52 divide 0 - (n - 2) - -210?
True
Suppose q + 4 = 9, -466 = -2*z - 2*q. Is z a multiple of 12?
True
Does 41 divide (-238*(2 + 0))/((-304)/608)?
False
Let w be (-8)/(-1 - (-332)/340). Suppose -4*u + 2*v + 3*v = -682, 2*u - 2*v = w. Does 19 divide u?
False
Let u = 2011 + -446. Suppose -u = 2*g - 7*g. Is 21 a factor of g?
False
Let j be (-4)/(-18) + 1544/18. Let w = j + -34. Is w a multiple of 13?
True
Suppose 6*u - 27 + 3 = 0. Suppose -u*t + 164 = -576. Is 11 a factor of t?
False
Is 8/(-140)*-5 + 3624/7 a multiple of 14?
True
Let l = -23 + 25. Suppose -3*q + 3*z - l*z + 35 = 0, 0 = -2*z - 10. Suppose -6 + q = d. Is 2 a factor of d?
True
Let v(i) = -47*i**3 - 2*i - 1. Let b be v(-1). Suppose 92 + 28 = -5*d. Let t = d + b. Is 24 a factor of t?
True
Let i(o) = -21*o - 1. Suppose 0 = -17*r + 2*r - 15. Does 5 divide i(r)?
True
Let a(f) = 4*f**2 - 72*f + 12. Is 7 a factor of a(-13)?
True
Let r = -253 + 523. Is 10 a factor of r?
True
Let n(r) = -r**2 + 10*r + 6. Let z be n(8). Suppose -z = 5*x - 2, 0 = -4*v - 3*x - 8. Let w = v - -4. Is 4 a factor of w?
False
Suppose 0 = -4*m - 5*f + 787, -3*m + 6*f - 4*f = -619. Is 21 a factor of m?
False
Let i(q) = q**2 - q - 4. Let a be i(-2). Suppose -a*m + 18 = 4*h - 0*h, -4*h + 23 = -3*m. Let j(r) = 11*r - 7. Is j(h) a multiple of 16?
True
Let q(i) = i**2 + 31*i + 22. Does 7 divide q(11)?
False
Suppose d + 95 = 3*m + 12, -2*d + 95 = 3*m. Suppose 5*k + 116 = -m. Let w = k + 45. Is w a multiple of 8?
True
Let m be 32/8*(2 - -1)/(-6). Is 4 a factor of m/18*(-4 - -1)*18?
False
Let i(b) = 4*b**2 + b - 1. Let g be i(2). Suppose -k - g = -75. Is 15 a factor of k?
False
Suppose -71*v - 4*c = -66*v - 7264, -4*v + 5808 = 4*c. Is 56 a factor of v?
True
Is (20 - -279) + (3 - 9) a multiple of 13?
False
Let g(s) = 4*s - 60. Let j be g(14). Does 4 divide j + (12 - 9) + (22 - -2)?
False
Let h = 23 - 32. Let x = -9 - h. Suppose -4*a + 5*d + 182 = x, -a = -5*a - 4*d + 200. Is a a multiple of 29?
False
Let u = 1205 - 1025. Does 60 divide u?
True
Suppose 1211 = 5*q - 3*x, -4*q + 2*x - 375 = -1343. Suppose -267 = -4*t + 5*j, -4*t + 27 + q = -4*j. Is 17 a factor of t?
True
Let m(n) = n + 6*n - 8 - 4*n. Let v(u) = 1. Let s(c) = -m(c) - 3*v(c). Is 15 a factor of s(-6)?
False
Suppose -3*m - 2*r = -1680, 2*r - 1120 = -11*m + 9*m. Does 20 divide m?
True
Let h = -167 - -429. Is 14 a factor of h?
False
Let p(b) = -2 + b**2 + 4*b**2 - b**3 + 2*b - b**2 - 2*b**2. Let w be p(-2). Does 7 divide 66/w + (-4)/(-10)?
True
Let i = 611 - 180. Does 19 divide i?
False
Suppose 2*x = 3*f + 683, 0 = 4*x + 5*f - 339 - 1016. Is 6 a factor of (x/51)/((-2)/(-33)*1)?
False
Let j(d) = d + 12. Let w be j(-10). Let h(i) = 13*i**2 + 4. Is h(w) a multiple of 14?
True
Let l(o) = -46*o - 65. Does 4 divide l(-12)?
False
Let p = 1168 - -688. Is 116 a factor of p?
True
Let m = -16 + 30. Suppose 3*q = 0, k - 9*q + m*q - 202 = 0. Is k a multiple of 34?
False
Let q(x) be the third derivative of x**8/4032 - x**7/2520 + x**6/180 + x**5/6 - 5*x**2. Let k(w) be the third derivative of q(w). Is k(2) a multiple of 20?
True
Is (-3 - -2 - 2)/((-21)/1169) a multiple of 10?
False
Let j(z) = 16*z**2 - 14*z**2 - z + 0*z + 0*z - 3. Does 13 divide j(-5)?
True
Suppose -5*f + 4072 = 2*i, 0 = i + 5 - 1. Is 68 a factor of f?
True
Suppose -4*w - 342 = -126. Does 18 divide w/(-8)*(-416)/(-39)?
True
Let o = 623 + -435. Is o a multiple of 8?
False
Let r be 0 + (-3)/((-12)/16). Suppose -3*g - 4*t = -72, -2*t + r*t + 34 = g. Is 28 a factor of g?
True
Suppose 5*m = -25, -j - 3*m + 245 = 4*j. Does 3 divide j?
False
Let i(o) = o**3 - o**2 + 1430. Does 35 divide i(0)?
False
Let z(p) = 1. Let s(h) = -h**2 - 16*h + 26. Let m(v) = s(v) + 4*z(v). Is m(-13) a multiple of 23?
True
Let l be (-120)/(-4)*(-21)/(-5). Let k = l + -56. Is 35 a factor of k?
True
Let k be ((-15)/(-9))/(20/24). Let u be k/3 - 125/(-15). Suppose -c + u = 3*d, 5*c + 2*d - 110 = -0*d. Is c a multiple of 7?
False
Let h = 23 + -40. Let l(d) = -d**2 - 22*d - 10. Is 25 a factor of l(h)?
True
Let f(m) be the first derivative of -m**4/4 + 2*m**3 - m**2/2 + 6*m - 4. Let a be f(6). Suppose 5*z + 104 = 3*t + 299, 5*z + 4*t - 230 = a. Is 11 a factor of z?
False
Let u(p) = -p - 9. Let b be u(-16). Suppose 11 = 2*i - b. Is i a multiple of 3?
True
Suppose -4*b = -3*j + 320, -110 = -2*j + j - 2*b. Suppose -4*l + 118 = 2*v, 4*l = l + 5*v + j. Does 10 divide l?
False
Suppose -6 = 2*h, -4 = 4*u - 4*h - 0*h. Let a = u + 17. Is a a multiple of 13?
True
Let z be ((648/10)/(-9))/(6/(-440)). Suppose -8*x + 0*x = -z. Is x a multiple of 36?
False
Suppose 0 = 9*q - 11*q - 254. Let z = q + 217. Does 30 divide z?
True
Let z(w) = 5*w**2 + 6*w - 57. Is z(-16) a multiple of 23?
True
Let k(t) = -t**3 - 9*t**2 + 13*t - 7. Suppose -3*u - 43 = 5*n, 0 = u - 2*n - n + 5. Does 20 divide k(u)?
False
Let t(q) = -36*q**3 - q**2 + q + 1. Let z be t(1). Let v be (-12)/(-28) + (-1140)/z. Let p = 72 - v. Is p a multiple of 10?
False
Suppose -4 = -a + 3. Suppose 16 = f - a. Suppose 22 = 3*t - f. Is t a multiple of 11?
False
Let d = -724 - -758. Is 13 a factor of d?
False
Suppose 2*a - 2*t - 178 = 0, -2*t + 218 = -5*a + 672. Is a a multiple of 2?
True
Suppose 8*y = 7*y + 2*i + 230, -5*i - 1125 = -5*y. Does 20 divide y?
True
Let h be (0 + 2/(-4))/((-1)/(-170)). Let q = h + 141. Is q a multip