rue
Suppose -7*b - 1169380 = 11*b - 38*b. Is 59 a factor of b?
True
Let c(b) be the third derivative of 7*b**5/60 + b**4/24 + 4*b**3/3 - 2*b**2. Let u be c(-4). Suppose 0 = -r - 3*r + u. Is r a multiple of 5?
False
Let t be 2 + 157 - (7 - (5 + 6)). Suppose -5*p = -t - 557. Is 72 a factor of p?
True
Suppose -165 = 8*v - 237. Suppose v*d = 6*d + 276. Is 13 a factor of d?
False
Suppose -14 - 7 = -7*g. Suppose 2*f = w - 73 - 93, -w = -g*f - 168. Is w a multiple of 9?
True
Let g(u) = -189*u + 200. Let j be g(-8). Suppose -2*m - 3*t + 683 = -2*t, 0 = 5*m - 2*t - j. Is 19 a factor of m?
True
Suppose -3*y = -y - 32. Suppose -3*s + 34 = y. Suppose -5*d + s*d = 2*o + 70, -4*o + 292 = 4*d. Is 18 a factor of d?
True
Let a(s) = 10*s + 20. Let p be a(9). Suppose -m + 6*m - p = 0. Suppose 0 = m*v - 17*v - 450. Does 18 divide v?
True
Let c = 165 - 174. Is (390/c)/((-13)/78) a multiple of 10?
True
Let z = -40 - -40. Let y(t) be the third derivative of t**6/120 - t**5/60 - t**4/12 + 41*t**3/3 + 28*t**2. Does 16 divide y(z)?
False
Suppose 7*x - 2245 = 2*x. Let b(k) = k**2 - 5*k + 9. Let i be b(4). Suppose 5*f + 99 - x = -5*c, 152 = 2*c + i*f. Does 22 divide c?
True
Let l(u) = -5*u**3 + 33*u**2 - 18*u - 43. Let y(w) = -3*w**3 + 17*w**2 - 8*w - 22. Let g(x) = 4*l(x) - 7*y(x). Is 9 a factor of g(-9)?
True
Suppose -33*b = -16*b - 15*b - 11780. Is b a multiple of 7?
False
Suppose -2*r + 29*r - 15309 = 0. Suppose 0 = -5*d + 503 + r. Is 29 a factor of d?
False
Let v = 13536 - -12989. Is 214 a factor of v?
False
Suppose 0 = -39*w + 42*w - 1485. Let n = 202 + w. Is 58 a factor of n?
False
Let m(z) be the second derivative of z**4/12 - 5*z**3/3 - 2*z**2 + 7*z. Let p be m(10). Is 14 a factor of ((35/p)/(-5))/(5/160)?
True
Let x be -3 + (-22)/(-8) - 1195/20. Is 9 a factor of (-630)/(-8) - x/(-80)?
False
Let i = -2145 - -3162. Is i a multiple of 9?
True
Let h = -100 + 71. Let g = -24 - h. Let z(q) = 30*q - 18. Does 22 divide z(g)?
True
Let z(y) = -9907*y**3 + 7*y**2 + 87*y + 80. Is 15 a factor of z(-1)?
False
Suppose 0 = 7*w - 614 - 821. Let z = -179 + w. Does 8 divide z?
False
Let q(r) be the second derivative of r**3/6 + 125*r**2/2 - 109*r. Is 7 a factor of q(-22)?
False
Let i(h) = -2 + 5 + 25*h**2 - 36 + 5*h. Does 25 divide i(4)?
False
Let w = 12 + -7. Suppose 3 = -w*p + 6*p. Suppose 0 = -q - q - 4*v + 80, -2*q - p*v = -84. Does 24 divide q?
True
Let f(v) = 234*v - 265. Does 2 divide f(5)?
False
Let f(w) = -3*w**2 - 6*w + 2. Let i be f(-4). Let r be ((-9)/(-2) - -1) + 11/i. Suppose v = 4*o - 2*v - 109, -5*o + r*v = -140. Does 5 divide o?
True
Suppose -a + 42*p = 36*p - 9709, -a - 2*p + 9709 = 0. Is 21 a factor of a?
False
Let w = -628 - -619. Suppose -3*q = -0*r + 3*r - 48, r + 5*q - 4 = 0. Let u = r - w. Is u a multiple of 11?
False
Suppose 0 = 5*t - 10*j - 68005, 20*j - 18*j = 14. Is 35 a factor of t?
True
Let t = -2135 - -4599. Suppose -39*g + 17*g = -t. Is 16 a factor of g?
True
Suppose -5*a = 2*k - 40, -3*a + 5*k = 2*a - 40. Let z be 189/14*a/3. Does 12 divide (6/5)/(z/1890)?
False
Let y(l) = -3*l + 11. Let i be y(-2). Let c(t) = t**2 + 8*t - 36. Is 53 a factor of c(i)?
False
Let a(f) = 15*f**2 + 10*f - 29. Let s(p) = 8*p**2 + 5*p - 15. Let i(u) = -6*a(u) + 11*s(u). Let d be i(7). Is 7 a factor of 6/(-8) - d/16?
True
Suppose -2513 = -8*g + 3*g - 3*c, 0 = -3*g + 3*c + 1527. Suppose -440 = -507*f + g*f. Is 20 a factor of f?
True
Let y(w) be the third derivative of 7*w**5/60 + 7*w**4/6 - 269*w**3/6 + 147*w**2. Does 18 divide y(7)?
True
Let x be 4 + (1 + -2)/1. Suppose 0 = -0*f - x*f - t + 368, f - t = 128. Is f even?
True
Suppose 3*p = 3*y - 6, -4*y - 4*p + p = -15. Suppose -2*r - r = 6, -4*g + y*r = -1342. Does 11 divide g?
False
Does 30 divide 141/(-2115) + (-1)/((-15)/276946)?
False
Let x(g) = g**2 - 2*g + 13. Suppose -7*f + 55 + 43 = 0. Suppose s - f = -8. Does 11 divide x(s)?
False
Let q be (2*1)/((-92)/(-644)). Suppose q*r - 5540 - 2356 = 0. Is r a multiple of 4?
True
Suppose 0 = -0*w - 10*w + 260. Let r = w - 22. Suppose z = r*h - 709, -4*h = -2*z - 0*z - 710. Is 8 a factor of h?
False
Let d(b) = -21*b + 95. Let g be (2 - 3)/((-170)/(-55) - 3). Is 17 a factor of d(g)?
False
Is (-2 + (-94386)/(-15))*(50 + -45) a multiple of 155?
False
Let r = -4019 + 4066. Is r a multiple of 3?
False
Suppose 2*z = 130 + 114. Does 6 divide z/2*(67 + -62)?
False
Suppose 0 = -l + 3*s - 8*s - 1, -4*s = l. Suppose 288 = 2*v + l*h, v + 3*h - 144 = 2*h. Does 18 divide v?
True
Let a(r) = -77*r - 62. Let x be a(-10). Let d = x + -227. Does 37 divide d?
True
Suppose -5*f + 289 = -q - 0*q, -236 = -4*f + 2*q. Let s = f + -53. Let w(i) = 6*i**2 - i + 16. Is 18 a factor of w(s)?
True
Suppose 2*f = -f - 4*o + 19, -f - 5*o - 12 = 0. Suppose 5*w - 4*s + f - 100 = 0, 2*w = -3*s + 21. Is 25 a factor of 5238/30 + 6/w?
True
Suppose 19*u + 2*w = 11767 + 101531, -2*w - 18 = 0. Does 42 divide u?
True
Let l(n) = 5*n - 165. Let i be l(34). Suppose 4*p - 922 = -i*y + 273, -4*p + 1240 = -4*y. Does 5 divide p?
True
Suppose 671 = 8*o + 639. Does 8 divide 62/279 + o*214/36?
True
Let g(v) = -v**3 + 6*v**2 + 14*v + 12. Let l be g(14). Let w = -867 - l. Is w a multiple of 36?
False
Suppose d - 18 = -2*i - 3*i, i - 9 = -2*d. Suppose 0*z - 2*z - 5*o = -25, 3*z = -d*o + 15. Does 8 divide (z - 6/45)*48*-5?
True
Let s(b) = 12*b**3 - 2*b**2 + b + 1. Let t be s(1). Suppose -6*x + t*x = -468. Let v = 88 + x. Is v a multiple of 5?
True
Let w = -7530 + 14270. Is 20 a factor of w?
True
Is (-1 + 0)*628/(-6)*33 a multiple of 8?
False
Let q(a) = 5*a**3 - 42*a**2 + 102*a + 20. Let t(w) = 3*w**3 - 28*w**2 + 68*w + 13. Let x(j) = -5*q(j) + 8*t(j). Is x(-17) a multiple of 14?
False
Let u be -2*27/6*(-6)/(-9). Let r be -4 - (74/u)/(4/72). Suppose -2*f - 4*c + r = 0, -f + 2*c + 60 = -41. Does 21 divide f?
True
Let s = -5799 - -8849. Is 5 a factor of s?
True
Suppose -3 = -3*r, -5*m - 43*r + 5901 = -42*r. Does 22 divide m?
False
Suppose 0 = -3*b - 2*l + 82607, 4*b - 37*l = -33*l + 110096. Does 63 divide b?
True
Suppose 0 = 4*b + 3*z - 15, 2*b + z = 6*b + 5. Let o be b - 0/2 - -30. Does 17 divide (-800)/o*6/(-2)?
False
Suppose 7*g + 80 = -3*g. Is 6 a factor of 74/4*(18 + 80/g)?
False
Let u(d) = -1347*d - 3690. Is u(-14) a multiple of 9?
False
Suppose 5*k - 13918 - 61202 = -19920. Does 69 divide k?
True
Let r(d) = d**3 - 15*d**2 + 11*d + 46. Let k be r(14). Suppose 5*a + 980 = k*s, 0 = 4*s + 5*a - 943 - 77. Is s a multiple of 50?
True
Suppose 3*a = a. Suppose a = -5*u + 4*u. Suppose u*l - 174 = -3*l. Is 29 a factor of l?
True
Let d be 321375/45 - (-10)/(-6). Suppose 0 = -2*a - 19*a + d. Is a a multiple of 68?
True
Let o = -3843 + 9524. Does 16 divide o?
False
Suppose -65*b + 42807 = -181573. Is b a multiple of 79?
False
Suppose -30*v + 898134 = 3*v - 90282. Does 48 divide v?
True
Let n(h) = h**3 + 13*h**2 - 11*h - 21. Let x be n(-13). Suppose 327 + x = c. Let f = c + -316. Is f a multiple of 32?
False
Let g(s) be the second derivative of 3/2*s**2 - 1/4*s**4 + 0*s**3 + 0 - 11*s - 1/20*s**5. Does 5 divide g(-4)?
False
Let l be ((-5)/(-4))/((-5)/80). Let x(t) = t + 24. Let d be x(l). Does 14 divide 236/d - -2 - 1?
False
Let n(l) = -l**2 - 18*l - 16. Let t be n(-15). Suppose t*w - 2683 = -334. Does 81 divide w?
True
Let q(s) = 20*s**2 + s - 3. Let n be (-1)/(-5) - (-4)/5*-4. Is q(n) a multiple of 10?
False
Let k(d) = -d**3 - 6*d**2 + 11*d - 3. Suppose 248*j + 45 = 243*j. Does 10 divide k(j)?
False
Does 93 divide 558/8*(-272)/(-204)?
True
Let c = 275 + -158. Suppose c + 447 = -3*j. Is 27 a factor of (j/(-16))/(-2*(-2)/16)?
False
Suppose 493*b - 251*b - 191774 = 219*b. Is b a multiple of 24?
False
Is (5/2)/(61/10858) a multiple of 8?
False
Suppose -5*r - 370 = -5*c, 4*c + 275 - 53 = -3*r. Let d = r - -45. Let q = d - -101. Is q a multiple of 18?
True
Let y(m) = -182*m - 3358. Does 90 divide y(-59)?
True
Let t be (-4 + 5)*18/6. Suppose -955 = -t*a + 554. Does 9 divide a?
False
Let y(w) = -2*w**3 + 3*w**2 + 8*w - 4. Let j be y(-6). Suppose -8*h = -16*h + j. Is 36 a factor of h?
False
Suppose 2 = q - 19. Let k(z) = 6*z + 21*z**2 + 2*z**3 - 11*z**2 + 6 - q*z**2. Is k(7) a multiple of 13?
True
Suppose -4*l = -18 + 6. Let w(n) = -7*n**3 + 12*n**2 + 9*n - 7. Let b(v) = -3*v**3 + 6*v**2 + 4*v - 3. Let h(s) = 5*b(s) - 2*w(s). Is 32 a factor of h(l