True
Let s = -5177 - -8681. Does 151 divide s?
False
Suppose 0 = -20*i - 110 + 370. Suppose i*q = 10*q + 2181. Is 34 a factor of q?
False
Let f(k) = 5*k**2 + 3*k**3 - 7*k**3 + 3*k**3 + k - 4*k**2 - 162. Let s be f(0). Let p = -96 - s. Is p a multiple of 29?
False
Let c(f) = -15*f + 33 - 40 - 45 + 2*f. Is 25 a factor of c(-54)?
True
Suppose -119*k = -123*k - 16. Does 10 divide 3172/16 + (9/k - -3)?
False
Let a(p) = 1088*p - 1977. Is a(3) a multiple of 13?
True
Let t(b) = b**3 - 3*b**2 + 5. Let p be t(3). Suppose n = p*n - 1336. Let m = n + 11. Is m a multiple of 24?
False
Let z = -23748 + 36192. Is 122 a factor of z?
True
Suppose -3*n - 3*n - 15026 + 49718 = 0. Is n a multiple of 4?
False
Suppose -848735 = -318*p + 2947231. Is 69 a factor of p?
True
Suppose 3*c + 6*c - 5820 = 8*c. Is c a multiple of 60?
True
Let y = -11769 + 14054. Is y a multiple of 5?
True
Suppose 2*y - 20625 = 3205. Is 20 a factor of y?
False
Let k(a) = 11858*a**2 - 224*a + 222. Does 114 divide k(1)?
True
Is 15 a factor of (2/(-3)*236886/(-104))/(5/30)?
False
Let b(x) = -x**3 + 63*x**2 - 119*x + 58. Is 39 a factor of b(46)?
False
Let o = 12476 - 11955. Does 5 divide o?
False
Is -61 + 54 - 434/(-1) - -6 a multiple of 88?
False
Let v(s) = 154*s**2 + 3*s - 10. Is v(-6) a multiple of 12?
False
Suppose -408 = j - b - 2009, -15 = 3*b. Is j a multiple of 2?
True
Suppose 0 = 402*i - 743*i + 5636730. Is i a multiple of 30?
True
Let j = -737 + 760. Let g = 2 - -1. Suppose -43 = -g*m + j. Is 22 a factor of m?
True
Suppose 4*t - 94797 = 3*v, -2*t + 2*v + 14284 + 33112 = 0. Is 16 a factor of t?
False
Let b(q) = -4953*q - 8112. Is 15 a factor of b(-9)?
True
Suppose -663*m = -642*m - 1596. Does 38 divide m?
True
Let o = -1357 + 1359. Let d be (-2)/6 + (-2366)/(-6). Suppose 2*t - o*m = -34 + 188, -5*t + d = -2*m. Does 16 divide t?
True
Is ((-7938)/(-56))/(-9)*-8 a multiple of 3?
True
Is 39564/12*((-16)/(-6) - 0/1) a multiple of 56?
True
Let b(r) = 15*r**2 + 16*r + 17. Suppose q + 11 = -2*d, 5 = -5*q + 2*d - 38. Is 15 a factor of b(q)?
False
Suppose -y - 12*t = -10*t - 2144, 3*y - 6504 = 3*t. Is y a multiple of 23?
False
Let t(d) = 4*d + 52. Let n be t(-12). Suppose a = -3, -a + n*a + 13 = c. Suppose -9*v = -4*v + c*w - 720, 5*v = -2*w + 720. Is v a multiple of 18?
True
Let k(u) = -28*u + 271. Let p be k(0). Suppose -p = 10*d - 2141. Is d a multiple of 12?
False
Suppose -3*q = -29*p + 28*p - 20900, 6974 = q - 4*p. Is q a multiple of 43?
True
Let q(c) = -5*c**2 - 76*c + 50. Let l(x) = 2 - 15*x + 5 - 4 + 7 - x**2. Let m(z) = 11*l(z) - 2*q(z). Does 12 divide m(-11)?
False
Suppose 25*h + 28*h - 765402 = -13*h. Does 28 divide h?
False
Let h be 268/10*(-105)/(-42). Suppose 3*v = h - 58. Suppose v*r + 7 - 199 = -m, 2*r - 3*m - 139 = 0. Does 37 divide r?
False
Suppose -3*i + 17723 = 5*l, -19*i = -21*i - 4*l + 11812. Is 58 a factor of i?
True
Does 15 divide ((-18)/(-10))/(-5 - 36378/(-7275))?
True
Let b(w) = -3*w**2 - 30*w - 12. Let n(g) = -g**2 - 14*g - 6. Let i(l) = -2*b(l) + 5*n(l). Is i(-3) a multiple of 15?
False
Let f be (12/(-10))/((-8)/3280). Suppose -m = -5*m - f. Is 34 a factor of -16*m/(-24)*-2?
False
Let p(c) = -9*c - 32. Suppose 2*h - 11 = -3*a + 5, 5*h = -a + 27. Suppose x = 1, 3*d + a*x = -3*x - 19. Is 20 a factor of p(d)?
True
Let o(w) = -6*w**3 + 25*w**2 + 92*w - 84. Let a(m) = -5*m**3 + 26*m**2 + 92*m - 82. Let i(l) = -7*a(l) + 6*o(l). Does 30 divide i(-29)?
False
Suppose 25 = -28*x + 33*x, -5*x = 4*t - 233. Suppose 0 = 2*c - 220 - t. Is 34 a factor of c?
True
Suppose -401*h - 105650 = -426*h. Is h a multiple of 22?
False
Let l(c) = 1718*c**2 - 841*c + 3341. Is l(4) a multiple of 280?
False
Suppose 19256 = -36*u + 40*u. Does 29 divide u?
True
Let b(j) = -175 - 115 - 240 - 42*j + 368. Does 12 divide b(-9)?
True
Let m(x) = -47*x + 22 + 10*x + 26*x + x**2 + 10*x**3. Is 82 a factor of m(5)?
False
Suppose -x - 13 = -3*p, p = -3*x - 1 + 2. Suppose -4*u = 4*k - 1332, -p*u + 0*k = -4*k - 1356. Is u a multiple of 16?
True
Let u(j) = -j**2 - 12*j + 15. Let n(r) = -r**3 + 6*r**2 - r + 8. Let o be n(6). Suppose -o*y = -x + 20, x + 3 = -1. Is 15 a factor of u(y)?
True
Suppose -833 = 14*r + 3*r. Is 21 a factor of 3*r/(-84)*(167 + 1)?
True
Let t be ((-24)/5 - -3)/(30/(-6100)). Suppose -c = -298 - t. Is c a multiple of 83?
True
Suppose -20*z - 12*z = 416. Let f(q) = -26*q + 54. Is f(z) a multiple of 40?
False
Let o be (-2)/(-18) - 7987/441. Let q(a) = -27*a**3 + 6 - 9*a**2 - 8*a**2 + 14*a + 26*a**3. Does 13 divide q(o)?
True
Suppose -66*q + 40*q + 242450 = 24*q. Does 27 divide q?
False
Let b(c) = -2*c - 9. Let u be b(-6). Suppose -1 - 7 = -u*d - 2*t, d - t = 1. Suppose d*w - 101 - 223 = 0. Is w a multiple of 25?
False
Suppose 10*b - 36 = 11*b. Let z = b - -144. Is z a multiple of 54?
True
Let q be 10*(-13)/(-16) - (-3)/(-24). Suppose -127 = q*g - 735. Is 9 a factor of g?
False
Suppose -30*o + 64220 = -4*o. Suppose -o = -7*z - 6*z. Is z a multiple of 56?
False
Let g(a) = 10*a + 1 - 28 - 2*a - 5. Let d be g(5). Is d/((-24)/(-225)) + -4 a multiple of 10?
False
Suppose 5*p - 52*z = -49*z + 5, -3*z + 11 = -p. Suppose 4*u - 23 = -7. Suppose -2*f - 3*c + 69 = 0, -u*f + p*c + 150 = 6*c. Is 7 a factor of f?
False
Suppose 25*l - 24*l + 4*o - 18 = 0, 5*l + 10 = 5*o. Suppose -3*f + 12 = 0, -7*f = 2*x - l*f - 888. Is 25 a factor of x?
False
Let n = 853 - 27. Does 106 divide n?
False
Let o(j) be the first derivative of -j**4/4 - 10*j**3 - 2*j**2 + 52*j - 64. Is 13 a factor of o(-30)?
False
Suppose -3*h - h - m = -41, -5*m = 2*h - 25. Suppose 34*j = 29*j + h. Suppose 0 = j*s - 250 - 198. Is 28 a factor of s?
True
Suppose 25*d = 8*d + 68. Suppose 5*a - 2*s - 459 = 637, 2*s = d. Is 10 a factor of a?
True
Let z be 4 - (1 + 0)/((-4)/4). Let w be z + 4/(-1) + 231. Suppose 880 = 4*u + w. Does 13 divide u?
False
Let o = 1279 - -13263. Is o a multiple of 22?
True
Let m be 2*75/(-90)*42/(-10). Is 23709/63 + 2 + m/(-3) a multiple of 3?
False
Let o be (3/6*-2)/(2/(-78)). Suppose o*c - 170 = 37*c. Suppose -2*u + 5*k = u - 233, -u = 2*k - c. Does 27 divide u?
True
Suppose 0 = -1031*b + 965*b + 222024. Does 70 divide b?
False
Suppose 8 = -4*o, -2*t + 2*o = -o - 46. Suppose -10 = -5*f + 3*l + t, -2*l = 4*f - 24. Does 12 divide 1 + 1388/f - 38/114?
False
Suppose 4*z - 2*b - 831 = -z, -3*z - 3*b = -486. Suppose -z*v + 166*v - 199 = 0. Does 9 divide v?
False
Suppose -73*x + 13*x + 289180 = -100700. Is x a multiple of 182?
False
Let g(t) be the third derivative of t**5/60 - t**4/24 - t**3/6 - 5*t**2. Let r be g(-2). Suppose 2*l + 5*k = 2, 3 + 5 = 3*l + r*k. Is l a multiple of 2?
True
Let g(m) be the second derivative of m**4/4 - m**3 - 5*m**2/2 - 17*m. Let n be g(3). Suppose 185 + 95 = n*q. Is q a multiple of 10?
True
Let i = -40363 - -43075. Is i a multiple of 19?
False
Suppose 3*v - 9*v = -516. Is 43/v - (-818)/4 a multiple of 16?
False
Suppose 11*f - 14290 + 3279 = 0. Suppose 7*q = f + 2457. Is 38 a factor of q?
True
Let h be (154/8 - 2)*(-144)/(-12). Suppose l + 201 = 3*v, 7*v - 3*l - h = 4*v. Is v a multiple of 11?
True
Suppose -7941152 - 18229408 = -699*r. Does 16 divide r?
True
Does 64 divide -5*35/50*-6898?
False
Let q = -103 - -115. Suppose -12*f + 108 + 36 = 0. Does 8 divide ((-1)/(-2)*q)/(3/f)?
True
Let q(p) = 105*p - 78. Let f be q(3). Suppose 20*g - 17*g - f = 0. Is 3 a factor of g?
False
Suppose 0 = -5*s - 5*g - 15, 4*g = 12 - 0. Does 9 divide (167 + 1)*(171/s)/(-19)?
True
Suppose 28356 = c + 2*l, -214*l + 209*l - 25 = 0. Does 15 divide c?
False
Suppose 0 = -101*x + 98*x - 90. Let o = -35 + 21. Let d = o - x. Is 4 a factor of d?
True
Let k = 2453 + -679. Is 17 a factor of k?
False
Let w = 5891 - 4577. Is 8 a factor of w?
False
Let g(x) = 274*x**2 + 88*x - 14. Is 118 a factor of g(-6)?
True
Suppose 112 = 4*z + 3*z. Suppose z = 22*u - 18*u. Suppose -u*b + 51 = -3*b. Is b a multiple of 4?
False
Let n(k) = 119*k - 1356. Is n(23) a multiple of 47?
False
Suppose -4*q - 416*k + 409*k + 32885 = 0, q = k + 8202. Is q a multiple of 6?
False
Does 104 divide (-2)/(-2) + (1043/(-28))/((-24)/11136)?
False
Let v = -9594 - -12849. Does 76 divide v?
False
Let d(m) be the third derivative of m**6/120 + m**5/5 + 11*m**4/24 - 2*m**3/3 - 22*m**2. Let n be d(-8). Let c = -14 + n. Is 25 a factor of c?
True
Suppose 8*d = 5*d + 435. Supp