et i be l(-5). Let n be (-4)/i*(-6)/4. Let x = -23 + 9. Which is bigger: x or n?
n
Suppose -5*g + 10*g + 3030 = 0. Let t = g - -26667/44. Which is bigger: t or 1?
1
Let h = -2.6 - -2.7. Let u = h - 0.2. Which is smaller: 0 or u?
u
Suppose 9*t - 7*t = r - 76, -39 = t - r. Is t bigger than -14?
False
Let i = -11 + 7. Let u = -8 - i. Let l = 2.33 - 0.33. Is l bigger than u?
True
Let x = 0.79 - -0.29. Let d = 70 + -70.08. Let k = d + x. Which is greater: 16 or k?
16
Let g = 33 - 13. Let q = 8 - g. Let y = -18 + 7. Is q greater than or equal to y?
False
Let b be (18/(-81))/(2/16 + 0). Let m be 7/35 + 16/(-5). Which is smaller: b or m?
m
Let y be (7 - (-24904)/(-2079)) + 5. Which is smaller: y or 0?
0
Let g(x) = 2*x**3 + 3*x**2 + 2*x + 923. Let u be g(0). Is u greater than 924?
False
Let a be -3 + (28/20 - 1). Is 0.2 != a?
True
Let t(d) = 4*d**3 - 2*d**2 + 1. Let n be t(1). Suppose -n*k - 5*g = -19, -2*g + 19 = 5*k - 0*k. Let y be k/((-9)/(-6)) + -4. Is y greater than or equal to 3?
False
Let v(m) = m**2 - 6*m - 11. Let k be v(8). Suppose -3*g + 4*o = -14, -5*g + k*o + 11 + 9 = 0. Let d be (5/g)/5*22. Is d greater than 11?
False
Suppose 80*l = 54*l + 26. Is l at least -1?
True
Let o = 783 - 398. Which is smaller: 384 or o?
384
Suppose 3*q - 14 = -2. Let a be 1*q/(-2) + 13/1. Which is smaller: a or 2/9?
2/9
Suppose 2*o = 3 + 3. Suppose -12 = o*s + 4*x, 0 = -5*s - 4*x - 0 - 12. Let i = -0.1 + 0. Which is greater: i or s?
s
Let g(f) = f - 26. Let n be g(25). Is n less than -3/70?
True
Let q = -137078/23 + 5959. Is q at most as big as -1?
False
Let r be 100/(-1275)*9/60. Is r >= 1?
False
Let h = 0.4 + -0.5. Let n = -3.06 - -2.56. Which is greater: n or h?
h
Let n(d) = -2*d**2 - 20*d + 18. Let x be n(-11). Let i be (-5 + (-4)/x)/(-1) - 19. Which is smaller: i or -13?
i
Let r = 64 + -66. Let x be (-3 - -5) + -12 + (0 - r). Which is bigger: -9 or x?
x
Let a(w) = w**2 - 30*w - 215. Let v be a(-6). Let u = 0.8 - 24.8. Which is smaller: u or v?
u
Let y(l) = -l + 7. Suppose -5*r - r + 42 = 0. Let j be y(r). Which is bigger: 1/3 or j?
1/3
Let c = -1212 - -1457. Is -0.1 not equal to c?
True
Let j be 8/10 + (-2)/(-10) + -8013. Let v = 3180766/397 + j. Which is smaller: v or 1?
v
Let f = 99.034 + -99. Let t = 7.034 - f. Is 1/8 bigger than t?
False
Let v(j) = -j**3 + j. Suppose -4 = -r, -d - 6 = 2*r - 4*r. Let m be v(d). Let s be (9/(-12))/(m/4). Is 2 greater than s?
True
Let o = 482.5 + -482.5. Let u = -1328/8801 - 2/677. Is u bigger than o?
False
Let m = 795 - 799.99. Let p = -5 - m. Is 2 equal to p?
False
Let m(d) = 2*d - 6. Let l(p) = 3*p - 5. Let b(o) = -3*l(o) + 2*m(o). Let y be b(-3). Let u = -30 + y. Which is greater: -13 or u?
u
Let h = -287 + 283. Let x(b) = b. Let w be x(-5). Does h = w?
False
Let v = 462 + -469. Is -10 smaller than v?
True
Let n = -0.62 - -42.62. Let u = -40 + n. Is 11 less than u?
False
Suppose -4 = -2*m + m. Let n be m/(-2) + -2 + -11. Let y = 299/20 + n. Is y at least 1?
False
Let q be 2 + 190/(-18) + -76 + 79. Is -7 at most q?
True
Let a(l) = -8*l + 136. Let j be a(17). Suppose -5*q = -60 - 785. Suppose -7*o - 48 - q = j. Which is greater: o or -32?
o
Suppose 2*y = -3*j - 987, -y + 4*j + 17 - 483 = 0. Let c be y/(-8)*(-387)/(-8559). Let m = c - -1/317. Which is greater: 3 or m?
3
Suppose 27*j = 23*j. Let u be (-118)/(-75) - 60/45. Is u > j?
True
Let s(l) = -l. Let v be s(4). Let c = v + 7. Let w be (2/2)/(2 - c). Which is smaller: -2 or w?
-2
Let h(q) = -15*q - 747. Let g be h(-50). Let r be (-21)/9*(-3)/(-4). Is r bigger than g?
False
Let s = -44 - -23. Let l be 6*(-3)/((-27)/(-6)). Let o be 20/s - l/14. Which is greater: o or -3?
o
Let i(h) = h**3 - 12*h**2 + 11*h. Let r be i(11). Suppose r + 24 = -3*p. Which is bigger: p or -1?
-1
Let l be (-1)/(-1) - (-24)/(-168). Let m = -12 - -13. Is m smaller than l?
False
Suppose -1 - 2 = -w. Suppose 0 = 4*t + 38 + 26. Let d be t/(-2)*(-3)/(-12). Which is smaller: w or d?
d
Let z = -84 + 84. Let c = 1655/51 + -97/3. Are z and c nonequal?
True
Let t = 14 - 284. Let i be 128/t - 4/(-10). Is i less than -1?
False
Let y = -36 + 357. Let v = -2259/7 + y. Is -3 at most v?
True
Suppose 3*q = -q + 8. Suppose -12 = -4*l + q*l - 4*v, 2 = 4*l - 3*v. Suppose l*s = -s. Is 2/9 > s?
True
Let o be 6*(-1)/2 + 1 + 2. Suppose 3*a = -0 + 9. Suppose -b + 1 = 3*u + 6, -a*b = -3*u - 21. Which is bigger: u or o?
o
Let v be 2/(-6) - (-427)/21. Let g = -20 + v. Is -3 <= g?
True
Suppose 4*l = -2*b - 6394 + 2412, 5*l = -3*b - 4977. Which is greater: l or -997?
l
Let a be 110/20 + 1/(-2). Suppose 8 = u + 5*z, -12 = -3*u - 2*u + 3*z. Which is bigger: u or a?
a
Let i be (-8)/546*(5 + 84/(-24)). Which is smaller: -1 or i?
-1
Suppose -2*k - 42 = -0*k - 4*s, 3*s - 6 = 0. Let o = k + 17. Which is smaller: o or 3/4?
o
Suppose 35 = 5*o - 115. Suppose 0 = 2*n + 3*n + o. Which is greater: n or -1?
-1
Let f(g) = g**3 + 13*g**2 + 14*g - 2. Let i be f(-12). Let k be i/(-96) - (-3)/(-9). Is k != 1?
True
Let a = 0.021 - 0.157. Let i = 0.064 - a. Which is smaller: i or 9/5?
i
Suppose -2*m + 7 + 11 = 0. Suppose -u = 3*y + 2*u + m, 4*y + 6 = -2*u. Suppose 5*a - b - 1 = y, -2*a + 5*b + 3 = -2. Which is greater: a or -0.4?
a
Let w be 70/4*(1 + 5/25). Which is smaller: 104/5 or w?
104/5
Let w = -0.097 - 0.003. Let l = 9 - 5. Let a = l - 5. Does w = a?
False
Suppose 4*z + 6 = 6*z. Suppose -z*i - c = -2*c - 19, -i + 5 = c. Suppose 4 = -5*m - i. Which is greater: -1 or m?
-1
Let y = -0.25 + 0.4. Let b = -16.9 + 15.9. Which is smaller: b or y?
b
Let f be 16/(-7) - (-4)/14. Let b be f/(-80)*(-53712)/26724. Let c = 7/262 + b. Which is bigger: 1 or c?
1
Let x = -10 - -8. Let t be (-11)/(-6) - 3 - x. Let g be 2 + 1 + (-1)/1. Do t and g have different values?
True
Let p(q) = -6*q - 98. Let r be p(-7). Is 4 greater than or equal to r?
True
Let h = -25 - -149. Let n = -137 + h. Which is greater: n or -12?
-12
Let j(h) = h**3 - 5*h**2 - 63*h + 342. Let q be j(6). Let t = -5/798 - 7/38. Which is bigger: q or t?
q
Let o(w) = 4*w**2 - 3*w - 5. Let x be o(-2). Are 15 and x unequal?
True
Let b = -3173/39 - 155/39. Which is bigger: -85 or b?
-85
Suppose -4*l + 120 = 4*o, 150 = 5*o - 4*l + 2*l. Suppose 5*q - o = -0*q. Suppose 2*c + 0 = -q. Is -1 not equal to c?
True
Suppose 1 = -k + i, 6*i = -2*k + 2*i + 10. Let n be 0 + 84/(4 - k). Is n < 29?
True
Let o(h) = h**3 + h**2 - h - 50. Let y be o(0). Let s = y - -47. Is -0.01 at most as big as s?
False
Let y(k) = 2*k**3 + k**2. Let s be y(-1). Let u be s + 0 - 28/(-36). Suppose -3*o = -q + 12 + 2, 5*q - 10 = 3*o. Which is smaller: q or u?
q
Let f(o) = -o**3 - 8*o**2 - 2*o - 12. Let i be f(-8). Let m be (-23)/(-4) - 3/i. Suppose k = -6 - m. Which is smaller: -12 or k?
-12
Let i = -14 + 0. Let j be i/19 + 2 + -3. Let o = j + 331/114. Which is smaller: 2 or o?
o
Let u be ((-2)/(-6))/((-185)/8103). Do u and -16 have the same value?
False
Let j = 49 + -244/5. Let n = 56 - 39. Let t = n - 18. Which is bigger: t or j?
j
Suppose -21*b + 7*b + 308 = 0. Is 23 less than or equal to b?
False
Suppose 5*k = 0, 0*p - 272 = -2*p - k. Which is greater: 135 or p?
p
Let j be 2/7 - (-1528)/(-56). Let o = 27 + j. Let h = o + -8. Are -22/3 and h nonequal?
True
Let y(w) = -7*w - 9. Let d be 21/14*3*(-2)/(-3). Let p be y(d). Which is smaller: -29 or p?
p
Let w be ((-1)/(-6))/((-1)/(-10)). Let d = 134 + -132. Let g = w - d. Are g and -4 non-equal?
True
Suppose 0*q + 2 = q. Suppose 0*m - 7 = -m. Suppose 5*v + 5*y = -15, m = -v - 0*y - 5*y. Which is greater: v or q?
q
Let l = -39.86 + -4.94. Let c = 45 + l. Does c = -4?
False
Suppose 5*m + 2 = 3*m. Let g be 1/(4/(-44)*m). Which is smaller: g or 10?
10
Suppose -28*x + 41*x + 13 = 0. Let j = -1/20 - 3/20. Is x at most j?
True
Let b be (-11 - -14) + (-33)/10. Let a = -1/2 - b. Which is bigger: a or -1?
a
Suppose -3*d + 142 + 1223 = 0. Which is smaller: 454 or d?
454
Suppose t = 4*d - 12, 4*t + 5*d = -0*t + 15. Suppose 4*m + 3*h - 25 = 0, t = m + h - 9 + 2. Is 4 greater than m?
False
Let c = -15010499/524 + 28646. Is -1 < c?
True
Let v = -19732/134275 - -2/3275. Is -1 >= v?
False
Let q(o) = 2*o**3 - 158*o**2 + 155*o + 90. Let w be q(78). Suppose -4*y + 2*y = -m - 20, 4*m = -3*y + 52. Is y equal to w?
True
Suppose c - 4 = 1. Let l = 12 - -12. Suppose 3*y = -y + l. Which is bigger: c or y?
y