u = 711 - 679. Is u a multiple of 32?
True
Does 14 divide (43/(-4))/((-21)/1176)?
True
Let v = -170 + 79. Let x = -49 - v. Is x a multiple of 14?
True
Let u(c) = c**2 - 10*c - 9. Let q be u(14). Suppose 3*n + 5*k = 4*n + 1, 4*n = 3*k + q. Suppose -15 = -y + n. Is y a multiple of 8?
False
Suppose -3*o - 3*p = p + 2, -p = -1. Is (o - 56/(-10))/(24/80) a multiple of 6?
True
Let o(v) = v + 11*v + v - 16. Does 6 divide o(4)?
True
Let o(j) = -13*j**2 - 19*j + 7. Let c(d) = 5*d**2 + 8*d - 3. Let w(u) = -5*c(u) - 2*o(u). Suppose 0 = 2*v - 5 - 5. Is w(v) a multiple of 8?
True
Suppose -13*h + 998 = -172. Does 16 divide h?
False
Let s = 57 - 121. Let l = -44 - s. Is l a multiple of 20?
True
Let u be (-1)/(2/38) - -1. Let a(h) = -3*h - 13. Let b be a(-4). Is -42*(u/(-21))/b a multiple of 18?
True
Let a be -20*((-2)/(-12) - (-8)/(-12)). Let p(v) = 7*v**3 - 2*v**2 + 1. Let z be p(1). Let m = a - z. Is 3 a factor of m?
False
Let c be 16/12*(-15)/(-2). Let b = c + -7. Is 5 a factor of 15/6*(b - 1)?
True
Let f(b) = 2*b + 18. Let k(g) = -4*g - 17. Let p(o) = -3*f(o) - 2*k(o). Does 11 divide p(26)?
False
Let r(b) = 2*b + 6. Suppose -4*l - 62 = -5*v, -3*l + 0 = v - 1. Let d be r(v). Let n = d + -10. Is 8 a factor of n?
True
Suppose -2*o + 2*b = 46, -30 = 2*o + 3*b - b. Let w = -14 - o. Suppose 4*f = -t - 17, -2*t - w*f = t + 16. Is 3 a factor of t?
True
Suppose 4*o - 2169 = -5*z, -3*z - 4*o - 347 = -1642. Does 18 divide z?
False
Let a = -7 + 34. Suppose 6*o + 115 = -5*j + o, 0 = -j + o - a. Let m = j + 34. Does 4 divide m?
False
Suppose 3*a - 164 = -4*x + 88, -2*a + x + 168 = 0. Is 6 a factor of a?
True
Suppose 315 = q + y - 392, -q + 707 = 4*y. Is 5 a factor of q?
False
Let r = 9908 + -6910. Does 10 divide r?
False
Suppose -2*x + 18 = -4*t, 2*t + 17 = 4*x - 7. Let b(c) = 2*c**2 - 8*c + 8. Does 18 divide b(x)?
True
Suppose -3*g = 4*u - 12, -5*u + 2*g + 17 - 2 = 0. Suppose q - u = -52. Let b = q + 85. Is 12 a factor of b?
True
Let m be 3 + -5 - (-4 - -1). Let v be m + 1 + 1 + 3. Is 13 a factor of ((-26)/v)/(1/(-6))?
True
Suppose 3*l + 17 = 2*v + 2*v, 24 = 5*v - l. Suppose 414 = -v*r + 1239. Is r a multiple of 15?
True
Let b(q) = q**2. Let v(n) = 2*n**2 + 2*n + 6. Let i(m) = 4*b(m) - v(m). Let y be i(4). Suppose -2*f - y = -5*f. Does 4 divide f?
False
Suppose 3*h + 13*p - 9*p - 2702 = 0, 902 = h + p. Does 35 divide h?
False
Let x = -33 + 16. Let m(p) = -p**2 - 11*p + 20. Let b be m(-13). Let y = b - x. Is 3 a factor of y?
False
Let r(p) = -p**3 + 6*p**2 + 13. Let i be r(5). Suppose i*f = 33*f + 525. Is f a multiple of 15?
True
Suppose 9 = s - 14. Let q = -21 + s. Suppose -q*a = -5*t + 21, -a = 2*a + 9. Is 2 a factor of t?
False
Let k(u) be the third derivative of -u**6/120 + u**5/60 - u**4/24 + u**3/6 + 6*u**2. Let o be k(1). Suppose o*s + 5*s - 2*a = 439, -5*a = 10. Does 25 divide s?
False
Let j = 88 - 86. Let a = 25 - 4. Suppose -j*c = -a - 3. Is 12 a factor of c?
True
Suppose 2*f = 7*f - 25. Does 5 divide f?
True
Let j(q) = -q + 13. Let v be j(11). Suppose v*n = 3*n - 78. Is 29 a factor of n?
False
Let c = -70 + 220. Suppose -c = -0*q - 2*q. Does 24 divide ((-210)/q)/(1/(-25))?
False
Let u be (-2)/9 + (-623)/(-9). Suppose -99 = -4*x + u. Is x a multiple of 31?
False
Is 27 a factor of 284 + (11/(11/8))/2?
False
Let j(w) = -240*w - 33. Is j(-4) a multiple of 16?
False
Let x = 2207 + -1159. Is 27 a factor of x?
False
Suppose -10*t = 34*t - 66792. Is t a multiple of 23?
True
Is 39/(9/3)*(321 + 13) a multiple of 84?
False
Let y(z) = 2*z**2 + 3*z - 4. Let g be y(-3). Let d be 140 + 0/(g/(-5)). Suppose 6*n + 2 = d. Is n a multiple of 5?
False
Let l(a) be the third derivative of a**4/24 - a**3 + 5*a**2. Let g be l(8). Suppose 5*s = 2*k + 105, -g*s - s - k + 52 = 0. Is s a multiple of 10?
False
Let d(w) = 16*w - 1. Suppose 3*k - 2 = k. Let t be d(k). Does 21 divide (-18)/(-4)*280/t?
True
Let j(i) = -2*i + 2. Let y be j(-3). Let d(s) = -s**2 + 9*s - 5. Let w be d(y). Suppose 4*r - 152 = -4*p, 0 = -0*p + w*p - 3*r - 126. Is p a multiple of 20?
True
Let w be 11/88 + (-18)/16. Is (0 - w)*(119 - -1) a multiple of 11?
False
Does 14 divide 378*(250/(-30) - -11)?
True
Let h(r) = 18*r**2 - r - 4. Let c be h(5). Let l = c - 157. Is 19 a factor of l?
False
Suppose -9*c = -12*c - 12. Is 14 a factor of (c/6)/((-34)/4947)?
False
Let y be (1 + -2)/((-5)/50). Is 14 a factor of y/(2/(-42)*-1)?
True
Let t = -28 - -16. Let c = -12 - t. Let m(v) = v + 3. Is m(c) even?
False
Let g = 131 - 14. Is ((-2)/(-6))/(1/g*3) a multiple of 13?
True
Suppose f + 16 = 4*h, -4*f = 5*h + 11 - 31. Suppose 4*t = -h, 4*b + 5*t = t. Let l(w) = 30*w + 1. Is 10 a factor of l(b)?
False
Let j(i) = -i**2 - 3*i + 6. Let z be j(-4). Let g(f) = 8*f + f + f**2 - 2 - z*f**2 + 15. Is g(10) a multiple of 3?
True
Suppose 6*z = 14*z - 176. Is z a multiple of 11?
True
Is (-12)/3 - (-6 + (-2 - 313)) a multiple of 19?
False
Is 21*65*44/55 a multiple of 9?
False
Suppose -16*b + 2*b = -42. Suppose 3*h - 15 = 3*z, 3*z - 4*z = 3*h - 11. Suppose 4*q - h*r = -r + 292, 2*r - 219 = -b*q. Is q a multiple of 19?
False
Let j = 259 - 168. Is j a multiple of 13?
True
Let h(r) = 2*r + 4. Suppose 2*s + 4 = -0*s. Let z = 3 - s. Is 14 a factor of h(z)?
True
Let l = 29 - 26. Suppose -l*w - q + 212 = 0, w = -w - 4*q + 148. Is w a multiple of 7?
True
Suppose 3*q = -s + 654, -14*q = 5*s - 10*q - 3292. Is s a multiple of 11?
True
Let s(b) = -2218*b + 2219*b + 1 + 5. Is 23 a factor of s(17)?
True
Let v(s) = -s**2 - 6*s + 14. Let u be v(-7). Is 16 a factor of 67 + -1 + -9 + u?
True
Let y(r) = -r**3 + 5*r**2 - r + 2. Suppose -25 = -h - 4*h. Let o be y(h). Does 16 divide o/4 - 393/(-12)?
True
Let s be 2*(-6)/8 + 156/24. Suppose -3*n - 4*w = -w - 33, -s*w - 35 = -4*n. Is n a multiple of 3?
False
Let g(x) = x**3 - 18*x**2 + 3*x + 26. Suppose -3*v = 1 - 55. Is g(v) a multiple of 16?
True
Let b = -170 + 231. Is 2 a factor of b?
False
Let m = -110 - -106. Is 43 a factor of (-43)/(2 - (-9)/m)?
True
Let h(c) = 4*c + 1. Let s be h(1). Suppose s = x + 4*q - 2*q, -5*q = -3*x + 15. Suppose -2*i + 37 = 2*w + 3*i, x*w - 4*i - 43 = 0. Is 3 a factor of w?
False
Suppose l + 2 = 3*l. Suppose -l = -s + 3. Let z(o) = o**3 - o - 7. Is 24 a factor of z(s)?
False
Let k = 40 + 130. Suppose -34*s = -36*s + k. Does 15 divide s?
False
Let j(u) be the second derivative of -u**4/12 - 13*u**3/3 - 14*u. Let q be j(-15). Suppose m = 2*a - q, 3*a - m - m = 250. Does 16 divide a?
True
Let p(c) = c + 15. Let f be p(-10). Suppose -f*r + 0*r + 475 = 0. Is r a multiple of 19?
True
Suppose 3*a - 341 = -2*u, 0*a - 3*a - 5*u + 335 = 0. Is a a multiple of 5?
True
Suppose 5*v - 83 = 57. Suppose -17 = 5*u + v. Let c = u + 22. Does 13 divide c?
True
Let h(n) = 18*n - 20. Is h(12) a multiple of 13?
False
Suppose 3*s + 3*z = 2037, s + 2*z - 678 = -0*s. Does 10 divide s?
True
Suppose 3*k - 391 - 121 = -2*c, -679 = -4*k + c. Is k a multiple of 10?
True
Let n = 4 + -13. Let v = -6 - n. Does 16 divide (v - (2 + -2)) + 41?
False
Let n(p) = p**3 - 6*p**2 - 6*p. Let q be n(7). Suppose 0 = 4*l - 0 + 20, 0 = -4*t + l + 17. Suppose -132 = t*i - q*i. Is 8 a factor of i?
False
Suppose -2*k - 2*b = b, 5*k + 2*b = 0. Suppose -5*d + 3 + 7 = k. Suppose -2*t - d*t = -52. Does 13 divide t?
True
Let i(j) = -j**2 - 11*j - 6. Let s be i(-10). Suppose 2*p - r = -s*r + 56, -4*p = -4*r - 92. Does 12 divide p?
False
Let w = 927 - 483. Is 37 a factor of w?
True
Suppose 2*b - 149 = -3*w, 2*w + w - 4*b = 179. Suppose 4*j - 334 + 3 = 3*p, p + 82 = j. Let k = j - w. Does 8 divide k?
True
Suppose 828 - 19533 = -15*m. Does 19 divide m?
False
Let g(o) = -2*o + 8. Let y be g(6). Let r = y - -9. Suppose -r*a + 136 = -119. Does 13 divide a?
False
Let m(y) = -227*y - 11 - 143*y + 13. Let n be m(-1). Suppose -4*o - n = -8*o. Is 30 a factor of o?
False
Let k = 32 - 47. Let r be (-23)/(-5) + k/25. Let h(u) = 10*u**2 - 7*u - 1. Is h(r) a multiple of 28?
False
Suppose 7*s + 1220 = 9*s. Is 29 a factor of (-6)/(-10) + (s/25 - -4)?
True
Let v be (-1 - 1/(-3))/((-88)/7524). Does 13 divide (2 + (-16)/6)/((-2)/v)?
False
Let t(y) = y**3 + 7*y**2 - 19*y - 17. Is 4 a factor of t(5)?
True
Let g(d) = -3*d - 4*d**2 + 0*d - 2*d**3 + 0*d**3 + 2*d + 4. Let k be g(-3). Let f = k - 9. Is f a multiple of 5?
False
Suppose 0 = -49*t + 55*t - 3072. Is 27 