actor of b?
False
Suppose -4*n = -3*s + 5185, 3*s - 4*n - 3454 = s. Suppose 4*k - 362 + s = 3*b, -4*b - 3*k = -1867. Is 21 a factor of b?
False
Suppose 0 = -4*s - c + 6083, 2*s = -4*c - 684 + 3722. Is 3 a factor of s?
True
Let c = -45 - -49. Let i be (-2)/c*366/(-3). Suppose 6 = -5*x + i. Is x a multiple of 11?
True
Let c be 2/((-2 - (-1 + 1))/2). Let h be ((-5)/(-5) - -1)/(-3 - c). Is 4 a factor of 12 + h + (-2 - 0)?
True
Let o = 127 + -88. Let x = o - -4. Is x + -4 + -2 + 5 a multiple of 21?
True
Let q be (-4 - (-1 + -3))*1. Let p(s) = s**2 - 3*s + 12. Let d(g) = 2*g**2 - 6*g + 23. Let t(l) = -2*d(l) + 5*p(l). Is 5 a factor of t(q)?
False
Let z(q) be the second derivative of q**4/3 + q**3 - 2*q**2 - 5*q. Let a be z(-3). Suppose j = -0*j - m + a, 2*j - 2*m = 40. Is j a multiple of 17?
True
Let u(r) be the first derivative of -55*r**2/2 - 14*r - 70. Does 16 divide u(-2)?
True
Let i = -367 - -103. Let m = -24 - i. Does 15 divide m?
True
Suppose 82199 = 5*d - c, 2*d - 109*c + 104*c = 32898. Does 103 divide d?
False
Suppose 0 = -2*z + y + 22616, 0 = 3*z + 2*y - 33916 + 20. Is z a multiple of 72?
True
Let q = 167 - 233. Does 2 divide -2 + 1*(-7 - q)?
False
Suppose -2*a + 8*h = 3*h - 58663, 5*h = -a + 29309. Is a a multiple of 5?
False
Is ((-352)/(-110) + -4)/(1 + (-2542)/2540) a multiple of 16?
False
Let k(s) = 25051*s + 143. Is 7 a factor of k(1)?
False
Suppose 10*k + 4185 = -5*k. Let b = k - -358. Is b even?
False
Let x be 2*-1*3/6. Let f be 334/(4*x/(-1) - 6). Is (f*3/9)/(2/(-6)) a multiple of 38?
False
Suppose 4*w + 540 = 4*f, 63*w - 67*w = 4*f - 516. Is f a multiple of 33?
True
Let f = 3325 + -2183. Is f a multiple of 15?
False
Let v(x) = 300*x - 502. Let p(i) = 150*i - 251. Let w(o) = 5*p(o) - 2*v(o). Is 13 a factor of w(8)?
True
Suppose -2*y = 208 - 80. Let t = y + 63. Does 8 divide -4 + ((-6)/3 - -62) + t?
False
Suppose 11*h - 502 = 1214. Let y = -131 + h. Does 4 divide y?
False
Let r(d) = -16 - 23*d - 27*d - 4 + 40*d. Is r(-24) a multiple of 11?
True
Does 17 divide (-3 - 48)*102/(-9)*7?
True
Let j(q) = q - 1. Let t(w) = 21*w - 25. Let k(p) = -21*j(p) + 3*t(p). Suppose -4*u - 4*c = -36, 21 = -u + 29*c - 15*c. Is k(u) a multiple of 15?
True
Let b(g) = -3*g - 15. Let q be 20/(-3) + (-36)/(-54). Let k be b(q). Suppose 2*t - k*x - 13 - 20 = 0, 3*t - 51 = 5*x. Is t a multiple of 4?
True
Let m(i) = 1668 + i - 1668. Let j be m(4). Suppose -4*b - 5*o = -j, -2*b - 3*o + 18 = 3*b. Does 5 divide b?
False
Let o(f) = 4*f**2 + 3*f - 47. Let z(r) = 5*r**2 + 2*r - 48. Let w(u) = 4*o(u) - 3*z(u). Let g be w(-10). Does 7 divide (29 - 1)/(g/(-8))?
True
Suppose 0 = 4*w - 34 - 10. Let i(r) = r**3 - 11*r**2 - 2*r + 12. Let g be i(w). Let m(c) = -4*c + 24. Does 7 divide m(g)?
False
Let v(o) be the third derivative of 3*o**5/20 + o**4/4 - o**3/2 + 7*o**2 + 35*o. Let t be (10/4 - 1)*-2. Does 10 divide v(t)?
True
Suppose -4*d - 7*c + 2*c + 113 = 0, 2*d = 5*c + 19. Suppose 5*i + 130 = -4*o, -2*o - 58 = 3*i + d. Is 28*((-50)/i)/(4/3) a multiple of 5?
True
Suppose 5*j = -5*j + 44500. Does 10 divide j?
True
Let l = -9697 + 14427. Is l a multiple of 16?
False
Suppose -225*a + 928302 = 221*a + 33*a. Is 34 a factor of a?
True
Let g(o) = -o**2 + 16*o - 15. Let c be g(15). Suppose 3*y - 6*y + 54 = c. Is 9 a factor of y?
True
Suppose -2*p = -2*q - 6, 3*p - q - 3*q = 8. Suppose -b - p*b + 13 = -2*c, 5*c - 8 = -b. Suppose 25 = b*u - 65. Is 10 a factor of u?
True
Let u be (5 + 0)*(-1528)/(-20). Suppose b - 4*q = -4 + 200, -2*b + u = 2*q. Is b a multiple of 64?
True
Let a = -49 - -100. Suppose a = v - 96. Suppose 3*i - i - 94 = -r, 3*i + 3*r - v = 0. Is 9 a factor of i?
True
Does 3 divide (39/6 + (-7 - 0))*-1422?
True
Let y(d) = 1039*d + 9829. Is y(-6) a multiple of 17?
False
Let c(g) = -2*g - 30. Let p be c(-30). Is 32 a factor of (-30)/(-4)*(1386/p - -5)?
True
Suppose o - z - 5206 = -3*z, 4*z = -4*o + 20828. Is o a multiple of 31?
True
Let a = -19 + 205. Let l = 222 + a. Is 24 a factor of l?
True
Suppose -3*r = 2*a - 73, a + 4*a = -2*r + 45. Let u = 42 + r. Suppose -4*c + 29 = -u. Is 4 a factor of c?
True
Let z be ((-20)/(-6))/(36/54). Suppose -z*d + 4144 = -1721. Is 60 a factor of d?
False
Let o(s) = -2*s - 28. Let p be o(-15). Suppose -2*l - p*l + 12 = 0. Suppose -7*f = -l*f - 216. Is 9 a factor of f?
True
Does 4 divide (-32)/(-3)*(273/(-910) + 504/5)?
True
Suppose -14 = 92*u - 78*u. Does 5 divide 27*15/45 + 1 + u?
False
Suppose 188767 = 54*z - 59633. Is 10 a factor of z?
True
Let s be (-8)/((-3)/6*2). Is 25 a factor of (-27060)/(-135) + s/(-18)?
True
Let c be (-16)/3*6840/(-96). Let t = 1300 - c. Is t a multiple of 46?
True
Suppose -2*p - 4 = 5*g - p, -p = 4*g + 4. Suppose g = 13*t - 4651 + 1414. Is 3 a factor of t?
True
Let u(d) = 199*d**3 - 2*d**2 + 3. Let x be u(2). Let p = -1035 + x. Does 69 divide p?
True
Suppose 4*u - 18 = s, -6 = 3*u - 2*u + 5*s. Suppose y - 5*f = -23, -f + 0 = -u*y + 3. Suppose w = -3*a - 8, -3*w - y*w + 4*a = -36. Does 2 divide w?
True
Let q = -20395 + 34272. Is 77 a factor of q?
False
Suppose -18*n + 336 = -14*n. Suppose 3*x + 22 - n = 4*b, -2*b = 3*x + 22. Let p(v) = -9*v - 42. Is p(b) a multiple of 12?
True
Let k(a) be the third derivative of -29*a**6/60 + a**5/30 + 7*a**4/24 + 4*a**3/3 + 67*a**2. Does 17 divide k(-2)?
False
Suppose -s = 2*i - 4468 + 1002, 5*i + 5*s - 8675 = 0. Is 17 a factor of i?
False
Suppose 0 = -0*l - 3*l + 138. Let i(z) = 26*z**3 - z**2 - z + 1. Let n be i(1). Let j = l - n. Does 7 divide j?
True
Let h = -21508 - -30335. Does 179 divide h?
False
Let k(h) = 22*h**2 - 21*h + 120. Does 19 divide k(-15)?
False
Suppose 3*v + 4*w - 6*w = 109, -2*v - 4*w = -46. Suppose -v - 43 = -p. Does 38 divide p?
True
Let x = 24027 + -18070. Is x a multiple of 18?
False
Suppose a - 5*a + 4*i + 14380 = 0, -4*a = i - 14360. Does 52 divide a?
False
Suppose -34*i = -10*i + 12*i - 94968. Is i a multiple of 2?
True
Let d = -602 + 782. Is d a multiple of 18?
True
Let i(p) = 21 - 19*p + 2*p + 51 - 10*p - 28*p. Is 6 a factor of i(0)?
True
Let n = 1447 + -587. Does 2 divide n?
True
Suppose 5*j - 10 - 15 = 0. Suppose 11*m - j*m - 216 = 0. Let s = m - 15. Does 2 divide s?
False
Suppose 8*c - 5*p = 11*c - 51183, -2*c + 34103 = -3*p. Is c a multiple of 13?
True
Let j(l) = 724 - 235 - 234 - 246 + 74*l. Does 14 divide j(5)?
False
Suppose -29 + 22 = -7*w. Let p = 53 - 16. Let m = p - w. Is 18 a factor of m?
True
Let x(s) = 24*s**3 - 20*s**2 - 11*s + 58. Is x(10) a multiple of 12?
True
Suppose 10070 = 3*m - 2*o, -5*m - 22*o + 27*o = -16785. Does 10 divide m?
False
Let y = 4217 - -1469. Is 43 a factor of y?
False
Let c(h) = 0 - 2 - 304*h + 11. Does 58 divide c(-1)?
False
Let d(t) = 49*t + 179. Is d(42) a multiple of 11?
False
Let j be 1*((2 - 4) + 6). Suppose 4*v - 676 = -3*w, j*v - 598 - 306 = -4*w. Is w a multiple of 12?
True
Suppose 0 = -9*i - 39*i + 87360. Is 10 a factor of i?
True
Suppose 743397 + 130306 = 53*d - 186827. Does 29 divide d?
True
Let z(i) = 30*i + 11. Let w = -21 + 31. Suppose 8 - 38 = -w*n. Is z(n) a multiple of 10?
False
Let f(b) = 127*b - 41. Let o be f(-2). Let n = 483 + o. Is 47 a factor of n?
True
Suppose -11*m + 5*s + 87119 = -7*m, 5*s + 43577 = 2*m. Is m a multiple of 123?
True
Let j(h) = 20*h**2 + 6*h - 8. Let g be j(2). Suppose -10 = -4*o + 210. Let n = g - o. Does 27 divide n?
False
Suppose 5*d - 11*d = 0. Suppose d = 2*h + 3*x - 2*x - 700, 1750 = 5*h + x. Is 14 a factor of h?
True
Suppose 0 = 14*j - 2*j - 117*j + 384615. Is 30 a factor of j?
False
Suppose 3 + 337 = 17*g. Let u(f) = 3 - 1 + g - f. Is 4 a factor of u(-4)?
False
Suppose 3*u - 53 = -2*u - 3*b, -2*u + 34 = -2*b. Suppose 4*v + 54 = u*v. Suppose 18*g = v*g + 96. Does 4 divide g?
True
Let p(f) = -f**2 + 12*f - 9. Let w be p(11). Suppose 305 = -5*m - w*b, 5*m - 2*b + 305 = -5*b. Let k = -45 - m. Is k a multiple of 16?
True
Suppose 1911 = 2*f + 5*g, -3*f + 44*g + 2880 = 47*g. Is f a multiple of 9?
True
Suppose 3 - 2 = 3*s + 2*m, s + 23 = 4*m. Let n(c) = 12*c + 8. Let i(a) = -11*a - 8. Let r(x) = 6*i(x) + 5*n(x). Is r(s) a multiple of 10?
True
Let v = 146 - 131. Let j be ((-9)/v)/(-1) - 1047/(-5). Suppose -p + 2*f - 7*f + j = 0, -2*p = f - 420. Is 15 a factor of p?
True
Let b(x) = x**3 - 13*x**2 + 20*x + 28. Let p be b(11). Suppose 2*q + 816 = p*q. Does 12 divide q?
Tru