= 0.08 + -0.14. Let f = h - -2.06. Which is smaller: f or g?
g
Suppose -20*y = -13*y - 8*y. Suppose y = -2*s + 2*x - 16, 4*s = -3*x - 67. Is s at least -0.8?
False
Let u(f) = 537*f**2 + 2*f - 3. Let w be u(2). Let i = -19467222/11 - -1771895. Let n = i - w. Are n and 1/2 non-equal?
True
Suppose m = 4, -3*m = 3*y - 2*m + 80. Let r = y - -37. Suppose 2*k - 1 = -4*o - r, 2*k = -8. Do o and 2/33 have the same value?
False
Suppose -26*n + 3*d + 29 = -31*n, 0 = 4*n + 3*d + 28. Is 60/683 at least n?
True
Let x be (-2)/(-2) - (21 - 0). Let i = -323 - -337. Let u(j) = -j**3 + 12*j**2 + 29*j - 33. Let f be u(i). Which is smaller: x or f?
x
Let x = -256 + 261. Suppose -x*t + c = 261 - 75, c = -2*t - 73. Is t less than or equal to -37?
True
Let w = 7037/24 + -2255/8. Is 11 not equal to w?
True
Let h = 1549609/243 - 6377. Let w be ((-85)/(-72))/(162/24). Let a = w + h. Is a >= 1?
False
Suppose 5*b + 341*m - 345*m = 52, 5*b = -2*m - 26. Let a = 0.6 - -1. Which is smaller: a or b?
b
Let k be (77444/73707)/((-70)/(-105)). Let i = k - 124/79. Is -1 <= i?
True
Let c = -206 - -249. Let v = -20 - -20.27. Let m = -0.37 + v. Which is greater: c or m?
c
Let r = -83.9 - -42.8. Let f = -216 + 175. Let u = f - r. Do u and 7 have different values?
True
Let p be (-1)/((-13)/(-37156)) + 75/65 + -1. Is -2858 <= p?
True
Suppose -5*g - p = 0, -4*p = -163*g + 162*g - 21. Is g greater than -110/283?
False
Let k be (9 - (-245)/(-28))/(5/20). Which is smaller: k or 276?
k
Let z be (12 + 59228/(-51))*(-42)/(-8). Is -6035 less than or equal to z?
True
Suppose 23*c + c + 21*c - 383535 = 0. Does 8524 = c?
False
Let v = 50118 - 234802828/4685. Is v bigger than 1?
False
Let k = -42459227 - -3226835587/76. Let y = k - -864. Is y smaller than -1?
False
Let y = -400 + 259. Let a = y + 419/3. Let b(o) = 133*o + 1207. Let s be b(-9). Is a smaller than s?
True
Suppose 4*a = 3*s - 16, 0 = -203*s + 207*s + a + 4. Do s and 9/50 have the same value?
False
Let b = 19636.9 - 19617. Which is smaller: b or 0.2?
0.2
Let h = -1.09343 - 0.16657. Which is smaller: h or -44?
-44
Let b = -0.26 + -67.74. Is b equal to -5/8?
False
Let h(d) = -d**2 - 11*d - 21. Let v be h(-7). Let k = -50 + v. Suppose -4*z - 134 = 34. Is z >= k?
True
Let q = 658.9625 + -659. Let s = q - 0.4625. Is -6/37 at least as big as s?
True
Let z = -64.984 - 0.016. Let f = -64.9 - z. Which is smaller: f or 0?
0
Let c be (-3 - -4 - 4)*12/(-90). Let q = -0.2 + 0.164. Is q > c?
False
Let l(f) = 2*f - 15. Let m be l(16). Suppose 4*g - m = -5*n - 251, 0 = 2*n + 4. Let r = g + 58. Is 11 < r?
False
Suppose 0 = 152*n - 500*n - 2639580. Which is bigger: -7586 or n?
n
Suppose 4*j = -3*k + 63, -5*j + k + 120 = 46. Suppose -j*n + 70 = -n. Suppose g + 2*z + 2 = -g, 1 = -n*g - z. Which is greater: g or 4/7?
4/7
Let q be -7 - ((2 - 3) + -1). Let b(o) = -o**2 - 5*o. Let r be b(-4). Suppose r = -n + 5. Which is bigger: n or q?
n
Suppose 37*s = 36*s - 688. Let r be 4/16 + 252/s. Which is greater: 0 or r?
0
Let p be 9/12 + 847/28. Let l = -28 + p. Let q be (l/23)/(-5 - (-4)/1). Which is smaller: 0 or q?
q
Suppose -5*l = -l - 4*i - 1888, 0 = -3*i - 3. Suppose 0 = 9*a - 39 + l. Let b be ((-110)/(-4) - 3)*-2. Which is bigger: a or b?
a
Let h be (-21)/12 - -1 - 2/8. Let q be (13/26)/(h/30). Suppose 3*w - 3*a = -2*w - 53, 4*a - 23 = 3*w. Which is smaller: w or q?
q
Let s = -1.1 - -1. Let b be (34/(-68))/(2/(-244)). Suppose -2*p + 2*j - 24 = 6*j, 3*p + j = -b. Which is greater: p or s?
s
Let w = 0.449 - 30.949. Let j = w + 27.7. Which is bigger: j or -1?
-1
Let y = -4164160/101 + 41227. Is -2 greater than or equal to y?
True
Let f = -100054/3 - -33763. Is 412 greater than f?
True
Let i = -850 - -849. Is 1/19 less than or equal to i?
False
Let a = 9.38 - 7.1. Let g = a + -2.237. Suppose 0 = 4*w - 8, -3*w + 6*w = -4*o + 2. Which is smaller: g or o?
o
Let a = 5022 + -5091. Which is smaller: a or 0.3?
a
Let d be (-2 - -597) + -5 + 9. Suppose 0 = 6*q - d + 167. Which is smaller: q or 73?
q
Let q = 300 + -234. Let t = q - 66.05. Is 1/5 bigger than t?
True
Let j = 454 + -813. Let o = j - -365. Which is bigger: -28 or o?
o
Let n = -6344 - -145886/23. Let i be -7 + (-410)/(-70) + (-3)/((-42)/16). Is n greater than i?
False
Let i = 35829.419 + -35831. Are -0.1 and i nonequal?
True
Let i = 26807/8325 + 2/925. Let l = 2077/639 - i. Which is smaller: 1 or l?
l
Let j(f) = 315*f - 715. Let v be j(9). Is v bigger than 2122?
False
Let a = 18050.103 + -18052. Which is greater: -0.1 or a?
-0.1
Let i = 248370/7 - 35379. Are 103 and i unequal?
True
Let w = -29 - 143. Let c = -171 - w. Do 2.6 and c have the same value?
False
Suppose h - 5*w = -342, 3*h - 11*w + 12*w = -1042. Let t = 248 + h. Are -100 and t equal?
False
Let s = -4 - -6. Let w = -280 - -282. Suppose 2*b = -2*b + s*j - 50, 10 = w*j. Which is greater: -11 or b?
b
Let s(g) = g**3 + 18*g**2 - 4*g - 54. Let u be s(-18). Let t(r) = -16*r - 37*r**2 + 23*r**2 - 31 + 15*r**2. Let z be t(u). Which is smaller: z or 16/3?
z
Let y be (-82)/(-164) - (-22)/1000*-22. Let r = y - 1756/375. Is r at least -5?
True
Let b = -262.02 - -262. Let o = -5 - -4. Let s = o + 1. Which is smaller: s or b?
b
Suppose 0 = -2*k - 2, -4*l - 2*k = -3*l. Suppose 3*y - l*y = -4*d - 65, d = -2*y - 25. Which is greater: d or -17?
d
Let n = 4000 - 3999. Are n and 5/341 nonequal?
True
Let s = 170218 + -1468300471/8626. Which is smaller: 0 or s?
s
Let l be (-18064)/690 + (-4)/(-6). Let s = l + 128/5. Let z = -1.4158 - -0.4158. Is s equal to z?
False
Let n be (-35)/11 - (-72)/396. Let i = -0.4 + 6.4. Let x = 5.9 - i. Which is bigger: n or x?
x
Let b be 24 + -15 - (-2355)/(-261). Let a be (-2)/(-5) - (-3)/5. Suppose a = -2*o - 1. Is b less than o?
False
Suppose -3*i = -2*w - 3922 + 2, -i = -4*w - 1290. Is 1308 < i?
True
Let g = -246 - -433. Let m = g - 189. Which is smaller: m or -61?
-61
Let k be 454/(-7337) + 16/88. Let o = k - 6/29. Suppose 7*v - 13 + 6 = 0. Which is bigger: o or v?
v
Let q be (-3)/(2/8*-1). Let w(k) be the third derivative of -k**4/24 + 2*k**3 - 1241*k**2. Let j be w(q). Is 4 at most as big as j?
False
Let g(q) = -33 - 11*q + 71*q**2 + 6*q + 3*q**3 - 63*q**2 - 2*q**3. Let v be g(-7). Is 50 > v?
False
Suppose -3*u = -k - 5, 0 = -4*u - 5*k + k + 28. Let y be (-2)/3 + 131*(-8)/(-6). Let n be (-43)/(-20) + y/(-435). Which is greater: n or u?
u
Suppose -3*t + 322 = 2*c, 3*c - 400 - 45 = 5*t. Let k be (70 - 101)/(1/(-5)). Is c less than or equal to k?
True
Suppose 0 = -4*v, -4*v + 8*v = -4*z. Let q be 700/(-528) + 5/4. Which is bigger: q or z?
z
Let w = -666 + 684. Let u(c) = 2*c**3 + 2*c - 1. Let h be u(1). Suppose -76 = -h*j - 22. Is w >= j?
True
Suppose -4*r = -32*r - 140. Suppose q + 33 - 17 = 0. Let y = q + 13. Which is smaller: y or r?
r
Let m be -6*2 - (-3 + -1). Let s(z) = -z**3 - 7*z**2 - z + 3. Let h be s(m). Let n = h - 118. Is n >= -42?
False
Let h be ((-6)/(-10))/(-7*12/105). Is 194 less than or equal to h?
False
Let a = -2272 - -31795/14. Let q = 7.2163 - 7.3163. Which is smaller: a or q?
a
Let i = -24503 - -20844. Is -3661 <= i?
True
Suppose -4*d + 48 = p - 0*p, 4*d + 2*p - 40 = 0. Let m(o) = 3*o - 3. Let r be m(5). Which is smaller: r or d?
r
Let c = 183 - 188. Let l = -2014.8 + 2018. Is c equal to l?
False
Let m(a) = -a**3 + a. Let o be m(-1). Let x(s) = -103*s**2 - 4*s + 1. Let f be x(-1). Let z be 264/(-609) - 7/(f/8). Which is bigger: z or o?
z
Let n(i) = 116*i + 165. Let t be n(-1). Which is greater: t or 40?
t
Let x(y) = y**3 - 159*y + 87. Let h be x(-14). Which is bigger: h or -428?
-428
Let q = -3.04 + 2.64. Let c = q - -0.3. Which is greater: c or 1?
1
Let d(a) = 10*a - 61. Let o = 58 + -50. Let r be d(o). Is 5 at most r?
True
Suppose 4*a = 5*i + 4787, 5*i - 3*i + 1924 = -3*a. Is i greater than or equal to -959?
True
Let f be (2/(-24))/((-78)/(-16)). Let r = 368 - 364. Suppose b = -4*g - 6, -r*g - 4*b - b - 14 = 0. Which is greater: g or f?
f
Let v be -1*((-350)/(-112) + (-4)/32) - -3. Is v equal to -4/799?
False
Let c = -7 + 9. Let m be (c/2)/(6/(-18)). Suppose -3*t = 18*t - 63. Is m equal to t?
False
Let b(r) = r**2 - 5*r - 4. Let z be b(6). Let d be 99/(-54) - z - 1/(-3). Which is greater: d or -5?
d
Let y = -498 - -808. Suppose y = -2*r + 7*r. Is r greater than 60?
True
Let n(h) = -149*h - 1175. Let k be n(-8). 