x or 55?
x
Suppose -2*z - 69*x + 1068 = -65*x, -z = 4*x - 544. Is 0 at most z?
True
Let f = 2/41 - 49/164. Let p be (-32)/(-80)*42/12. Which is greater: f or p?
p
Let c = 0.1 - 0. Let x be (-46)/8 + 4 + -3. Is x greater than c?
False
Let h = 440 + -439. Let v(m) = -4*m + 3. Let d be v(6). Let a be 18/d + 1 + 0. Which is smaller: a or h?
a
Let l be (-16)/(-88)*(55/(-2130))/(-11). Which is greater: -1 or l?
l
Let f = 466 - 466. Which is greater: f or -1/118?
f
Let l = -111 + 112. Let x(t) = -16*t**3 + t - 1. Let r be x(1). Let n = r + 7. Which is bigger: l or n?
l
Let m(l) = 19*l + 6. Let c be m(3). Let s be (-2)/9 - 2821/c. Let h be 8/s + 24/60. Which is bigger: h or -0.1?
h
Let i = 88 + -91. Let h = -6.05 + 6. Let d = 0.05 + h. Which is bigger: i or d?
d
Let x be (0 + (-25)/2)/((-9)/(-18)). Is -13 > x?
True
Let w be 2/10 - 0 - (-147)/15. Suppose 40 = -4*l - 5*f, l - f + w = -0*l. Are -9 and l non-equal?
True
Let v = 131.1 + -135.4. Is v < 1.1?
True
Let i = 123956/125 + -4958/5. Is 0 < i?
True
Let d be ((-5)/2)/(3/(-6)). Which is smaller: d or -3?
-3
Suppose -4*r + 9*r + 40 = 0. Let x = 13 + r. Suppose 5*f = 5*w + 30, 2*w + 5*f + x = 28. Is w at most as big as 6/13?
True
Let o be (-27)/(-15) + -2 - 3357/540. Let j = o - -27/4. Which is bigger: -1 or j?
j
Let u = -12/83 + -58/747. Which is greater: u or 1.8?
1.8
Let c = 1137 + -1135. Is c at most as big as -477?
False
Let h be 79/(-166) + 11 + -8. Let d = h + -2/83. Let z be (3/5)/((-1)/(-5)). Which is smaller: d or z?
d
Let l(o) = -14*o**2 + 36*o - 10. Let j(t) = -5*t**2 + 12*t - 3. Let z(m) = -17*j(m) + 6*l(m). Let k be z(-13). Let i be (-26)/(-7) + 4/14. Is k smaller than i?
False
Let z be 14/(-4) - 2/(-4). Let b be 2/(-4) + z/(-6). Let c be (-6)/12*(26 + b). Is -13 != c?
False
Let k = -0.2 - -1.2. Let g = 5.792 + -0.092. Let z = -4.3 - g. Which is bigger: z or k?
k
Let z = 61 - 61.13. Let x = -10.87 + z. Is x at least as big as 2?
False
Let w = 4570 - 91397/20. Let x = -4 + 3. Which is greater: w or x?
w
Let t = 1237.61 + -1244. Let w = t + -1.58. Let c = 8 + w. Which is bigger: 2 or c?
2
Suppose -16 = -3*r + 2. Is -10 <= r?
True
Let a = 29 + -205/7. Let g = 2.95 + -2.9. Is g < a?
False
Let n be (-15)/4 - (-5)/(-20). Let x be n + 1 + (-24)/(-9). Which is smaller: -1 or x?
-1
Suppose 12*w - 549 = 3*w. Is w smaller than 38?
False
Let n be 7/2*(4 + -6 - 0). Let p be 20/5 - ((-54)/n + 1). Is -5 smaller than p?
True
Let x be ((-82)/(-574))/((-2)/14). Is 6/49 smaller than x?
False
Let b = 422 + -434. Which is greater: b or -9/4?
-9/4
Let v = 130 + -108.6. Let t = v - 20. Let j = 1.3 - t. Is j > -1.1?
True
Let d(u) = u**3 + 7*u**2 + 3*u - 6. Let c be d(-6). Let l = c + -6. Suppose 30 = 3*i + l. Which is greater: i or 9?
9
Suppose 2*o + 27 = -d, 5*d = -2*o - 39 - 80. Is d > -23?
False
Let b = 1.043 + -1.143. Let v = -1.43 - 0.17. Is b < v?
False
Let a be -5 - ((-232)/48 - (-6)/(-36)). Is 4/143 less than or equal to a?
False
Suppose -8*r + 10*r = 20. Let h be ((-44)/r)/((-160)/150). Which is smaller: 3 or h?
3
Let b(u) be the third derivative of -u**6/120 - u**5/12 - u**4/8 + 11*u**3/6 + 34*u**2. Let d be b(-3). Which is smaller: d or 5?
d
Suppose 6*i = 10*i - 84. Let k be i/18*(-2)/14. Let t = 0 + -0.2. Which is greater: t or k?
k
Suppose 3*u - 4*p - 1 = p, 5*p - 5 = 0. Let x be (-16)/12 + u - (-68)/(-48). Is -2 greater than x?
False
Suppose -3*j - 74 - 28 = 0. Let t be (-18)/81 - j/(-9). Suppose m = -0*m - 3. Which is bigger: t or m?
m
Let r = 6201/265592 - 135282316333/50196888. Let j = -2695 - r. Is j >= 0?
True
Let p be (2/320)/((-24)/(-71584)). Let a = p - 93/5. Which is bigger: a or -1?
a
Let p(f) = f - 22. Let l be p(10). Let b be (-6)/l - 89/170. Suppose -72 = -5*g - 67. Which is smaller: b or g?
b
Suppose 3*q = -5*s + 2*s + 18, -2*q = 4*s - 18. Let h be ((-30)/1)/(-2) - s. Let a = 12 - h. Which is smaller: -2/7 or a?
-2/7
Let o = 377/30 - -201/10. Is o greater than 33?
False
Let v be (-1)/3 + 68/(-3). Let b = 719 + -742. Is v less than or equal to b?
True
Let j = 0.01 - 0.51. Let v = -0.5 - j. Which is bigger: v or 7?
7
Suppose 4*r - 22 = -4*o + o, -r + o + 2 = 0. Suppose -r*z = -z - 2175. Let f = z + -5793/8. Which is bigger: 1 or f?
1
Let m = -29/24 + -1/8. Let q be (3/(-9))/((-2)/(-6)). Which is bigger: q or m?
q
Let b = -582320/153 + 3806. Let o be (4 + -7 + 3)/4. Are b and o unequal?
True
Let w = 3.7 + -4. Let i = w - -0.6. Let o be 6 + -1 + (-112)/32. Is o at most i?
False
Let w = 138989/40 + -3475. Which is smaller: 1 or w?
w
Let p = -308/3 + 103. Let k = -1 - -1.3. Is k less than or equal to p?
True
Suppose -3*x - 2*v = -1, -3*x - 6*v = -v + 2. Let u be 30/(-160) - (-2)/8. Is x at most as big as u?
False
Let b be (-3)/((-18)/(-42)) + (-3)/1. Let s = b - -10. Which is smaller: s or -3/23?
-3/23
Suppose -450 = 2*l + 1390. Let c be (-2)/7 - l/35. Suppose -c = -5*w + 9. Is w less than 7?
False
Let y(w) = w**3 - 7*w**2 - 2*w - 18. Suppose -20 = -5*i, -2*x + 36 = 5*i - 0*i. Let d be y(x). Is d greater than or equal to 31?
False
Suppose -10 = -5*k + 4*m, -k = -4*m + 1 - 3. Suppose a - 12 = 4*o, -k*o + 7*o + 2*a = -2. Which is smaller: 12 or o?
o
Suppose 0 = -547*u + 533*u + 2954. Which is bigger: u or 209?
u
Let b = 54 - 51. Suppose u - b*o + 93 = -21, -o + 1 = 0. Is u <= -112?
False
Let x be (4/6)/((-161)/21 - -7). Let c = -10 + 14. Suppose -c*n - 13 = -1. Is n at least x?
False
Suppose -h - 24 = -9. Let z(v) = -v**3 - 15*v**2 - 2*v - 12. Let t be z(h). Let p be 1 + 7/(14/t). Which is bigger: 11 or p?
11
Suppose -419*v = -418*v - 2. Let n = 0.04 + 0. Is n at most as big as v?
True
Let x(v) = -17*v**3 + 11*v**2 + 8*v - 3. Let n be x(-1). Does n = 34?
False
Let d be (298/5)/(384/(-80) + 6). Which is smaller: d or 50?
d
Let x = 10 - 15. Let y be (8/(-9))/4*9/6. Which is smaller: y or x?
x
Let f = -375 - -1127/3. Let u = -4 - 6. Which is smaller: f or u?
u
Let c be (-1)/((-7)/(-6) + -1). Suppose 5*u + 40 = -8*u - 7*u. Are u and c nonequal?
True
Let u = 61.72 - 62. Let c = -0.68 - u. Which is smaller: c or 0.11?
c
Let s = 373 + -255. Suppose 32 = -3*n - s. Is -50 bigger than n?
False
Let j be 1/(-6) + (-20)/(-30). Is j smaller than -7/2?
False
Let o be ((-2)/(-2) - -1)/(-2). Which is smaller: o or 2/225?
o
Suppose -6*n + 2*n = 5*o - 20, 0 = 4*o + 2*n - 10. Suppose 4*x - 10 - 14 = o. Let z = 12 - 10. Is x at least as big as z?
True
Suppose -3*g + 2 = -5*g. Let q be (-8*(2 + g))/(-2). Let f = 5 - q. Which is smaller: -5/11 or f?
-5/11
Let h = 17 - 11. Let n be (-5 + 32/6)/((-2)/(-30)). Suppose -n*r + 4*j = 32, 24 = -3*r + 3*j + h. Do -6 and r have different values?
True
Let i(u) = -2*u - 43. Let t be i(-23). Which is smaller: 3/2 or t?
3/2
Suppose t + c - 80 = -4*c, -340 = -3*t + 5*c. Suppose r = -2*r + t. Suppose -8*q = -13*q - r. Is -7 != q?
False
Let i = 81.1 - 71. Let a = i - 10.1. Which is bigger: a or -5?
a
Let n = 0.06 - 0.085. Let f = -11.025 - n. Which is greater: 0 or f?
0
Let l = -33 - -32. Let y be (-1)/(((-4)/52)/l). Which is bigger: y or -14?
y
Suppose 9*l - 1666 = -5*l. Which is smaller: 118 or l?
118
Let d(t) = t**3 + 10*t**2 + 10*t + 7. Let s be d(-9). Let a = s + 3. Let h = 117 - 117. Is a greater than or equal to h?
True
Let l = -3.67 - 0.33. Let j(h) = -4*h**2 + 18*h + 7. Let q(s) = s**2 - s. Let w(k) = j(k) + 6*q(k). Let z be w(-5). Is z greater than l?
True
Let w = 593/5 + -119. Let d = 264 + -799/3. Is w less than or equal to d?
False
Suppose 0 = 5*i - 5*a - 40, 2*a - 8 + 0 = -2*i. Let x = 8 - i. Suppose x*m + 0*z = -4*z + 14, z = 3. Is m at least as big as 2?
False
Let h(l) = -4*l**3 - l**2 - 2*l - 2. Let q be h(-1). Suppose 0 = -u - 5*z - 44, -5*u - 2*z = -q*z + 246. Is -48 greater than or equal to u?
True
Let p = -79 + 94. Let y be 4/(-10) - ((-426)/p - -3). Which is smaller: y or 24?
24
Suppose 258 = -5*q + 293. Suppose -28 - q = -5*s. Which is bigger: s or 9?
9
Suppose 21 = 2*p - 5*n, 22 = 2*p - 4*n + 4. Suppose 24 = 5*m - r, 0*m - 28 = -2*m + 5*r. Suppose m = -g - p*g. Is g less than -2?
False
Let z = 626 - 453. Are 172 and z unequal?
True
Suppose -3*d = 2*d - 4065. Let x be (-80481)/(-22)*(-4)/18. Let l = d + x. Which is smaller: 0 or l?
0
Suppose -2*z - 10 = 3*m, -4*z + 0 + 2 = -5*m. Let u = -13 + 34/3. Is z > u?
False
Let p(u) = u**3 - 18*u - 25. Let g be p(6