Let l be (-5 - -2) + (6 - 2 - 2). Is g at most as big as l?
True
Let b(y) = -2*y + 5. Let c be b(6). Let p = -245.7 + 540.8. Let l = p + -295. Are c and l equal?
False
Suppose -4*z + 8 = -k, 15*z - 12*z = -4*k + 6. Which is smaller: z or 9?
z
Let j = -0.22 - 4.28. Let g = j - -6.6. Let q = g - 2. Are 12 and q equal?
False
Let p be ((-20)/6)/(4/18). Let w = p + 61/4. Suppose 2*h - 4*h = 2. Is h less than w?
True
Suppose 3*f = -3*k - 15, -2*k - 4*f - 1 = 15. Let c be (-341)/(-66)*(-3)/k. Which is bigger: c or 9?
9
Let g = 152 + 281. Let v = g - 3902/9. Is -1 at most as big as v?
True
Let w = -417 + 416.8. Which is smaller: w or -0.195?
w
Let c = 2.25 - 2. Is c at most -1?
False
Let f(q) = q**3 + 6*q**2 + 11*q + 30. Let n be f(-5). Let m be ((-18)/4)/((-33)/4). Which is smaller: m or n?
n
Let z(c) = -c**3 + 9*c**2 - 15*c - 3. Let m be z(7). Let h be (-2)/(-3)*(-7 - m). Which is bigger: 5/7 or h?
h
Let d(j) = -j**3 + 7*j**2 - 6*j + 4. Let b be d(6). Let t be 148/(-6) + (-12)/b + 0. Which is smaller: t or -27?
t
Let x be 30/(-105) + (-16)/(-7). Suppose 0 = 7*g - x*g. Is -0.6 bigger than g?
False
Let y = -17 - -19. Let k = 0.7 - 0.4. Let h = k - 8.3. Which is greater: y or h?
y
Let g = 320 + -455. Are g and -1/4 nonequal?
True
Let s be (62/(-20))/31 - (-309)/(-10). Which is smaller: s or -18?
s
Suppose 0 = -186*z + 232*z. Is z at most as big as -3/1937?
False
Let x = 0.73 - 34.73. Let l = 17 + x. Let n = l - -12. Does -1/2 = n?
False
Suppose 4*g = 2 + 22. Suppose 2*m - v - 24 = -2, -2*v + 8 = 0. Let s = -8 + m. Which is smaller: g or s?
s
Let n be ((-82)/6)/((-14)/42). Let y = n - 43. Let g(w) = -w**2 - 3*w + 6. Let t be g(-5). Which is bigger: y or t?
y
Suppose -9*r + 15 = 5*a - 4*r, 0 = a + 5*r + 5. Let h be a - (0/2 - -2). Let o be -23*h/21 - -3. Which is smaller: -3 or o?
-3
Suppose -2*m + 75 = 3*m. Suppose -2*p = m + 9. Let f be (4/p)/(14/(-12)). Is f at most 3?
True
Let a = 960 + -833. Does a = -2?
False
Let d(s) = -s**2 - 8*s - 14. Let k be d(-5). Let f = k + -1. Let c be (35/(-98))/(2/(-4)). Is f >= c?
False
Let u be 2 + 3 - (3 + -1). Let q be u/3*(-4)/(-2). Let s be 0 + 9/(-6) - -3. Which is greater: s or q?
q
Let d be (5 + 170/(-40))*16/(-69). Which is smaller: -2/85 or d?
d
Let h = 19 + 17. Let x = -35 + h. Which is bigger: 12 or x?
12
Let p(a) = -a**2 + 3*a + 11. Let s be p(6). Let w be s + (45/(-10))/9. Let u = 63/5 + -13. Which is greater: u or w?
u
Let y(t) = 3*t**2 + 28*t - 18. Let a be y(-12). Is a <= 77?
False
Let s(o) = o**3 - 4*o**2 + o - 3. Let x be s(4). Let k be (4/2 + -1)/x + 4. Are -1/5 and k nonequal?
True
Let q(l) = 7*l - 42. Let o be q(6). Is -4/343 < o?
True
Let o(r) = -r**2 - 7*r + 29. Let q be o(-10). Let p be 2 - 2 - 0/(-2). Suppose p*u = -2*u - 2. Is u <= q?
True
Let m = -0.19 - 32.81. Let o = m + 33.19. Let d be 18/(-27) + 1 + -1. Is o at least as big as d?
True
Let b be (-588)/(-20) - 4/10. Let l = b + -6. Let u = -20 + l. Which is smaller: -2 or u?
-2
Let m be -2 + ((-6)/(-1))/((-1593)/(-590)). Which is greater: m or -8?
m
Let o = -0.03 + -0.07. Let y = 1.9 - o. Suppose 2*c + 3*l = -6, 0 = c + 4*c + 2*l + 37. Which is smaller: c or y?
c
Let f = -5 - -68. Which is smaller: f or 0?
0
Let d be (-47128)/58960 - (-8)/10. Is d greater than or equal to 0?
True
Let a be 16/12 - 4/12. Is -1/458 greater than a?
False
Let o be ((-96)/(-648))/((-10)/(-8)). Which is bigger: o or 1?
1
Let n = -493 + 493. Is n > 304?
False
Let y = 2.96 - -0.04. Let m = 5/821 + -110855/3284. Let u = m + 34. Does u = y?
False
Let p = -1.4 - 10.6. Let k = -2.63 + -1.37. Let d = p - k. Which is bigger: d or 1?
1
Let t = -125 - -30. Let u = t + 83.2. Let v = u + 12. Is v bigger than -2?
True
Let l(m) = -m**2 - 23*m - 21. Let r be l(-22). Is -3/166 greater than r?
False
Let x be (-4)/(-1)*(-5 + 2). Suppose 15 = 2*k - 7. Let n = x + k. Is -1 >= n?
True
Let t = 143 + -151.9. Let u = -10.9 - t. Let n be 6/(-10)*5/2. Is n <= u?
False
Let l be (-12)/(-2) - (-2 + 1). Suppose x + 85 = 3*j, 0 = -4*j + 4*x - l*x + 122. Suppose 3*g = j + 1. Is g at most 10?
True
Let h = 51 + -50. Let u = -3.8 + 0.3. Let m = -1 - u. Which is bigger: m or h?
m
Let t(q) = q**2 - 47*q + 421. Let s be t(18). Is -101 > s?
False
Let s be ((-18)/(-4))/3 - (-15)/(-30). Let p = -43 + 42. Which is bigger: s or p?
s
Let y = 1599 + -9565/6. Which is bigger: 0.2 or y?
y
Suppose 4*z + z + 4*f - 30 = 0, 4*z = f + 3. Let r be z + (-1 - -2) - 4. Let a = -0.9 + -1.1. Which is bigger: r or a?
r
Let t(m) = m**2 - m + 8. Let w be t(8). Let p be -2 + (w/(-9))/(-2). Is p greater than or equal to 3?
False
Suppose 14*c = 11*c + 12*c. Which is greater: c or 6/707?
6/707
Let s = 215 - 224. Let w be (-35)/(-4) + (-3)/(-12). Suppose 5*g - w = -4. Is g at least as big as s?
True
Suppose -2*f + 6*f = 0. Let b = 43/340 - -1/20. Which is smaller: b or f?
f
Let x(j) = j**2 - 11*j + 10. Let y be x(10). Let i = -89 + 88.97. Is y at most i?
False
Let l = -1652/4771 + -20562351/1035307. Let n = l - -141/7. Let g(r) = -r**2 + 5*r - 3. Let a be g(4). Which is greater: a or n?
a
Suppose -2*g = -3*g - h + 15, g - 3*h = -5. Is g at most as big as 13?
True
Let q(p) = -2*p**2 - 40*p + 43. Let f = -58 - -38. Let l be q(f). Is 42 greater than l?
False
Let u be (70/30)/(-7) + (-22)/(-30). Which is bigger: -2/65 or u?
u
Let j be (-2 - 0) + 780/(-3). Let p = j + 1314/5. Let g be (-117)/26 - (-2)/4 - -6. Is p >= g?
False
Let p(k) = -11*k + 18. Let h(i) = 4*i - 6. Let z(n) = 8*h(n) + 3*p(n). Let c be z(6). Is 1 smaller than c?
False
Let h = 126.6 - 181.95. Let q = -0.65 + h. Which is smaller: 0 or q?
q
Let z(a) = a - 8. Let j be z(7). Let x = 8 - j. Suppose -5*i + 4 - x = 0. Is -4/3 <= i?
True
Let z(k) = k**3 + 10*k**2 + 12*k + 27. Let g be z(-9). Let b be (4/(-94))/(-3 + 6). Which is smaller: g or b?
b
Suppose 9*g - 5*c = 10*g - 126, -2*g + 274 = -c. Are 135 and g nonequal?
True
Let n be -1*(9 + 384/(-42)). Suppose 3*o - 10 = -2*o. Which is greater: o or n?
o
Let o = 5.98 + -3.98. Which is greater: -6.4 or o?
o
Let z be 5 - (-3 - -4)*-13. Is 20 < z?
False
Let t be (-2*45)/(5/20). Let b = 5375/4 - 11741/12. Let u = b + t. Which is greater: u or 5?
u
Let d = -274.2 + 274. Let y = 7 + 1. Which is smaller: d or y?
d
Let m be (-1)/(2/12)*-2. Suppose -5*u + p = -65, -2*p - 2*p = 0. Let t = m - u. Is -1/4 bigger than t?
True
Suppose -2*o - 10 = 0, 4*s - 4*o - 8 - 64 = 0. Is s < 25?
True
Let f = -2461/7 - -351. Which is smaller: -13 or f?
-13
Let t(v) = 2*v**3 - 14*v**2 - 4*v - 19. Suppose 0 = 5*h - 4*g - 39, -2*h - 3 = -3*h - 4*g. Let z be t(h). Which is bigger: z or -46?
-46
Let n = 42 + -46. Let l be (-1)/(n - (-20)/((-4)/(-1))). Which is greater: l or -6/13?
-6/13
Let i be (-198)/10 + (-1)/5. Let q be 5/i - 393/12. Let c = q - -25. Is -2 at least as big as c?
True
Let d = 31 - -75. Is d < 107?
True
Let q = -306.32 + 216.4. Let g = q + 90. Which is bigger: g or 2?
2
Let w = -71.8 + 71.7. Suppose -z - 5*y = 37, 3*z = -0*y + 5*y - 11. Let v be z/(-70) + 4/10. Are w and v unequal?
True
Suppose -3*u + u = -5*a - 15, -3*a - 9 = -u. Suppose 3*j - 2 - 22 = u. Let y be (-66)/(-8) + (-2)/8. Is j > y?
False
Suppose 55*z - 52*z = -15, 5*v = 5*z - 55. Is -3 < v?
False
Let s be 52/117 - (-82)/18. Suppose 0 = z + s*z + 12. Which is smaller: 20 or z?
z
Suppose -26*o - 7 + 33 = 0. Is o greater than 2/1087?
True
Let t = 187 + -182. Which is smaller: -6 or t?
-6
Suppose 1050 = 9*d + 1041. Which is smaller: d or -4/27?
-4/27
Let f be (2/36)/((-1)/8). Let o be (0 + 0)/(5/(-5)). Suppose u + 2*x - 8 = o, 4*x = 2*u - 0*x + 16. Which is smaller: u or f?
f
Let f(j) = -84*j + 625. Let s be f(7). Is s at most 153/4?
True
Let t = -1823 + 927. Let h = 2714/3 + t. Which is greater: h or 8?
h
Let t = 0.102 + -0.032. Let g = t + -0.24. Which is smaller: g or -1/3?
-1/3
Let r(k) = -k**2 + 25*k - 21. Let x be r(14). Suppose -2*d - 2*z + 56 = 0, z - x = -5*d - 5. Is 24 bigger than d?
False
Let g(z) = 3*z**3 + 2*z**2 - 1. Let i be g(1). Let l = 41 + -41. Suppose i*u - 4*w + 3*w - 1 = l, 5*u - w - 1 = 0. Is u less than or equal to -2?
False
Let j be (4 - (-39)/(-1))*1. Let z be 35*(-6 + 12)/(-6). Is z greater than j?
False
Let a be 3 + -1 - 2*1. Let b(p) = a*p**2 - 3*p - p - 4*p + p**2 + 2. Let w be b(8). Which is greater: w or 3?
3
Let b = 18 + -9. Let m be (-54)/