5*m, 0*g - 3*g - 2*m + 20 = 0. Let c = g - 10. Let x be (c/(-8))/((-2)/(-4)). Is x greater than or equal to -2/5?
True
Suppose -2*d = f - 73, 0 = 3*f + 2*f - 4*d - 407. Let c = f - 76. Which is bigger: c or 20/13?
c
Let d = -301 + 901/3. Which is greater: 0.4 or d?
0.4
Let y = 612 - 587.1. Let u = 10 - -15. Let d = y - u. Are d and 0 non-equal?
True
Let q = 73 + -69. Suppose -p + 4 = l - 0*l, -p - 16 = -q*l. Which is greater: -2/423 or p?
p
Let p(w) = w**3 - 4*w**2 + 2*w - 9. Let d be p(4). Let s be (3/(-4))/(d/116). Suppose 33 = 3*h + s. Which is smaller: h or -17?
h
Let j be 3/(-1353)*18431/6. Let u = j + -10/451. Let g = 9/2 + u. Which is greater: -2 or g?
-2
Let b = 119 + -345. Is b greater than or equal to -227?
True
Let f be (-93*(-1)/6)/3. Let p = 160 - 154. Is p greater than f?
True
Let q = -1.49 + 17.49. Which is smaller: -0.05 or q?
-0.05
Suppose 5*w - 25*w - 1280 = 0. Which is bigger: -3 or w?
-3
Let b(i) = -6 + 3*i**2 - 8*i**2 + i**3 - i**2 + 6*i. Let v(q) = 5*q**2 + q - 1. Let l be v(1). Let n be b(l). Which is bigger: 1 or n?
1
Let q = -0.095 + -0.105. Let o = 4.08 + -0.08. Does q = o?
False
Let r be (-4)/8 - (-188)/8. Suppose -o - 5*x + r = 0, 0 = -x - 1 + 5. Is o greater than or equal to 6?
False
Let z be ((-18)/32)/((-78)/(-8)*-1). Which is greater: 0.2 or z?
0.2
Let t = 310 + -310. Is t greater than or equal to -2?
True
Let y be 3 + (189/(-33))/3 - 1. Do 2 and y have the same value?
False
Let w = 0.116 - -1.884. Let a(q) = q**2 + 3*q - 4. Let d be a(-4). Let z(j) = -j + 2. Let l be z(d). Is w at least l?
True
Let a = 322 - 631. Which is bigger: -308 or a?
-308
Let n = 140 - 1819/13. Let q be (2/6)/1*3. Is n bigger than q?
False
Let k(a) = a + 12. Let o be k(-6). Let s(q) = 4*q**2 - 5*q**2 - 6 - o*q + 0. Let d be s(-5). Is -1 less than or equal to d?
True
Let h be 2/6 + (-2)/(-6). Let x = -135 + 139. Is x greater than or equal to h?
True
Let k be (-31)/31 + (2/(-14) - -2). Is k at most -133?
False
Suppose 0 = 7*x - 3*x + 4. Let r = -86/27 - -50/27. Which is smaller: r or x?
r
Suppose -1 + 55 = 2*g. Let h = 12 - -15. Is h at most as big as g?
True
Let y be 4/3*10/6260. Does y = 0?
False
Let f be 4 + 2975/780 + 2/(-12). Let p = f + -35/39. Which is greater: 7 or p?
7
Suppose 33 = -q - 5*a, -4*q + a - 2 = 67. Let v = -25 - q. Is -5 at least v?
True
Let r = -122.1 + 123.5. Which is smaller: 15 or r?
r
Suppose 28 - 3 = 5*y. Let g be (-1*1/y)/((-14)/(-42)). Which is smaller: 0 or g?
g
Let t be (1 + 38)*(-6)/(-18). Let s = 32 - t. Suppose -1 - s = -5*i. Which is smaller: 5 or i?
i
Suppose 6*y = 110 + 442. Let s be 69/y - (-143)/(-4). Which is smaller: s or -36?
-36
Let c be -3*2/(-12)*(7 + -7). Is -1/27 smaller than c?
True
Let o = -10 - -6. Let f = 1283 - 1285. Which is smaller: f or o?
o
Let g be 1/1 + 7/(-6). Let x = 1.45 + -1.1. Let v = -1.35 + x. Is g less than or equal to v?
False
Let a = -98 - -93. Let j be -6*(-1 + 1/(-2)). Let d = j + a. Is 13/4 at most as big as d?
True
Let f = 203 + -203.1. Let o = -11.05 - -11. Which is greater: o or f?
o
Let v be 15/10*(-3 + 5). Let j be (-33)/(-14) - (v + 1 + -1). Is j greater than -1?
True
Let j = -1657 + 1641. Which is smaller: j or -191/13?
j
Suppose 3*z = d + 63, 96 = 2*d - 4*d - 4*z. Let s be 32/342 + (-12)/d. Which is smaller: s or 1?
s
Let n = 604 + -474. Which is smaller: n or 131?
n
Suppose -n = -20 - 0. Let w(a) = -a**2 + 5. Let s be w(5). Let z = s + n. Is 1/12 greater than or equal to z?
True
Let s = 26 - -29. Let p be 12/(-10)*s/(-22). Which is smaller: p or 6?
p
Let u be 146/42 + (-44)/33. Which is bigger: -0.1 or u?
u
Let n = 31 + -30. Suppose -l - 4*h = -2*h, -4*l = 4*h. Let q be 5/(-15)*(-2 + l). Which is smaller: n or q?
q
Suppose 0 = 2*x - 3*g - 9 + 6, -5*x - 4*g = -65. Is 11 at most as big as x?
False
Suppose 0 = s + p + 4*p - 193, 5*s - p = 1043. Let b be 6/21 + s/7. Is 31 smaller than b?
False
Let u = -3/1985 - 234197/21835. Do u and -10 have the same value?
False
Suppose 9 = -6*h - 3*h. Let u be h - 9/(-3) - (-33)/(-12). Are -2/11 and u unequal?
True
Let x(n) = n**2 + 23*n - 45. Let k be x(-25). Let z be (-1)/k - 21/(-105). Which is bigger: z or -3/22?
z
Let x(q) = -q**3 - 23*q**2 - 24*q - 21. Let h be x(-23). Is h >= 531?
True
Let v be 1 + -178 + 80/10. Is v < -167?
True
Suppose -f = -2*f + 10. Suppose -f*a = -9*a + 1. Let d(m) = -m**3 + m**2 + m - 1. Let j be d(0). Do j and a have the same value?
True
Let s be 1*(2/(-7) + 112/49). Suppose 0*z = -s*z + 2. Let l(b) = -6*b + 1. Let x be l(1). Is x greater than z?
False
Suppose -u + 319 = 3*g, 4*u + 210 = 4*g - 210. Is g < 106?
False
Let c be 1*(0 + -1) - 4. Let h = 8 + c. Suppose 3*f - 3*f = -2*f. Is h greater than f?
True
Let i(x) = -5*x**3 - 3*x**2 + 2*x + 1. Let z be i(3). Let p = -144 - z. Which is smaller: 8 or p?
8
Let w = -24 - -9. Let i be 3/w - (-177)/1035. Which is smaller: i or 1?
i
Let u be 1/(-3)*(-9 - 0). Suppose 5*v - 14 = -u*t + 5, -3 = -t. Suppose 2*h = 3*w - 3 - 3, -w = -2*h + 2. Is w less than v?
False
Suppose -143 = -10*r + 7. Is 17 smaller than r?
False
Suppose -5*b + 0*b = -4*t - 39, 0 = 3*b + 4*t - 49. Which is bigger: 1/12 or b?
b
Let t = 46 + -39. Suppose -147 = -t*b + 77. Which is smaller: b or 30?
30
Let m be (-602)/(-9) + 5/45 + 0. Is m at most as big as 72?
True
Let a be -1 - (3 - (5 + 0)) - 11. Let o be (-5)/(175/a) - 4/14. Which is smaller: -19 or o?
-19
Let v be (11/33)/(2/(-6)). Let s = 10 - 167/17. Which is smaller: v or s?
v
Suppose -z + 7 = 2*f + 4, 2*f = 6. Is z greater than -7/3?
False
Let t = 1921362/11 - 175068. Let m = 399 + t. Let r = -823 + 822. Is m greater than r?
True
Suppose -2*h = -4*v - 473350036, -5*h - v + 323564699 = -859810435. Let b = h + -14807573003174/62565. Let n = 2/645 + b. Are 1 and n equal?
False
Let y = 167 + -166. Which is bigger: -1/51 or y?
y
Let m be (56/(-10))/(146/3285). Which is smaller: m or -6?
m
Let n be (8/4)/(792/(-50)). Let b = 7/22 - n. Let l(w) = -w**2 + 3*w - 1. Let m be l(3). Which is smaller: b or m?
m
Let u = 39 + -45. Let v be ((-16)/(-24))/(14/u). Which is smaller: v or -4?
-4
Let y(t) = 11*t**2 + 31*t - 16. Let d(j) = 5*j**2 + 15*j - 8. Let o(k) = 13*d(k) - 6*y(k). Let c be o(9). Let b be 4/((2/4)/(-1)). Are c and b nonequal?
False
Let n = -47.87 - -5.77. Let f = -42 - n. Let a = 3 - 6. Which is greater: a or f?
f
Let f = 80 + -53. Does 21 = f?
False
Let v = 104 + -103. Which is smaller: 2 or v?
v
Suppose 564 = 6*p + 2022. Is -728/3 < p?
False
Let r = 96 + -163. Suppose -26*c - 3604 = 27*c. Which is smaller: r or c?
c
Suppose -q + 5*v - 17 = 0, 2*v - 2 = -5*q - 2*v. Let x be 1 - 1/q*120/(-51). Let t be 2/3*9/6. Which is smaller: x or t?
x
Let r = -35029/56 - -4250/7. Let b = r + 18. Let y(t) = -t - 11. Let w be y(-10). Which is smaller: b or w?
w
Suppose -2*q + 19*l - 20*l = 2, 5*q - l = 2. Is -4/39 at least as big as q?
False
Let f be (-73256)/(-3120) + -7 + 4/26. Let z = -95/6 + f. Which is smaller: z or -0.1?
-0.1
Let r be ((-9)/(-21)*-1)/((-12)/(-5220)). Are -185 and r equal?
False
Let v = -86 + -26. Let s = -409 - v. Let b = s - -3270/11. Which is smaller: 0 or b?
0
Let j = 672 - 667. Which is smaller: 2 or j?
2
Let v(t) = -t**2 - 24*t - 110. Let z be v(-6). Suppose -2 = 3*i + 10. Which is smaller: i or z?
i
Let q be 6/(2408/(-483) - -5). Is 412 at least q?
False
Let s = -19 - -18.9. Which is smaller: s or -138?
-138
Let h = 113/20 + -21/4. Let p = -0.025 - -27.025. Let m = p + -14. Which is greater: h or m?
m
Let q = 1727190544/49 + -246939892563001/7005628. Let f = 3/4612 + q. Let b = 654/217 + f. Which is smaller: 2 or b?
2
Let w = -32 + 28. Let u be (w/(-6))/((-17)/(-68)). Is 4 < u?
False
Suppose 5*g + 118 + 2 = 4*d, -2*g + d - 45 = 0. Is -5 < g?
False
Suppose 24*l - 78*l - 324 = 0. Which is smaller: 2/17 or l?
l
Suppose -11*d - 495 = 4*d. Which is smaller: -29 or d?
d
Let d be (7/26)/((-10)/80). Let i = d + 170/91. Let p = 13.27 + -0.27. Is i smaller than p?
True
Let a = 56 + -47. Suppose 6*b - 6 = a*b. Which is greater: b or -6?
b
Let n = -11 - -19. Suppose n = 4*y + 4. Which is greater: y or 1/10?
y
Suppose -3*w - 1641 - 610 = g, 3*g + 12 = 0. Is w at most as big as -749?
True
Suppose 0*s - 8 = 2*s. Let z = -10 - -5. Let o = z - -1. Are s and o unequal?
False
Suppose 0*g - 7*g + 21 = 0. Suppose w + g*n = -26, -3*w 