Let l be u(o). Are 3/2 and l nonequal?
True
Let f be 53322/154 + 2/11. Let z = f + -347. Which is greater: -1 or z?
z
Suppose -4*w - 2*j + 2 = 0, -5*w + 3*j - 7 = -4. Let s be (-2)/(-2)*0 - -1. Let v = s + w. Is v bigger than 2?
False
Let i = -14 + 31/3. Let y be (5/2)/(16/(-32)). Which is smaller: i or y?
y
Let x be 4/((-184)/(-5))*(-15)/25. Which is greater: 1 or x?
1
Suppose 4*q + 4*n = 12, -5*q - 4*n + 47 = 35. Which is smaller: q or -3/406?
-3/406
Let h = -977 + 4886/5. Which is smaller: h or -2/175?
-2/175
Let s = -278/9 - -14770/477. Is s less than or equal to -1?
False
Let n be ((-6)/5)/((-148)/(-4070)). Which is bigger: n or -35?
n
Let f = -137 + 142.32. Let m = f + -0.32. Which is smaller: m or 0.1?
0.1
Let w = 8353/45 - 997/5. Which is smaller: -15 or w?
-15
Let q = -2 + 1. Let s be -6 + (16/10 - 12/(-30)). Let m(v) = v**2 + 6*v + 6. Let c be m(s). Is c less than q?
True
Let y = 319 + -264. Is y <= 55?
True
Let a = 0 + -12. Let v be (-8)/a + 24/(-9). Is v >= 8?
False
Let z be 12/(-28)*(-1 - 160/(-155)). Which is smaller: 1 or z?
z
Let m(v) = -v + 10. Let q be m(-2). Does 12 = q?
True
Let r(t) = 3*t**2 + t - 4. Let j be r(-3). Suppose -3*c + c + 9 = -s, 5*s - 5*c + j = 0. Which is greater: 2/19 or s?
s
Let c = -0.038 + 0.048. Let m = 0.71 - c. Is m <= 1?
True
Let x be 6 + (-2 - 0) - 2. Let d be (((-15)/2)/15)/(x/(-8)). Is d at most 4/3?
False
Let j be (2002/(-44) - 1)/((0 - -1)*3). Suppose 11 = -3*d - 34. Which is smaller: j or d?
j
Let k = 4649149/1633 - 2847. Which is bigger: 0 or k?
0
Let r = -6 + -2. Let n be (r/(-190))/(168/(-40) + 3). Is 0 smaller than n?
False
Let g(w) = -w**3 - 27*w**2 - 26*w + 22. Let s be g(-26). Is s less than 27?
True
Let v = 258 + -255. Let m(l) = -l**3 + 8*l**2 - 5*l - 9. Let q be m(7). Let f(d) = d**2 - 5*d + 5. Let w be f(q). Are w and v nonequal?
True
Suppose 0 = -4*q + 2*t + 8, 4*q + q + t - 3 = 0. Let v be ((-2 - -2) + q)*14. Suppose -s = -3*s + v. Is 6 bigger than s?
False
Let t be 2 + 1 - (0 + 1). Let p = 5 - t. Let z be (-99)/(-39) - p*1. Which is smaller: -1 or z?
-1
Let c = -145 + 202. Do c and -0.1 have the same value?
False
Let f = 9.94 - 9.64. Do f and 0.39 have the same value?
False
Suppose 0 = 2*r - 42 + 24. Suppose 5*p = 2*x + 31, 2*x + 4*p = 6*x + 32. Let z be 7 - ((x - -2) + 0). Is r at most as big as z?
False
Let a be (-8)/14 + (-4)/(-14). Let b = -183 - -144. Let y = b + 35. Is a at least as big as y?
True
Let o(t) = t**3 + t**2 - t + 13. Let w be o(0). Let i = w - 16. Suppose 3 = 3*r - 0*p - 3*p, 0 = 5*p. Is i less than r?
True
Let x = -8.843 + 8.9. Let d = x - 0.157. Which is smaller: -32 or d?
-32
Let i(t) = -t**3 + 10*t**2 - 8*t - 7. Let m be i(9). Let s = -8 - -13. Suppose s*g - 15 = -0*g. Are g and m nonequal?
True
Let x = 19554/11 + -1776. Let u(q) = 10*q + 73. Let k be u(-7). Which is smaller: x or k?
x
Let b be 0/(-5) - (-17)/(3 + -2). Suppose -b + 19 = y. Suppose -s + 0 = -1. Is s equal to y?
False
Let g be (3232/294)/(-8) - 68/(-51). Is g at most -1?
False
Suppose 5*v - 46 = -4*f, 0*f - 4*f + 26 = 3*v. Suppose 0 = -3*n + 13 - v. Is n greater than or equal to 2/23?
True
Let t be 21/12 + (-2)/(-4*2). Are t and 14/5 nonequal?
True
Let b = 88 + -86.7. Let z = 0.7 + b. Is z bigger than -18?
True
Let a = -2.9 - -3. Let d = -18.23 + 18.43. Is a != d?
True
Let f be ((-10)/8)/(55/(-66)). Is -0.26 > f?
False
Let w = 23.63 + -23.63. Which is bigger: 278 or w?
278
Let q be -21*-1*((-290)/(-6))/(-5). Let k be 12/7*q/(-986). Which is smaller: -1 or k?
-1
Let d = -967 - -966.6. Which is bigger: d or -4?
d
Let a be 1668/(-2110) + 4/5. Do -1 and a have the same value?
False
Suppose -3*f - q - 3 = 2*q, 0 = 5*f - q + 11. Let c(l) = 2*l**2 + 2*l - 1. Let z be c(f). Suppose 3*m = -3*b - 12, -6*b + z*b + 28 = -5*m. Is b <= 2/9?
False
Let k = -807 - -807. Which is smaller: -6/143 or k?
-6/143
Let v = -861/8 + 68259/632. Do v and 0 have different values?
True
Let m = 875 - 834.3. Which is smaller: m or 0?
0
Let c = 209 + -137. Let o = c - 50. Let b = o + -22. Is b smaller than -13?
False
Let p be (2/(-3))/((-714)/1836). Is p smaller than 0.07?
False
Let w be (-189)/(-6) - (26 - 23). Which is greater: 28 or w?
w
Let p be 420/(-16086)*(-12)/15. Do -1 and p have the same value?
False
Suppose -317 = -q - 533. Is q at least -218?
True
Let i = -133 - -134. Is i < -4/127?
False
Let c be 476/10 - (-27)/(-45). Let h = -28 + c. Is h less than or equal to 19?
True
Let w = -32.998 - 0.002. Let n = -33.1 - w. Which is greater: 8 or n?
8
Let r be (-4)/(-18)*(-102)/75752. Which is smaller: r or 1?
r
Let l(s) = 2*s**3 + 2*s - 1. Let y be l(1). Suppose 29*n - 67 = 78. Is y at least n?
False
Let j(d) = -13*d**2 - 3*d + 3. Let l be j(1). Suppose 0 = 5*t - 5*z + 21 + 14, -3*t + z = 27. Let x = t - l. Which is bigger: x or 12/7?
x
Let x = -3.97 - -4. Let p = 0.53 - x. Let w = 0.5 - p. Which is smaller: w or 1/5?
w
Suppose -2*c - 2*p = 8, -5*c + 7*c - 4*p - 10 = 0. Suppose -5*h = 5*x + 25, -5 - 6 = 2*h + x. Which is smaller: h or c?
h
Suppose 60 = -2*x - s, -x - 6 - 34 = -2*s. Let t = -32 - x. Let h be (9/21)/((-12)/(-8)). Is t at least h?
False
Suppose 4*f + 2*n = 0, 2 = -3*f + 2*n + 9. Let o be (-6)/(-12)*4/(-82). Which is smaller: o or f?
o
Suppose -3*m = -2*m - 7. Suppose m + 3 = -5*v. Let n be 4 - ((-27)/(-15) + 3). Which is smaller: n or v?
v
Let z = 169.7 - 169.74. Which is bigger: -0.054 or z?
z
Suppose -2*a + 26*z + 7 = 29*z, 8 = -2*a + 2*z. Which is smaller: a or 8/155?
a
Let v = -282 + 274. Let b = 10.89 - -0.11. Let d = b + v. Is 3 less than d?
False
Let c be (-42)/(-70) - (-1 + 2). Let r(o) = -9*o**3 + 2*o**2 + 2*o + 1. Let k be r(-1). Let y be 12/20 - 2/k. Which is smaller: y or c?
c
Let b = 7 + -2. Suppose b*m = 10, -2*m + 13 = -3*j - 6*m. Let t be 2/j*140/30. Is t > 0?
False
Let n(o) = -o**2 + 8*o + 11. Let y be n(-5). Let i = 323/6 + y. Which is smaller: 3 or i?
i
Let q(s) = -2*s**2 - 18*s + 2. Let i be q(-9). Which is smaller: 4/7 or i?
4/7
Let m be 5 - (-2 - -5) - (1 + -3). Suppose -6*l + m = -2*l. Is l bigger than 1/95?
True
Let s(m) be the first derivative of 2*m**3/3 - 3*m**2/2 - 37*m + 51. Let d be s(0). Does d = -37?
True
Let q = -392 + 434. Is -7 at most as big as q?
True
Suppose 4*z + 285 = 65. Let q = -221/4 - z. Which is smaller: 1 or q?
q
Let t(w) = -20*w**3 - 2*w**2 - 7*w + 18. Let a be t(2). Is -164 at most as big as a?
True
Let s be (93/(-6))/(1/14) + 0. Is s smaller than -217?
False
Let p = 305811/92 - 3324. Which is smaller: 0 or p?
0
Let o be (-1)/3 - (-10)/(-6). Let s(i) = 12*i + 269. Let b be s(-22). Is b at most o?
False
Let q = 535 + -518. Which is bigger: 1/2 or q?
q
Let p(x) = 2*x**2 - 4*x - 1. Let z be p(3). Suppose -4*n - 83 = -z*l, 21 = 2*l - l - 3*n. Let t be (l + 13)*6/(-8). Which is smaller: t or -20?
t
Suppose -4*n - 571 = -2*p - 3*p, p = 2*n + 281. Let f = -149 - n. Let q be 18/(-4)*(-2)/(-1). Which is greater: f or q?
q
Suppose -6*t - 20 = -11*t. Let m be (96/15)/(t/10). Let x be (-6)/(-14) - (-20)/(-14). Which is smaller: x or m?
x
Suppose 4*v + 16 = 0, -1 = -5*p - 5*v + 4*v. Is p equal to 3?
False
Let x(o) = 2*o**3 - 8*o**2 + 4*o - 3. Let b be x(5). Let n(s) = 2*s**2 + 4*s + 20. Let u be n(-6). Is b at least u?
False
Let i(b) = 5*b**2 - 118*b - 18. Let n be i(23). Which is smaller: 1/5 or n?
n
Let l be 0 + 25/(-9) - (-138)/(-621). Suppose -5*q = -0*q - 10. Let c(f) = f**3 - 3*f**2 + 3*f - 3. Let i be c(q). Which is bigger: l or i?
i
Let u be (0 + 1)*(-4)/(-8)*-6. Which is bigger: u or -20/7?
-20/7
Let d = 584 - 343. Which is greater: 243 or d?
243
Suppose p + 8 = 4*l, 6 = -4*l - 3*p - 2. Let i = -685 - -17128/25. Which is smaller: i or l?
i
Let w be (-5 - (-9 + (12 - 7)))*0. Let r be 6/9 - 7/9. Is w <= r?
False
Let i = -2 + 3. Let p = 31 + -27. Suppose -3*k + p*k + i = 0. Which is smaller: 1/13 or k?
k
Let g = 1/8 + 3/8. Let h = -20 - -32. Let w = h - 13.5. Which is smaller: g or w?
w
Let p = 286916 + -2291965/8. Let i = p - 423. Which is greater: i or -2?
-2
Let v(b) = b**2 - b - 3. Let x be v(-4). Let j be 24/(-8) + 49/x. Is j at least as big as 1?
False
Let h = 7 - 8. Let z = -260 - -162. Let b = 1469/15 + z. Which is smaller: b or h?
h
Suppose -2 = -3*n - 26. Let c be (-232)/(-72) + (-2)/9. Suppose 2*q = -5*m - 40, -3*q + 7 = c*m + 49. Is n at least q?
True
