b. Is t a multiple of 70?
False
Is 7 a factor of 1/((-5)/(-70)) - -184?
False
Let r = 8457 + -8453. Suppose 4 = -2*f + 3*f. Suppose -o + 160 = o + 3*h, 0 = f*o + r*h - 312. Is 6 a factor of o?
False
Let w be (-4)/12 + 2/6. Let k = 1260 + -1189. Suppose w = -3*z + k + 70. Is z a multiple of 4?
False
Let l(d) = 8*d**2 - 59*d + 2316. Is 17 a factor of l(55)?
False
Let x(t) = t**3 + 24*t**2 - 92*t + 3. Let l be x(-27). Is l + (0/11)/(2 + -1) a multiple of 50?
True
Let x(y) = 7 + 273*y**2 - 3*y + 280*y**2 + 5*y**3 - 550*y**2. Let t(z) = 6*z**3 + 2*z**2 - 3*z + 8. Let m(c) = -4*t(c) + 5*x(c). Is m(-7) a multiple of 2?
True
Is 18 a factor of 2/20 + 704671/290?
True
Let m(g) = 4*g**3 + 291*g**2 - 170*g - 264. Is m(-72) a multiple of 93?
True
Let y(q) = -q**3 - 15*q**2 + 41*q + 21. Let j = -444 - -426. Does 3 divide y(j)?
True
Let s = -31 + 44. Suppose s - 1 = 6*o. Suppose 0 = -m + 2*l + 34, -5*m + o*l + 150 = -52. Is 21 a factor of m?
True
Let t(q) = -2*q - 13. Let c be t(-9). Suppose -h + 3*f = f, 4*f = c*h - 6. Suppose -3*i = 2*x - 271, h*x + 451 = 5*i + 5*x. Is i a multiple of 18?
False
Let n(s) = s**3 + 39*s**2 + 67*s + 27. Suppose 2*o + 3*c + 59 = 0, 0 = 3*o + c - 4*c + 126. Does 22 divide n(o)?
True
Is 8 a factor of ((-2)/4)/(12/(-21832)) - (-7)/3?
True
Let t(p) be the third derivative of p**5/60 - 11*p**4/24 - 6*p**3 - 13*p**2. Does 16 divide t(-12)?
True
Let q = -28 - -30. Let a be 1/(2*(-1)/q) - -97. Let w = -47 + a. Is 4 a factor of w?
False
Is (-3 + 12186/(-24))/(241/(-40) + 6) a multiple of 66?
False
Let s = 12059 - 5932. Is s a multiple of 11?
True
Let q be (-16)/9 - -2 - 14/63. Let z be ((-8)/(-6) + q)*-3. Is 234 + 2 - (8 + z) a multiple of 58?
True
Suppose -2*f + 30546 = 4*r - 13138, -87379 = -4*f + 3*r. Is 58 a factor of f?
False
Let l(a) = -a**3 + 16*a**2 - 11*a + 113. Let j be l(9). Let m = j + 175. Does 14 divide m?
True
Let r(o) be the third derivative of o**5/60 - 3*o**4/8 + 4*o**3/3 + 6*o**2. Let z be r(8). Suppose z = -22*c + 18*c + 456. Does 14 divide c?
False
Suppose 0 = -18*r + 15*r + 3339. Suppose -4*j + 5*t = -882, 9*j - t = 4*j + r. Does 3 divide j?
False
Let w(j) = 3*j**2 - 48*j - 50. Does 123 divide w(75)?
False
Suppose 3*o - 118 = t + 325, -2*t - 156 = -o. Suppose 0 = 3*u + o + 151. Let x = u - -117. Is x a multiple of 2?
True
Let p(q) = 6*q**2 - 15*q - 266. Let v(c) = -5*c**2 + 16*c + 270. Let i(w) = -3*p(w) - 4*v(w). Is i(-13) a multiple of 56?
False
Let q = 3088 + -1998. Suppose -5*o = -10*o + 4*p + 1088, -5*o + 5*p + q = 0. Is 24 a factor of o?
True
Let t(p) = 23 - 2*p**2 - 36 - 72*p - 55 - 5*p. Is 25 a factor of t(-30)?
False
Suppose 0 = -8*m + 11*m - 45. Suppose -8 = 7*b - m*b. Does 26 divide (b - -1) + 158 + 0?
False
Let p(i) = -i**3 + 17*i**2 + 2*i + 25. Let c(n) = -4*n + n - 75 + n**3 + 3*n**3 - 3*n - 50*n**2. Let z(k) = -2*c(k) - 7*p(k). Is z(-19) a multiple of 3?
False
Let t(w) be the second derivative of w**5/20 + 23*w**4/12 + 19*w**3/3 - 53*w**2/2 + 163*w. Is t(-21) a multiple of 18?
False
Suppose 0 = -19*w + 165354 + 33158. Does 17 divide w?
False
Let l(w) = w**2 - 9*w + 26. Let k = 41 + -47. Let m be 3 + k + 12 + -1. Is l(m) a multiple of 12?
False
Suppose -2*a + 2*i + 4576 = -1770, 0 = -3*a - 5*i + 9527. Does 23 divide a?
True
Let m = 4 + -5. Let u be (-1 - m)/(-3 + 5). Suppose -4*c + 165 = -3*n + 2*n, u = 5*c + n - 195. Is c a multiple of 20?
True
Let o(t) = 79*t**2 - 19*t - 1. Is o(-7) a multiple of 110?
False
Let q be 15/(4 - -1) + (-534)/(-2). Does 27 divide (135/10)/9*q?
True
Suppose 51*r = 56*r - 10. Let g be (-3 + -1)/(0 + r/(-3)). Suppose -2*q - 164 = -3*l - g*q, 4*q - 284 = -5*l. Does 6 divide l?
True
Let n(m) = -57*m**2 + 2*m + 2. Let p be n(-1). Let k = p + 49. Let z(q) = -5*q - 9. Is 31 a factor of z(k)?
True
Suppose 2*i - 9 = 5*i. Let f(m) = -m - 1. Let c be f(i). Suppose 5*d = -2*x + 66, c*x - 6*x = 5*d - 152. Does 43 divide x?
True
Suppose 2*b = -4*d - 75 + 1, 0 = 5*d - 2*b + 70. Let l(o) = -32*o + 112. Does 13 divide l(d)?
True
Let h(b) = 2*b**2 - 12*b - 15. Let r = 136 - 88. Suppose -r = 11*a - 15*a. Is 34 a factor of h(a)?
False
Suppose 0 = 2*z - 4*m - 13512, -33747 = -464*z + 459*z - m. Does 135 divide z?
True
Let h(o) = 6*o - 14. Let k be h(5). Suppose k = 4*u - 3*u + 3*q, -4*q - 16 = 0. Suppose -4*b + 2*s = -140, 2*b + 3*s = b + u. Is 34 a factor of b?
True
Suppose 0 = -c + 3*c + 352. Let n = c - -381. Does 14 divide n?
False
Suppose -2*a + 61 = 35. Suppose -7*v - 6 = -a*v. Is (v*6)/(1 - (-1)/1) a multiple of 2?
False
Let u(s) = 435*s**3 + s - 2. Let n = 787 - 786. Is u(n) a multiple of 31?
True
Let n be 3/((-32)/(-56) + 10635/(-18501)). Let g = 29 - n. Is 35 a factor of g?
True
Is 14 a factor of (1350/(-20))/(-12 - (-3693)/308)?
True
Is 72864/(-440)*1785/(-6) a multiple of 21?
True
Suppose 4*m = -m - 105. Let f = 38 + m. Suppose 31 = 3*j - f. Is 16 a factor of j?
True
Suppose v + 5*o = 14, 0*v + 3*o = -3*v + 6. Let g be (v + (-1101)/(-21))*7. Suppose 27*r = 22*r + g. Does 12 divide r?
True
Let o = 3235 - 245. Does 46 divide o?
True
Let p(v) = -23*v - 108. Let j be p(-7). Let i = 97 + j. Is 10 a factor of i?
True
Suppose 0 = -a + 5*k + 12314, 4*a + 2*k + 9229 = 58485. Is 47 a factor of a?
True
Let x(h) = 2*h**2 - 29*h - 102. Let c(u) = 22*u**3 + u**2 + 4*u - 4. Let l be c(1). Does 17 divide x(l)?
True
Suppose 48*t + 24*t = -8*t + 127280. Is 25 a factor of t?
False
Suppose w + k - 12 = 0, -6*w - 5*k + 24 = -4*w. Suppose -w*h = -131 - 337. Let u = h + 16. Is 3 a factor of u?
False
Is 4 a factor of (-52768)/(-34) - (-12 + 2)?
False
Suppose -47 = 13*p + 18. Is 20 a factor of (-1 - -2)/(p/(3 - 3458))?
False
Let i = 9 + -6. Suppose -6*h = -h + 5*l - 55, -5*h - 4*l + 56 = 0. Does 37 divide -3*(-148)/h*i?
True
Let i(t) = 31*t**2 + 4*t + 4. Suppose -6*r + 2*r + 2*y + 58 = 0, -2*y - 19 = -r. Let m = -14 + r. Is i(m) a multiple of 5?
False
Let i = 46 - 31. Let n = -7 + i. Suppose 4*x + 24 = p, p - 11 = 5*x + n. Does 22 divide p?
True
Let n(g) = g**3 - 10*g**2 + 21*g - 2. Suppose 84 - 14 = 10*d. Let u be n(d). Is u*(-10)/(-25)*-95 a multiple of 19?
True
Let v(a) = -a**3 + 7*a**2 - 3*a - 14. Let x be v(6). Suppose x*m = k + 8 + 27, -3*m + 21 = k. Let h(i) = i**3 - 8*i**2 + 13*i - 15. Is h(m) a multiple of 28?
False
Let g(m) = 2*m - 24*m - 2*m**3 - 9*m**2 - 14 + 11*m + m**3. Does 10 divide g(-8)?
True
Let q be 11/5 - 19/95. Let x be (-1 + q)*(-2)/(-2) + 105. Suppose 14 + x = 4*m. Is 10 a factor of m?
True
Let y(d) = 7*d - 25. Let m be y(8). Suppose -m*i = -28*i - 12. Is i/(-10) + (-469)/(-35) a multiple of 13?
True
Suppose -32*g + 8 = -30*g. Suppose 47*p = 49*p - g. Suppose 3*f = 3*l + 120, -p*f + 5*l + 31 + 43 = 0. Is f a multiple of 6?
True
Suppose 5*p - s = 1794 - 197, 1589 = 5*p + 3*s. Let b = p + 487. Is 9 a factor of b?
False
Let u(l) = -l**2 - 2*l + 8. Let s be u(3). Is 686/2 - (-16 + -5)/s a multiple of 34?
True
Suppose -5*u + 60 = 45. Let y(f) = 5*f**2 - 3*f**u - 17*f**2 + 2*f**3 + 10*f**2 + 7*f - 10. Does 30 divide y(-5)?
True
Is 5 a factor of (26 + -3)*(66 + -11)?
True
Suppose -4*a = 4*c - 125724, 25*c = 19*c + 5*a + 188619. Is c a multiple of 91?
False
Let s(b) = 12*b**2 + 22 + b**3 - 47 + 41. Let j be s(-12). Suppose 429 - 77 = j*g. Does 22 divide g?
True
Let d = 20393 - 13061. Is d a multiple of 26?
True
Suppose h + 12743 + 201 = 3*q, -2*q + 8646 = -4*h. Does 60 divide 504/288 - q/(-4)?
True
Suppose -42*h + 17730 = -39*h. Does 62 divide h?
False
Let i = 3282 + -2308. Let b = 1273 - i. Is b a multiple of 16?
False
Let b(j) = -3*j + 16. Let q be b(4). Suppose -12 = 4*i - 7*i + 3*z, -q*i = 4*z - 56. Is i a multiple of 4?
False
Let d = 420 + 55. Does 25 divide d?
True
Let n(i) = -i**2 - 18*i + 89. Let w be n(-22). Is 10 a factor of ((-15)/(-9) - w) + 11210/15?
False
Let j = 1938 - -4413. Is j a multiple of 19?
False
Let r(v) be the first derivative of -32 - 23*v - 15/2*v**2. Is r(-8) a multiple of 15?
False
Suppose -15 = 9*h - 6*h. Let x be ((-276)/15 + 0)/(2/h). Suppose -r = -x - 9. Is r a multiple of 3?
False
Let h(m) = -m**3 + 12*m**2 + 30*m - 21. Let b be h(14). Let n(c) = -c**3 + 8*c**2 + 24*c - 4. Is 17 a factor of n(b)?
False
Does 19 divide 3*(-2)/12 + (-45393)/(-6) + -5?
False
Suppose 82110 = 11*f + 18*f - 14*f. Is f a multiple of 23?
True
Let a = -24693 + 37005. Is a a mult