t i(u) = -8*u + 2123. Is i(11) a multiple of 5?
True
Suppose 8392 = 35*d - 10*d - 155733. Is d a multiple of 19?
False
Let t = 35321 - 30537. Is 36 a factor of t?
False
Suppose -52*a + 190350 = 110*a - 27*a. Is 5 a factor of a?
True
Let x(p) = -43*p + 1524. Does 127 divide x(-17)?
False
Let u be (-51740)/(-120) + 2/(-12). Let k = u - 291. Suppose k + 100 = 6*w. Does 20 divide w?
True
Suppose -4*s = -18*s + 84. Suppose h - 1165 = -5*v, -s*v + 4*v = h - 469. Is v a multiple of 67?
False
Suppose 8*u - 13644 - 2012 = 71192. Is 26 a factor of u?
False
Suppose 0 = -15*x + 37563 - 10023. Does 9 divide x?
True
Suppose 3*g - 16*o = -18*o + 1489, 0 = g + 3*o - 501. Suppose g = 3*i - 123. Does 17 divide i?
False
Let c(b) be the first derivative of -11*b**5/120 + 7*b**4/12 - 11*b**3/3 + 3. Let r(q) be the third derivative of c(q). Does 13 divide r(-7)?
True
Suppose 5*l = -3*p - 375, -2*l + 4*p - 139 = 3*p. Let v = 314 - l. Is 30 a factor of v?
False
Suppose -b + 0*b = -5*b. Suppose w = 5*a - 188, -3*a + w + 55 + 57 = b. Does 6 divide (a*1)/(6 + -4)?
False
Suppose 0 = -3*d - 938 + 3434. Let x(p) = -p**3 - 19*p**2 + 39*p - 7. Let r be x(-21). Suppose -52*n - d = -r*n. Is 11 a factor of n?
False
Is 11 + 6603 + (-44)/(-4) a multiple of 53?
True
Let o(b) = -9*b - 18. Let q(w) = -17*w - 36. Let f(n) = -10*o(n) + 4*q(n). Does 18 divide f(0)?
True
Suppose -l + 7 = -1. Let j be 6/(-21) - -3*l/84. Suppose -2*f + 28 + 38 = j. Does 18 divide f?
False
Suppose -275 = -12*u + 745. Let t = u - 16. Is 30 a factor of t?
False
Let z = 42558 - 27508. Is 35 a factor of z?
True
Let u = 448 + -114. Suppose u = y - 170. Is y a multiple of 28?
True
Suppose 2*o + 418 = -2*b, -2*b = 3*o + 3*b + 631. Let n = -175 - o. Is 32 a factor of n?
True
Let m(b) = 0 + 8*b + 2*b**2 + 0*b - 43 + 39*b. Let x(j) = -j**2 - 24*j + 22. Let v(d) = 3*m(d) + 7*x(d). Is 11 a factor of v(-25)?
False
Let d(b) = 4*b**3 - 10*b**2 + 14*b - 27. Let j be d(6). Suppose -153*a = -152*a - j. Is a a multiple of 41?
False
Let t = 8 + -16. Suppose 33 = -4*h - 4*o - 35, 0 = -3*o + 12. Is (t/6*-4)/((-2)/h) a multiple of 8?
True
Suppose 13*t + 1164 = 4*v + 9*t, -v + 4*t = -306. Let r = 573 - v. Does 41 divide r?
True
Suppose 20*u - 25*u - 5*y = -38900, 23347 = 3*u + 2*y. Does 32 divide u?
False
Let d = -7 + 15. Suppose -734 = 6*a - 758. Suppose d*w = a*w + 176. Is w a multiple of 9?
False
Let w(c) = c**2 + 8*c + 137. Is w(-23) a multiple of 122?
False
Let c(s) = 2*s**2 - 8*s + 2. Let d be c(3). Is d/22 + (2 - (-18352)/22) a multiple of 70?
False
Let o be (-2)/(-3) + (-23520)/45. Let t = o - -1117. Is 7 a factor of t?
True
Suppose -4*c - a = -3*c - 726, 4*c = 3*a + 2911. Let w = c - -177. Does 55 divide w?
False
Suppose 4*m + 18 = 2*v, 4*v + m + 0*m - 72 = 0. Suppose v = -18*h - 19. Is 17 a factor of (-85)/((-2)/(-4) + (-3 - h))?
True
Let i = 118171 - 79556. Does 83 divide i?
False
Suppose 0 = 3*z + 5*a + 921, 3*a - 1569 = -0*z + 5*z. Let s be z/(-16) + (2 - 5/2). Suppose -u + s = 5. Is u a multiple of 4?
False
Let u(t) = -t**2 - 24*t - 44. Let y = -60 + 40. Let s be u(y). Is 15 a factor of (s/(-16) - -2) + (-2343)/(-12)?
True
Let q be 1 + 0/(-4) + 4. Suppose 101 = 4*r + q. Does 2 divide r?
True
Let m(h) = -11*h**2 + 2*h. Let k be m(1). Is (-441)/(-27) + 3/k a multiple of 16?
True
Suppose 0 = -7*n - 3*n. Let v be (n + 2)/2*48. Let f = v - 28. Is 5 a factor of f?
True
Let q(h) = -h**2 + 2*h + 90. Let z be q(0). Suppose z = 2*f + 50. Suppose -5*x = f, 4*i + x + x = 704. Does 37 divide i?
False
Let u be 30/(-18) + 524/12. Is 8 a factor of -41 + u + 23*1?
True
Let y(n) = n**3 - 55*n**2 - 117*n + 938. Is y(59) a multiple of 21?
True
Let q = 28 - 24. Suppose 0 = -2*o + 8, -o = q*j + j + 26. Is (2 - j/(-2))*-120 a multiple of 34?
False
Suppose 5*s + 2*f = -0*f + 60, -f = -3*s + 36. Let d be 5175/(-6)*(-8)/s. Suppose 63 = -2*g + l + 281, -5*g + d = 5*l. Is g a multiple of 22?
False
Let i(a) be the first derivative of 3*a**4/4 + 4*a**3/3 - 11*a**2/2 + 28*a + 87. Is i(5) a multiple of 32?
True
Let t be 8 + (0/1 - 3). Does 47 divide (-790)/(-75)*t + 8/6?
False
Suppose 9*m - m = -m. Let v(d) = d**3 - 3*d**2 - 2*d + 12. Does 6 divide v(m)?
True
Let d = -192 - -1011. Suppose -8*y + 24 = -2*y. Suppose -3*s - y*s = -d. Is s a multiple of 13?
True
Let p = -22 + 25. Let z(x) = -p - x**3 - 3*x - 4 + 7*x + 6*x**2 + 0*x. Is 19 a factor of z(4)?
False
Let d = -819 + 844. Suppose 2*p - 5*o = -1 + 9, 3*p - 2*o = 1. Let k = d + p. Is 10 a factor of k?
False
Suppose r + 2*r = 1605. Let b = r + -382. Suppose 0 = 2*h - 147 - b. Is h a multiple of 25?
True
Let d be ((-52)/(-8))/(((-27)/(-138))/(-9)). Let h = d + 741. Is 13 a factor of h?
True
Let i(d) = d**2 - 25*d + 167. Let k = -331 + 355. Is i(k) a multiple of 6?
False
Let n = 2620 - 2174. Is n a multiple of 6?
False
Suppose 0*y = -5*y. Let n = -849 + 1011. Suppose y = -4*b + n + 286. Is b a multiple of 16?
True
Let j(b) = -2*b + 9. Let x be j(3). Suppose -6*f = -x*f - 261. Is 3 a factor of f?
True
Let m = 150 + -212. Let d be 3 - 7 - m*1. Let i = -3 + d. Does 11 divide i?
True
Suppose 2*q = -d + 4, 2*d - 3*d + 3 = q. Suppose -15 = -d*b + 11. Suppose 56 = -11*u + b*u. Is u a multiple of 6?
False
Let z(i) = 4*i**2 - 49*i - 14. Let k be z(13). Suppose 11*j - 900 = -k*j. Is 3 a factor of j?
False
Suppose -227 - 46 = -7*a. Let j = a + 51. Is 10 a factor of j?
True
Let v be (-39)/(3/60*-6). Let q = v + -92. Suppose -7*x + q = -5*x. Is 8 a factor of x?
False
Let f = 1642 + 3470. Is f a multiple of 167?
False
Let m = -54 - -22. Let s = m - -34. Suppose -u - 2*v + 11 = 0, -19 = -3*u - s*u + 2*v. Is 5 a factor of u?
True
Let a = -18 - -20. Suppose s + a*d = -5 - 3, -3*d = -2*s + 19. Suppose 50 = q + s*y, q + y = -2*q + 140. Does 33 divide q?
False
Suppose -109*f + 137*f - 130956 = 0. Does 18 divide f?
False
Suppose 0 = 5*a - 4*w - 33744, -2*a + 4800 = w - 8708. Is 12 a factor of a?
False
Suppose 5*v - 36316 = -4*x - 0*x, -14508 = -2*v + 3*x. Does 132 divide v?
True
Suppose 2 = -0*a - a, 5*a = -3*i + 3914. Is 12 a factor of i?
True
Suppose -1589 - 247 = -4*j. Suppose -20*b - j = -1439. Is 49 a factor of b?
True
Let a(s) = 122*s - 533. Does 10 divide a(5)?
False
Let g be (-2)/5*-5 - -2. Suppose 0 = -g*p - p + 2*u - 31, -3*p = 5*u. Does 2 divide ((-48)/(-20))/(-3) + (-19)/p?
False
Let u be ((-1)/(18/(-30)))/((-80)/(-144)). Suppose -2*d = -f - 2, 2*d + 17 = -3*f - 3*d. Does 25 divide 125 + (f - (-8 + u))?
False
Let i(w) be the first derivative of -1/4*w**4 + 6*w**2 + 10/3*w**3 - 5*w - 36. Does 18 divide i(5)?
True
Suppose 0 = -2*y + d + 2470 + 1751, -4217 = -2*y + 5*d. Is y a multiple of 2?
False
Let o(t) = -t**3 - 15*t**2 + 15*t - 14. Let v be o(-16). Suppose u - 3*u = -2*a - 404, -3*u = -v*a - 601. Is u a multiple of 25?
False
Suppose -v - 3*d = 0, 3*d + 11 = v + 5. Suppose -v*q + 31 = 25. Suppose -z + 41 = -u, -z + 4*z - q*u = 124. Is z a multiple of 6?
True
Suppose -11*m - 148 = 61. Let k(w) = w**3 + 19*w**2 - 2*w - 35. Let h be k(m). Suppose 372 = h*l - 4*o, 4*o = 2*l + 3*l - 612. Does 6 divide l?
True
Let z(a) be the second derivative of -a**4/12 - 9*a**3/2 - 38*a**2 - 15*a. Let j be z(-23). Suppose 0 = 2*d - 6*d + j, -440 = -3*u + 4*d. Is 10 a factor of u?
False
Let x = 10439 - 5503. Does 24 divide x?
False
Let y be (1024/6)/((-7)/(-21)). Suppose -160 = -u - 6*t + 4*t, 0 = -3*u + 2*t + y. Suppose -6*q = -3*q - 4*m - u, 3*m = 2*q - 113. Is 26 a factor of q?
True
Suppose 49*u + 7*u - 16*u - 502800 = 0. Is 15 a factor of u?
True
Let j(b) = -2*b - 205. Let y(w) = 2*w + 206. Let z(p) = 2*j(p) + 3*y(p). Let x = 63 - 63. Is z(x) a multiple of 26?
True
Suppose 0 = 12*j - 9274 - 14. Let q be j/8 + (-3)/(-4)*-1. Suppose -q = -0*d - d. Is 32 a factor of d?
True
Let d = -31 + 21. Let q = -2686 - -2716. Is 1026/q - (-2)/d a multiple of 11?
False
Let u(z) = -z**3 + 16*z**2 + 39*z + 5. Let w be u(18). Let n = -59 + w. Suppose -k - 4*o + 240 = n, -4*o + 10 = o. Does 46 divide k?
False
Let k = -6440 + 10247. Does 81 divide k?
True
Let r(t) = -39*t + 944. Does 35 divide r(-5)?
False
Let g be 11 + (-12)/(-4) - (-3)/(-1). Suppose 12*r - g*r = 40. Is (192/r)/((-4)/(-10)) a multiple of 6?
True
Suppose 26*z - 42 = 12*z. Suppose -2336 = -z*w - 617. Does 7 divide w?
False
Suppose 185921 - 22795 + 75202 = 31*q. Does 8 div