94. Let b = x + z. Is b less than -1?
False
Suppose 5*m = 5, 0 = 2*o + 5*m - 14 - 1. Let h = -7 + o. Is h equal to -4/3?
False
Suppose 2*r - 5 = 1, 0 = m - 3*r + 4. Let j(v) = -v**2 + 6*v - 7. Let x be j(m). Let b be 1 - (1 - x)/3. Which is greater: b or 2/11?
2/11
Suppose 0 = -10*t + 14*t. Let r = 25/7 + -22/7. Is r less than t?
False
Let y = 0 + 0.14. Is y smaller than 0?
False
Let j = 2 + -2. Suppose 20 = 4*h - 0*h + 4*t, -2*t + 4 = -h. Let m be h*(2 + -1) - 2. Is m smaller than j?
False
Let n = 30 + -29.2. Is -0.1 greater than n?
False
Let s(k) = -k. Let a be s(-2). Suppose -a*p = -4*p - 2. Let r be (1/(-10))/((-1)/4). Which is bigger: r or p?
r
Suppose 5*a - 4*v + 12 = 0, a = 5*a - 4*v + 12. Is -3/20 < a?
True
Let u be (5/5)/(-1 - -2). Does u = 4?
False
Let j = 44 - 45. Is 1/7 bigger than j?
True
Let k = 2687/150 - 107/6. Which is bigger: -2 or k?
k
Let j(v) = v**3 - 6*v**2 - 4*v + 19. Let y be j(6). Which is smaller: y or -12?
-12
Let o = 8.5 + -8.4. Which is bigger: o or 64?
64
Let s = -271/7 + 39. Let m(q) = 0*q - q**2 + 2 - 6 + 5*q + 0*q**2. Let n be m(4). Is n at least s?
False
Let v = 0.6 + 2.4. Let o = v - 1. Which is smaller: 4 or o?
o
Let i be (-12)/(-10)*(-10)/3. Suppose 2 = o, -5*p + 7 = 2*o + 18. Which is greater: i or p?
p
Let d be 1 + -4 + (-9)/(-3). Let g = -4 + 7. Which is greater: d or g?
g
Suppose -4*m = 381 - 129. Let i be 69/m + 2/3. Suppose -5*p - 4*x - 12 = 0, p + x + 0 = -3. Is p smaller than i?
False
Let q = -128 - -642/5. Let h = 8.9 - 0.6. Let c = h - 8. Which is smaller: c or q?
c
Suppose 255 = 9*f + 57. Is 20 greater than f?
False
Let i be -5 - -13 - (2 + 1). Let w be (-4)/14 - (-4)/14. Suppose 2*y + w = -5*d + 7, -i = -2*y - 3*d. Is y greater than or equal to 2/5?
True
Let l be (-1)/2 - (-20)/(-8). Is l < -2?
True
Let u be (6 + 214/(-36))/((-3)/(-4)). Which is greater: u or 2/7?
2/7
Let m = -1 - -5. Suppose -2*i + m*i = 0. Which is smaller: i or -1/2?
-1/2
Let y be (-2)/(-3)*3 + 0. Is 2 <= y?
True
Let y(p) = -p**3 - 5*p**2 + 8*p + 9. Let r be y(-6). Is r greater than or equal to -1?
False
Suppose 5*v - 4*y + 11 - 35 = 0, -5*y - 5 = 0. Let d = 14 + -8. Let a = d - v. Which is greater: a or 1?
a
Let i = 0 + -2. Let m be (126/44)/(-9) - (-2)/(-11). Which is greater: i or m?
m
Let q be (13/(-2))/(7/(-56)*4). Which is bigger: q or 63/5?
q
Let m(r) = r - 2. Let t be m(0). Let a be 24/21*t/(-8). Is a less than 0?
False
Suppose 0 = z - 5 + 1. Suppose z*n = -0*n. Is n < -4/3?
False
Let t = -4213 - -12313/3. Let o = t - -110. Which is greater: 0 or o?
o
Let p(g) = -g**3 + 6*g**2 - 6*g + 4. Let i(n) = n**2 + n - 1. Let h be i(-3). Let w be p(h). Let c be (-1)/1*w/(-1). Is -1/2 != c?
True
Suppose -3*w + 12 = -4*x - 6, -4*w = -4*x - 20. Suppose 2*n = -w*p - 6, 4 = p - n - 1. Let q = 5/94 + -273/1598. Which is smaller: p or q?
q
Let v = 6 + -3. Let a be 2 - (v - 6)/(-3). Let w = -1 - 1. Which is smaller: w or a?
w
Let n(l) be the second derivative of 5/6*l**4 - 5/2*l**2 + 0 - 4/3*l**3 + 2*l - 1/20*l**5. Let a be n(9). Is a at most 4?
True
Let h(q) = -5*q**2 + q**3 + 4*q**2 + 0 - 3 + q. Suppose -2*u + 5*x = 7 - 32, -5*u + x = -5. Let m be h(u). Is m greater than -3?
False
Let g be (4 - 92/24)*2. Which is bigger: 0 or g?
g
Let t = 0 + -28. Is t greater than -27?
False
Let y be (-3)/8*2*4. Let g be y - 25*2/(-18). Is g at least 1?
False
Let f = 649 + -4546/7. Let n = -1/2940 + -8327/8820. Let p = 4/9 + n. Which is greater: p or f?
f
Suppose -g = -4*d + 12, 2*g - 5*d = -2*d - 4. Suppose -g*h - h = -35. Let m(t) = -t**2 + 7*t + 1. Let u be m(h). Is -2/13 < u?
True
Let k = -37 - -49. Which is smaller: k or 11?
11
Let w be 7 - (-1)/(-1)*-2. Suppose -4*g + w = 1. Which is greater: g or 0?
g
Suppose -s - 4*p = -26, -s - 2 = -3*s + 2*p. Suppose a - 45 = -s*l + l, a + 55 = 5*l. Suppose -5*y + 0 = -l. Which is smaller: y or -1/4?
-1/4
Let h = -332 - -3645/11. Is h greater than 0?
False
Let z be (-1*(-74)/4)/((-38)/(-76)). Are z and 37 non-equal?
False
Let l = -1996847/7 - -284745. Let p = -518 - l. Which is greater: 2 or p?
2
Let a = 21 + -15. Suppose 4 = 2*o + a. Let g = 1/4 + 0. Are g and o nonequal?
True
Let o be ((-2)/3)/(20/(-12)). Let x(y) = y - 4. Let h be x(5). Let w be h/(-2) - (-3)/2. Which is greater: w or o?
w
Let w = 185/3 - 61. Is w at least 1?
False
Let q(m) = -5*m + 4. Let l(a) be the second derivative of a**3 - 5*a**2/2 - 2*a. Let x(t) = -4*l(t) - 5*q(t). Let i be x(1). Does i = 2?
False
Let i = -2/33 - -115/264. Let f = 7 - 4. Suppose -4*m = -f*m. Is m greater than or equal to i?
False
Suppose 3*w - 9 = -0*w. Suppose 0 = g + w*g. Let y be ((-18)/42)/(g + 1). Is y less than 1?
True
Let t = 26235592/187695 + -2/187695. Let n = t - 140. Is n < 1?
True
Let u be (2/(-5))/(3/(-75)). Suppose -u = 3*n + 2. Is n at least -4?
True
Suppose 3*b + 64 = 5*u, -2*u = 4*b + 37 + 31. Let g be 4/b + 40/18. Suppose -2*s + s = 0. Which is smaller: s or g?
s
Let v be (-36)/(-2) + (4 - 4)/(-6). Which is smaller: v or 17?
17
Suppose -4*b = 5*a - 1, 2*a - 1 - 6 = 5*b. Let v = a + 0. Which is greater: v or 1/2?
v
Let x(w) be the first derivative of w**2/2 + 3. Let q be x(0). Is q >= -1?
True
Suppose -3 = -4*m + 5. Let y(r) = -4 - m - r + 1. Let q be y(-6). Which is smaller: 4/3 or q?
q
Let y = -22 + 22. Which is smaller: -6/13 or y?
-6/13
Let t be -1*1*(11 - 4). Let n be (3/(-12))/(t/8). Which is smaller: n or 0?
0
Let k = -1 - -1. Let a be (24/(-14))/((-2)/14). Suppose 0 = -5*l + a - 2. Which is smaller: l or k?
k
Suppose -5*j - 3*z = -35, 2*j - z + 6*z - 14 = 0. Which is smaller: j or 9?
j
Let t be (-2)/(-21) + (-88)/(-840). Which is smaller: -2 or t?
-2
Let g be ((-8)/10)/(12/(-30)). Which is greater: -2/7 or g?
g
Suppose -229 = 13*l + 122. Do l and -82/3 have different values?
True
Suppose 15*k - 9 - 6 = 0. Are 2/81 and k unequal?
True
Let r = -117/35 - -26/5. Let y = r - 15/7. Suppose -s = 3*s. Which is smaller: s or y?
y
Let h = -43 - -171/4. Let z = 0.039 + 1.001. Let v = z + -0.04. Which is smaller: v or h?
h
Suppose 3*x - 2*x - 12 = 0. Which is smaller: x or 13?
x
Let b be (-12)/(-18) + (-10)/6. Let d be (-2)/3*3/283. Let c = d + -556/1415. Which is smaller: b or c?
b
Suppose 1 = -5*f - o - 9, 3*o = -15. Suppose 3*u - 3 + 1 = l, -2*u - l = -3. Which is smaller: u or f?
f
Let t = -0.04 - -1.04. Is t != 0.1?
True
Let s = -7 - -7.3. Let n = -0.3 + s. Let z = -2 - n. Which is greater: z or -2/7?
-2/7
Let f be 3/((-1)/2*-2). Which is bigger: f or -1/2?
f
Let t be 14/(-6) + 4/12. Let h = t - -4. Suppose 0 = h*d - 6*d - 4. Which is greater: d or -3/2?
d
Let o(u) = -u - u + u - 6 + 2*u. Let j be o(7). Is 1 > j?
False
Let n be 3 - -1 - (-5)/(-5). Suppose 0 = -5*j + h - 4, -h = 5*j + 3 + n. Let q = j + 1. Is 0 less than q?
False
Suppose -4*h - 4*t = 1 + 3, -2*h = -2*t + 14. Let q be (-1)/(h/6) + -2. Which is smaller: q or 1.1?
q
Suppose u = 5*u - 12. Suppose -u*g = -3 + 6. Is g equal to -0.2?
False
Let o(s) = 3*s - 4 + 0 - 2*s. Let z be o(6). Suppose -c - c - z = 0. Which is smaller: 0 or c?
c
Let u be (4 - 0) + (-710)/178. Are -1 and u equal?
False
Suppose d + 1795 = -4*d. Let x = -9691/27 - d. Is 1 >= x?
True
Let p = -2 - -1. Let c = -4 + 7. Let t be -1 + p - (c - 4). Is 0 < t?
False
Let d be -7 - -6 - 1166/(-10). Let b = d + -116. Let v = -3.98 + -0.02. Are v and b unequal?
True
Let y = 0.6 + -14.6. Which is bigger: y or 1?
1
Let q = 8 - 6. Suppose -q*x - 3 = 3. Let z = 6 + -8. Which is greater: x or z?
z
Suppose 2*m - 1 = -21. Let f = m - -14. Is 3 at least f?
False
Let z = -2/87 - -95/348. Is -12 < z?
True
Let c = 111/413 + 1/59. Let i = 0 - 0.04. Let m = -0.06 + i. Is c > m?
True
Let s = 0.15 - 0.05. Let b = 0.2 - 0. Is b greater than or equal to s?
True
Suppose -5*c = -5 - 10. Suppose k - c*k = 0. Let i = 0 + k. Is -2/7 greater than or equal to i?
False
Let l = 4.88 - -0.12. Let y = l - 5.1. Is 1 at least as big as y?
True
Let u = 3 + -3. Let o = -0.8 + 0.8. Is u bigger than o?
False
Let v(z) be the first derivative of -z**4/4 + 4*z**3/3 - 5*z**2/2 + 4*z + 1. Let c be v(3). Which is smaller: c or 0?
c
Suppose -12 = -2*x + u - 5*u, -4*x - 3*u + 19 = 0. Which is smaller: x or 19/5?
19/5
Let h = 14/11 + -86/33. Which is bigger: h or -2?
h
Let n(s) = -s. Let d be n(1). Let i(w) = w**3 + 3*w**2 - 5*w - 1. Let v be i(-4). Let c be (-18)/1