= l - -0.7. Let g be ((-4)/(11 - -1))/((-1)/(-6)). Which is bigger: y or g?
y
Let o be 30/21*(-4)/10. Let v = 3 - -8. Let r = -12 + v. Which is smaller: o or r?
r
Let a be -10*(-5 - 138/(-12) - 6). Which is bigger: -3 or a?
-3
Suppose 31 = -6*d + 61. Is 1 not equal to d?
True
Let d = -6 + 5. Let k be -2 + (-3)/(9/(-708)). Let x be (-4)/(-6)*(-162)/k. Does x = d?
False
Let w be -1 + 0 - (-5 + 4). Suppose -q + 2 + 0 = w. Let j be -4*2/8*-1. Which is greater: q or j?
q
Let y be -2 + 8/4 + 0. Let q(a) = -a**3 + 2. Let u be q(y). Suppose -3 = u*i - 1. Is 2/5 smaller than i?
False
Let b be 2/(-11) + 3402/6006. Is 0 >= b?
False
Suppose 13*g - 12*g + 10 = 0. Let x be 2/g - 46/(-120). Let j = 1/15 + x. Which is greater: 1 or j?
1
Suppose 10 + 42 = w. Let b = 44 - w. Let t = -2.1 - -2. Which is smaller: b or t?
b
Suppose 5*f - 8*f - 15 = -3*b, 0 = -2*f + 3*b - 15. Suppose -4*a + 3 - 31 = f. Which is bigger: -40/7 or a?
-40/7
Suppose 10 = k + 4. Which is smaller: k or 3?
3
Let k be 2*(5 + 15/2). Suppose 0 = l - k + 26. Which is bigger: l or -5/8?
-5/8
Let d = -0.09 + 0.1. Let q = 221 + -221. Which is smaller: q or d?
q
Let s be 18/(-4)*40/(-90). Let l be (-3 - -4)/(s/8). Suppose -5 + 9 = -l*u. Is 2/13 at most u?
False
Let c = 448 + -476. Which is smaller: c or -22?
c
Let h = -362/429 + 9/11. Which is greater: -1 or h?
h
Suppose -4*n + 71 = 5*c - 3*n, 2*n = -8. Are c and 13 unequal?
True
Suppose -6 = 18*m + 12. Is m bigger than -57?
True
Let f = 27 + -1237/46. Is 0 greater than f?
False
Let u(j) = j**2 - 5*j + 5. Suppose 3*g = -4*w, -2*g + 4*g = -3*w - 1. Let o be u(g). Which is greater: -4 or o?
o
Let x = 62.059 + -62. Let w = x + 3.941. Let c(f) = -2*f - 9. Let j be c(-6). Which is bigger: j or w?
w
Let s = 60 - 59. Let a be (s + -1)/(-2) + (-98)/(-147). Suppose -3*l - 2*x - 6 = -16, -3*x = 2*l - 10. Is l bigger than a?
True
Let t = -71 - -72. Suppose 2*n + 5*o = 65, n = 2*o - 7*o + 40. Let q be (-5)/n*(-10)/(-8). Which is smaller: t or q?
q
Suppose 0 = -2*d - d + 66. Let c = 23 - d. Let v be 6*21/(-39) - -3. Which is bigger: c or v?
c
Let s = 12.95 + 0.45. Let w = 15 - s. Let h(l) = l**2 - 10*l + 9. Let y be h(9). Which is smaller: w or y?
y
Let o = 4609 - 4565.66. Let f = o - 43. Which is smaller: f or 0.1?
0.1
Suppose 3*s + 4 = 4*s. Suppose -2*r + 18 = 4*o, -7*o = 4*r - s*o - 26. Which is bigger: r or 4?
r
Let l = 181321/51 + -10649/3. Do 6 and l have different values?
True
Suppose 2*k - 11*k = 0. Let s = 0 - k. Which is greater: -1.9 or s?
s
Let d = 2056 - 2315.4. Which is greater: 0 or d?
0
Suppose y = 6*y - 2*z + 9, 4*y - 4*z + 12 = 0. Let u = -10 + 49/5. Which is greater: u or y?
u
Let q = -86 - -177. Let h = q - 999/11. Which is smaller: h or -2?
-2
Suppose 0 = d - 4*y - 22, -y + 7 = d - 0*y. Suppose i - 2 = 0, 2*b - 5*i + d = b. Let o = 142 - 571/4. Is b greater than or equal to o?
True
Suppose 13*c - 5*c - 48 = 0. Let n be 3/(-9) - (-374)/c. Is n != 62?
False
Let t be ((-46)/(-8))/(9/72). Which is greater: 44 or t?
t
Let s = 1.5 + 7.5. Let z = s + -42. Let q = z + 32.8. Which is smaller: 0 or q?
q
Let m be (10/(-25))/((-92)/120). Which is bigger: m or 0?
m
Let i = 2086/5 + -417. Let u(h) = -h**3 - 2*h**2 - 2*h. Let o be u(-2). Let m be (-1)/(-2)*o/(-2). Is i smaller than m?
False
Let s be 2*-1 + -8 + 6. Let z(l) be the first derivative of -l**2/2 - 3*l + 1. Let r be z(s). Is 0.06 greater than or equal to r?
False
Let o = -90 - -27. Let f = o - -62.8. Is f greater than 53?
False
Let q = -5 + 5. Let m be 3 - (q/1)/(-1). Suppose -5*x - m*w = -3, 0*w + 1 = w. Is x at least as big as -2?
True
Let g be (-10 + 357/34)*-6. Suppose 25 = -5*z - 9*m + 4*m, 5*z + 1 = 3*m. Is z > g?
True
Let d = 59915/33 - 1815. Is d at least as big as 2?
False
Let u = 15 - 18. Let g = 9 + u. Let o be (-2)/4*-1*g. Is 3 at least as big as o?
True
Let x = 73.08 + -73. Which is smaller: 5 or x?
x
Suppose 0 = 9*a + a - 20. Let v be 13/(13/(-60)) - (-3 + a). Are -59 and v equal?
True
Let g be 0 + 5 - 6*(1 - 0). Which is bigger: g or 5/84?
5/84
Let n be (18/24)/(9/(-3456)). Is n greater than or equal to -287?
False
Let l(z) = -24*z**2 + 11*z - 2. Let o be l(4). Let t = o - -1379/4. Which is greater: 3 or t?
3
Let t(j) = 3*j - 152. Let o be t(51). Are o and 15/7 nonequal?
True
Suppose 0 = 5*y - x + 16 - 10, 3*y + 18 = -3*x. Is 63/10 at most as big as y?
False
Suppose 2*z + 5*o = -256, -4*o - 559 = 3*z - 189. Which is smaller: -117 or z?
z
Let l = 109 + -110.4. Let q = 1.444 + l. Which is bigger: 0.1 or q?
0.1
Let g(o) = -3*o + 17. Let d be g(5). Let u = -3 + 1. Let l = u - -3. Is l < d?
True
Let r(b) = -b**2 - 9*b - 6. Let y(g) = g**3 - 6*g**2 + 6*g - 1. Let j be y(4). Let f = j - 0. Let s be r(f). Are -8 and s non-equal?
True
Let x(h) = -h. Suppose -4*p = 4*j - 16, -5*j - 4*p + 4 = -15. Let u be x(j). Which is bigger: -24/7 or u?
u
Let v(y) = 12*y**2 + 8*y. Let p be v(-2). Suppose 4*c - 102 = 26. Are c and p nonequal?
False
Suppose -4*k = -5*k - 2. Let o(j) = -2*j**3 - j**2 - 3*j - 5. Let d be o(k). Which is bigger: 43/3 or d?
43/3
Let l = 4.5 + -41.5. Let f = 42.1 + l. Let k = f - 5. Which is smaller: -3 or k?
-3
Suppose t - 29 = 2*g, 5*g + 15 - 5 = 0. Suppose -5*r + 3*i = i + t, 3*r = 5*i - 34. Which is greater: -14/9 or r?
-14/9
Let d be (-6)/15 + 3/(-5). Let x(m) = -m**3 - 5*m**2 + 6*m - 4. Let i be x(-6). Let c be 78/(-1508)*i/3. Is c at most d?
False
Let h = -20 - -25. Let z(i) = 3 - 2 + 2*i - 2 + i**3 - 4*i - h*i**2. Let y be z(5). Is -11 > y?
False
Suppose 30*j - 19*j = 627. Let l = j - 68. Let c = -0.4 + 0.3. Which is smaller: c or l?
l
Suppose -2*k = 5*t + 2*k - 9, -41 = -5*t + 4*k. Suppose 0 = 4*v - 0 - 20, -t*p = -3*v + 35. Which is smaller: p or -5?
-5
Let p be 20/(-5) - (1 + -4). Is p at most 0.1?
True
Suppose -10 + 33 = 23*m. Are m and 121 unequal?
True
Let v be 1/(-2) - 9/(3 + 15). Which is bigger: -2/129 or v?
-2/129
Let y be ((-17)/51)/((-2)/(-1038)). Let o = 172 + y. Let a = -2/209 - 157/5434. Which is smaller: o or a?
o
Let r(a) = 6*a. Let o be r(-1). Let u = 2.3 + 0.9. Let k = u + -3. Is o greater than or equal to k?
False
Let u be -1 + 46*(-2)/(-52). Suppose 0 = -3*l + 6, m - 18*l = -20*l + 4. Which is greater: u or m?
u
Suppose 2*y + 2*f = 6*y + 382, 482 = -5*y - 2*f. Is y > -95?
False
Let c = -425 + 424.75. Which is bigger: 11 or c?
11
Let a = 8849681/50218476 - 5/652188. Let u = -3458975/357 + 9689. Let y = a - u. Is y >= -4?
True
Let r = -23 + 32. Suppose -2*j + 11 = -r. Let g be -2 - -3 - 14/(-2). Which is bigger: g or j?
j
Let f = 1 - 17. Let j = f - -17.1. Let l = j + -0.1. Which is greater: 2 or l?
2
Let p be -6 + (-6560)/(-1224) - (-10)/(-45). Is -2 smaller than p?
True
Let x = 1.998 - -0.102. Is x <= 1/3?
False
Let d be 0 + 2 - (31360/(-990))/(-16). Is d < 1?
True
Let p(m) = 4*m + 1. Let q be p(4). Suppose -3*s + 103 = 55. Which is smaller: q or s?
s
Let g be (-1)/(3 + 1)*4*-1. Does g = 8/91?
False
Let u = -65.31 - 2.69. Which is bigger: u or -0.1?
-0.1
Suppose 121*h - 147 = 142*h. Let v(j) = -j**2 + 4*j + 3. Let b be v(6). Are h and b equal?
False
Suppose 27 - 3 = -3*h. Let j be (-3 + (-28)/h)*-22. Let d = -10 - j. Which is bigger: 1/2 or d?
d
Let p be ((-2)/16)/(98/22441671). Let n = 28625 + p. Let z = 1/112 + n. Is 1 >= z?
True
Let d = 11/24 + 5/24. Is -16 less than d?
True
Let l be -2 + (-1 - -1*5). Let u be 6/l - (2 - 1). Let d = 787/474 - -1/158. Which is smaller: u or d?
d
Let j = -0.01 - -0.08. Let u = -83.93 - -84. Let h = u - j. Is -1 greater than or equal to h?
False
Suppose 140 = 7*t + 7*t. Let d be (t/15)/((-2)/3 - -1). Is -1 != d?
True
Let x = -34 - -36. Suppose 7 = -x*m - 3*m - 2*f, -3*f - 4 = m. Which is bigger: 2/15 or m?
2/15
Suppose 0 = -r + 2 + 6. Let t = r - 11. Is t bigger than -4/3?
False
Let p be (-10815)/(-1575) + 4/30. Is 7 != p?
False
Let s = -106 - -105. Which is greater: -3/109 or s?
-3/109
Let b be 1 + 3 - (-1010)/(-303). Are 858 and b non-equal?
True
Let k = 4259795565083581013/18867330414241965 - -2/5210530354665. Let f = -11516/51 + k. Let d = f + -2/213. Which is smaller: d or -1?
-1
Let d = 7 - 7. Which is greater: d or 2/217?
2/217
Let y = -0.011 - 0.289. Is 20 less than or equal to y?
False
Let s = 1697/11 + -154. Let v = 33 + -34. Which is bigger: v or s?
s
Suppose 2*q = 9*q. Let c be (q/1)/((-2)/1). Let 