08. Is r a multiple of 91?
True
Is 5898*9/126 - (-4)/(-14) a multiple of 62?
False
Let i(u) = u**3 + u**2 + 5*u + 2. Let j be i(-3). Let a = -28 - j. Suppose -a*d - 264 = -7*d. Is d a multiple of 14?
False
Suppose -3*f = -5*f + 6. Suppose -f*m - 4*q - 85 = -505, q - 683 = -5*m. Does 17 divide m?
True
Let w be (-2)/3*(-6630)/52. Suppose 0*y = 5*y - w. Does 4 divide y?
False
Let d(j) = -2*j**2 + 8*j - 4. Let z be d(3). Suppose -219 = -5*m + z*i + 330, m = -5*i + 99. Is 13 a factor of m?
False
Let g = -485 + 649. Does 41 divide g?
True
Let a(b) = b**2 + 9*b + 5. Let m(y) = -y**2 - 3*y - 5. Let i be m(-3). Let s be a(i). Let n = s + 18. Is 3 a factor of n?
True
Suppose -10*c + 30*c = 300. Let b(s) = -s + 9. Let u be b(5). Suppose -c = u*l - 27. Is l even?
False
Let h(j) = 4*j + 147. Suppose 0 = 6*q - q. Is 49 a factor of h(q)?
True
Let c = -108 + 754. Is 38 a factor of c?
True
Let f(z) = z**3 - 29 + 24*z + 48*z - 93*z + 7 + 8*z**2. Is f(-9) a multiple of 13?
False
Let o(l) = -2*l - 48. Let q(w) = -5*w - 144. Let n(x) = 8*o(x) - 3*q(x). Suppose 6*d - 2*d = 0. Is n(d) a multiple of 16?
True
Let c = -476 + 2024. Is 12 a factor of c?
True
Let i(p) = p**3 - 9*p**2 - p + 7. Let z be i(9). Let h(n) = -14*n - 4. Is h(z) a multiple of 8?
True
Suppose z - 3*i + 10 - 2 = 0, -2*z = i + 37. Let x = 17 + z. Suppose x*j = h + 4*j + 4, -2*h + 20 = j. Is 4 a factor of h?
True
Let f be (17 - 14)/(2/12). Suppose 3*u = 30 + f. Is u a multiple of 2?
True
Suppose -4*z = -181 - 363. Suppose -b - 3*b = -z. Suppose 4*k + 4*x + x - b = 0, k = 2*x + 2. Does 2 divide k?
True
Let z = 2179 + -559. Is z a multiple of 25?
False
Let g = 10 - 17. Let h = g - -12. Does 27 divide 2/h + 286/10?
False
Let a(z) = 25*z + 152. Does 23 divide a(16)?
True
Is 3 a factor of (-9 + -50)*-1*1?
False
Let n = -1177 - -1567. Is 102 a factor of n?
False
Let l = -1 + 7. Let f(b) = 16 - l + 10*b + 10 + b**2. Does 4 divide f(-8)?
True
Let o be 133/21 - 12/9. Suppose -o*b = -0*b - 175. Is b a multiple of 5?
True
Suppose -264 = 19*y - 21*y. Let f = y + -92. Is 5 a factor of f?
True
Suppose -1 = z - 2. Let d(f) = -29*f**2 - f. Let u be d(z). Let r = -14 - u. Does 16 divide r?
True
Suppose -55 + 10 = -9*g. Suppose -g*a + 2*w + 3*w + 410 = 0, 2 = -w. Does 31 divide a?
False
Let k = 130 + -133. Is 360/28*(-21)/k a multiple of 9?
True
Suppose 4*n = -7 - 1. Let y be 3 - (-3 - (3 + n)). Suppose -5*a + y*a - 68 = 0. Is 12 a factor of a?
False
Let v(u) = 15*u**3 + u**2 - 2*u + 1. Let w be v(1). Let q(a) = a**2 - 14*a - 10. Let z be q(w). Suppose 305 + 215 = z*n. Is n a multiple of 26?
True
Is 7 a factor of (2 - (0 + 4/(-1))) + 460?
False
Suppose q - 4*s = 5*q - 588, 5*q - 4*s - 708 = 0. Let d(t) = t**3 - 3*t**2 - 8*t - 6. Let j be d(5). Suppose j*k = k + q. Is k a multiple of 18?
False
Is 2/(7/28 - 564/2288) a multiple of 74?
False
Let y = -13 + 21. Is (4/y)/((-3)/(-42)) even?
False
Let l(g) be the first derivative of 2*g**4/3 - 2*g**3/3 - 2*g**2 + 11*g + 4. Let h(t) be the first derivative of l(t). Does 16 divide h(-3)?
True
Suppose -7 = a - 3. Is 7 a factor of 3*a/(-6) + (25 - 7)?
False
Let u(c) = c**3 + 5*c**2 + 5*c + 6. Let s be u(-4). Suppose -s*m + 3 = -5*m. Does 11 divide 22 - (3 - 2)*m?
False
Suppose 26*p + 246 = 29*p. Suppose -293 = -3*n - o, 3*o - 5 = -n + p. Does 13 divide n?
False
Let c = 3 + -23. Let g be c*(7/4)/(-7). Suppose -2*i + 4*d + 34 + 30 = 0, g*i - 112 = -2*d. Does 8 divide i?
True
Let g = -204 + 207. Suppose -5*u + 3*y = -646, u + 4*y - 667 = -4*u. Suppose -g*x - 50 = -u. Is 7 a factor of x?
False
Suppose 0 = -82*i + 81*i + 166. Does 7 divide i?
False
Let i(z) = -14*z - 1. Let j = 9 - 3. Suppose 15 = -j*s + s. Is 16 a factor of i(s)?
False
Suppose -4*i + 2232 = 2*a, -a - 3*i = -124 - 995. Is 10 a factor of a?
True
Let u(m) = m**2 - 6*m - 6. Let w be u(6). Let n(h) = h + 6. Let v be n(w). Suppose -2*y + 4*g + 10 = v, -2*g - 12 = -y - y. Does 2 divide y?
False
Let u be 3/1 - 2/2. Let l(a) = 20*a**u - 7*a**2 - 6 + a**3 - 8*a**2 - 6*a. Is 11 a factor of l(-5)?
False
Let l(g) = -g**2 - 9*g + 8. Let h be l(-9). Let v(z) = z**2 - 2*z - 2. Is v(h) a multiple of 8?
False
Let v be (-6 + (-40)/(-6))*(-3)/2. Does 13 divide 0 - v - (-166 + -2)?
True
Let u = 2 + 122. Is u a multiple of 7?
False
Suppose -4*m = -165 - 139. Suppose -16 + m = 3*g. Is g a multiple of 7?
False
Let v(w) be the second derivative of -w**4/12 + w**3 + 9*w**2/2 - 6*w. Let c be v(7). Suppose c*s + 4*j - 70 = -j, 0 = -s - 4*j + 38. Is 9 a factor of s?
False
Let y(z) = z**2 + 4*z - 5. Suppose -20 = 3*h + h. Let q be y(h). Is 104/(6 - 2) + q a multiple of 7?
False
Suppose -12*o = -3*o - 864. Let a = o + -20. Does 19 divide a?
True
Let n = 25 - 17. Let w(y) = -y + 16. Let o be w(n). Let l(d) = -2*d**2 + 20*d - 19. Does 3 divide l(o)?
False
Let q be (-8)/(6 + -2)*-6. Suppose -q = 5*a + 18. Let o(p) = p**2 + 3*p + 7. Does 25 divide o(a)?
True
Let h(v) be the second derivative of v**4/12 + 4*v**3/3 - 15*v**2/2 - 22*v. Is 15 a factor of h(7)?
True
Suppose n - 39 = l - 0*n, 3*l + 117 = -4*n. Let u = 21 + l. Is (15 - 14)/((-1)/u) a multiple of 11?
False
Suppose 3*z - 4*c - 2530 = 0, 3*c - 1138 + 3673 = 3*z. Is 30 a factor of z?
False
Let g(u) = -34*u - 16. Let r be g(-7). Let c(v) = -15*v + r - 222. Is c(-3) a multiple of 21?
False
Let x = 50 - 50. Does 4 divide 3 - (x/(-1) + -6)?
False
Let j = 86 + -81. Suppose -j*r - 20 = 0, 0 = 3*x + 4*r - 2*r - 769. Does 9 divide x?
False
Suppose -25 = -3*p + 17. Suppose p*n - 625 = 9*n. Does 23 divide n?
False
Suppose -3*s + 8*s = 0. Suppose f + 1 = 3*y - 4*f, s = -2*y + 4*f. Is 2*(y - 1) + 32 a multiple of 17?
True
Let d = 4 + -4. Is -3 + (47 - (-4 - d)) a multiple of 24?
True
Is (7 - 10)*13995/(-27) a multiple of 19?
False
Suppose 0*t - 32 = -4*t. Suppose t - 18 = -5*a. Suppose -k + a*k = 32. Does 13 divide k?
False
Let u be (20 - -4)*65/20. Does 12 divide 1/((-12)/(-4070)) + (-13)/u?
False
Suppose 31 + 169 = -2*w. Does 16 divide ((-96)/120)/(1/w)?
True
Let o = -251 + 280. Is o even?
False
Let b(y) = -5*y - 15. Suppose 2*a - 14 = -28. Is b(a) a multiple of 5?
True
Let m(p) = 3*p**2 - p**2 + p - 7*p - 13. Is m(-6) a multiple of 19?
True
Let d(s) = -2*s**2 + 19*s + 10. Let q be d(10). Let j(r) = r**2 + 7*r + 9. Let a be j(-6). Suppose a*g - 48 = -q*g. Does 8 divide g?
True
Suppose -2*d + 7*d = 4600. Suppose 2*y - 638 = 3*w + 296, -2*y + d = 4*w. Is 1/(-3 + y/154) a multiple of 27?
False
Suppose 5*i - 2*s = 40, 3*s + 6 = 3*i - 9. Let q be i*1/2*1. Suppose -q*n - 12 = -2*n, -3*n + 102 = 3*f. Is f a multiple of 20?
False
Suppose -g + 22 = -3*c - 6*g, c - 2*g = 11. Suppose v + 1 + 6 = -u, 2*u + 26 = -5*v. Is 22/v*c*-14 a multiple of 21?
False
Let b be 42/(-56) - (-22)/8. Suppose 82 + 146 = 2*h. Is 5 a factor of (589/h)/(b/12)?
False
Suppose -7370 = -4*q - 230. Is q a multiple of 15?
True
Suppose 209*a + 7276 = 226*a. Is a a multiple of 8?
False
Let d = 103 + -103. Suppose d = -4*f + 5*f - 12. Is 12 a factor of f?
True
Let u(f) be the first derivative of f**5/60 - f**4/4 - 7*f**3/2 + 5*f**2 + 1. Let i(x) be the second derivative of u(x). Is i(-7) a multiple of 14?
True
Suppose -5*g + 18 = h, -2 = 4*h + h + 2*g. Does 2 divide h/3*135/(-18)?
False
Suppose 0 = -w + 4*x - x - 7, -w - 3*x = -11. Suppose 2*i = -w*i - 36. Let d = 72 - i. Does 20 divide d?
False
Suppose -4*n - l + 152 + 255 = 0, 5*l - 15 = 0. Is n a multiple of 5?
False
Let u be ((-3984)/8)/(3/2). Let h = -223 - u. Does 16 divide h?
False
Let t be (2 + (-1 - 3))*(0 - 2). Is 14 a factor of (-254)/(-6) - (12/9)/t?
True
Let g(s) = -s**3 + s**2 + 2*s. Let z be g(2). Suppose z = 2*l - 6*l. Suppose -4*c + l*o - 3*o = -248, 0 = -3*c - 2*o + 185. Does 30 divide c?
False
Let v be 0/4 + 2 - -1. Let q be ((-508)/3)/((-2)/v). Suppose 4*a - 3*i - q = 0, 9*a - 4*a + 3*i - 331 = 0. Is 23 a factor of a?
False
Suppose -34*m + 54974 = -18398. Does 33 divide m?
False
Suppose z = 2*m - 7, -4*z - 14 = -7*z - m. Suppose -5*r - 73 = -2*h, z*h + r = -h + 201. Is h a multiple of 49?
True
Suppose 3*y = -b + 1507, -2*y + 1003 = 2*b - b. Does 24 divide y?
True
Suppose -m + 24 = -4*m. Let i be -118*2*2/m. Let j = i - 30. Is 18 a factor of j?
False
Let a(c) = 4*c**2 - 3*c + 3. Let t be a(2). Let f(l) = -l**2 + 13*l + 4. Let y be f(t). Suppose 148 = y*n - 0*n. Is n a multip