8 - 452. Is 21 a factor of o?
False
Let s = 2888 - 2122. Is 36 a factor of s?
False
Suppose -4*f - 4 = -0*f - 3*a, 0 = 4*f - 2*a. Suppose f = -p - 1, 605 = 2*c - 3*p. Suppose 4*g = c + 146. Is g a multiple of 28?
False
Let b = 74 + -16. Let a = -36 + b. Does 8 divide a?
False
Let u be (-1 - 106/10)*-35. Let g be u/6 - (-4)/12. Let h = g + -44. Is 11 a factor of h?
False
Let g be (-2 + -49)/(-3) - 9. Let f = 4 - 8. Let b = f + g. Is b a multiple of 4?
True
Suppose -73 = -5*t + 5*n + 1262, 0 = t + 2*n - 282. Is t a multiple of 34?
True
Suppose 1971 = 7*q - 234. Is q a multiple of 15?
True
Let x = 580 - 115. Is x a multiple of 26?
False
Suppose 2*m + 1 = 4*v - 35, 0 = -2*m - 5*v. Let a = m + 14. Is 11 a factor of (-48)/a*(1 - 4)?
False
Suppose -3*w + 787 = -4*r, -4*r + 18 - 544 = -2*w. Is w a multiple of 16?
False
Let s be 361 + (0 - 0)*1. Suppose 4*n - s = -4*g - g, -5*g = -2*n - 367. Is 16 a factor of g?
False
Suppose -5*m + 2*m = -162. Suppose 5*g = 3*p + m, 0*p + g = p + 18. Let z = p + 28. Is z a multiple of 10?
True
Let o(j) = j**3 + 7*j**2 - 9*j + 1. Suppose 0 = -3*b + 2*h - 14, b - h - 1 = -4. Let w be o(b). Let p = 40 + w. Is p a multiple of 8?
False
Suppose 4*h + 9593 = 3077. Is 15 a factor of h/(-12) + (-6)/8?
True
Suppose 0 = -2*o - 4*g + 22, 2*o - 18 = 3*g + 18. Suppose 2*w = -3*w + o. Suppose -d - 71 = -5*x, -w*d + 61 = 3*x + d. Is x a multiple of 15?
True
Let v be (6/2)/((-6)/(-8)). Suppose -i + 8 = i. Is (-2 - (v - i)) + 62 a multiple of 20?
True
Suppose 19*q + 1860 = 24*q. Is 93 a factor of q?
True
Suppose -4*v = -26 + 6. Let x(a) = -5 + 5*a - 2*a - a**3 - 2 + 6*a**2. Does 11 divide x(v)?
True
Suppose -24*q - 1393 = -12625. Is q a multiple of 15?
False
Let r(l) = l**3 + 8*l**2 + l + 6. Let g be r(-8). Let k(y) = 16*y**2 - 3*y - 4. Is k(g) a multiple of 11?
True
Let i be 172/20 - 2/(-5). Let b = -8 + i. Does 27 divide b/3 - (-3914)/57?
False
Let v = 5296 - 2865. Is v a multiple of 85?
False
Let j = 271 - 37. Does 30 divide j?
False
Suppose d + 3*u = -0*d - 8, -4 = u. Suppose -2*a + 28 = -d*a + 3*m, -3*m = 3*a + 42. Let s = -2 - a. Does 3 divide s?
True
Suppose 11*i + 4*w - 350 = 13*i, 0 = -2*w + 8. Let f = i - -349. Does 7 divide f?
True
Is ((-24)/14)/(136/(-16660)) a multiple of 15?
True
Suppose 3*l - 28 = -4*m, 5*l = 3*l - 2*m + 16. Suppose 0 = 5*h, -2*o + 180 = 3*o + l*h. Suppose 3*n + c = o + 136, 0 = 4*n - 4*c - 208. Is n a multiple of 23?
False
Let h be (8/(-24) + (-1)/6)*-10. Suppose h*b - 3 = -t + 18, -4*t + 101 = 3*b. Is 13 a factor of t?
True
Suppose 4*b + 9*i - 4*i = 5, -3*b = -i + 1. Suppose -4*n + b*n = -2*c + 142, 2*c - 138 = 3*n. Is c a multiple of 7?
True
Suppose 40*u - 1743 = 2697. Is u a multiple of 18?
False
Let r be 31/8 + 11/88. Suppose 2*o - r = 6. Suppose -o*j + 120 - 11 = 2*q, -2*q + 108 = 4*j. Is q a multiple of 27?
False
Does 40 divide 100/(-6)*11088/(-210)?
True
Is 12 a factor of (-44)/3*1575/(-300)?
False
Suppose 3*f - 8 + 2 = 0. Suppose 4 = f*i, 5*k = -3*i - i - 72. Let q = k + 34. Is q a multiple of 6?
True
Suppose 5*o = -a + 923, -5*a + 5*o + 4705 = -0*o. Does 21 divide a?
False
Is ((-9)/6)/(21/28) - -240 a multiple of 17?
True
Suppose 0 = 3*q + 2*z - 989, 5*q - 5*z - 1619 = -z. Suppose 2*w + 2*s - 163 = q, 5*w - 1233 = -s. Does 19 divide w?
True
Suppose -5*h + 622 + 873 = 0. Is 55 a factor of h?
False
Let j be -1 - (-3 - (3 + -4)). Let v(k) = 5 + 4*k + 12*k - 6 + 5*k. Is 7 a factor of v(j)?
False
Suppose 21*o - 18*o = -4*r + 1678, -r = 2*o - 1127. Is 18 a factor of o?
False
Let b(j) = -59*j - 166. Is 10 a factor of b(-4)?
True
Let q be (-3 - -4) + 3/(0 - -3). Suppose 17 = -q*s + 283. Is s a multiple of 19?
True
Let d(x) = 5*x**2 - 4*x - 3. Let f be d(5). Suppose -5*k + f = -s, -k - 5*s = 3*k - 70. Does 20 divide k?
True
Suppose -1944 = -2*z - 10*z. Does 2 divide z?
True
Let a(c) = -13*c + 155. Is a(10) a multiple of 6?
False
Let x(y) be the first derivative of -y**5/20 + y**4/6 + y**3 - 7*y**2/2 - 11*y - 3. Let t(h) be the first derivative of x(h). Does 2 divide t(3)?
True
Is 6 a factor of -4 + 3 - (0 - 337)?
True
Let h(u) = u**2 + 4*u + 13. Suppose -6*k - 44 = -2*k. Does 30 divide h(k)?
True
Suppose -h = -0*h - 61. Suppose 0 = 2*p - 163 + 47. Suppose m + p = 5*n - h, -3*m = 4*n - 80. Does 4 divide n?
False
Let s be (-2)/14 + 76*2/(-14). Let c(i) = -i**2 - 10*i + 13. Let x(q) = -2*q**2 - 20*q + 26. Let u(m) = 9*c(m) - 4*x(m). Is u(s) a multiple of 2?
True
Let y(t) = -t**2 - 5*t. Let n be y(-3). Suppose 7*w = l + n*w - 33, -4*w + 28 = l. Does 29 divide l?
False
Does 10 divide (2 + (-5)/(100/(-56)))*160?
False
Let c(z) = z**2 - 4*z + 1. Let g be c(4). Does 9 divide (-18)/(-8)*12/g?
True
Let u = -89 - -91. Suppose u*l = -t + 34, -1 + 3 = -l. Is 14 a factor of t?
False
Let h(a) = a + 22. Let r be h(-14). Does 7 divide (-1 + 134/r)*4?
True
Let n be 238 - (-2 - -1)*2. Let x = -36 + n. Suppose -2*p + x = 2*p + 4*b, 4*b = 5*p - 219. Does 24 divide p?
False
Suppose -3*r + 14 = -4*r - 3*z, -5*r - 34 = 3*z. Let f be 3/(-12) + r/(-4). Is 11 a factor of 282/6 - 3/f?
True
Suppose -v = 1 - 0. Let q(u) = u**3 + u. Let h(o) = -15*o**3 - 4*o - 1. Let y(b) = h(b) + 4*q(b). Does 10 divide y(v)?
True
Let s(k) = k**3 + 2*k**2 + 2. Let g(f) = f**2 + 6*f + 7. Let q be -1 + (1 + 3)*-1. Let n be g(q). Is 6 a factor of s(n)?
True
Let b be (24/(-60))/(2/(-580)). Suppose p - s - 58 = 0, 2*p + 3*s + 2*s - b = 0. Does 14 divide p?
False
Suppose 2*j = -j + 141. Suppose 0 = -c + 133 - j. Is 35 a factor of c?
False
Let i = -23 - -47. Suppose 3*j = -j + i. Suppose 2*z + j = 46. Is 10 a factor of z?
True
Let x(o) = o**2 + 7*o + 10. Let u be x(-4). Let t(c) = 52*c**2 - 4*c - 10. Is t(u) a multiple of 14?
False
Let w(h) = 6*h**2 + 4*h + 5. Is 3 a factor of w(-6)?
False
Let l = -10 + 104. Let j = l + -39. Is j a multiple of 16?
False
Suppose b + 5*y = -7, -5*y = -2*b - 2*b - 128. Let l = b - -49. Suppose l + 146 = 4*i. Is 14 a factor of i?
True
Is 21 a factor of ((-208611)/1053)/(1/(-9))?
False
Does 21 divide -5 - 152/(0 + -1)?
True
Suppose -5*a + 153 + 92 = 0. Let l(v) = -v**2 + 9*v - 6. Let w be l(8). Suppose -17 = w*o - a. Is 16 a factor of o?
True
Let d = -600 + 1764. Does 12 divide d?
True
Let i be (-4)/(-18) + (-68)/(-18). Suppose -3*f - i = -j, 4*f + 2*j - 3*j + 4 = 0. Is (f - -5)*(14 + -8) a multiple of 15?
True
Let l(o) = o**2 - 6*o - 7. Let s(a) = 2*a**2 - 6*a - 7. Let j(t) = -6*l(t) + 7*s(t). Is 21 a factor of j(-4)?
False
Suppose -396 = 6*d - 10*d. Suppose z - 79 = -3*u, -z + 2*u = -0*z - d. Is z a multiple of 21?
False
Suppose 4*s - 718 = -a + 335, s - 262 = a. Does 19 divide s?
False
Let n(x) = -2*x + 4. Let g be n(1). Suppose 0 = 4*y - g - 18. Suppose y*k - t = 65, 5*k + 0*t = -4*t + 40. Does 2 divide k?
True
Let j = -10 - 6. Let d = j - -32. Is 4 a factor of d?
True
Let n(j) be the second derivative of j**6/120 - 7*j**5/60 + 7*j**4/24 - j**3/6 + 3*j**2/2 + 5*j. Let b(a) be the first derivative of n(a). Does 5 divide b(6)?
True
Suppose 3*f = -3*r + 4*r + 86, 4*r = 3*f - 74. Let o = f - 17. Is o a multiple of 13?
True
Let u(r) = -2*r**3 - 81*r**2 + 39*r + 31. Is 14 a factor of u(-41)?
False
Let o = 738 + -514. Does 6 divide o?
False
Let r be ((-114)/9)/((2 + -1)/135). Is r/(-42) + 8/28 a multiple of 15?
False
Suppose 8762 = 9*s - 3829. Does 28 divide s?
False
Suppose i + 3*i - 3*j = -27, 14 = -3*i + j. Let q be i/9 - (-115)/3. Suppose -4*d + q = -70. Does 9 divide d?
True
Let i(b) = b**3 + 2*b**2 + 4*b + 3. Let g(q) = q + 10. Let t be g(-12). Let v be i(t). Is 172/10*v/(-2) a multiple of 14?
False
Suppose u = 24 + 3. Let w(v) = v**2 - 23*v - 19. Is w(u) a multiple of 14?
False
Let l(f) = f**2 + 16*f + 6. Let z(v) = 3*v**2 + 33*v + 13. Let r(s) = -9*l(s) + 4*z(s). Let t(p) be the first derivative of r(p). Does 12 divide t(10)?
True
Let a(y) = -y**2 + y + 8. Let t be a(3). Suppose t*w - 14 = 2*z - 118, z - 5*w = 52. Suppose z - 20 = 2*s. Is s a multiple of 8?
True
Let j be -101 - (20/(-5) + 5). Let z = 148 + j. Suppose 2*k + i - z = 0, -3*k - 58 = -5*k + 5*i. Does 6 divide k?
True
Suppose -i + 231 = q, 101 = i - 5*q - 136. Suppose 4*j - 3*j - i = 0. Does 32 divide j?
False
Let n = -9 + 12. Suppose 2*s - n*s = 0. Suppose -3*v + 0*v + 30 = s. Does 10 divide v?
True
Suppose 4*v - 12 = 0, -9552 = -3*m + 47*v - 42*v. Is 29 a 