 x = -274. Does 41 divide k?
False
Suppose 5*u = -5, 794 = -3*h - u - u. Is 2/3 + h/(-9) a multiple of 3?
True
Suppose 31 = 3*d + 4*y, 0*y - 4*y = 8. Let v = 11 - d. Is 14 a factor of (2/(-1))/(v/70)?
True
Suppose 0 = 23*n - 48960 - 9874. Is n a multiple of 31?
False
Suppose 0 = -3*k - 3*l + 3282, -3*k - 4*l + 401 = -2880. Does 43 divide k?
False
Let y be 0/2 + (-1 - -5). Suppose -3*o - y*a + 2*a = -52, 2*o - 32 = -2*a. Does 12 divide o?
False
Let m = 1156 + -682. Suppose -g - m = -4*g. Suppose s + 2*s - 211 = -4*r, -3*r = 2*s - g. Is r a multiple of 13?
True
Let n(g) = g**2 - 4*g - 8. Let i be n(6). Suppose j + i*c = 21, j + 0*c - 12 = -c. Let t(o) = o**3 - 10*o**2 + 12*o + 1. Is 7 a factor of t(j)?
True
Let p = -2689 - -7308. Does 31 divide p?
True
Let f(b) = -25*b**3 - 2*b**2 - 4*b + 6. Is f(-3) a multiple of 27?
True
Suppose -w = 3*l - 4*w + 15, -4*l + 2*w - 16 = 0. Let i = 39 - 70. Let o = l - i. Is 7 a factor of o?
True
Let i(h) = -6*h**3 + h**2 - h + 1. Let t(f) = -f**3 + 8*f**2 + 10*f - 11. Let j be t(9). Let r be i(j). Is 11 a factor of (22/r)/((-1)/(-40))?
False
Suppose 5*r - 139 = -114. Suppose -240 = c - 2*c - 2*f, c - r*f = 205. Does 22 divide c?
False
Let r = 157 + -257. Is (r/(-8))/5*2 a multiple of 2?
False
Suppose 13*x = 8*x + 15. Suppose -l + 506 = l. Suppose 2*w - 6*w = -x*z - l, 73 = w - 4*z. Is w a multiple of 19?
False
Let o(c) = 42*c**3 - 2*c**2 + 8*c + 18. Is 66 a factor of o(4)?
True
Let t(o) = -2*o**2 - 7*o + 16. Let m(v) = 3*v**2 + 14*v - 32. Let a(d) = 3*m(d) + 5*t(d). Let u be a(7). Is (-212)/u - (-1)/(-4) a multiple of 12?
False
Let t(b) = 18*b - 9. Suppose -6*f + 2*f = -24. Let m be t(f). Suppose m = 4*s - 5*c, -2*c = 5*s + 2*c - 175. Is s a multiple of 31?
True
Let d be (-21)/(-14) - (-3)/2. Suppose d*t - 86 = 49. Is t even?
False
Let b(d) = d**2 + 2*d. Let j be b(0). Suppose j = -4*f + 28 + 8. Does 9 divide f?
True
Let l = 443 + -424. Is 15 a factor of l?
False
Suppose -3*u - 979 - 929 = -2*v, 5*u + 3818 = 4*v. Does 22 divide v?
False
Let j(n) be the first derivative of n**6/360 + 5*n**4/6 - 5*n**3/3 + 3. Let u(h) be the third derivative of j(h). Is 10 a factor of u(0)?
True
Let c = 6 - 573. Let k = c + 812. Is k a multiple of 35?
True
Let r(k) = k + 44. Let x be r(0). Suppose -x = -j - j. Is j a multiple of 5?
False
Suppose 0 = -2*l + 5*l - 18. Let z be (l - (4 + -1)) + -8. Let j = 10 + z. Does 2 divide j?
False
Suppose -110 = -2*f + f. Suppose f = 6*n - 5*n. Suppose -2*p - 4*j = -76, 3*p + 2*j - n = -3*j. Is 6 a factor of p?
True
Let u = 6546 + -3306. Does 81 divide u?
True
Let u be 63/14 - 1/(-2). Suppose -u*l + 134 = 3*q - 301, 5*l - 3*q = 405. Is 12 a factor of l?
True
Suppose -5*c - 9 = -8*c. Suppose -c*x - k + 92 = -2*k, 2*k = 8. Is 32 a factor of x?
True
Let j = -50 + 114. Suppose 62*o - j*o = -198. Is 18 a factor of o?
False
Suppose -2*d + 3*d - f = 145, -4*d = 3*f - 601. Is 15 a factor of d?
False
Let t = -25 - 78. Let j = -43 - t. Is j a multiple of 4?
True
Let q(m) = -m**3 - 37*m**2 + 27*m - 70. Does 19 divide q(-38)?
False
Suppose 3*n - 21 = 5*x, 0 = 2*n - 4*x - 5 - 11. Suppose -10*g + n*g + 160 = 0. Does 6 divide g?
False
Let h(m) be the first derivative of m**3/3 + m**2/2 + 5*m + 29. Does 3 divide h(-4)?
False
Let h = 66 + -66. Is (12/(h + 6))/((-2)/(-50)) a multiple of 6?
False
Suppose g + 2*x - 36 = 0, 42*g - 47*g + 3*x = -219. Is 3 a factor of g?
True
Suppose 10 = x + 3*l - 4*l, 5*l = -x - 14. Suppose -5*m - 5*i - x = -m, 2 = 4*m + i. Suppose v = m + 31. Does 15 divide v?
False
Is (15 + -5 + -7)*247 a multiple of 57?
True
Let b(u) = u**3 - 4*u**2 - 11*u - 6. Let a(r) = 2*r**2 + 6*r - 12. Let c be a(-5). Does 18 divide b(c)?
True
Suppose -3*w = 2*w - 10. Suppose 3*x - 33 + 0 = 3*a, -x + 8 = w*a. Is 16 a factor of 278/5 - 6/x?
False
Let c be (-10)/(-4)*8/10. Suppose -t - 12 = c*t. Does 3 divide (-3)/t - (-741)/52?
True
Let b(t) = -t**3 + 8*t**2 - t - 35. Is 33 a factor of b(5)?
False
Suppose 0 = 3*k - 3 - 9. Does 5 divide ((-35)/k)/((-10)/120)?
True
Suppose -4*v + 61*v - 23826 = 0. Does 11 divide v?
True
Let p(j) = j**3 - 22*j**2 - 26*j + 14. Let l be p(23). Let h = 247 + l. Is h a multiple of 32?
True
Suppose r + 5*u = 10, -5*u + 20 = 3*r - 0*r. Suppose -4*m = r*x - 348, -30 = 5*x - 10. Suppose 4*s - h - 174 = 0, 2*s + h - m = 4*h. Is s a multiple of 15?
False
Suppose -2*i - b + 92 = 0, -2*i + 2*b + 5 = -93. Does 11 divide i?
False
Suppose 3*c + 4*w = 988, -3*c - 5*w - 279 = -1262. Is 48 a factor of c?
True
Let x = -159 + 113. Let p = -23 - x. Suppose -u + 28 + p = 0. Is u a multiple of 15?
False
Let k(z) = -z**2 - 8*z + 3. Is k(-5) a multiple of 9?
True
Is 44472/120 - 4/(-10) a multiple of 7?
True
Is (-1894)/(4 + (-3 - 3)) a multiple of 34?
False
Let s be (-3 - 3/(-9))/((-6)/9). Suppose -6 + s = 2*o, -59 = -4*t - 5*o. Is 3 a factor of t?
False
Let t(f) = f**3 + 9*f**2 + 11*f. Is 5 a factor of t(-5)?
True
Suppose 2*p + 4*w = -0*p - 76, 3*w = -12. Let k = p + 76. Is k a multiple of 23?
True
Let h(f) = 4*f + 9 + 3*f**2 + 12 - 7 + 3. Let o(u) = u**2 + 2*u + 8. Let r(z) = 2*h(z) - 5*o(z). Is r(-3) a multiple of 2?
False
Suppose -5*l + p + 1516 = 431, 2*l = p + 437. Is l a multiple of 54?
True
Let v be (29/(1 + -2))/1. Let o = -19 - v. Suppose 3*h = -3*c + 81, 2*c - 50 = -5*h + o. Is 12 a factor of c?
False
Let p(a) = 8*a**2 - 4*a - 6. Let x be (-75)/27 - (-14)/(-63). Is 26 a factor of p(x)?
True
Let m be 28510/25 + (-6)/15. Suppose -3*t + 1 = 7. Does 21 divide m/21 + t/7?
False
Suppose -16*s + 385 = -5*s. Let u = 59 - s. Is u a multiple of 19?
False
Let t be 310*1*3/6. Let x be (-3)/(-12) + t/4. Suppose 0 = 4*p - 0*p + 3*s - 191, -p = -s - x. Is 27 a factor of p?
False
Let q(j) = -43*j**3 + 2*j**2 + j. Suppose -5*b + 46 = 3*r, 0*r + 4*r + 2*b = 38. Suppose -r*d = -3*d + 4. Is 12 a factor of q(d)?
False
Let t(d) = -d**2 + 8*d + 20. Let x(w) = -2*w**2 + 9*w + 20. Let p(m) = 3*t(m) - 2*x(m). Is p(-5) a multiple of 8?
False
Is 17 a factor of 12870/63 - (-2 + 48/21)?
True
Let a(b) = -b**2 - 10*b + 13. Suppose -10*s - 141 = -41. Does 11 divide a(s)?
False
Suppose -54 - 30 = -3*t. Suppose -40 = -v + t. Let s = v - 38. Is s a multiple of 15?
True
Let a(b) = 315*b + 72. Let g(n) = 79*n + 18. Let w(i) = 2*a(i) - 9*g(i). Is w(-4) a multiple of 51?
True
Let l be (-1 - 55/(-20))/((-2)/(-152)). Suppose -4 = k + 70. Let a = l + k. Does 11 divide a?
False
Suppose -4*r - 8 = 0, 3*w - 22 = 3*r + 2*r. Suppose -g + 3*x + 30 = 0, -w*x - x - 90 = -3*g. Suppose g + 66 = 4*o. Is o a multiple of 12?
True
Suppose -r + 103 + 515 = -3*g, -4*r - 3*g = -2532. Does 45 divide r?
True
Let q(u) = -u**3 + 11*u**2 - 2*u - 4*u - 1 - 4*u**2 + u. Let f = 1 - -5. Is q(f) a multiple of 5?
True
Let v = -106 - -111. Suppose v*g + 945 = 10*g. Does 21 divide g?
True
Suppose -t - 3*x = -1983, t - 2*x = -x + 1975. Is 66 a factor of t?
False
Suppose 10*u = -50*u + 61260. Is 13 a factor of u?
False
Suppose 2*h - 5 = 5*r - 7, 4*h - 24 = -4*r. Is 6 a factor of (h/(-3))/(35/(-30) + 1)?
False
Suppose -2*m = -2*j + 10, -2*j = -j + 3*m + 7. Suppose 4*u - 27 = 3*f, f - 3*f - 22 = -4*u. Suppose -u*h - j = -146. Is h a multiple of 24?
True
Let i = 1 + -18. Is 26 a factor of (1/(-2))/(i/1802)?
False
Let q = -1 - -73. Suppose -3*i = -7*i + q. Does 6 divide i?
True
Let k = 116 - 62. Let s = k - 36. Suppose 4*h - s = 22. Is 5 a factor of h?
True
Suppose 0 = -3*x + 11 - 35. Does 2 divide 2/8 - 30/x?
True
Suppose 27 = -5*l + 82. Let x = 13 - l. Suppose 6 + 16 = 2*q + x*p, 0 = 3*q - p - 37. Does 5 divide q?
False
Let h be 1 + 0 + (18/(-2))/3. Is h/8 - 4/(48/(-243)) a multiple of 20?
True
Let a(d) be the second derivative of 9*d**5/20 - d**4/4 + d**3/3 + d**2/2 - 8*d. Let w be (-1)/(-2)*(4 + -2). Does 3 divide a(w)?
True
Is ((-1182)/(-12))/((3 + -4)/(-4)) a multiple of 48?
False
Let h(j) = 31*j**2 - 18*j + 5. Let c(i) = 26*i**2 - 17*i + 4. Let a(v) = 6*c(v) - 5*h(v). Suppose 4*q - 34 = 26. Is 9 a factor of a(q)?
False
Let j(i) = -8*i**3 + 2*i**2 + 2*i. Suppose -2*v - 3 = -11. Suppose -v = -3*n + 5*n. Does 17 divide j(n)?
True
Suppose -13*m + 24 = -9*m. Is 25 a factor of (87/m)/((-2)/(-12))?
False
Let o be 32/(-5) - (-6)/15. Let w(t) = -6*t + 5 - t**2 - 30*t + 30*t. Does 3 divide w(o)?
False
Let w(b) = b**2 - 9*b - 10. Let a be w(10). Let m be 4 - 3 - (-101 -