 99?
True
Let x be 8/48 + 67/(-6). Let b = x - -28. Does 5 divide b?
False
Let s be 1 + 2 + -4 + -8. Suppose -3*l = 5*o - 159, 4*o = 2*l + 3*l + 142. Let p = o + s. Is p a multiple of 8?
True
Let u(l) be the second derivative of -5*l**3/3 - l**2 - 3*l. Let p be u(-4). Suppose -4*x - p = -s - 2*x, x - 212 = -5*s. Is 16 a factor of s?
False
Let h be 171*6 + (14 - 18). Suppose h = 10*y - 1328. Is y a multiple of 30?
False
Suppose 0 = 3*d - 4*t - 94, -d + 0*t = -3*t - 38. Let u = 50 - d. Is u a multiple of 7?
False
Suppose -4*n = -5*v + 9551, -4*n - 228 = -v + 1679. Is 39 a factor of v?
True
Let b be (6 - -2)/((-3)/(-42)). Suppose a - 8*a = -b. Does 3 divide a?
False
Suppose 0 = 5*f, 4*x - 3*f = -7*f + 488. Suppose x = -4*s + 3*o, -3*s - 34 = -2*s + o. Let k = -4 - s. Is 12 a factor of k?
False
Suppose 6394 = 4*d + 2*k, -5*d + 2*d - 3*k = -4803. Does 57 divide d?
True
Suppose -w + 43 = 4*n, 5*w - 4*w - 3*n = 29. Suppose 4*b + w = -1. Does 9 divide ((-216)/(-28))/(b/(-42))?
True
Suppose 3*z = u - 483, 4*z = -4*u + u + 1397. Is 24 a factor of u?
False
Let a(w) be the second derivative of w**5/20 - w**4/2 - 17*w**3/6 + 19*w**2/2 + 37*w. Is 3 a factor of a(8)?
False
Suppose -2*y - 4*b = -82, -b - 11 = -4*y + 162. Let t be (-126)/(-6) + -3 + (4 - 1). Let x = y - t. Is 4 a factor of x?
False
Suppose -2*a - q = -8, 3*q + 0*q - 8 = -2*a. Suppose 60 = a*c + 2*b - 4*b, -2*c - 4*b = -10. Suppose -p + c = 1. Does 12 divide p?
True
Is (-380)/(-3)*(-552)/(-115) a multiple of 6?
False
Let t be 2/(-7) - (-4)/14. Suppose t*a + 2*a = -5*n - 3493, 3*n = -3*a - 5217. Is 12 a factor of (-2)/3*a/17?
False
Suppose -5*z = 5*a - 885, 63 - 250 = -z - 3*a. Suppose 7*u - 3*u = 4*v + z, 3*v = 4*u - 177. Does 12 divide u?
True
Let x(z) = z**3 - 6*z**2 + 4*z. Let w be x(5). Does 13 divide 54/4 - w/(-10)?
True
Suppose -6*x - f - 2 = -3*x, 3*x - 2*f = 4. Is 18 a factor of -3 - -7 - (-59 - x)?
False
Suppose -b = -5 + 1. Let v be ((-2)/b)/(3/6). Let p(k) = -16*k - 2. Is p(v) a multiple of 7?
True
Suppose -p - 3*p + 558 = d, 0 = -d + 2. Suppose b + 2*n - p = 0, b + 5*n - 53 = 89. Does 24 divide b?
False
Let r(p) = -9*p**2 + 8*p + 5. Let q(v) = 2*v**2 - v + 1. Let c(d) = -4*q(d) - r(d). Let z(w) = 2*w + 1. Let a be z(5). Is 17 a factor of c(a)?
True
Suppose 20*r = 22*r - 1450. Does 6 divide r?
False
Let h = 230 - 165. Suppose h*q - 59*q - 1320 = 0. Does 17 divide q?
False
Suppose -7*l + 6*l + 629 = -2*z, -l - 3*z = -629. Is l a multiple of 11?
False
Let s = -4 - -7. Suppose 2*r + 3 + s = 0. Is 24 - (r - -3 - 2) a multiple of 26?
True
Suppose 0 = 15*x - 10125 + 660. Is x a multiple of 8?
False
Suppose 3*t + 21 = 3*g, 2*g - 6*t - 26 = -t. Suppose 2*h + 4*q - 114 = -g*h, -4*q - 146 = -5*h. Is 21 a factor of h?
False
Let r be ((-5)/(-1 - -11))/(1/(-1454)). Suppose 2*s = 3*t - 8*t + 739, 5*t - 4*s - r = 0. Does 26 divide t?
False
Suppose 0 = -247*m + 238*m + 3366. Is 22 a factor of m?
True
Let u(l) = -l**3 + 11*l**2 - 4*l - 22. Suppose 0 = 2*y - 4*n - 16, -2*y = 3*n - 1 - 22. Does 12 divide u(y)?
False
Suppose -4*u + 61 = 2*t - 139, 0 = -5*u - 5. Is 3 a factor of t?
True
Let v(k) = -k**2 + 3*k + 1. Let l(f) = f**2 - 4*f - 2. Let i(m) = -5*l(m) - 4*v(m). Let r be i(7). Let o = r + -7. Is 3 a factor of o?
True
Let m(n) be the first derivative of 19*n**3/3 - 3*n**2/2 - n - 2. Does 9 divide m(-2)?
True
Is 17 a factor of 3264/10 - 22/55?
False
Suppose -2*d = -8*d + 6. Is 9 a factor of 3/2 - (154/(-4) - d)?
False
Is 27 a factor of (-3)/((-10577)/(-2646) - 4)?
True
Let n = -2098 + 2991. Does 27 divide n?
False
Let w(s) = 4*s**2 + 5*s - 5. Let p be w(-5). Let g = 138 - p. Is 18 a factor of g?
False
Let a = -19 - -31. Suppose -9*k = -a*k. Suppose -3*f + 4*f - 9 = k. Does 6 divide f?
False
Let g be (-710)/(-6) + 15/(-45). Suppose 0 = 5*s + 3*l - 247, 0 = 3*s + 2*l - g - 30. Is 14 a factor of s?
False
Suppose 0 = s - 14. Let j = 13 - s. Is 10 a factor of (6 + -1)*(-4)/j?
True
Let i(n) = 2*n - 8. Let a be i(5). Suppose -4*b - 7*f - 41 = -a*f, -4*f + 82 = -5*b. Let s(h) = -h**3 - 13*h**2 + 11*h - 15. Is 23 a factor of s(b)?
False
Let q(j) = 4*j**3 + j**2 + j - 1. Let f be q(1). Suppose -f*o = -226 - 354. Let d = o + -72. Is 13 a factor of d?
False
Let y = 293 - -26. Is y a multiple of 21?
False
Let g = -27 + 29. Suppose 5*l - y = 131, g*y + 127 = 5*l - 0*y. Is l a multiple of 25?
False
Suppose -2*f - f - 906 = -2*z, 3*f = -z + 471. Is z a multiple of 17?
True
Suppose 45 = 3*o - h, 36 = 5*o - 2*h - 38. Is 15 a factor of o?
False
Let f(x) = -4*x + 5. Let n(h) = -7*h + 9. Let t(g) = -11*f(g) + 6*n(g). Let y be ((-1)/1 - 0) + 3. Does 3 divide t(y)?
True
Let n(c) = c**3 + 3*c**2 - 2*c + 1. Let g be n(-2). Let z(b) be the third derivative of b**5/60 - b**4/4 + 2*b**3 + 4*b**2. Is z(g) a multiple of 14?
False
Let w be -6 - (-2 - -4) - 3. Let i = -8 - w. Suppose 60 = 2*u + i*o + o, 84 = 4*u - o. Does 11 divide u?
True
Let a be 2/(-2)*149 + 2*-1. Let c = a + 270. Does 47 divide c?
False
Let x(f) = 19*f - 44. Is 5 a factor of x(6)?
True
Suppose -3*x = 3*f - 525, -4*f + 8 = 20. Is x a multiple of 10?
False
Let t be 0*(-4)/(-12) - -11. Suppose -383 = -t*i - 119. Does 7 divide i?
False
Let v(d) = -2*d + 1. Let m be v(2). Does 9 divide m/(-3)*(45 + 0)?
True
Let u = 23 + -50. Let n = u - -79. Is n a multiple of 13?
True
Let n = -65 - -43. Let h = 29 + n. Is 2 a factor of h?
False
Let l = 13 + -6. Suppose 29 + l = 3*t. Let d(k) = k + 3. Is d(t) a multiple of 15?
True
Let z(p) = -p**2 - 8*p - 8. Let x be z(-9). Let t = x - -19. Suppose t*y = 4, 2*g = -g - 3*y + 222. Is 36 a factor of g?
True
Let t = 8 - 6. Suppose t*b + b = -3. Is 16 a factor of 50 - (-9)/(-3) - b?
True
Let l(g) = 468*g**2 + 8*g - 8. Is 18 a factor of l(1)?
True
Let s(k) = -2*k**2 + 7*k + 4. Let j be s(4). Let u be (-15)/(-30)*(0 + j). Suppose u = 3*c - 178 + 43. Does 17 divide c?
False
Let o = 599 - 313. Is o a multiple of 13?
True
Let b be 5/(20/(-8)) - -6. Suppose 2*m + b*j - 30 = 0, -2*m = -7*m - 2*j + 115. Suppose m + 5 = l. Is l a multiple of 14?
False
Let s be 3176/56 + (-36)/21 + 2. Suppose -h = -s - 63. Is 11 a factor of h?
False
Suppose 0 = -4*p + 408 - 84. Is 7 a factor of p + (-4 - -6) + -6?
True
Is 34 a factor of (-8)/15*-123 + (-2)/(-5)?
False
Is -1*3 + (19 - (-367 - -5)) a multiple of 9?
True
Let v = 19 + -3. Let p be (4 - 144) + v/4. Let o = p - -192. Is 14 a factor of o?
True
Let h(b) = 50*b. Let p be h(1). Suppose -5*c - 480 = 10*c. Let g = p + c. Does 9 divide g?
True
Suppose 33*s - 20*s = 0. Let z(c) = 2*c - 10. Let i be z(7). Suppose -i*u + s*u + 40 = 0. Is u a multiple of 5?
True
Let k(t) = t**3 - 18*t**2 + 24*t - 12. Let w be k(17). Suppose 3*s - 277 = w. Is s a multiple of 32?
True
Suppose -3*d - 7*k + 2*k - 4 = 0, 4*d + 4*k = 0. Let m(q) = -15*q**2 - 2*q - 2. Let z(t) = -t**2 - t. Let l(i) = -m(i) + 3*z(i). Is 16 a factor of l(d)?
True
Let n(k) = k**3 - 6*k**2 - 8*k + 1. Let q be n(7). Does 10 divide q + 3 - 1 - -47?
False
Let u = 23 - 14. Suppose 5*q + 0*k = -k + 17, -u = -5*q + 3*k. Is 15 a factor of -1*q/((-12)/304)?
False
Suppose 65*x = 60*x + 360. Does 12 divide x?
True
Let m(t) = -19*t + 15. Let u be (((-2)/1)/2)/(1/7). Is m(u) a multiple of 21?
False
Let f be 3/(-4) - 350/(-40). Suppose -f*p + 5*p = 0. Suppose 0 = -3*o + t + 20, p*t = -2*o - 2*t + 24. Does 6 divide o?
False
Suppose -324 - 509 = -j. Does 4 divide (-2)/(-10) - j/(-85)?
False
Suppose 4*r + 0*r = 0, 74 = 2*q + 5*r. Suppose 225 = -34*c + q*c. Does 9 divide c?
False
Let r = -92 - -212. Suppose 5*i + 0*i = r. Does 6 divide i?
True
Let j(h) = h**2 + 4*h - 7. Let m be j(-6). Suppose -3*v - 45 = -6*v. Let n = v + m. Is 5 a factor of n?
True
Suppose 0 = -c - 3*o + 13, -5*o + 5 = 5*c - 10. Is c/(-10) - (-4232)/40 a multiple of 18?
False
Suppose -5 = -5*h - p - 0, -1 = 2*h + p. Let m(d) = -d + d**3 + 4*d + 4*d - 13*d**h - 19. Is m(13) a multiple of 18?
True
Suppose -5*s + 452 = -168. Is s a multiple of 31?
True
Let j = -218 + 452. Is 8 a factor of j?
False
Let f(v) = 18*v + 4. Let a be (2/2)/(4/8). Let z be f(a). Suppose n - z = -n. Is n a multiple of 7?
False
Is 587 + 34/51 + (-19)/(-3) a multiple of 19?
False
Let o(v) = 25*v**3 - 2*v**2 + 6*v - 6. Suppose r = -8 + 10. Is o(r) a multiple of 29?
False
Let o = 28 - 22. Is 14 a factor of (o - -117)*(0 - -1)?
Fals