: -4 or x?
-4
Let f = 80.055 - 78.17. Is f greater than -1?
True
Let w be -3*(-2)/((10941/35)/((-9)/(-30))). Is w less than or equal to -0.2?
False
Let o(r) = r**3 - 56*r**2 + 53*r + 45. Let p be o(55). Is 10/19 at most p?
False
Let v = 790 - 978.8. Let t = -189 - v. Is t >= -10?
True
Let g be 2*(-131)/24 - 1/3. Let y(d) = -d**2 - 20*d + 14. Let n be y(-22). Let j be (6*(-8)/36)/((-4)/n). Is g at most j?
True
Let d = -27.9522 + 28. Let y = d + 127.9522. Is y at least 1/4?
True
Suppose -31*x + 298 = 18*x + 53. Which is smaller: x or 306/53?
x
Let a = 68.5 - 71.5. Is a bigger than -162/5?
True
Let i = -649/1173 + 29/138. Is 0 less than or equal to i?
False
Let f(k) = 5*k + 112. Let p be f(-20). Suppose -p*y - 17 - 31 = 0. Which is smaller: -1.5 or y?
y
Let t = 227 - 224. Let m = 3.205 + -0.005. Let c = 3.1 - m. Which is greater: t or c?
t
Let d = -53/43 + 1413/344. Which is greater: d or 9?
9
Let g = 1747/1140 - 5/76. Let s(v) = -v**3 + 4*v**2 + 6*v - 11. Let o be s(-2). Which is bigger: g or o?
g
Let j(h) = -45*h + 7. Let k be j(3). Let f = -78 - k. Suppose -5*d - f = 5*u, -4*u + 5*d - 33 = 2*d. Which is greater: u or -10?
u
Let u = -1858 - -1859. Which is bigger: -2/22555 or u?
u
Let w be (-1564)/(-102)*69/(-11). Which is bigger: -95 or w?
-95
Let m = 135.8 - 134.1. Let o = -15 + 14.7. Does o = m?
False
Let w = -646 - 5313. Is w less than -5960?
False
Suppose -14*d + 11*d - 3 = 0, 2*d = 2*h - 4. Is -1/162 smaller than h?
True
Let y = -1471.9 + 1471.8. Which is bigger: 2/51 or y?
2/51
Suppose -62*p = -60*p, 5*a + 2*p - 5 = 0. Is a bigger than -5/57?
True
Let v = 3233 - 5828. Is v at most -2595?
True
Let v be ((-2)/(-5))/((-1)/5). Let u(o) = 32 + 145 + 24*o - 209 + 38. Let d be u(v). Which is smaller: d or -2?
d
Let k = -2064 - -2064. Is k less than 831?
True
Let s = -2846/49 - 17202/49. Which is greater: -410 or s?
s
Let n = 725624/129 - 5625. Which is bigger: n or 0?
0
Let n(x) = -2*x**3 + 3*x**2 - 3*x + 1. Let g be n(2). Let l be 1 + -45 - (4 - 9). Let d = l - -38. Which is bigger: g or d?
d
Let i(w) = -3*w**3 + 2*w**2 - 16*w - 7. Let y be i(3). Which is bigger: y or -1?
-1
Let j(s) = 14*s**2 + 65*s - 186. Let d be j(2). Which is bigger: -1/34762 or d?
d
Suppose 0*v + 48 = -3*s - 3*v, v = 2*s + 41. Suppose -6*n = 23 + 97. Let q = n - s. Is 0.33 not equal to q?
True
Suppose -6*f + 187 = -41. Suppose -f*v - 307 = -2359. Are v and 55 equal?
False
Let a be 1/(2*(-3)/42). Suppose 4*n - 243 = i + 9*n, n - 219 = i. Let y = -235 - i. Which is smaller: a or y?
y
Let v(q) = -q**2 - 7*q + 2. Let p be v(-7). Suppose -4*z - 5*y - 6 = 3, 3*z - 5*y - p = 0. Let o be (26/(-1235))/(z/10). Which is greater: o or -1?
o
Let i be (144/69 - 3) + (-7)/(1610/20). Let t = -3/2000 + 4333/222000. Which is smaller: t or i?
i
Let v = -5.586 + 5.486. Which is bigger: v or 207?
207
Let u = -0.26 + 0.209. Let p(t) = 2*t**2 - 25*t + 104. Let v be p(9). Suppose -2*o + v = 39. Does u = o?
False
Let u = 19 - 20.8. Let o = -195 + 195.1. Let j = u + o. Which is greater: j or 0.2?
0.2
Suppose 7*i = 370 - 349. Let a be 2*((-6)/(-4) + 0). Let f be ((-7)/2 + i)*0/a. Which is bigger: -18/13 or f?
f
Let d(h) = 2*h + 9. Let f = 93 - 97. Let p be d(f). Let z be (16/(-7320))/(p/(-3)). Are 1 and z unequal?
True
Suppose 5*i - 4*r + 5*r = 14, 4*i + 4*r - 8 = 0. Let x(n) = -n**3 - 2*n**2 + 3*n + 4. Let v be x(-3). Suppose 0 = -v*c - 19 + i. Is -4 bigger than c?
False
Let t = 162 + -159. Suppose -s = t*q - 2 + 13, -4*q = 16. Which is smaller: s or 2/93?
2/93
Let n = 1144 - 1570. Let v = n - -458. Let h be (1/(-2))/((-3)/192). Is h != v?
False
Let a(p) be the first derivative of p**4/2 + 4*p**3/3 + 3*p + 4. Let o be a(-5). Let v be (12/7)/(-3)*o/21. Which is bigger: 25/6 or v?
25/6
Let z = -144 - -138. Let b be 6 - (96/z - 6). Let v = -4 + 6. Is b less than v?
False
Let j be 0 - (1 + -4) - -377. Let i = j - 204. Let h be -2 - (-1)/(i/356). Which is smaller: h or 1?
h
Let k be (13158/119)/(((-9)/21)/3). Is k != -770?
True
Let f(d) = 14*d**2 - 1640*d + 227. Let t be f(117). Let v be (38/4)/((-3)/6). Which is smaller: t or v?
v
Suppose 37*f - 2146 = 8*f. Let y be 2/(9/7 + -1). Suppose -y*q - f = 80. Which is smaller: 0.3 or q?
q
Suppose -2*i - 161 = -p + 3*i, i + 304 = 2*p. Is 154 equal to p?
False
Let y be (-4)/(-2)*15/(90/(-12)). Let v be (3 + y)/(4/4). Is v <= -3/110?
True
Let c = -403 + 203. Let l be (1 - 4)/(3*c/6). Which is smaller: 1 or l?
l
Let h = 1987.3 + -2119. Let g = h + 4.7. Which is smaller: g or -1?
g
Let u = -4635 - -4635.3. Is u > -16/91?
True
Let y = -255 - -291. Let f be 164/(-10) + y/90. Are -11 and f equal?
False
Let q(x) = -x**3 - 8*x**2 + 25*x - 88. Let r be q(-11). Let v = -2/1167 + 15199/16338. Which is smaller: r or v?
r
Let d = -5040.2 + 5040. Is -127/6 greater than or equal to d?
False
Let h be ((-56)/(-26) + -2)/4*(-40)/(-60). Are 1 and h nonequal?
True
Let a = -103.34 - -80.34. Which is smaller: -118 or a?
-118
Let z = 4/33 - 505/3894. Suppose -100*k = -42*k + 109*k - 16*k. Do z and k have the same value?
False
Let g(d) = -56*d**2 + 169*d - 3. Let o be g(3). Are 23/65 and o nonequal?
True
Let z(x) = -x**3 + 13*x**2 + 14*x + 36. Let b be z(14). Let t be 21/30 + b/24. Are 1 and t non-equal?
True
Let k = 45 - 14. Let h be (-126)/24*(-8)/3. Let z be 36 + 0 + (h - 20). Are z and k equal?
False
Let s = 1725 - 621. Which is bigger: 1105 or s?
1105
Let c(a) = -34*a - 827. Let y be c(-23). Which is smaller: -33 or y?
y
Suppose 11*r = 12*r - 7. Let m be r/(-35) - (-1)/((-5)/239). Let z be (-1 + -7)*8/m*1. Which is bigger: 2 or z?
2
Let k = 13.056 + -13. Let h = -70216/5 - -14043. Is k greater than h?
True
Let q be ((-14)/7 + 1)*0. Suppose o = -0*o - 4, 4*g + 3*o + 276 = q. Is g > -67?
True
Let x(v) = v + 20. Let y be 1*(-10)/15 - 20/(-3). Let a be (-24)/20*20*3/y. Let t be x(a). Which is bigger: 28/3 or t?
28/3
Let d = 143 - 135. Suppose -d*v + 150 = 1294. Is v > -144?
True
Let f be (-4)/(-10) + (-17)/5. Let z = -2903.3389 + 2905.4. Let c = -0.0611 + z. Do f and c have the same value?
False
Let d = 6 + -5. Let c be ((-6)/21 - 809148/(-945)) + d. Let l = -857 + c. Are l and -1 equal?
False
Let b = -13091 + 13089. Let h = -8 - 0. Let a be 154/h + (-5)/(-20). Is b at least as big as a?
True
Let n(w) = -w**2 + 28*w - 68. Let h be n(24). Suppose -m = 2*m - 4*a - h, 5*m = 3*a + 32. Is 6 greater than or equal to m?
True
Suppose 5 = 3*d - 1. Let f(c) = c**3 - 29*c**2 - 14*c - 6. Let r be f(29). Let w be 20/(-35) + 3*r/(-2016). Which is smaller: w or d?
w
Let x = -4.855 - -0.055. Let i = -7 - x. Let t = 5.8 - i. Is t less than -1?
False
Let j(f) = f**3 - 6*f**2 + 2*f + 20. Let a be j(6). Let i(b) = -b**3 + 13*b**2 + 9*b - 18. Let u be i(13). Suppose -4*r + u = -r. Which is bigger: r or a?
r
Suppose 59*g = 47*g + 1908. Let d = -146 + g. Is 12 >= d?
False
Let l = -119 + 119. Suppose -w - 40 = -5*u - l*u, 50 = 5*u + w. Which is smaller: u or 3?
3
Let v = 4844.3 - 4846. Let p = 8.1 - 8. Are v and p non-equal?
True
Let b be (-2093)/(-14950)*(-12)/63. Let v be (2 - 1 - 2) + 1. Which is smaller: v or b?
b
Let x = 385 + -373. Suppose x*h + 2*h - 798 = 0. Which is bigger: 61 or h?
61
Let j = 3364/3 - 1107. Suppose -195*z + 199*z - 7*k = 7, 0 = 4*z - 4*k - 28. Which is greater: z or j?
j
Let z = -1/716037 - -722379043/716037. Which is greater: z or 1009?
1009
Suppose 59*i + 1189 - 127 = 0. Let t be 6/i*-12*19. Which is greater: t or 3?
t
Let m = -189 + 179. Let a = -116 + m. Is a at least -126?
True
Suppose -132 = 23*g - 11*g. Let h(i) = -44*i + 54. Let y be h(g). Is y smaller than 538?
False
Let j(v) = -v**3 + 10*v**2 + 23*v + 24. Suppose -2*k - 3*h - 207 = -5*k, 4*h = 8. Suppose -3*z - 35 = -k. Let a be j(z). Is 12 at least as big as a?
True
Let u = -0.013 - 0.747. Let o = -0.94 + u. Let y be (-20)/(-11) + (0 - 2). Do o and y have different values?
True
Let t(w) = 20*w - 207. Let l = -344 - -325. Let a be t(l). Which is smaller: a or -586?
a
Let l = -0.02886 + 20.17686. Let c = 0.048 - l. Let u = c - -7.1. Which is smaller: u or 0?
u
Let r = -0.101 + 77.301. Let k = 78.573 + -1.573. Let l = r - k. Which is smaller: l or -33?
-33
Let q = -9 - 90. Let x be 3 + (4/(-18) - 121/q). Is -10 <= x?
True
Let i = 506 + -1556. Let n be ((-5)/i)/((-273)/(-10089)). Let q = n - 9/49. Is 1 at most as big