*2 + x**2 - 25*x**3. Is 59 a factor of l(o)?
True
Let j be (6 + -1)*(-24)/(-30). Let i be (j/(-12))/(5/(-15)). Let r(q) = 162*q + 8. Is r(i) a multiple of 24?
False
Let n(c) be the second derivative of c**4/4 + c**3 - c**2/2 - 56*c. Suppose 3*k - 2 = 7. Is 22 a factor of n(k)?
True
Let z(f) = f**3 - 21*f**2 + 81*f - 59. Is 14 a factor of z(23)?
False
Let c(a) = 8*a**2 - a + 2. Let v be c(2). Suppose -5*r + 13 = 3*d, 5*d + 0*d - v = 2*r. Suppose d*h + 8*h = 910. Does 9 divide h?
False
Let p(f) = -89*f - 527. Let l be 4*((9 - 3) + 186/(-24)). Does 23 divide p(l)?
False
Let w = 490 - 208. Suppose w = 64*b - 61*b. Suppose 0 = 2*k - 106 - b. Is 20 a factor of k?
True
Let y(o) = -1. Let z(v) = -v - 29. Let h(l) = 4*y(l) - 2*z(l). Is 27 a factor of h(7)?
False
Let m(b) = 5*b**3 - 33*b**2 + 6*b - 4. Let c be m(8). Suppose 0 = -1000*r + 1002*r - c. Does 41 divide r?
True
Let t be 10*(-6)/(-105)*7. Suppose 5*f = -4*p + 289, -351 = -t*p - f - 50. Is p a multiple of 19?
True
Let w(i) = -20*i**3 + 9*i - 4. Let j be w(-8). Suppose j = -24*t + 45*t. Is 40 a factor of t?
False
Suppose 56*p + 26070 - 209508 = 28242. Does 28 divide p?
True
Let g = -1558 - -2188. Is 42 a factor of g?
True
Let g = 4562 - 3378. Does 9 divide g?
False
Let m(z) be the second derivative of 3*z**5/20 - 7*z**4/12 - 7*z**3/6 + 7*z**2 - 8*z. Is m(6) a multiple of 25?
False
Let b = 3311 - 1911. Does 6 divide b?
False
Let g = -493 + 495. Suppose 2*l - 63 = -5*d, -6 = d + g*l - 17. Is d a multiple of 8?
False
Let l = -57 + 62. Suppose -5*p + 30 = 2*x, -5*x = -l*p - 8*x + 35. Let i(d) = 20*d**2 - 5*d - 17. Does 44 divide i(p)?
False
Let z(b) = b**3 + 17*b**2 - 23*b - 202. Does 3 divide z(-7)?
False
Suppose -14*h + 13*h - 4 = 0. Let l be (3 - 6)*(3 + h - -2). Is 9 a factor of 54/((45/(-20))/l)?
True
Let x(r) = 5*r**2 + 344*r + 596. Does 3 divide x(-91)?
False
Suppose 12 = -3*l, -4*l + 38 = c - 853. Suppose -3*r + 5*p = -c, -4*p = -2*r - 2*r + 1196. Does 22 divide r?
False
Let b(s) = -4*s**3 + 11*s**2 + 535 - 263 - 8*s - 271 + 6*s**3. Is b(6) a multiple of 71?
True
Suppose -2*x + 1450 = -2*h, 0 = -3*x + h + 4*h + 2175. Does 10 divide x?
False
Let t(a) = 911*a**2 + 57*a + 60. Is t(5) a multiple of 136?
True
Suppose 0*i - i = -22. Is (((-16731)/i)/(-13))/((-1)/(-2)) a multiple of 9?
True
Does 7 divide 1730 - (-6 - (-14 - 4))?
False
Let k(z) = 53237*z**3 - 59*z**2 + 52*z + 5. Is 39 a factor of k(1)?
True
Let g = -437 + 3027. Is 14 a factor of g?
True
Let g be 0 + (3/4)/(6/16). Suppose 22 = g*m - 146. Is m a multiple of 42?
True
Let s(u) = -2*u**2 + 76*u + 6. Let a be (-780)/(-104)*(-14)/(-3). Does 72 divide s(a)?
True
Suppose -16*r - 29*r = -69*r + 16104. Is r a multiple of 7?
False
Suppose -1 + 8 = 7*g. Let t be -147*g*(-72)/28. Suppose -12*f = -510 - t. Is f a multiple of 20?
False
Suppose l - 14 = 14*q - 11*q, -2 = 3*l + 2*q. Suppose 15 = -5*y, -1299 = -3*z - l*y + 513. Is z a multiple of 7?
False
Suppose -22*p + 11*p = -176143. Is p a multiple of 49?
False
Suppose 39470 = 4*q - 5*n, 5*n + 9890 = 5*q - 4*q. Is q a multiple of 24?
False
Let v = -148 - -370. Suppose -z + v = 66. Suppose -z - 12 = -4*n. Does 14 divide n?
True
Let q(j) be the first derivative of 15*j**2/2 - 59*j + 56. Does 4 divide q(9)?
True
Let a(z) = -407*z**3 + z - 2. Does 6 divide a(-2)?
True
Suppose 3*v = -2*z + 14, 2 + 2 = z. Suppose 0 = -v*p + 5*s + 472 + 107, 3*p = -5*s + 856. Is p/14 - (-1)/(-2) a multiple of 5?
True
Is 163*20 + -7 + -23 + 34 a multiple of 12?
True
Suppose 111*o - 4710359 = -1522217. Is o a multiple of 45?
False
Suppose -5*s + 6*s - 2616 = -3*h, 5*h = 4*s - 10362. Does 12 divide s?
False
Let c = -165 - -171. Suppose c*n = 105 + 183. Is n a multiple of 16?
True
Let r(n) = n**3 + 22*n**2 + 19*n - 38. Let w be r(-21). Suppose -4*u = -2*u + 2, 5*p + w*u - 276 = 0. Is 4 a factor of (p/35)/(1/5)?
True
Suppose -u = 11 - 7. Is 13 a factor of 9732/(-208)*u - (-2)/(-13)?
False
Let y be 4 - 11 - (0 + 87). Let w = 187 + y. Is 7 a factor of w?
False
Let k(w) = 98*w + 54 + 102*w - 198*w. Does 8 divide k(0)?
False
Let g(k) = 31*k**2 + 21*k**2 - 51*k**2 - 22*k - 54. Is g(32) a multiple of 6?
False
Suppose 138 = 45*z - 22*z. Suppose 0 = z*h - 1348 - 3932. Does 55 divide h?
True
Let l(q) = 413*q - 2353. Is l(20) a multiple of 153?
False
Suppose 22*j - 4*j = 9998 - 2996. Is 6 a factor of j?
False
Let d = -109 + 114. Suppose 420 = -d*o - 5*o. Is ((-7)/(o/(-68)))/(8/(-36)) a multiple of 17?
True
Let k be 21/(-3)*6/7. Let u be (k/(-4))/((-6)/(-52)). Suppose 0 = -4*j + 5*j - u. Is j a multiple of 3?
False
Let o(i) = -8*i + 73. Let z be o(9). Is z + (-1)/(3*5/(-1650)) a multiple of 5?
False
Let f = 112 + -13. Let i = f + -57. Does 6 divide i?
True
Let n = 8645 + -4820. Is 15 a factor of n?
True
Let t = -130 - -134. Suppose 13392 = 28*c - t*c. Is 21 a factor of c?
False
Suppose -7*m - 62 = -146. Suppose -m*r + 13*r = 324. Is r a multiple of 9?
True
Suppose -5*s = -7*s + 2*o + 3992, -5*s - 5*o = -9940. Does 11 divide s?
False
Let b(o) = -2*o**3 + 126*o**2 - 32*o - 133. Is 19 a factor of b(38)?
True
Let a(k) = 63*k**2 + 5*k + 24. Let u be a(6). Suppose -7*j = -5*h - 3*j + u, 3*h + j = 1383. Is 21 a factor of h?
True
Suppose -240*t = -237*t - 12591. Does 51 divide t?
False
Suppose -4*f = -3*q - 3286, 12*f - 15*f + 2473 = 2*q. Does 21 divide f?
False
Let b be 3/(-6) + (-987)/(-14). Let p = -66 + b. Suppose p*d - 106 - 90 = -2*u, -47 = -d - u. Is 6 a factor of d?
False
Suppose -3154 = -30*g + 11*g. Is 18 a factor of g?
False
Is 22 a factor of (-97610)/(-22) - -7 - 54/(-297)?
True
Does 20 divide (12623 - 159) + (-1 - 7/(-3))*-3?
True
Let i(r) = -12*r - 82. Let s be i(-18). Let j = s + -32. Does 6 divide j?
True
Let b(q) = q**3 - 3*q**2 - 21*q - 4. Suppose 3*i + 40 = 4*v + 8, -5*v + 40 = 2*i. Does 3 divide b(v)?
False
Let f(a) = a**3 + 4*a**2 - 2*a - 8. Let z be f(-4). Let j be 2/((-7)/(2044/(-8))). Suppose z = 7*o - 39 - j. Does 9 divide o?
False
Let s(d) = d**3 + 19*d**2 - 20*d + 49. Let z be s(-20). Suppose -195 = 48*o - z*o. Is 8 a factor of o?
False
Suppose 13*q - 9*q = 16. Suppose -3*b + 2 = -v, -q*b - 7 = -2*b + v. Is 26 a factor of ((-2 - b) + 27)*(1 - -6)?
True
Let o = 1123 - 986. Does 9 divide o?
False
Let d be 380/35 - 7 - 2/(-14). Suppose -d*t - 11*p + 6*p = -172, -t = p - 44. Does 3 divide t?
True
Let u be (5/2)/(-3 + 41/12). Let d(x) = -2*x**2 + 22*x - 24. Is 8 a factor of d(u)?
False
Let s(l) = -12*l + 3*l - 7*l**3 - 3 + 3*l + 5*l - l**2. Does 17 divide s(-3)?
False
Suppose -2 = 20*t - 21*t. Is (-4 - 40/(-12))/(t/(-1890)) a multiple of 14?
True
Let x = 8293 - 6886. Is 5 a factor of x?
False
Suppose -5*c = 4*t - 58 + 11, t = -c + 11. Suppose r = t*r - 42. Does 2 divide r?
True
Let a(h) = -3*h + 87. Let y(d) = -2*d + 43. Let n(z) = 3*a(z) - 5*y(z). Does 6 divide n(31)?
False
Let x(t) = -15*t - 44. Let c(a) = 3*a**2 + 30*a + 89. Let d(j) = 2*c(j) + 5*x(j). Is 24 a factor of d(10)?
True
Suppose 0 = -j - y + 1085 + 1060, j + 3*y = 2139. Is j a multiple of 12?
True
Suppose 22202 + 15539 = 47*m. Suppose -m = -9*n + 133. Is 5 a factor of n?
False
Let n = -305 - -312. Does 18 divide 3 - (-7 + n) - -267?
True
Let v(y) = y**3 - 3*y**2 - 16*y - 6. Let g be v(6). Let l be (-590)/30 + 4/g. Let s = l - -55. Does 11 divide s?
False
Let a = 2 + -8. Let z(j) = 2*j**2 - j**2 + 18 + 14 - 4*j - 34. Does 9 divide z(a)?
False
Suppose -2*o - w + 201 = 0, -2*o - 2*o + 3*w = -397. Suppose -70 + o = 3*d. Is d a multiple of 5?
True
Let p be (2 - 4) + 136/(-4). Is 17 a factor of ((-20)/3)/(2/p)?
False
Suppose -57 - 71 = -16*m. Does 18 divide 5 + 452/m*8?
False
Let b = 174 + -158. Let j(q) = q**2 - 15*q + 10. Does 9 divide j(b)?
False
Let j(x) be the first derivative of x**3 - 15*x**2/2 + 9*x + 26. Is 5 a factor of j(8)?
False
Let p = -24 + 31. Suppose -4*t - p*t + 2662 = 0. Is 22 a factor of t?
True
Suppose 54693 = -47*t + 50*t. Suppose -5*o + 64*o = t. Is o a multiple of 50?
False
Let g be 35/15*3 - (-4)/(-2). Suppose 0 = -8*l + 4*l + h + 3601, -25 = g*h. Is l a multiple of 17?
False
Let g = 179 + -292. Let m = g + 182. Does 7 divide m?
False
Suppose -723 = -7*o - 471. Suppose -o*a + 1080 = -32*a. Is a a multiple of 16?
False
Let v be 5/((-15)/(-33))*1. Does 25 divide 856 - (10/(-2) + v)?
True
Is 40 a factor of ((-4264)/(-205))/(6/600)?
True
L