 of 5?
True
Let y(w) = 3418*w + 2270. Is 21 a factor of y(13)?
True
Is 21 a factor of (-2318)/14*-173 - ((-4371)/217 - -20)?
True
Let r be (-15)/6*84/(-15). Let t(l) = l**3 - 12*l**2 - 24*l + 28. Is 6 a factor of t(r)?
True
Suppose -69*i + 102*i + 4320 = 53*i. Does 9 divide i?
True
Suppose -3*v - 348 = y, 3*y + 2*v + 135 + 895 = 0. Let x = y - -629. Suppose -4*f = -11*f + x. Is 27 a factor of f?
False
Suppose 3*r - 10 = r. Suppose -3*u + r*w = -212, u - 68 = -14*w + 17*w. Is u a multiple of 16?
False
Suppose -27*j + 22*j = -90. Suppose j*a - 13*a - 1025 = 0. Let h = a + -139. Is 22 a factor of h?
True
Let b = 1832 - 1778. Is 3 a factor of b?
True
Let v = -7 - 29. Let p = v + 38. Suppose 3*m = 4*r + 43, 15 = 2*m - 5*r - p. Is 7 a factor of m?
True
Suppose 8*h = -161 + 433. Suppose y = h + 119. Suppose n + 5*k = y, 0 = 3*n - k - 129 - 394. Is n a multiple of 18?
False
Suppose 2*s + 2*i - 12 = 0, 4*s = -5*i + 6 + 18. Is 32 a factor of ((-542)/s + -3)*(-36)/3?
True
Suppose -5*t + 108087 = 2*b, 1719*b - 43260 = -2*t + 1714*b. Is 168 a factor of t?
False
Let d(p) = 38*p**2 - 49*p - 29. Is 5 a factor of d(-5)?
False
Suppose -4*s + 5*j + 54 = 0, 2*j - 4*j - 59 = -5*s. Let b(v) be the second derivative of 17*v**3/6 - 43*v**2/2 - 13*v. Does 12 divide b(s)?
True
Let b(f) = -2*f + 15*f + 164 - 143 + 254*f**2. Is b(-2) a multiple of 14?
False
Suppose -3*m = -6 - 9. Suppose -60 = -4*y - 48. Suppose -y*x - 16 = -m*x. Is x a multiple of 3?
False
Suppose -7*r = 10*r + 17. Does 7 divide 275 - (r - (9 - 5))?
True
Suppose 287*m - 288*m = -64. Let q(i) = -6*i**2 - 4*i - 3. Let a be q(-2). Let c = a + m. Is 15 a factor of c?
True
Suppose 3*c - 5*h = 89973, -378*c + 375*c - 3*h = -90045. Does 14 divide c?
False
Suppose 4*o + 2158 - 283 = 5*p, -o + 5*p = 465. Let d = o + 785. Is 55 a factor of d?
False
Is (36/(-162) - 76/(-18))*(14763 + 10) a multiple of 103?
False
Let h be (-5 - (-6 - -1))/(-1*2). Suppose 2*u = n - 2*u - 76, -4*n - 2*u + 286 = h. Does 3 divide n?
True
Let u be (2/12)/(7 - 559/78). Is 2 a factor of (u - -21) + 54 + -58?
True
Let j(f) = 484*f + 6. Let m be j(1). Let c = m - 324. Is 13 a factor of c?
False
Let q = -16200 - -17481. Is q a multiple of 74?
False
Let y = 24781 + -9442. Is 41 a factor of y?
False
Let h(s) = -195*s + 1368. Is h(-8) a multiple of 6?
True
Let g = 68 - 63. Let i(o) = -o**2 + 4*o + 8. Let a be i(g). Does 19 divide (((-4)/8)/1)/(a/(-1026))?
True
Suppose 0 = l + 73*l + 888. Let h(u) = 2*u + 5. Let f be h(-5). Does 25 divide (f - -2) + (22 - l)?
False
Let w(c) = 6*c + 29. Let s be w(-7). Let l = 21 + s. Suppose 0 = l*o - 104 + 16. Is 4 a factor of o?
False
Let n(f) = -46*f + 36. Let u be -5 + 10 + -1 + -5. Is n(u) even?
True
Suppose -m + 19 = 16. Let l be (-2)/6 - (50/(-15) + m). Suppose c - 2*z + 38 = 2*c, l = 5*c - 3*z - 229. Is c a multiple of 11?
True
Let k(j) = -j**3 + 16*j**2 - 19*j + 6. Let b be k(15). Let v = -46 - b. Is (-266)/v*(-2 - 2) a multiple of 27?
False
Suppose -v + 59*v - 92278 = 0. Let f = v + -912. Is f a multiple of 27?
False
Let s = 234 - 236. Is 42 a factor of 112/(-32) + (-1509)/s?
False
Suppose -w + 4*w + 6 = 4*t, -2*t = -2*w - 4. Let u be (5/10)/(w/200). Let d = u - -58. Is 4 a factor of d?
True
Let c(n) = 43 - 30 + 4*n + 45 + 4*n. Is 5 a factor of c(-3)?
False
Suppose 9 = 11*m - 24. Suppose 0 = 2*z - h + 2 - 10, -4*z - m*h + 6 = 0. Suppose 947 = 5*x - z*r, 3*x - r = 4*x - 191. Does 19 divide x?
True
Let g = 11117 - 6749. Suppose 7*i + 5*i = g. Is 13 a factor of i?
True
Let n be (0/(-1))/(3 + -4). Suppose p = -13*p + 42. Is 6 a factor of (38 - (-9)/p - -1) + n?
True
Let n = -8140 + 20158. Is 220 a factor of n?
False
Suppose 274*u - 5*d - 90035 = 272*u, 5*d = -2*u + 89965. Is u a multiple of 360?
True
Let y(u) = u**3 - 6*u**2 - 7. Let h(l) = l - 10 - 25 + 48. Let w be h(-5). Is 23 a factor of y(w)?
False
Let z(h) = -h**3 + 31*h**2 - 19*h - 72. Suppose 0 = -116*a + 120*a - 120. Is z(a) a multiple of 43?
True
Let h(p) = -p**3 + 24*p**2 - 28*p + 120. Let o be h(23). Suppose 2*v + 8 = 0, 6500 = o*k + 10*v - 15*v. Is 18 a factor of k?
True
Suppose m + 5*y = 17, 5*m - 4*y + 5 = y. Let s(k) = k**m + 14*k**2 - 2 - 6*k + 2*k**2 + 13. Does 33 divide s(3)?
False
Let f(n) = 43 + n**2 - 2*n - 20 - 8 - 13*n. Let m be f(14). Let p(k) = 64*k**3 + k - 2. Is p(m) a multiple of 7?
True
Suppose -4412 = -5*j - 2*l, 3*j - 11*l + 14*l = 2649. Does 6 divide j?
True
Suppose 25*m + 20 = 70. Suppose 0 = q + v + 2*v - 12, -4*q + 2*v + 6 = 0. Suppose 5*t + 4*h - 658 = 0, -m*t - q*h = -89 - 177. Is 26 a factor of t?
True
Let q be 8/10 - (-13 + (-21147)/35). Let n = -332 + q. Is 11 a factor of n?
True
Let v be (-24)/28*((-23)/3 + 3). Suppose -v*l = -65 - 11. Suppose -8*t - 1232 = -l*t. Is 28 a factor of t?
True
Let a(o) be the first derivative of 15*o**2/2 + 5*o - 515. Let c be 1/4 - 15/(-4). Does 12 divide a(c)?
False
Suppose 13*f - 5*f = -7*f. Suppose f*v - 3*v - 3 = -4*n, 4 = -n - 4*v. Is 16 a factor of 2 + 1 + n - (-87 - 6)?
True
Let n = 115 - 0. Let s = n + -58. Does 6 divide s?
False
Let p be 8760/(-540) - (-2)/27*3. Let a(n) = -7*n + 64. Does 3 divide a(p)?
False
Suppose 0 = 219*b - 202*b - 255. Suppose k + 0*d - 1033 = 5*d, 3*d - b = 0. Is 23 a factor of k?
True
Suppose o + d = 3251, -26*o + 2*d = -29*o + 9754. Suppose -4*i = -4*l - 3772, l + o = 3*i + 431. Is i a multiple of 32?
False
Let x be (3/(-6))/(2/(-20)). Suppose 5 = -x*q + 3*l - 5*l, l = -2*q - 2. Is (76 + q)/(0 + 2/4) a multiple of 25?
True
Suppose -3*b = 5*t + 15, 3*b - 6*t - 12 = -2*t. Suppose 0 = -5*v - 4*g + 18, 4*v - 5*g = -b*v - 2. Is ((-2)/v)/(4/(-212)) a multiple of 6?
False
Suppose 5*i - 65 = 5*f + 150, -5*i + 215 = 5*f. Suppose -i = j - 27. Does 3 divide (22 - 1)/((j/(-8))/2)?
True
Suppose -5*p - 2233 = 74*p - 471730. Is p a multiple of 10?
False
Is (-78)/(-6) - 51656/(-4) a multiple of 31?
True
Let h(g) = 3*g**2 + 5*g + 2. Let o be h(-3). Let l be (-95)/(-35) + 4/o. Suppose -j - 37 = -2*d, l*d - 49 = -2*j + 10. Does 2 divide d?
False
Suppose -30*b + 22690 + 31310 = 0. Is b a multiple of 10?
True
Suppose -2*s = -11*s + 216. Let q be (-14)/(-35) + (-1)/((-15)/s). Suppose q*b = 12 + 16. Does 11 divide b?
False
Let w(o) = o + 10. Let l be w(-5). Suppose -3*d - l*h - 25 = 94, -20 = 5*h. Let b = 110 + d. Does 7 divide b?
True
Let j(x) = -x**2 + 26*x - 42. Let b be j(24). Does 34 divide (-2)/(b/(-1293)) + -6?
False
Let p(j) = j**2 - 38*j + 530. Does 157 divide p(69)?
True
Let s(l) = -l**3 - 6*l**2 + 23*l - 30. Let x be s(-9). Is 20 a factor of (786/(-9) - x)*-6?
True
Let v(n) = 2280*n**2 - 30*n - 150. Does 31 divide v(-3)?
True
Let s(y) = -y**3 + y**2 - 10*y + 5. Let b be s(-7). Suppose -4*o + b = -277. Does 6 divide o?
True
Let s be (0 + 32/10)/(2/5). Suppose 12*x - 8 = s*x. Suppose -x*v + 103 = -47. Does 35 divide v?
False
Let x be ((-1560)/(-420))/(2/7). Suppose -350 - 274 = -x*f. Does 3 divide f?
True
Suppose -5*c - 237 + 3652 = 0. Let z = 1060 - c. Does 29 divide z?
True
Suppose -3*n + 29352 = -0*t - 4*t, -4*t = n - 9816. Does 17 divide n?
True
Let l = 84 + -72. Let v be -12*(-3 + 21/l + 0). Does 18 divide 24/v*(-180)/(-8)?
True
Suppose 3*f - 516914 = -10*a, -4*f - 78349 - 25043 = -2*a. Is 248 a factor of a?
False
Let n(r) be the third derivative of -r**5/60 - r**4/24 - r**3/3 + 17*r**2. Let b be n(-1). Is 102 + b - (-15 + 11) a multiple of 26?
True
Suppose 3*u + 4*v = 11937 + 3331, 3*v = 2*u - 10207. Is u a multiple of 26?
True
Suppose 22*p - 20911 + 1661 = 0. Let t = p + -621. Does 18 divide t?
False
Is -2*((-179990)/20 + -3) a multiple of 134?
False
Let q = -9 + 14. Suppose 154 = 16*x + 26. Suppose -3*l = q - x, -1004 = -4*r + 4*l. Does 28 divide r?
True
Suppose 2*f - 2*t + 16 = -3*f, -4*f + 4*t - 20 = 0. Let y(u) = -36*u**3 + u**2 + 5*u + 12. Does 42 divide y(f)?
True
Let w be ((-156)/(-195))/((-506)/505 + 1). Is w/(-3) - 26/(-78) a multiple of 11?
False
Suppose -7*f + 10*f = 4*x + 16512, -2*x = -f + 5500. Is 212 a factor of f?
True
Suppose -16 = -2*r - c, 5*c + 6 = 8*c. Does 23 divide (3 + -2 + r)/2*127?
False
Let f(h) = 688*h - 2803. Does 17 divide f(17)?
False
Let f = 7665 + -2321. Does 37 divide f?
False
Suppose 5*k = -4*o + 27363, 3*k = o + 1647 + 14747. Is 66 a factor of k?
False
Let h = 2549 - 2257. Is 4 a factor of h?
True
Let l be (0 - -190) 