 Which is bigger: f or -88?
f
Let y be ((-1)/(-3))/((-2)/(-3)). Let q = -14.111 - 0.089. Let h = q - -13.6. Which is greater: h or y?
y
Let o(k) = -k**3 - 10*k**2 + 12*k + 15. Let v be o(-11). Suppose -v*i - 6 = -38. Let b be (4/i)/(-4*1). Is b at least as big as -1?
True
Suppose -29 = 6*g + 61. Which is smaller: g or -5?
g
Suppose 0 = 2*o + 28 + 22. Let w be (-9)/((-27)/6) + o/12. Is -1 > w?
False
Let x = -2.6 - -2.7. Let n = -2.6 + 2.3. Which is greater: x or n?
x
Let u(y) = y**2 - 42*y - 39. Let g be u(45). Is g != 96?
False
Let b be -11*(2 + (-4 - -4)). Let m = b + 10. Let h be m/(-8)*(-8)/6. Is -2 at least h?
True
Let h be 1281/135 - ((-23)/(-5) + -4). Which is greater: 10 or h?
10
Let s = -40.9 + 0.9. Let g = -41.16 - s. Let u = g + 0.16. Which is smaller: u or 3?
u
Let u(x) = 115*x - 346. Let m be u(3). Are -1/1761 and m unequal?
True
Suppose -18 = -3*s - 4*q + 8, -3*q + 19 = 2*s. Suppose s*i - 3*i = 0. Suppose 6*u = 2*u + 2*k - 8, 3*u - 5*k - 1 = i. Is -6 at least u?
False
Let f be (-15)/(-21) - 4/(-14). Let o be -1 + -67 - (-2)/f. Let j be (6/(-40))/(o/(-55)). Are 1 and j equal?
False
Let g be (-1)/((-4)/32) + -4. Suppose -93 = g*b - b. Let w = 23 + b. Which is greater: w or 1/3?
1/3
Suppose 10*g + 926 = -594. Which is bigger: g or -154?
g
Let k = -0.021 + -1.509. Let t = k + -0.47. Which is bigger: t or -0.2?
-0.2
Let v = -46.9 + -0.1. Let a = -47 - v. Which is greater: a or 14?
14
Let q be 22/(-9)*15*3. Let n = q + 50. Is n not equal to -60?
False
Let u be (1*7)/(18/(-42)). Let k = 16 + u. Let r = -14 + 9. Which is bigger: k or r?
k
Let z be (-400)/300 - (0 + (-4)/3). Which is greater: z or 256?
256
Suppose -9*y + 6 = -8*y. Let k = y - 14. Is k greater than or equal to -8?
True
Let l = 53 - 54. Let q be (-2)/l + 6/60. Is 2 at most q?
True
Let v be ((-56)/10)/((-20)/(-350)). Let d be v/(-36) + (-18)/36. Which is greater: d or 2?
d
Suppose -2 = -3*o + 22. Let x be (-7)/(-28) + (-418)/o. Which is smaller: x or -51?
x
Let g = 5113557461/1494 + -3422729. Let n = g + -1/498. Which is smaller: -8 or n?
-8
Let c = -31/6 + 5183/1002. Which is greater: 1 or c?
1
Let h(z) = 2*z**3 - 19*z**2 + 6*z + 28. Let k be h(9). Does k = 9/5?
False
Let q = -3/917 - 7225/33929. Which is smaller: q or -1?
-1
Let t = 0.155 - 0.255. Is t >= -29?
True
Let l = -4 + 3.4. Let m be 27/((-810)/(-12))*(-11 + 1). Which is smaller: m or l?
m
Let r = 36.445 - -0.555. Is r greater than -3/7?
True
Let h be -37 + 125 + 1 + -2. Do 82 and h have different values?
True
Let r = -0.5 - -0.54. Let k = 0.17 - r. Let l = 14.13 - k. Is l at most -1/4?
False
Suppose -121 = -5*u + 24. Let a = u - 11. Is a greater than or equal to 1?
True
Let f = -55 + 24. Let g = 60 + -91. Are f and g nonequal?
False
Let i = -33 + 164. Do i and 131 have different values?
False
Let i = -877.4 + 856. Is -0.2 greater than or equal to i?
True
Let z = -172 + 168. Which is smaller: 3 or z?
z
Let s(t) = -t**2 + 13*t - 16. Let l be s(9). Suppose -4*a + 6*a = -l. Is -8 bigger than a?
True
Let n be 1/(-4) + 26/8. Suppose 0 = 2*r + n*r - 5*y - 45, 5*y + 10 = 0. Let b be r/(-27)*10/35. Which is smaller: 0 or b?
b
Let s(n) = -n**2 + n + 1. Let d be 1/5 + 414/30. Suppose 2*t + 12 = d. Let h be s(t). Which is greater: h or 1/36?
h
Let w(g) = g**2 - 3*g + 3. Let f be w(3). Let q = 361 - 364. Which is smaller: q or f?
q
Let h = 0.058 + -31.058. Let q = h + 32. Is 1 less than q?
False
Let s = 29 - 26. Let p be s - (-390)/(-99) - -1. Which is greater: 0 or p?
p
Let j = -15 + 22. Which is smaller: 0 or j?
0
Let z = -4 - -6. Let m = -892 - -907. Is m greater than z?
True
Let v be 12/(-40) + (-1357)/(-2990) - (-2)/(-13). Let q be (-1)/(-4) - (-2)/(-72). Which is smaller: q or v?
v
Let s = 0.213 - -86.787. Which is smaller: s or -0.1?
-0.1
Let n = -20 - -8. Let s = 11.94 + n. Let b = s - -0.1. Which is smaller: 2/3 or b?
b
Suppose 9*o + 52 = 11*o. Which is greater: o or 29?
29
Suppose 4*m - 87 = 2*f + 21, 6 = 2*m. Is f < -48?
False
Suppose -14 = -4*x - r, -x + r = 3*r. Suppose 4*j = 5*l - 14, 0*l + x*l + 4*j - 40 = 0. Suppose -38 = -4*f - 14. Do l and f have the same value?
True
Let b be 10/(-8) - (-12)/48. Is -8 less than b?
True
Let p = 367 - 368. Suppose 0 = 4*o - 7*o. Is p bigger than o?
False
Let x(w) = -6*w - 29. Let m be x(6). Which is bigger: m or -67?
m
Let a(r) = -r**3 - 4*r**2 + 6*r + 5. Suppose -3*t + 4*t + c + 9 = 0, -t + 2*c = -3. Let u be a(t). Let h = -242 - -963/4. Which is greater: h or u?
u
Let b = -1769992/13 + 135714. Let i = b + 439. Which is bigger: i or 0?
0
Let w = -12 - -23/2. Suppose 58*n + 84 = 60*n. Suppose 0 = -n*l + 38*l. Which is greater: l or w?
l
Let j = -491 + 499. Suppose 11 = 3*a + u, 3*u + 2*u = 5*a - 45. Suppose 3*b = -a + j. Which is greater: 2/7 or b?
b
Let m = 4 + -4.3. Let u(o) be the third derivative of -o**6/120 + 7*o**5/60 + 3*o**4/8 - 11*o**3/6 + 26*o**2. Let q be u(8). Which is smaller: q or m?
q
Suppose 0 = 3*z - 3*k + 30, -5*k + 8 = z - 0*k. Is z at least -37/5?
True
Let a be ((-12)/10 + 0)*5. Let o = a + 4. Let s be ((-152)/(-114))/(8/(-6)). Which is smaller: o or s?
o
Let a be 3/(-2)*(-112)/(-21). Let w be 6/a + (-47)/(-4). Are w and 11 non-equal?
False
Let i be 1/(-5) - (272/40 + -7). Which is smaller: i or 2/405?
i
Let d be ((-7)/(-1))/(3/(-7)). Let x = 257/15 + d. Let b be 4 + (-26)/6 + 14/6. Is b != x?
True
Suppose -7*z + 5*z + 4 = 0. Suppose 5*r - 19 = 31. Which is smaller: z or r?
z
Let o = -1.8 - -12.8. Is -0.2 greater than o?
False
Let t(g) = -83*g - 16. Let l be t(-3). Is 234 bigger than l?
True
Suppose -i - 3 + 6 = 2*m, -i = -3*m - 8. Which is smaller: m or 13/27?
m
Let y = 23 + -25. Let h = 0.048 - -0.952. Is y <= h?
True
Let j = -84014/705 + -22/705. Which is bigger: -119 or j?
-119
Let v = -0.1588 - 0.1412. Let i = -0.3 + 0.1. Is i >= v?
True
Suppose 4 = -4*a, -1 = -2*v - 5*a - 4. Suppose 0 = -2*t + 5 - v. Let y be (2/(-12))/((-2)/16). Which is bigger: t or y?
t
Let h(b) = -2*b - 67. Let x be h(11). Which is greater: x or -88?
-88
Suppose 24*m - 30*m = 522. Is -86 less than or equal to m?
False
Let d be -4*1 - (-38)/(-12). Let i = d - -13/2. Which is bigger: i or 1/2?
1/2
Let j = 0.016 - 0.016. Let i = -93.2 - -83. Let n = i + 10. Is j at most as big as n?
False
Let l = 43 + -29. Let q = l + -17. Let t(h) = h**2 + 3*h - 4. Let g be t(-3). Is q < g?
False
Suppose 0 = 5*r - x + 2, 5*r - x + 20 = -6*x. Let n be (-17)/30 - r/6. Let l be (-1 - 2/(-4))*0. Is n greater than l?
False
Let i(n) = n**3 + 8*n**2 - 8*n + 9. Let o = 10 - 19. Let r be i(o). Suppose r*c + 2 = c. Which is smaller: c or -7?
-7
Suppose 3*b - 4*h = 6, 5*h = -5*b - 0 - 25. Let j be (-3076)/(-52) + b/13. Which is greater: 58 or j?
j
Let j be 27*((-70)/(-15) + -4). Let t = j + -28. Is -9 greater than or equal to t?
True
Let j = 1712 + -8518/5. Are 7 and j nonequal?
True
Let f(v) = v**3 - 2*v**2 + v - 4. Let a be f(3). Let r be 6 - (-4 - a)/(-4). Suppose -2*q = c + 3, c + r = 4*q + 12. Which is smaller: 7/4 or c?
c
Let k be (4/2)/(-8)*-1. Let y = -36.12 - -36. Let x = y - -0.42. Is x <= k?
False
Suppose 3*p = 0, 1 = -2*z + 4*p + 3. Let g(v) = v + 3*v + 1 + v**3 - 8*v + 3*v. Let f be g(z). Which is greater: f or -2/7?
f
Let c = 4 - 7. Let j(t) = -2*t**2 - 12*t. Let g be j(-7). Let z = g - -12. Is z > c?
True
Let g(m) = 7*m - 5. Let f be g(3). Let x be ((-20)/f*2)/4. Suppose 0 = r + r. Which is smaller: x or r?
x
Suppose 2*w + 6 = 3*w - 2*x, -4*w = -5*x - 9. Let l be (23 - 11)*1/(-3) - w. Let p be (-68)/(-154) - 4/(-14). Are p and l nonequal?
True
Let x = 181 - 127. Let k = x + -23. Which is bigger: 30 or k?
k
Let m = -3 + 2. Let w(f) = -2*f**2 + 25*f + 133. Let h be w(-4). Is h at most m?
False
Let t = -0.0538 - -270.0538. Is 1/4 at most t?
True
Let o(r) = 3*r**2 + 16*r + 17. Let u be o(-4). Is -2/239 <= u?
True
Let r = 0.94 - -2.56. Let i = r + -1.5. Are 0.3 and i unequal?
True
Let u be (-1956)/24*(-2)/5. Let w = -33 + u. Is w less than or equal to 27?
True
Let j be 2/3*(-4)/16. Suppose -2*f - n + 11 = 0, 0*n = -3*f - 2*n + 19. Suppose d - 3 = g + f*g, -4*g = -5*d + 15. Which is greater: j or g?
g
Suppose 0 = -157*d + 160*d - 96. Which is greater: 232/7 or d?
232/7
Let s = 982 - 973. Are s and -3/23 equal?
False
Let d be ((-16)/(-20))/(4/10). Let f be ((-7)/2)/((-15)/(-2) - 7). Let r(u) = 6*u 