 481?
False
Let y be -1 - 3 - (5 + -5 + 2). Suppose 0 = 4*j - 4*n - 36, 5*j + 0*n = 3*n + 49. Suppose -4*f - 5*d = 29, 4*f = 2*f + d - j. Is y greater than or equal to f?
True
Let d(m) = -m**3 + 6*m**2 - 6*m + 7. Let u be d(4). Suppose 0 = u*n - 4*n + 154. Is n != -0.1?
True
Let n(d) = 122*d + 294. Let q be n(-5). Is 0 <= q?
False
Suppose 80 = 3*t - 7*t. Let j be 4 - (-12)/((-4)/t*-11). Is -2 >= j?
False
Suppose -4*w + 5*z = 15, -81*w + 86*w - z = -24. Let n = -7 + 1. Is w greater than or equal to n?
True
Let m(o) = 1 + 0*o + 2*o - 3 - 7*o. Let l be (-3)/(-6) - (-10)/(-4). Let t be m(l). Is t at most as big as 8?
True
Let f = 2.0078 + -0.0078. Which is greater: -577 or f?
f
Let n be (0 - -2) + 0/4 + -686. Let g be ((-3)/(-14))/((-27)/n). Are 4 and g nonequal?
True
Let s(t) = t**2 + 7*t - 9. Let c be 1 - (348/42 + (-4)/14). Let w be s(c). Which is smaller: -12 or w?
-12
Let x = 209 + -105. Suppose 15*d - x = 17*d. Is d <= -52?
True
Let n be (1*6/9)/(-2). Let y = 119 - 85. Let i = -36 + y. Which is bigger: i or n?
n
Let a be 1225/50 - (-1)/2. Which is bigger: 24 or a?
a
Suppose -5*o + 4*s + 0 = 13, 0 = 4*o + 3*s - 2. Let d be (2/(-5))/((-54)/10). Is o greater than d?
False
Let p = -211/558 - -10/31. Let j(b) = b**2 - 25*b + 128. Let f be j(10). Let t be (-2)/(-4) + -6 + f/(-4). Which is smaller: t or p?
p
Let j be -18 + 17 + (1 - (4 - 0)). Which is bigger: j or -14/5?
-14/5
Suppose 0 = -3*m - 9, 0*m - 2*m = -4*k + 22. Let c be 6/k*1*-6. Let y = 5 + c. Are -8/3 and y unequal?
True
Let v(f) = -f. Let o(x) = -7*x + 6. Let n(p) = -o(p) + 6*v(p). Let i(z) = -2*z + 12. Let s(j) = 6*i(j) + 14*n(j). Let b be s(8). Is 0 less than or equal to b?
True
Let t = 633181/20 - 31672. Let q = t + 55/4. Suppose p + 1 = -5*z + 15, -5*p = 4*z - 28. Which is greater: z or q?
z
Let y = -15714 + 455662/29. Does -3 = y?
False
Let p = 133 - -683. Which is smaller: 815 or p?
815
Let a be -2*2 - 34809/(-41). Is 846 < a?
False
Let g = -3.05 + 2.15. Which is smaller: -13 or g?
-13
Let i be 2/(-9) - (-440)/36. Let o be ((-16)/i)/((-4)/(-18)). Let v = 5 + o. Which is greater: v or -4/9?
-4/9
Let q(h) = -7*h - 77. Let i be q(-11). Let f = -259/209 + 27/19. Which is greater: i or f?
f
Let n = -125 - -108. Let c be 1 - 2 - (-2 - 0). Let t = 2 - c. Which is greater: n or t?
t
Let w = 16.4 - 17. Let s = 14 - 1. Let f = -12 + s. Is f not equal to w?
True
Let o = 3/5317 - 2031109/26585. Let v = -77 - o. Which is smaller: -1 or v?
-1
Let f = -368 + 569. Which is smaller: f or 199?
199
Suppose 3*z - m - 2 = -3*m, 5*z + 5*m = 5. Which is bigger: -1 or z?
z
Let i(x) = -5*x - 6. Let u(c) = -3*c + 2*c + 4*c - 2*c**2 - c. Let k be u(-1). Let l be i(k). Is l greater than 0.1?
True
Let a = -1.07 - -0.27. Let o = a + 0.77. Is -2 bigger than o?
False
Suppose 246 = -63*c + 61*c. Is -118 less than or equal to c?
False
Let w = 19 - 10. Let h be 3 - (w - 3 - -2). Let j be (1 - h)/((-25)/(-5)). Is 2 greater than or equal to j?
True
Let g = 1164 - 1179. Are 2/3 and g unequal?
True
Let d(u) = -2*u**3 + u**2 - 2*u. Let a be d(2). Let j be (a/(-40))/((-2)/(-20)). Let s be ((-16)/(-4))/j - -1. Which is greater: s or -2?
s
Let q = 62 + -63.9. Let t = -5.9 + 6. Let g = t - q. Which is smaller: 0.1 or g?
0.1
Let s be (3/(-2))/((-3)/(-6) - -1). Let g(j) = -j**2 + 6*j. Let h be g(6). Which is bigger: s or h?
h
Suppose 4*u - 14 - 9 = n, -12 = 3*u. Is n <= -39?
True
Let x(q) = q**3 - 6*q**2 - q + 3. Let r = 9 - 3. Let j be x(r). Let c(k) = -k + 1. Let h be c(4). Is j at least as big as h?
True
Let l be (3*1)/(48/304). Is l not equal to 18?
True
Let t = -13 + 28. Suppose 0*v - 3*v = -3*d + 102, 111 = 4*d + v. Let f = d - t. Is -1 smaller than f?
True
Suppose -31*q + 154 = -42*q. Which is smaller: q or -17?
-17
Let v = 28.13 + -28. Let j = 2.87 + v. Is j not equal to 2/13?
True
Suppose -4*i - 5*y + 42 = 0, -15*i + 32 = -10*i - 4*y. Is -6 at least i?
False
Suppose 0 = 3*c + 5*n + 2 + 11, -2*c + 4*n - 16 = 0. Let w(q) = 6*q + 10. Let f be w(c). Are f and -27 nonequal?
True
Suppose 2*f = -4*r - 4, -r = -2*f + 5 + 1. Suppose -2*p + 1 + 0 = -o, 2*o + f*p = 4. Is -1/141 <= o?
True
Suppose -2*w - 18 = -5*x + 2, 3*x - 12 = -w. Which is smaller: x or 17/4?
x
Suppose -4*h - 50 = 2*i + 12, 5*h + 4*i + 82 = 0. Let t be 8/h - (-6)/(-14). Suppose 0 = -3*g - 0*g. Which is smaller: t or g?
t
Suppose -4*c = 2*w + 22, -3*w - 3*c = -2*w + 14. Let s be ((-10)/4)/(w/(-10)). Let p = -8 + 5. Which is smaller: s or p?
s
Let j = -0.21 - -0.11. Let p be 19/12 - (-36)/(-27). Which is smaller: p or j?
j
Let x be (-3 - 11)*((-24)/(-14))/(-2). Let t = x - 31. Which is greater: t or -21?
t
Let w be 12*(10 + (-448)/24). Do w and -209/2 have different values?
True
Let o = -61 - -58.7. Let v = o + 2.5. Is 3 at most as big as v?
False
Suppose -4*m - 958 = -3*s, -3*m = -2*s - 8*m + 631. Let c be (3*1)/(s/(-4)). Which is smaller: c or 1?
c
Let v = -96 - -5281/55. Let w be 2/(0/(-1) + 2). Which is greater: v or w?
w
Suppose -3*j - 17 = -u - 6, -u = -2*j - 8. Suppose -u*i - 12 = 5*l - 64, 0 = 5*i + 3*l - 130. Suppose 3*b + 2*b = 3*o - i, o + 5*b = -18. Are o and 3 equal?
False
Let i = 861 + -862. Which is greater: -31/15 or i?
i
Let x(h) = h**2 + 8*h + 17. Let k be x(-4). Suppose -1 = 2*r - 9. Let j be r + (-5 - -2) - k. Is -1/24 at least j?
False
Let i be 6/4 + 1/2. Let k be (-5)/(-3) - (-7788)/(-5148). Which is bigger: k or i?
i
Let z(l) = l**2 + 6*l. Let j be z(-6). Let v(u) be the second derivative of -u**4/12 + 17*u**3/6 - 8*u**2 + 4*u. Let b be v(16). Are j and b unequal?
False
Let q = -558 - -557. Which is smaller: q or -7/149?
q
Let x be ((-2)/2517 - 1) + 1. Which is smaller: x or 1?
x
Suppose -2*n - 4 = -2. Let u be (-3)/(-12) + 2 + n. Let t = 5 + -6. Which is smaller: t or u?
t
Let v be 426/(-27) - (-2)/(-9). Let b = 47/3 + v. Is 3 greater than b?
True
Let g(a) = -a**3 + 12*a**2 - 12*a + 11. Let o be g(11). Suppose 6*q - q + 10 = o. Let r be (3/42)/(q/(-4)). Is -1 < r?
True
Let b = 0.82 - 0.827. Let k = 0.007 + b. Which is bigger: k or 1?
1
Let g = -10 - -19. Suppose -4*t + k + 38 = 0, -8*k = -12*k - 8. Is t less than or equal to g?
True
Let n(k) = k**3 + 7*k**2 + k + 2. Let j be n(-7). Let x = j - -11. Let i = 0.1 + -0.1. Which is bigger: i or x?
x
Let l = 14 + -37. Let j = -92 - -93. Are l and j unequal?
True
Let t be 555/444*4/(-10). Which is smaller: t or 1.31?
t
Let c be (-3)/(-2) - (-225)/(-90). Is -7/290 at most c?
False
Let d be 4000/12 + 4 + (-32)/6. Which is greater: d or 331?
d
Suppose n + 1 = -0. Let p be 8/(-2) - ((-12)/3 - -1). Let h be (-3)/(3 + 0/p - -22). Is n less than h?
True
Let c be -95*(246/35 + -7). Let j = 5 - 8. Are j and c nonequal?
True
Let o = -66 - -103. Let d = o - 36. Which is greater: -2/131 or d?
d
Let v = 1/62 - -13/1116. Which is greater: -1/6 or v?
v
Let c = -4372 + 773846/177. Let b = c - 722/1239. Let p(v) = -v**3 - 3*v**2 - 3*v - 10. Let o be p(-3). Do b and o have the same value?
False
Let g = 6 - 3. Suppose n - 4*y = -7 - 7, -25 = -5*n + y. Let i = -4 + n. Is i equal to g?
False
Suppose -7*a + 9*a + 60 = 4*l, -5*a - 144 = -4*l. Suppose g + 37 = -4*q, 0 = -5*g + q - 5*q - 153. Is g bigger than a?
False
Suppose 400 = z - 2618. Let w be z/(-4980) + 1/1. Let s = -1/166 - w. Do -1/8 and s have the same value?
False
Let v(d) = -d**2 + 7*d + 3. Let r be v(6). Suppose -r = 9*w - 6*w. Let k be 3 - 2 - 1*w. Which is smaller: k or -1?
-1
Let a be 100/(-450) - ((-5172)/23193 - 0). Is a != 1?
True
Let i = 322 - 321. Are -72 and i equal?
False
Let w = 31 + -34. Let y(s) = -s**3 - 2*s**2 - 2*s - 1. Let r be y(w). Suppose h + r = 3*h. Which is smaller: 8 or h?
h
Let i = -107/2 - -3535/66. Suppose 4*f + 4*l + 32 = -0*f, -8 = 2*l. Let n be 20/150 + f/30. Is n greater than or equal to i?
False
Suppose -40*f = -29*f + 11. Are 3/58 and f unequal?
True
Suppose -4*s + 3 = -3*s. Suppose -a - 16 = -s. Let w = a - -53/4. Is -9 bigger than w?
False
Let g be -237*(-1)/(8/(-8)). Is g greater than or equal to -1186/5?
True
Suppose -7*v = -0 - 0. Let r = 2.37 - 0.17. Is v < r?
True
Let z = -3/2 + 2. Let n = -29 - -27. Let q = 2 + n. Which is greater: z or q?
z
Suppose -1649*a = -1653*a + 988. Which is smaller: 740/3 or a?
740/3
Suppose 2*i + 6 = 5*i. Let l(a) = a**2 + a + 5. Let g be l(0). Suppose w = g*m - 26, -w + 10 = 11. I