 = 826 - 670. Suppose 121 = 3*m + 5*v, 0 = -f*m + 2*v - 28 + n. Is m a multiple of 14?
True
Is 29 a factor of (7 - 132002/(-39)) + 8/6?
True
Let j be 1/1 + (-10 - -15) - 1. Suppose -585 = -j*a - 5*t, -4*a + 4*t = 51 - 519. Does 25 divide a?
False
Suppose 1903 = 7*b - 645. Is b a multiple of 10?
False
Let r = 658 + -508. Does 6 divide r?
True
Let f be 211/(-1*(-2 + 3)). Let m = f - -148. Let j = 152 + m. Is j a multiple of 16?
False
Let c(k) = 2*k - 17. Let y be c(7). Let s be 2*(y - (-36)/8). Does 9 divide (-6)/s - (-168)/3?
True
Let n(l) = -l**3 + 20*l**2 + 27*l + 41. Does 15 divide n(21)?
False
Suppose 6*o = o. Suppose o*z = 5*z - 20. Let k(l) = 4*l**2 - 6*l. Does 20 divide k(z)?
True
Let q = 5 + -23. Let z be (q/8)/(5/140). Let f = z - -117. Does 18 divide f?
True
Let f = -12 - -692. Is f a multiple of 37?
False
Let i = 26 + -32. Suppose -3*y + 8 = -1. Is 21 + y/i*2 a multiple of 9?
False
Let b(t) be the second derivative of -t**4/12 + t**3/6 + 57*t**2/2 - 6*t. Let p be b(0). Is 31 a factor of (-10)/1*p/(-6)?
False
Let y be 90/27*6/2. Is y/((24/10)/6) a multiple of 12?
False
Let z(s) = -s**3 + 3*s**2 + 5*s + 4. Let o be z(-4). Suppose -20*b + 78 = -22. Suppose -5*f + o = 3*a, -3*f = b*a - 39 - 25. Is 4 a factor of f?
False
Let w(m) = -m**3 + 11*m**2 - 2*m + 21. Let h be w(11). Is 15 a factor of 6*h*(-27 - -7)?
True
Suppose -12 = -m + 81. Suppose -2*r = -2*z - 396, r - m = 5*z + 89. Does 9 divide r?
False
Let p(d) = -365*d + 12. Is 14 a factor of p(-2)?
True
Suppose -9*s = 338 - 2273. Is s a multiple of 43?
True
Let b(q) = q**3 + 6*q**2 - 3*q - 3. Let m be b(-5). Suppose 19 + m = -4*f. Is 14 a factor of (-1)/(3/9)*f?
True
Let u(x) = -3*x**2 + 2 + 3*x - x**3 - 6*x - 2*x + 8*x**2. Let k be u(3). Suppose -g - 4*t + 10 = -1, -50 = -3*g + k*t. Is g a multiple of 6?
False
Suppose -3*o + 27 = 4*q, -4*q + q = 4*o - 22. Let y = 4 - q. Does 7 divide y/8 - 174/(-24)?
True
Suppose a - 4*d - 45 = 0, -5*d = 3*a + 27 - 128. Suppose a*f - 22 = 36*f. Does 4 divide f?
False
Suppose -7*j + 10 = -5*s - 3*j, -4*j + 12 = -4*s. Suppose -1 = o + s, -5*o = -i + 43. Is 22 a factor of i?
False
Let h = -1657 - -2365. Does 52 divide h?
False
Let x(l) = 23*l**3 + 2*l**2 - l + 4. Does 6 divide x(2)?
False
Let c be (-100)/(-45)*(-27)/(-3). Let y(w) = 3*w - 5. Let q be y(4). Let m = c - q. Does 5 divide m?
False
Suppose -4*v - 4*y + 20 = 0, -5*v - y = -22 + 1. Suppose 2*w - w = -3*r + 6, -2*w = v*r - 12. Suppose w*m - 3*m - 135 = 0. Is m a multiple of 15?
True
Let m = -127 + 236. Let j = m + -17. Is j a multiple of 22?
False
Is 6 a factor of (-3)/4 - (-383691)/484?
True
Does 5 divide (-31 - -24) + 174/(0 + 2)?
True
Let r(n) = n**3 + 17*n**2 + 14*n - 28. Let p be r(-16). Let s be p*1 + 8/8. Suppose 3 = f - 3*y + 6, s*f - 4*y = 7. Does 2 divide f?
False
Is ((-62)/4)/((-34)/5236) a multiple of 44?
False
Let i(w) = -3*w - 9. Let a be i(-13). Suppose 13*y - a = 16*y. Let x(m) = -m**3 - 11*m**2 - 13*m + 4. Is 17 a factor of x(y)?
True
Let y(w) be the first derivative of 3*w**2/2 + 4*w + 18. Let a(u) = -u**2 + 10*u. Let q be a(9). Does 5 divide y(q)?
False
Let g = 8 + -11. Let q be (-386)/g*9/6. Suppose -4*a - q - 101 = -5*p, 0 = -4*p - a + 231. Is 27 a factor of p?
False
Let p be (-39 - 1) + 8 + -6. Let n = p - -59. Is 6 a factor of n?
False
Let x(c) = c**2 + 13*c - 208. Does 25 divide x(-31)?
True
Suppose -14*b - 30 = -15*b. Let w = -28 + b. Suppose 2*s + 2*p - 68 = 0, -62 = -2*s + 3*p - w*p. Is 10 a factor of s?
False
Let j = 466 - -243. Is j a multiple of 4?
False
Suppose 8 = -4*w, -4*w = n - 0*n + 597. Is ((-36)/(-16))/(n/296 - -2) a multiple of 33?
False
Let f(r) = 41*r**2 + 22*r + 39. Is 22 a factor of f(-2)?
False
Let z(i) = 4*i - 2. Let h be z(4). Let x = -152 + h. Is 11 a factor of x/(-7) + (-4)/(-14)?
False
Let z = 15 + -15. Suppose j + 156 = 3*j - g, -2*j + 2*g + 158 = z. Is 23 a factor of j?
False
Let v = 23 - 1. Let j = 24 - v. Suppose -j*y + 91 = 29. Is y a multiple of 19?
False
Suppose -3*m + 5*l = l + 8, l - 25 = -5*m. Let i(f) = 1 - 17*f - f**2 - 5 + m*f. Is i(-5) a multiple of 11?
False
Suppose 85*l = 94*l - 4680. Is 65 a factor of l?
True
Let s(p) = 8. Let b(h) = -h - 1. Let i(l) = -2*b(l) + s(l). Is i(10) a multiple of 7?
False
Let g(t) = 6*t**2 - 42*t - 263. Does 39 divide g(-26)?
False
Suppose -54 = w + 109. Let q = w + 285. Is 13 a factor of q?
False
Suppose -31*p = -30*p - 38. Let k = 52 + p. Does 6 divide k?
True
Let j(w) = w**3 - 9*w**2 + 9*w + 12. Is j(10) a multiple of 14?
False
Suppose 1658 = 7*k - 2*k - 2*l, 2*k + 3*l - 648 = 0. Is k a multiple of 26?
False
Suppose 4*o = 10 + 10. Suppose 5*i - o = 10. Suppose 2*u = i*u - 32. Does 22 divide u?
False
Let m(o) = -o**3 - 3*o**2 + 4*o - 11. Suppose -s + 2*b + 3 = 1, 4*s - 3*b = 13. Suppose 15 = s*y + 39. Is 19 a factor of m(y)?
False
Suppose -5*j - 3*a = -582 + 42, 2*a = -4*j + 434. Is j a multiple of 37?
True
Suppose 0 = -5*l + 3*c - 6*c, 3*c - 15 = 0. Let i(b) = 6*b**2 + 3*b - 8. Is i(l) a multiple of 2?
False
Let c = -40 - -45. Suppose -c*z + z + 4*f = -764, 571 = 3*z - f. Does 22 divide z?
False
Suppose 172 = 2*a - 4*l, -a - a = -3*l - 171. Does 12 divide a?
True
Is 24 a factor of (13/(91/(-246)))/(7/(-196))?
True
Let n(t) be the second derivative of 3/2*t**2 - 7/6*t**3 + 9*t + 3/4*t**4 + 0 - 1/20*t**5. Is 17 a factor of n(5)?
True
Let p(u) = -u**3 + 5*u**2 + 3*u + 9. Let b be -4 - -4 - 6/2. Let o be b*1 + 17 + -9. Does 6 divide p(o)?
True
Let s(t) = -4 - 8*t + 4 - t**3 + 6*t**2 + 4. Let h be s(4). Let o(x) = 5*x**2 + 8*x. Does 22 divide o(h)?
False
Let r(z) = -z**3 + 3*z**3 + z**2 - z**3 + 8*z - 9*z**2 - 1. Let b be r(7). Suppose -2*w + b = -12. Is w a multiple of 9?
True
Suppose 5*p = -5*g + 20, -29 = -4*p + 5*g + 23. Is p a multiple of 3?
False
Suppose -i - 10 = -2*u, 7*i - 5*i + 5 = u. Let q be (9 + 1)/(i + 2). Suppose -q*d = -d - 236. Does 16 divide d?
False
Let k(b) = b**2 + 11*b - 75. Is 12 a factor of k(7)?
False
Let r = -220 + 235. Does 2 divide r?
False
Let x(a) = a. Let w be x(5). Let j be (w + -4)*4/1. Is (j/(-10))/((-6)/1770) a multiple of 19?
False
Is 6 + (-210)/36 - 26132/(-24) a multiple of 99?
True
Suppose -118*h - 524 = -120*h. Let p = 453 - h. Is p a multiple of 18?
False
Suppose -94*j + 96*j = 22. Suppose 12*f - 182 = j*f. Does 16 divide f?
False
Let u(c) = -6 - 5*c + 1 - 7 + c**2. Let x be u(5). Let z = x - -30. Is z a multiple of 3?
True
Let x be (2/(-4))/(3/(-132) - 0). Suppose 0 = 3*y + 3*u - 66, 0 = -y - 2*u + 2 + x. Does 10 divide y?
True
Let a(y) = 49*y + 11. Does 5 divide a(2)?
False
Let s(t) = 2*t**2 - 3*t - 4. Let b be s(3). Suppose 0*i + y = -5*i + 9, b*y - 1 = -3*i. Suppose -r = 5*m - 33, -3*m = m - i*r - 32. Is 6 a factor of m?
False
Suppose -3*o - 5*v - 67 = -344, 4*o = 4*v + 348. Suppose 110 = 3*r + 5*q, 5*r + 4*q - 77 = o. Is 30 a factor of r?
True
Suppose 5*r = 3*y - 30, -4*y - 2*r + 19 = y. Suppose 3 = 2*v + y. Let i(a) = -45*a + 2. Is 10 a factor of i(v)?
False
Let z be (2 + -2)/(3/((-6)/2)). Let d = -3 + 2. Does 12 divide (z + (-58 - 2))/d?
True
Let f be (2730/25)/21*(-5)/(-2). Let a = 96 + -145. Let q = f - a. Is 31 a factor of q?
True
Suppose -2*z - 20 = -12*z. Is 4 a factor of (44/16 + z)/(2/8)?
False
Let f = 1 - -9. Suppose -5*u - 25 = -f*u. Suppose 2*m + 241 = 7*m + n, u*n - 5 = 0. Is m a multiple of 12?
True
Does 45 divide 526 - (-6)/(8 - 10)?
False
Let b be (-67)/(-1 + 2) - (41 - 42). Let r = b + 179. Is 11 a factor of r?
False
Let l(m) = -m**3 - 6*m**2 - 8*m - 1. Suppose 0*o + 3*o = 6. Suppose -2*f - 8 = 3*g - g, -o*f - 14 = -g. Is 11 a factor of l(f)?
False
Let q be (-45)/(-6) + (-10)/20. Suppose 20 = -4*l, -q*l + 1325 = 5*g - 3*l. Does 22 divide g?
False
Let h = -33 - -37. Suppose 0 = -h*z + z + 534. Is 27 a factor of z?
False
Suppose -3*g = -3*a - 9, 3*a + g - 6 = 5. Let r = 0 + 2. Suppose -a*d + 12 = 3*o, 2*d + r*d - 3*o = 6. Is 2 a factor of d?
False
Suppose 11*w + w - 72 = 0. Is 74/w*3 - 1/1 a multiple of 7?
False
Let h = -234 - -483. Does 16 divide h?
False
Let s = 2 - 52. Let l = 83 + s. Is l a multiple of 8?
False
Let g(a) = -2*a + 5. Let h(k) = -2*k + 9. Let q be h(6). Let s be g(q). Let o = 11 + s. Is 11 a factor of o?
True
Let p(d) = 1. Let a(y) = -29*y**3 + 2*y**2 + 2*y - 4. Let f(o) = a(o) + 5*p(o). Let r be 2/(-5)*((-10)/(-4) + 0). Is