of r(30)?
False
Let s(k) = k**3 - 15*k**2 - 2*k + 257. Is 3 a factor of s(0)?
False
Let o = 2633 - -334. Does 77 divide o?
False
Suppose 2275*f - 2281*f = -5616. Is f a multiple of 44?
False
Let d = -6 + -181. Let r = d - -482. Suppose 4*t + 5*j = r, -2*j + 60 = t + 2*j. Does 16 divide t?
True
Let l = -7372 + 30664. Does 9 divide l?
True
Let d(u) = u**2 + 2*u**2 + 18 + 7*u**3 + 2*u**2 - 19*u - 2*u**2 - 19. Does 14 divide d(5)?
True
Let l(u) = u**2 + 11*u - 9. Let g be l(-11). Let i be (-336)/18 + (-6)/g. Is 3 a factor of (i/10)/((-39)/65)?
True
Does 54 divide -889*2/((-2)/13)?
False
Let n be 8/(-2) - 49/(-7). Is 656/8 + -7 - n a multiple of 12?
True
Is (-25)/(-150) - 45044/(-24) a multiple of 26?
False
Let t = 69436 + -40974. Is 225 a factor of t?
False
Let l = -24131 - -46782. Is l a multiple of 7?
False
Let r = 9 - 6. Suppose -39*l = -10627 + 682. Suppose -r*s + 98 = 2*f - 2*s, -5*f - 5*s = -l. Does 16 divide f?
False
Suppose 0 = 126*z - 99*z - 19710. Does 5 divide z?
True
Let d(l) = -1194*l - 1603. Does 8 divide d(-12)?
False
Let c(o) = -3*o**2 + 4*o + 9. Let y be c(-6). Let i = 121 + y. Is (i - -131)/((-24)/(-32)) a multiple of 27?
False
Let q(d) = -37*d + 11. Let v be q(3). Let a = 164 - v. Does 11 divide a?
True
Let n be (3/2)/((-19)/(-38)). Let c(b) = 27*b + 1. Let r be c(n). Let f = r - 45. Is f a multiple of 12?
False
Let i = 582 + -578. Suppose 0 = 8*a - 5*a + 5*t - 2437, i*t = -16. Is a a multiple of 80?
False
Let b = -2890 + 2895. Let g(m) = -1 + 2*m**3 + 10*m - 6*m**2 + 0*m**3 - m**3. Is g(b) a multiple of 8?
True
Let l(n) = -3*n**3 - 18*n**2 + n + 18. Let i(s) = 2*s**3 + 17*s**2 - s - 19. Let v(a) = 4*i(a) + 3*l(a). Let z be v(12). Let r = z - 55. Does 12 divide r?
False
Does 2 divide (-2)/20 - 2731/(-10)?
False
Let t(m) = -2 - 10*m + 11 + 6 - 2. Let q be t(-8). Is 5 a factor of (-2)/(-3) - (q/(-9) + -1)?
False
Let k(m) = -m**3 - 7*m**2 + 17*m + 313. Is k(-17) a multiple of 94?
True
Let q = 17303 + -14881. Is q a multiple of 6?
False
Let o(j) = j**3 - 26*j**2 - j + 112. Let v be o(26). Is 17 a factor of v/(-7*8/(-84))?
False
Let l(w) = 162*w + 334. Let s(c) = 81*c + 165. Let n(y) = -3*l(y) + 5*s(y). Is 24 a factor of n(-9)?
True
Suppose 0 = g - z - 1088, -4*g = -3*z + 2*z - 4349. Is g - (5 - 6 - 4) a multiple of 28?
True
Suppose 3*n - 1959 = -3*q, 58*n + 3244 = 5*q + 56*n. Is q a multiple of 11?
False
Let n(u) = -u**3 + 6*u**2 - u + 642. Suppose 0 = -8*d + 2*d. Is 8 a factor of n(d)?
False
Let d = -686 - -689. Is 34 a factor of (13/d)/(59/531)?
False
Let q = 2060 + -2041. Suppose -4*z = 5*g + 12, 0 = 2*z - 2*g + 1 + 23. Let u = z + q. Is 10 a factor of u?
False
Let i = -17 + 22. Suppose -i*h + 56 = -9. Suppose -218 = -14*b + h*b. Is b a multiple of 25?
False
Let c(u) = u**2 - 3*u - 20. Suppose -o + 4*z - 21 = z, -3*o - 27 = 3*z. Is c(o) a multiple of 8?
True
Let g(u) = 38*u + 203. Let i be g(-22). Let a = i + 1305. Does 28 divide a?
True
Suppose 0 = -33*v + 66*v - 133947. Is v a multiple of 33?
True
Let d(h) = -120*h - 3863. Does 17 divide d(-99)?
False
Suppose 0 = c - 2*t + 50 - 179, 0 = -5*c + t + 690. Suppose -3*m = -m - 2*k - 6, 5*m + 3*k = 31. Suppose m*u - 241 = c. Is u a multiple of 38?
True
Let b(h) = 11*h + 2791. Does 14 divide b(104)?
False
Let n(b) = -b**2 - 8*b + 37. Let g be n(-11). Is (-873)/6*g*(-4)/24 even?
False
Let y = 184 + 388. Let w = y + -210. Is w a multiple of 31?
False
Suppose -s - 3 = -5*v, 28*s - 33*s = -3*v - 7. Suppose 353 = -s*j + 669. Is 11 a factor of j?
False
Let c(u) = 63*u + 743. Is 12 a factor of c(19)?
False
Let m be (3 + 5/(-2))/(1/(-8)). Let i be -5*(m/5 - 4/(-10)). Suppose i*f = 5*w + 30, 5*f = -w + 192 - 63. Is f a multiple of 14?
False
Let f = 686 + -679. Let y(t) = 4*t**2 + 6*t - 109. Does 27 divide y(f)?
False
Let m(f) = 7979*f**2 - 4*f + 57. Let l be m(6). Is l/186 - 10/(-4) a multiple of 91?
True
Let i(o) = 571*o**2. Let a be i(-1). Let h = 966 - a. Does 8 divide h?
False
Suppose 3*p + 37*q = 36*q + 2652, -4*p - q + 3535 = 0. Let w = p - 517. Is w a multiple of 15?
False
Let k(h) = -2*h + 10. Let d be k(7). Let q(p) be the third derivative of p**5/12 - 5*p**4/24 - 3*p**3/2 + 526*p**2 - 2. Does 16 divide q(d)?
False
Let y be -3 - 8*1/(-2). Let d(l) = -3*l**3 + l**2 + l - 1. Let n be d(y). Does 15 divide (5 + -2)*(27 + n)?
True
Suppose -40*m + 119229 = -347491. Is m a multiple of 20?
False
Let c = 111 + -104. Is 287 + (c - (6 + -6)) a multiple of 14?
True
Suppose 174342 = 21*y + 41895. Is y a multiple of 10?
False
Let y = 546 + -306. Let m = -194 + y. Is m a multiple of 4?
False
Suppose 2987 = 26*w + 1115. Is 315*(w/(-80) + 9/6) a multiple of 7?
True
Let v = 594 - 560. Suppose -273 = 33*t - v*t. Is 9 a factor of t?
False
Let p be (-3)/6*(1 + -2 + -55). Is 19 a factor of 4/10*350/p - -432?
True
Let g be 0 + 4 - (1 + (-3 - -6)). Suppose -4*f + 448 = 4*w, 3*f + g*w - w - 352 = 0. Does 58 divide f?
True
Let o(c) = 8*c + 17. Let a be o(4). Let r = a + -61. Does 13 divide 4 - ((-1 - -4) + r)?
True
Let x = -775 - -862. Is 4 + (5017/x)/(2/12) a multiple of 7?
True
Suppose -66*x + 3227048 - 891374 = 0. Is 6 a factor of x?
False
Let r be (6 - 76)/(-2*1 + 1). Let t = 133 + r. Is 7 a factor of t?
True
Suppose 8 = 4*s + 4*p, -2*s + 7*p - 2*p - 10 = 0. Suppose s = 3*d - 251 - 34. Is 16 a factor of d?
False
Let i = 85 + -85. Suppose w + i*w = 3*w. Suppose w*o = 7*o - 217. Does 5 divide o?
False
Let g(r) = r**3 + 5*r**2 - 57*r - 31. Is 17 a factor of g(16)?
False
Suppose 7*f = 11*f + 252. Let s = -3 - f. Does 48 divide s?
False
Suppose -2*q = 3*g - 75, -3*g = 3*q - 8 - 61. Let l = 7 + -1. Let y = g - l. Does 6 divide y?
False
Is 27 a factor of 3254/26 + (13 - (-1539)/(-117))?
False
Let a(u) = 2*u + 14. Let q(s) = -2*s**2 - 6*s + 11. Let g be q(6). Let l = -88 - g. Is a(l) a multiple of 32?
True
Let l = 54167 - 20372. Is 84 a factor of l?
False
Let s = -355 + 236. Let o = s - -183. Suppose 3*g + 243 = 2*i + 2*i, i - o = 4*g. Does 10 divide i?
True
Suppose -2*r + o = 8, 2*o - 93 = -85. Is (10469/116)/(r/(-8)) a multiple of 7?
False
Let z = -643 + 1158. Suppose 5*y = -4*l + 519, -5*y - 3*l + 8 = -z. Does 8 divide y?
False
Let k(h) = -91*h - 7. Let c = 101 + -103. Let o be k(c). Let s = o - 104. Is 10 a factor of s?
False
Suppose -457*s = -319*s - 2895378. Is s a multiple of 77?
False
Let d be ((-84)/(-8))/((-2)/8 + 1). Suppose -d*f + 5350 = 11*f. Does 25 divide f?
False
Let i = 20441 - -22546. Does 324 divide i?
False
Let h = 7633 - 6143. Is 35 a factor of h?
False
Let i be (-27)/21 - (-2)/7. Let o = -15 + i. Let n = -3 - o. Is 3 a factor of n?
False
Is 24 a factor of 2/(-5) + 136620/300 - -1?
True
Suppose -3*y - 3*o = -732, -6*o + o = -5. Let w = y - 207. Is w a multiple of 36?
True
Is (-7)/(-42) - 60110/(-60) a multiple of 103?
False
Suppose 1227*j - 1256*j + 106488 = 0. Is j a multiple of 153?
True
Let m(a) = 58*a - 170. Let z be m(3). Suppose -7*c = -2*c + t - 2965, -z*t = 3*c - 1779. Does 34 divide c?
False
Let l(v) = 4*v**2 - 22*v - 5. Let f be l(6). Suppose 5*t = 5*r + 1330, 5*t + 533 = f*t - r. Is 41 a factor of t?
False
Let y(d) = -17*d + 15. Suppose 0 = 3*q - p - 6 + 68, q + 24 = 2*p. Is 26 a factor of y(q)?
False
Suppose 0 = 9*l - 13*l + 20. Suppose 0 = -4*b + l*b - 42. Let i = b + -1. Is 4 a factor of i?
False
Is 80 a factor of (-2946862)/(-285) + 4/30 + -5?
False
Let i(c) = 142*c + 0*c**3 - 150*c - 7 + c**3 + 5*c**2. Let l be i(-5). Let h = l + 39. Is h a multiple of 12?
True
Let k = -3 + 23. Let l = k + -15. Is 8 a factor of (-960)/(-8)*4/l?
True
Suppose 204943 - 1149517 = -248*m + 144890. Is 23 a factor of m?
True
Suppose u + o = 8, o = 4*u + 34 - 56. Let b be (54/5)/((-6)/20). Does 8 divide u*3*b/(-27)?
True
Suppose 0 = -4*k - 2*j + 78, 5*j = -2*k - 0*j + 51. Let o = -2 - k. Let r = 12 - o. Is r a multiple of 8?
True
Let i be ((-18)/9)/((-2)/5)*-3. Is 50 a factor of i/(-5) + -1 + 348?
True
Suppose 44469 = 7*x - 28717 + 7155. Is x a multiple of 10?
False
Let a(u) be the first derivative of -11*u**4/24 - 5*u**3 + 9*u**2/2 + 12. Let b(i) be the second derivative of a(i). Is 11 a factor of b(-5)?
False
Let p(w) = -w**3 + w - 1. Let x(s) = 7*s**3 - 5*s**2 + 3*s - 13. Let t(o) = -6*p(o) - x(o). Let q be t(4). Is (-2 + 18)/(q/(-2)) a multiple of 5?
False
Suppose 468*r - 109584 = 1787220. Is 