0)/(-110) - 5). Let v(s) = s**2 + 8*s - 3. Let d be v(-7). Which is greater: c or d?
c
Suppose 4*n + 44 = 6*n. Suppose 4*v + n = -6. Is v at least as big as -7?
True
Let t = 483 - 484. Which is greater: -2/497 or t?
-2/497
Let m = 493/10890 - 1/1210. Let v be 6/8*8 - 7. Are m and v equal?
False
Let q be (-4)/7*(-13)/(-2). Let l(g) = g**3 - 14*g**2 + 21*g + 5. Let n be l(12). Let h = 28 + n. Which is bigger: q or h?
h
Suppose 3*b + 76 = -83. Let p = 37 + b. Let g be 1 + p + 0/3. Which is smaller: -14 or g?
g
Suppose 0 = -d + 10*a - 7*a + 315, -3*d = 4*a - 997. Is 327 at least d?
True
Let n = -815 + 835. Is 30 bigger than n?
True
Let o = 11 - 13. Let k = -2/3 + -2/15. Which is smaller: o or k?
o
Let l = 2095 - 131983/63. Which is smaller: l or 0?
0
Let l(t) = 3*t + 12. Let r be l(-5). Which is smaller: -4 or r?
-4
Let y = -2 - -3. Let m = -3/310 - 23/4030. Is y less than m?
False
Let d be (-4)/(2 + 16/(-6)). Let b be (16/10)/(((-72)/(-30))/6). Is b != d?
True
Let u be 13/(-169)*-797 + -1. Which is smaller: 59 or u?
59
Let f(u) = -u - 11. Suppose 0 = 3*k + m + 39, 7*k - 3*k = -4*m - 44. Let a be f(k). Let h be a/(-14)*1*2. Do h and 0 have different values?
True
Suppose -5*c + 1 = -p, -2*c + 3*c - 3*p = -11. Let l = 142 + -712/5. Is c not equal to l?
True
Let d(l) = -74*l**2 - l**3 + 8 + 2*l**3 + 80*l**2. Let i be d(-6). Which is smaller: 9 or i?
i
Let c = -0.0262 + -25.3938. Let z = 0.58 - c. Let i be 6/16*4/(-6). Is z at most i?
False
Let s = -1.2 + 0.6. Let n = -0.3 - s. Let z = 1.7 - 1.5. Is z greater than n?
False
Let l = -20905/40112 + -1/1744. Let k(q) = 4*q - 17. Let f be k(4). Is f at most as big as l?
True
Suppose -2*l - 196*w = -199*w + 75, -3*l = -2*w + 110. Which is smaller: l or -37?
-37
Suppose -24*g - 2028 = -11*g. Are -152 and g equal?
False
Let u = 3 - 9. Let o be (-32)/(-10) - u/(-30). Let w be (-47)/(-12) - (-2)/(-8). Which is bigger: o or w?
w
Let a = 35 - 12. Let f be 6/24 + ((-6699)/28)/(-11). Is f at least as big as a?
False
Let g = 0.7 - -0.1. Let v = g + -0.7. Let q = 61.2 - 60. Which is bigger: v or q?
q
Suppose 6*i = 30*i. Which is smaller: i or -25/64?
-25/64
Let w = -77/32 - 3/32. Which is bigger: w or -0.2?
-0.2
Suppose -5*b + 3*b - 4*w - 24 = 0, -25 = 5*w. Is b at most as big as 40?
True
Let a = -28 + 29. Let y = 34 - a. Let n = y - 32. Which is greater: -2 or n?
n
Let t(c) = -c**3 - 4*c**2 - c - 1. Let w be t(-4). Let p be (-2)/(-5)*(-11)/(-2). Is w > p?
True
Let i be 36/(-3) + (-65398)/(-5453). Which is smaller: 0 or i?
i
Suppose 4*r = -r + 5. Suppose 0 = i - 5*i - 64. Let y be 33/9 + i/24. Which is greater: r or y?
y
Let i = 1181/7 - 169. Let o be (4/(-18) + (-250)/90)*-11. Let c = -26 + o. Which is greater: i or c?
c
Let z be (-5)/(-35) - 580/3962. Is z > 1?
False
Let t = -0.147 + -70.853. Let q = -72 - t. Which is smaller: q or 1.7?
q
Suppose 4*d = -3*h - 19, -h = 3*h + 2*d + 12. Let i be 1*((-1 - -1) + h) + 2. Is 0.34 at most as big as i?
True
Let w(s) = -43*s + 78. Let g be w(2). Is -11 less than or equal to g?
True
Suppose -3*z + 2 - 8 = 0. Let d be (-1731)/(-504) + z/14. Let h = d + -29/12. Is h smaller than 2?
True
Let f be 60/405*42/4. Which is smaller: f or 1?
1
Let f = 782 + -782. Which is smaller: -652 or f?
-652
Suppose r - 2*w + 4 = 2*r, 2*r - 3*w - 8 = 0. Suppose -r*q - 14 = -i - i, i - 4*q = 15. Let v be ((-4)/(-28))/(12/(-14)). Is i != v?
True
Let i = 2.0572 + -0.0572. Which is bigger: i or 35/9?
35/9
Suppose 3*g - 6 = -0*g. Suppose 0 = 5*j + 5*i + 70, 4*j + 3*i - 2*i = -44. Let z = j + 8. Which is bigger: g or z?
g
Suppose 0 = -5*c + 48 + 57. Let k be c/(-3)*(-6)/(-21). Is k at most 3/7?
True
Let w = -2.01 + 2.21. Which is bigger: w or -566?
w
Let c = -6.33 + -0.17. Let v = 6.5 + c. Is v equal to -4/7?
False
Let m = -1717 - -2732. Are m and 1/3 equal?
False
Let n(h) = -4*h**3 + 5*h**2 + 7*h + 1. Let r be n(5). Are r and -677/2 non-equal?
True
Let n be -8 + (-1150 - 11)/(-9). Are n and 122 nonequal?
True
Suppose -21*m - 183 = -24*m. Suppose -5*t - 81 = -m. Let k(v) = v**3 + 2*v**2 + 2*v + 3. Let r be k(-2). Which is smaller: t or r?
t
Suppose 0 = 16*m - 11*m + 145. Let n = m + 50. Let p = -23 + n. Which is smaller: p or -1?
p
Suppose 0 = -3*c - 2*c + 25. Suppose 4*a - 64 = z + 2, 5*z + 90 = c*a. Is 17 smaller than a?
False
Let z = 333 + -333.4. Suppose -4 + 2 = 2*i. Let w = 3 + i. Does z = w?
False
Let u = 295 + -5607/19. Which is smaller: u or -3/11?
-3/11
Let q = 0.031 + -0.061. Let b be (1*(-4)/(-3))/26. Let d = 5/13 - b. Which is smaller: d or q?
q
Let d(g) = g**2 - 3*g + 8. Let j be d(6). Let f be 12/j*22/(-66). Is f at most as big as 1?
True
Let v = -31 - -30.975. Is v greater than or equal to 2?
False
Let y = 0 - -9. Suppose 2*h - 5*h + y = 0. Suppose h*b + 1 = 2*b. Which is smaller: 0 or b?
b
Suppose 4*m - 45 = -m. Let s(x) = -2*x**2 + 19*x - 8. Let l be s(m). Let h be (-6 - -4) + l + 3. Is h greater than or equal to -0.6?
True
Suppose -7*i + 126 = -i. Is i <= 24?
True
Let t be (-2 - 1)/((-2)/(-2)). Let p = -5 - -9. Let n = t + p. Which is bigger: 9 or n?
9
Let q(l) = -l**2 - l + 4. Let p be q(-3). Let i = -10 + 10. Let n = i - -4. Is p > n?
False
Let u = 117 + -216. Let a = -99 - u. Let z(g) = g + 2. Let v be z(-4). Is v less than a?
True
Let u(k) = -13*k - 62. Let p be u(-5). Suppose -23 = 3*f + v, -p*v - 18 - 23 = 5*f. Are f and -4 equal?
False
Let q be (9/(-27)*6)/(-11). Let j = 4 + 4. Is q != j?
True
Suppose s = -5*h - 72, -3*s = 3*h - 2*h + 272. Is -92 greater than s?
False
Let x be ((-20)/2)/(7 - 6). Let g be 6/x - (5 - (-84)/10). Is g greater than or equal to -9?
False
Suppose -3*s - s - 4*v + 20 = 0, 4*s - 24 = -3*v. Let k(c) = c**3 - 4*c**2 - 7*c + 21. Let z be k(5). Which is smaller: z or s?
s
Let s = 6832 + -266473/39. Let g = -5/26 + s. Which is bigger: g or 0?
0
Let d be ((-2)/(-4))/((-7)/(-882)). Let m = d + -1066/17. Is m > 1?
False
Let y = 2392 + -294218/123. Suppose -2*w = 5*h - 23, h - 4*h = -w - 16. Is y less than w?
False
Let m(j) = -j**3 + 3*j**2 + 2*j. Let p be m(-2). Let f = p - 22. Let o be f/(-2) + (-69)/21. Is o >= 1?
False
Let i = -0.61 + 0.3. Let t = i - -0.3. Let o be (((-9)/(-15))/((-37)/(-370)))/2. Is t at least o?
False
Let i be (-2)/13 + 861/273 - 10. Is i at least as big as -11/2?
False
Let z = 32.9 - 32.91. Is -1 greater than or equal to z?
False
Let j = -0.73 - -383.73. Is j at least as big as -0.2?
True
Let u be (-9)/(-15) - (-3961)/(-3485). Is u greater than 0?
False
Let r = -12 + 17. Let q be (-5)/r*(2 + (21 - 2)). Is -21 bigger than q?
False
Suppose 16 + 28 = -t - 5*m, 5*t = 3*m - 164. Let n = t + -4. Is 1 > n?
True
Suppose o = -0*o + 8. Let t be ((-76)/o - 3)*-2. Let n = t + -25. Which is bigger: 0.11 or n?
0.11
Let a = 1.39 + -1.3. Let x = -0.07 + a. Let n = x + -0.12. Is 1/2 smaller than n?
False
Let k be 2125/10*-2 + 1. Is -424 < k?
False
Let w be (((-12)/105)/(-2))/((-2)/10). Do 75 and w have different values?
True
Let y = -12 - 2. Suppose -4*h + q = 57, 3*h + 12 = -4*q - 7. Let m = y - h. Is 0 smaller than m?
False
Let q = 0.8 + -0.68. Let c = q - 7.12. Let l = -7 - c. Is -4 at most as big as l?
True
Suppose -2*z - 1 = h - 4, 0 = z + h - 4. Let a = -3797/10 - -380. Which is smaller: a or z?
z
Let n = 21 - 20.955. Let a = 4.955 + n. Which is smaller: -0.1 or a?
-0.1
Suppose -4*q = -138 - 74. Suppose 0 = -3*k + d - 3*d + 117, k - 4*d = q. Let a = 206/5 - k. Which is bigger: 1 or a?
1
Let f(b) = -b**3 - 8*b**2 + 6*b - 9. Let n be f(-9). Suppose 4*d - n = 18. Suppose -d = 2*a + 5*q, 0*q + 2*q = 4*a + 6. Is -9/8 greater than or equal to a?
True
Suppose -33 = 4*f + 2*o - 117, 0 = -5*f + 3*o + 116. Let v be (-67)/f - (0 - 3). Let x = 62 - 63. Which is smaller: v or x?
x
Let y = 3/1532 + 116423/4596. Which is smaller: 24 or y?
24
Let i(q) = -9*q + 3. Let z be i(-2). Suppose z = 4*a - a. Suppose a = 4*h - 25. Do 8 and h have the same value?
True
Let d be ((-38)/(-57))/(1 + 98/(-102)). Is d not equal to -9?
True
Let s = -80.4 + 80.87. Do -1/4 and s have different values?
True
Let x be ((-2)/(-10))/1*-3. Let d = -103 - -59. Let i be (-26)/143 - 30/d. Which is smaller: x or i?
x
Let u = 648975/581 - 1117. Which is smaller: 0 or u?
u
Let k(m) = -m**2 - 5*m - 6. Suppose 2*h + 3 = -7. Let w be k(h). Let r be (-33)/22*8/w. Is 10/11 < r?
True
Let u = -83 