 = q - 111. Let r = -68 + q. Is 9 a factor of r?
True
Suppose j + 0 - 3 = 5*b, j = b + 3. Suppose i - 6 + 0 = b. Is 3 a factor of i?
True
Let f be 0*5/(-20) + 175. Suppose 5*c = -3*w + f, w = -0*w - c + 61. Is 15 a factor of w?
False
Let t(u) be the first derivative of -6 - 3/2*u**2 + 0*u. Is 3 a factor of t(-2)?
True
Suppose 0 = 71*n - 76*n + 1980. Is 6 a factor of n?
True
Let w(i) = i**2 - 29*i + 55. Let b be w(27). Does 5 divide (-5)/((-25)/295) + b?
True
Let x(d) be the first derivative of 9*d**2/2 - 12*d + 14. Does 19 divide x(10)?
False
Is 26 a factor of (-2 - -9)*(-14)/(-147)*1119?
False
Suppose 0 = -5*x - 19 + 1819. Suppose 8*d - 5*d - x = 0. Is 24 a factor of d?
True
Suppose 4*x - 3*i - 7500 = 1703, -5*i = -4*x + 9205. Does 23 divide x?
True
Suppose 4*h = -2*s, -2*h + 4 = -3*s + 12. Suppose -3*y = -s*y - 207. Is 26 a factor of y?
False
Let f = 13308 + -9505. Does 32 divide f?
False
Suppose 1166 = 2*w - 4*j, 4*w - 2548 = 2*j - 210. Does 2 divide w?
False
Let n be 4*(7/(-2) + 3 + 1). Suppose -n*h + q + 181 = 0, -q + 5*q = -4*h + 356. Is h a multiple of 15?
True
Let v = -26 + 21. Let l(g) = g**3 + 4*g**2 - 5*g - 8. Let q be l(v). Is q/52 - 1293/(-39) a multiple of 11?
True
Suppose 3*h - 17 + 8 = 0. Let x(v) = v**3 + v**2 - 1. Let p be x(-2). Does 10 divide (-133)/p - h/5?
False
Let x(o) = o + 2. Let y be x(-4). Let f be 3 - (4 + -2) - y. Does 4 divide (f/2)/((-3)/(-8))?
True
Let t be 134/2 + 2 - -2. Suppose -59 = -5*y + t. Let c = -17 + y. Is 3 a factor of c?
True
Suppose -v + 0*v = 5*j - 743, 432 = 3*j - 4*v. Is 40 a factor of j?
False
Suppose -y = 2*j, -4*y + 0*y + 24 = -4*j. Suppose 4*r - 2*u - 286 = -7*u, 0 = -y*r + 3*u + 302. Does 23 divide r?
False
Let w = -161 - -158. Is 8 a factor of (w + (10 - 5))*22?
False
Let u(x) = -x + 5. Let h(m) = -2*m + 9. Let b(c) = 3*h(c) - 7*u(c). Does 2 divide b(10)?
True
Suppose -5 = 3*i + 7. Let n be 1/(2*i/(-32)). Suppose 0 = 4*b + n - 100. Is 24 a factor of b?
True
Let q = -6333 + 9715. Is 93 a factor of q?
False
Let o(x) = x**3 - 68*x**2 + 7*x - 570. Does 41 divide o(69)?
True
Suppose 0 = -d - 0*d + 18. Suppose -3*v = -4*t + 14, 3*t - t = -4*v + d. Suppose -t*z + 26 = 4*h, h = -5*z + 24 + 5. Is z a multiple of 3?
True
Suppose 3*u - u - 196 = 0. Suppose 4*w + 5*m + 79 = -26, 4*w = 2*m - u. Let c = -14 - w. Does 11 divide c?
True
Let l(g) = 39*g**3 + g**2 - 3*g + 5. Let h be l(2). Is ((-73)/(-3) + -1)/(42/h) a multiple of 35?
True
Suppose -121 = 4*b - 15*b. Suppose t = 5*t - 5*r - 61, -b = t + 4*r. Is t a multiple of 2?
False
Let a = 17 - 17. Suppose a = -3*n + 6, -5*x = -3*x - 3*n. Suppose -4*c = -x*d + c + 113, -2*d = 5*c - 67. Is d a multiple of 12?
True
Suppose -4*v + 23 + 285 = 0. Suppose h = -d + 59 + 24, -d + 5*h + v = 0. Suppose g = 203 - d. Is g a multiple of 33?
False
Suppose -73*w - 1651 = -86*w. Does 2 divide w?
False
Let q(b) = b**2 + 5*b - 72. Is 44 a factor of q(12)?
True
Let l(j) = j + 19. Suppose -3 = b + 3. Is 12 a factor of l(b)?
False
Let f = 221 + 85. Is f a multiple of 18?
True
Suppose -21925 = -9*d + 22994. Is 161 a factor of d?
True
Suppose -73*n + 74*n = 1638. Is 42 a factor of n?
True
Let v(n) = -4*n**2 - 11*n + 17. Let z(p) = 5*p**2 + 11*p - 18. Let f(u) = 6*v(u) + 5*z(u). Is 9 a factor of f(11)?
False
Does 8 divide (10/14 - 1)/((-6)/1722)?
False
Let x be 5/2*(-2336)/80. Let h = x + 119. Is 6 a factor of h?
False
Let n(z) = -100*z**2 + 1. Suppose -2*l - 1 = -c, -12 - 19 = -5*c - 3*l. Let q(y) = 200*y**2 - 2. Let u(m) = c*n(m) + 3*q(m). Is u(1) a multiple of 13?
False
Let f = -1856 - -3886. Is 145 a factor of f?
True
Suppose 5*q = 3*q, 0 = p + 4*q - 81. Is p a multiple of 9?
True
Suppose 13*r = 1161 + 4910. Is 7 a factor of r?
False
Suppose 0 = -5*q - 2 + 27. Suppose -4*h = -q*a - 5, a + 4*a = -h - 5. Is a + (-4)/(-4) + 30 a multiple of 8?
False
Suppose -6 = 3*m, 4*g - 3*m - 262 - 1616 = 0. Does 20 divide 3/(g/(-160) - -3)?
True
Let m be 3 + 4/(-2) + 7. Suppose 3*r - m*r + 21 = -c, -3*c = 3*r + 135. Let w = -25 - c. Does 16 divide w?
True
Let v(t) = -5*t**2 + t + 1. Let l be v(1). Let m(k) = 16*k**2 - 5*k - 4. Is m(l) a multiple of 28?
False
Let y be (3/(-2))/((-27)/(-1440)). Let w(i) = -7*i**2 + 4*i + 3. Let m be w(-2). Let k = m - y. Does 22 divide k?
False
Let a(w) = w**3 - 3*w**2 - 9*w + 5. Let v be a(4). Does 46 divide (-6)/v + (-408)/20*-9?
True
Suppose 4*n + 12 = 5*o - 0, -3*o + 10 = -n. Suppose -2*z + 8 = 3*a - 2*a, 4*z - 12 = -a. Suppose -b = 3*b + o*h - 20, 2*b + a*h = 6. Does 3 divide b?
False
Let p(i) = -i**3 + 28*i**2 + i + 3. Does 3 divide p(28)?
False
Let s(z) = 3*z**2 + 22*z - 23. Does 10 divide s(16)?
False
Let x be (2/5)/(((-3)/(-1))/15). Suppose h + 2*h + 4*i = 156, x*i = 5*h - 286. Is h a multiple of 14?
True
Let d(m) = -m**2 - 14*m + 20. Let c be d(-14). Suppose r - c - 90 = 0. Is r a multiple of 22?
True
Let a be (22/2)/((5/30)/1). Suppose 207 = 69*b - a*b. Does 12 divide b?
False
Let j be 2 + 56/(-30) + 5093/165. Suppose -j = -2*c + 23. Is 9 a factor of c?
True
Suppose -3*i + i = 0. Let f(s) = 2*s**2 - 3 + i - 2 - 3*s - s**2. Does 2 divide f(5)?
False
Is 39 a factor of (190 + 4)*(0 + 4)/8?
False
Let n(v) = v**3 + 2*v**2 - 5*v - 2. Let m be n(-3). Suppose 3*z = -3, m*b - 2*z = -0 - 2. Is 6 a factor of b/(-1) - (2 - 7)?
True
Let r = 496 - 296. Is r a multiple of 50?
True
Let f(w) = w**3 + 8*w**2 + 9*w - 4. Let b(m) = 4*m + 16. Let s be b(-5). Is f(s) a multiple of 12?
True
Suppose -5*h - 5305 = -5*x, 11*x - 5335 = 6*x - h. Does 9 divide x?
False
Let b(p) = 5*p + 9. Is 3 a factor of b(11)?
False
Let n = 114 - 132. Is (n/(-8))/(2/40) a multiple of 3?
True
Let t(k) = 2*k**2 - 13*k - 1. Let d be t(7). Suppose -7*p = -d*p - 105. Is 35 a factor of p?
True
Suppose 3*i + 20 = -5*m + 308, m - 2*i = 55. Does 19 divide m?
True
Suppose 0*n + 2*n = 36. Let t be ((-76)/10)/(-1) + (-177)/295. Let l = n + t. Is 25 a factor of l?
True
Let j(d) = 2*d**2 - 24*d - 9. Does 3 divide j(13)?
False
Suppose -8*r + 72 + 40 = 0. Suppose r*w - 154 = 3*w. Is 7 a factor of w?
True
Let c(u) = u**2 - 6*u - 5. Let y be c(6). Let f be 2/y - 854/(-10). Let l = f - 56. Is l a multiple of 16?
False
Let g = -1220 + 1375. Does 31 divide g?
True
Suppose -58 = -5*h + 17. Suppose -3*k - 5*v - h = 0, 0 = 5*k + v - 5*v - 12. Suppose k*u - 155 = -5*u. Is u a multiple of 20?
False
Let u = -563 - -887. Is u a multiple of 18?
True
Let o(f) be the first derivative of 2*f**2 + f - 17. Let j be 2 + (1/(-1) - -6). Is o(j) a multiple of 10?
False
Let b be (-1 - -1)/((-8)/4). Suppose b = -2*s + 74 + 20. Is 30 a factor of s?
False
Let p = 130 - 90. Suppose -5*c - 10 = -i, 2*c - 28 = -2*i + p. Does 30 divide i?
True
Suppose -154*g + 3465 = -143*g. Is 45 a factor of g?
True
Let s(o) = o**3 + 3*o**2 - 4*o. Let j be s(-4). Suppose 0 = -2*w + 5*y + 11, -3*w + y - 3 + j = 0. Does 11 divide w*(-4 + (-141)/6)?
True
Is 14 a factor of ((-54)/5 - -10)/(4/(-3290))?
True
Does 16 divide -3 - ((-5)/10*2 - 450)?
True
Let l(b) be the first derivative of b**3 + 7*b**2/2 + 6*b + 1. Let y be l(-4). Suppose -3*f + 2*o + y = 0, 0 = -3*f - 2*o - 2*o + 38. Does 3 divide f?
False
Let n be (-8 - -5)*22/(-6). Suppose -n*s + 8*s = -12. Suppose -329 = -s*o - 3*d, -2*o + 2*d - 4*d = -164. Does 21 divide o?
False
Suppose -4*j + 2*j = 24. Let t = 71 + j. Is t a multiple of 11?
False
Let f = 46 + -7. Let h be 2/(3*(-2)/f). Let p = 17 + h. Is p a multiple of 3?
False
Let y be 2/(-2 - -4) - 24. Let n = 78 + y. Does 11 divide n?
True
Suppose 1606 = 5*n - 54. Let x = n - 217. Is x a multiple of 6?
False
Let s(c) = 6*c**2 - 16*c + 63. Is s(6) a multiple of 4?
False
Let g(j) = 16*j**2 - 18*j + 38. Is 14 a factor of g(4)?
False
Suppose 62 + 320 = 2*c. Let y = c + -131. Does 12 divide y?
True
Suppose -11*c = -889 - 79. Is c*(12/16 - -2) a multiple of 11?
True
Suppose -3736 = -10*s + 2*s. Is s a multiple of 49?
False
Let r(a) = 13*a**2 - 8*a + 21. Does 17 divide r(5)?
True
Suppose 2*o - 4*h - 3350 = 0, -4*o - 4*h + 4775 = -1937. Does 115 divide o?
False
Let d(g) = g**3 + 3*g**2 + 5*g. Let n be d(-2). Is 20 a factor of 4*-1 + (38 - n)?
True
Suppose -363*h = -358*h - 2910. Is 4 a factor of h?
False
Suppose 2*m + 6*a - 724 = 7*a, -4*m - a = -1436. Does 15 divide m?
True
Suppose y - 14 = 2*r, 2*y - r - 33 = -2*r. Let l = y - -75. Does 14 divide l?