n?
False
Suppose 0 = j + u + 4, 3*j - 4*u = -6 + 22. Let p be -6 + 2 - (-10 + j). Suppose w + 2*m = 85, -w + 90 = p*m - 3*m. Is 15 a factor of w?
True
Suppose 4*z + 5*n - 1800 = 1386, 784 = z - 5*n. Is z a multiple of 43?
False
Is 37 a factor of (-8529)/(-21) - 102/(-119)?
True
Let w(n) = -n**2 - 9*n + 2. Let i be w(-8). Suppose c + 4*c = i. Let t(q) = 3*q**3 - q**2 + 2*q - 3. Is t(c) a multiple of 12?
False
Suppose 0 = -106*h + 103*h - 438. Let u = -32 - h. Is u a multiple of 19?
True
Let z(i) = -i**2 + 6*i - 5. Let d be z(1). Suppose -4*v = -o + 5*o - 384, -5*v - 3*o + 478 = d. Is 12 a factor of v?
False
Suppose 0 = 2*r + 242 + 514. Let j = r + 548. Is 16 a factor of j?
False
Let k be ((-140)/(-98))/((-4)/(-14)). Suppose 0 = -3*c + 4*x + 155, 5*c - 2*x - 210 = -k*x. Is c a multiple of 15?
True
Let b be 11/55 + (-1)/5. Let s = b - -21. Is s a multiple of 8?
False
Let u be ((40/(-3))/5)/(12/(-18)). Let c(f) = 37*f + 20. Does 21 divide c(u)?
True
Let f be (-1)/2*(-2 + 0). Let d be f + 4 + 92 + 3. Is 3/2 - d/(-8) a multiple of 7?
True
Let r(z) be the second derivative of -z**3 - 9/2*z**2 + 0 + 12*z. Does 7 divide r(-7)?
False
Let a(b) = b**3 + 27*b**2 + 22*b - 62. Let f be a(-26). Let x = 7 + f. Is 7 a factor of x?
True
Let b = 345 - 297. Is b a multiple of 3?
True
Let x(z) = -9*z + 50. Is 10 a factor of x(0)?
True
Let l = -49 - -27. Is 18/99 + (3 - 436/l) a multiple of 5?
False
Let s(z) = -z**3 + 9*z**2 + z + 36. Is 3 a factor of s(8)?
True
Let t = -265 - -390. Let a = t + -61. Does 8 divide a?
True
Let u(t) = t + 5. Suppose 3*y = 5*n + 1, 5*y + 0 = n + 9. Let p = n + 8. Does 8 divide u(p)?
False
Let f(s) = -25*s**2 + 4*s - 4. Let k(v) = -6*v**2 + v - 1. Let i(r) = 4*f(r) - 18*k(r). Let y be ((-8)/10)/(24/(-60)). Is 10 a factor of i(y)?
True
Let u = 251 - -71. Is 11 a factor of u?
False
Let m be 288/54*(0 - -1905). Is (4/(-6))/(-6 + m/1695) a multiple of 16?
False
Suppose -2*a + 3*t + 13 = 0, 6*a - 26 = a + t. Suppose 0 = -k + a*r + 12, -3*k + 3*r = 2*k - 38. Is 7 a factor of k?
True
Suppose 4*p + 832 = q, -p = -4*q + 4*p + 3350. Does 42 divide 17/2*q/28?
False
Let a = -14 - -19. Suppose 0 = -4*x + g + 1004, -501 = -a*x - 2*g + 741. Is 50 a factor of x?
True
Let b be ((-45)/(-27))/(1/3). Suppose 128 = 3*l - 5*i, l + 3*i = -b + 29. Is 18 a factor of l?
True
Let w = 579 + 305. Is w a multiple of 39?
False
Let t = 10 + -8. Let p be 30/5*7/t. Suppose 3*m - 49 = -4*l, -m = -0*l - l + p. Is 16 a factor of l?
True
Suppose 2*d + 149 - 567 = 0. Is d a multiple of 26?
False
Let j(l) = -4*l + 12. Let a be j(-4). Let s = -16 + a. Suppose 4*r - 12 = -4*t + 28, -3*t = -s. Does 6 divide r?
True
Let o be (-1754)/14 - (-6)/21. Suppose 299 = -4*l + 3*g, 29 = -l + 4*g - 36. Let q = l - o. Is q a multiple of 12?
True
Is 12 a factor of 1177 + -2 + (10 - 6) + -4?
False
Suppose 4*i + 844 = 4*w, 14*w + 2*i = 10*w + 850. Does 41 divide w?
False
Suppose 0 = -9*z + 3*z + 42. Suppose -249 = 4*y - z*y. Does 12 divide y?
False
Let z be -2 + 2*3/(-3). Is 41 a factor of (-1*(-43)/(-3))/(z/72)?
False
Suppose q = -2*q + 657. Let b = -95 + q. Is 31 a factor of b?
True
Let m = -89 - -93. Suppose -m*b + 2*l = -200, 0 = 2*b + 4*l - 48 - 52. Is 8 a factor of b?
False
Let u(p) = 130*p - 28. Is u(6) a multiple of 47?
True
Suppose -24*c + 8*c = -33744. Is c a multiple of 19?
True
Let g = -989 + 998. Is 7 a factor of g?
False
Let w = -2370 + 5848. Is 74 a factor of w?
True
Let n(u) = -u**3 - 19*u**2 - 3*u - 28. Let b be n(-20). Suppose -6*y - b = -9*y. Is 12 a factor of y?
True
Suppose 7*v - 1446 - 1284 = 0. Does 57 divide v?
False
Let g(x) = 32*x - 78. Let a(h) = -13*h + 31. Let m(d) = 12*a(d) + 5*g(d). Is m(10) a multiple of 14?
False
Suppose -109*k = -117*k + 952. Does 22 divide k?
False
Let j(t) = -209 - 215 + 434 + 27*t**2. Is 34 a factor of j(-3)?
False
Let x be (-1)/(172/84 + -2). Let l = -12 - x. Suppose -75 = -4*z + l. Is z a multiple of 7?
True
Let b(p) be the first derivative of -1/3*p**3 + 6*p**2 + 6*p - 1. Is b(9) a multiple of 10?
False
Suppose -2*v - 1 = z - 4*v, -2*z + 8 = v. Suppose 3*p + p - 20 = 0. Suppose -z*a - 138 = -p*a. Does 19 divide a?
False
Let x = -468 - -798. Does 15 divide x?
True
Suppose 0 = 133*v - 139*v + 582. Does 2 divide v?
False
Let k(h) = -h**2 + 7*h - 10. Let s be k(3). Suppose -5*g = -0*g + s*c - 231, -2*g + 90 = 2*c. Is g a multiple of 47?
True
Let z(j) = 0 - j + 1 + 30. Is 9 a factor of z(11)?
False
Let g(i) = -i + 11. Let u be g(5). Let k be -5*(-4)/30*u. Suppose k = -4*v, -3*v + 0*v = 4*z - 237. Is 15 a factor of z?
True
Let b = -142 + 207. Does 5 divide b?
True
Let m be (1616/(-12))/(6/(-9)). Suppose 0 = 4*j - 6*j + m. Suppose -5*f = -j - 44. Does 8 divide f?
False
Suppose 1507 + 1093 = 13*u. Suppose 2*i - u = 78. Is 23 a factor of i?
False
Suppose -4*b = -z + 22, 4*z + b - 130 = 3*b. Is z a multiple of 10?
False
Let c(n) = 11*n**2 + 4*n - 108. Is c(10) a multiple of 94?
False
Suppose 8*x + 715 = 21*x. Is x a multiple of 8?
False
Does 13 divide (24/10)/3*5 - -457?
False
Suppose 4*o = 111 + 133. Let g = -149 + 192. Let y = o - g. Does 5 divide y?
False
Suppose -3*c + 5*c = 40. Let g = c - 14. Suppose -g*r = -4*r - 46. Is r a multiple of 14?
False
Suppose -2*i = 5*r - 7495, 0 = -2*r - i - 3*i + 2998. Is 4 a factor of r?
False
Let u(g) = g**3 - 40*g**2 + 2*g + 171. Is 25 a factor of u(40)?
False
Suppose -4*w + 106 = -z, 2*z - 29 = -w + z. Suppose 0 = 3*d - w - 102. Is 18 a factor of d?
False
Let x(w) = -48*w + 352. Is x(-5) a multiple of 16?
True
Suppose -3*n = -335 + 47. Does 12 divide n?
True
Let y(z) be the third derivative of z**8/10080 - z**7/1680 - 7*z**6/720 + z**5/60 + 5*z**2. Let o(q) be the third derivative of y(q). Does 13 divide o(4)?
True
Suppose 53 = -5*c - 7. Is 31 a factor of (4 - 342/c)*12/10?
False
Suppose 5*q + o - 1172 = 0, -4*q = -7*q - 4*o + 710. Does 18 divide q?
True
Let o be (-8)/(-3) + (-2)/(-6). Let z = -4 - o. Let j(k) = -6*k + 2. Is j(z) a multiple of 11?
True
Suppose -11350 = -5*f + 3*b, -6*b = -3*f - 3*b + 6810. Suppose -290 = 6*u - f. Does 22 divide u?
True
Let s(p) = 7*p + 18. Suppose k + r - 8 = 9, 0 = -4*k + 5*r + 23. Does 17 divide s(k)?
True
Let z(t) = t**2 - 6*t + 7. Let m be z(5). Let x(j) = 8*j**3 + j**2 + j - 1. Let q be x(m). Suppose k - 4*k + q = 0. Does 23 divide k?
True
Let w(s) = 2*s**2 + 10*s - 1. Let l be w(-5). Let b(p) = -121*p + 2. Does 31 divide b(l)?
False
Let f be -5 + (-156)/(-30) - (-1278)/10. Let q = f - 51. Does 11 divide q?
True
Suppose -5*w = -52 - 18. Suppose 0 = -3*g - 3*b + 18, 2*g - b - w = -4*b. Is 14 a factor of (g - 7)*40/(-3)?
False
Does 9 divide 869 - (-7*(-4 - -3) + -4)?
False
Is 15 a factor of (-3)/(1*3 - 3654/1215)?
True
Let b = 822 + -28. Is 18 a factor of b?
False
Let u = 120 - -454. Suppose -u = -3*b - 2*b + 2*g, 5*g = 3*b - 352. Is b a multiple of 25?
False
Is (-30)/5 - -126 - 0 a multiple of 24?
True
Let d be -21*1/(-2)*2. Suppose -9*w = -588 + d. Is 7 a factor of w?
True
Let o = 23 - 27. Let b be 4 - 1/(-4)*o. Suppose -5 - 127 = -b*k. Is 13 a factor of k?
False
Suppose -19*k + 6 = -18*k. Let r(i) = 22*i - 14. Is 18 a factor of r(k)?
False
Let x = 907 + 107. Is 39 a factor of x?
True
Let j(v) = v**3 - 22*v**2 - 3*v - 16. Is j(23) a multiple of 48?
False
Suppose -12*p = -25*p + 2093. Does 7 divide p?
True
Suppose -32 - 120 = 2*j. Let l = j + 106. Suppose l = 4*m - 2*m. Is 15 a factor of m?
True
Let c(o) = -o**2 + 13*o. Let q be c(13). Suppose q = 3*s - s + 5*g - 106, 4*s = -3*g + 198. Is 10 a factor of s?
False
Let y be (-100)/(-2 - 0) + 0 + 2. Suppose 142 = 3*a + y. Is a a multiple of 10?
True
Suppose 10 = c + 3. Suppose 6*w - c*w + 4 = 0. Suppose w*z = -0*z + 176. Does 22 divide z?
True
Let l(n) be the second derivative of n**3/3 + 2*n**2 + 4*n. Let s be l(5). Let j(y) = y**2 - 10*y + 2. Is j(s) a multiple of 18?
False
Let d(b) = 3*b + 78. Is 3 a factor of d(-15)?
True
Let c be (-10)/(-40) - 22/(-8). Suppose -c*v + 2*v - 4*g = 52, 4*g + 96 = -2*v. Let i = v - -86. Is i a multiple of 6?
True
Let w = -8 + 14. Let d = 4 + -18. Let q = w - d. Does 10 divide q?
True
Let h(k) = 333*k. Let r be h(1). Let g = -118 + r. Suppose -3*b + g = 56. Is b a multiple of 33?
False
Let a(z) = -z**2 - 15*z - 28. Let b be a(-10). Suppose -b*q = -28*q + 216. Is 3 a factor of q?
True
Let