Is s at most 177?
True
Let m = -0.3713 - -0.5713. Which is greater: m or 1/638?
m
Let u = 552.592 + -549. Let x = 0.592 - u. Is x != 64?
True
Let u = 0.139 - -0.061. Let g = 2.1 + 16.9. Let o = g - 17. Do u and o have the same value?
False
Suppose 0 = 3*o - 13 + 1. Suppose 62 = -6*r + o*r. Is r != -2?
True
Suppose -x - 43 = -47. Suppose -x*o + 6 = -2. Let g be o + (-1 - -20) + 1. Is 23 smaller than g?
False
Let f = 6638 - 6629. Let y be (-1 + 252/10)*(-5)/(-12). Which is greater: f or y?
y
Let b be ((-280)/(-2898))/((64/12)/8). Is b less than 1?
True
Suppose 3 = 4*l + 11. Let u(z) = 48*z + 6. Let v be u(-1). Let k be (80/v - -2)*39/(-26). Which is greater: l or k?
k
Let v be (-14)/(-91) + 813/39. Suppose 8*c + v = -75. Let h be 2/c + (-3464)/240. Is -14 >= h?
True
Let a = 19273 + -19271. Do 3784 and a have the same value?
False
Let i = -673 + 769. Which is bigger: -8/5 or i?
i
Let u = 792 + -838.4. Let o = 95 - 107.6. Let y = u + o. Which is bigger: y or -1?
-1
Let l be (-229 - -225)/((-8)/9). Suppose 4*o = -2*o + 36. Do l and o have the same value?
False
Let d be (18/8 - 1)*(-42)/(-315). Let k(p) = -p**2 + 4*p + 7. Let f be k(7). Let w be 21/f*(-4)/6. Which is bigger: d or w?
w
Let s(k) = -k**3 + 6*k**2 + 5*k - 22. Let j be s(6). Suppose 5*f + j*f - 13 = 0. Do -1/79 and f have the same value?
False
Suppose 7*x - 2*x + 5*p = 0, -5*x + p + 18 = 0. Suppose 0 = -6*l + x*l - 5658. Let f = l + 156536/83. Which is bigger: f or -1?
f
Let m(f) = -3*f - 12. Let s be m(-10). Let g = -109.1 - -114. Let l = -5 + g. Which is bigger: s or l?
s
Let c(y) = 6*y + 62. Let l be c(-10). Suppose -4*o = -l*u - 18, 2*u - 5*u + 13 = 4*o. Suppose 0 = -2*h - 3 - 5. Which is greater: u or h?
u
Let x(w) = -2*w**2 + 51*w + 27. Let k(t) = -t**2 + 22*t + 74. Let z be k(24). Let o be x(z). Suppose -3*i = i - 4. Do o and i have the same value?
True
Let h be 28/644 - (-288)/(-276). Which is greater: h or -2/20973?
-2/20973
Let m = 17.24 + 875.76. Which is smaller: -1/3 or m?
-1/3
Suppose 82*b + 31*b - 2 + 2 = 0. Which is smaller: b or 3/17287?
b
Let z(j) = -j**3 + 65*j**2 - 21*j - 41. Let c be z(64). Which is smaller: 2712 or c?
c
Let z = -2553 - -2553.07. Suppose -4*d - 5*h + 10*h = -83, d - 21 = h. Let a = -111/5 + d. Is z equal to a?
False
Let a = 64 + 1. Suppose a + 55 = 10*z. Is 9 at most z?
True
Let k(j) = 13*j**2 + 263*j + 27. Let r be k(-20). Which is bigger: -999/31 or r?
-999/31
Let u = -84 + 120. Let m = 1.9 - -0.1. Let p = u + m. Which is bigger: -0.1 or p?
p
Let p = 0.01 - -0.07. Let t = -4.5 - -4.58. Let s = p - t. Which is smaller: 2 or s?
s
Let k(l) = -2*l**3 + 104*l**2 + 175*l - 273. Let p be k(52). Are p and 8828 equal?
False
Let a = 35.2 + -34.17. Do a and 0 have different values?
True
Let p = 0.0317 - -724.9683. Let k = 725 - p. Are -329/2 and k nonequal?
True
Let q be (-32)/(-48)*63/(-42). Are -7/80 and q non-equal?
True
Suppose 0 = 22*f + 7*f + 9396. Let w(x) = -x**3 - 14*x**2 + 3*x - 1. Let d be w(-12). Which is smaller: f or d?
d
Let o(d) = 22*d**2 + 28*d - 1. Let g be o(15). Is g <= 5370?
True
Suppose 7 = -56*f + 57*f + 8. Which is smaller: f or -5/1288?
f
Let k(j) = -2*j**3 - 258*j**2 - 5*j - 357. Let q be k(-129). Is q equal to 292?
False
Let a = -212198 - -211827.007. Let c = 0.007 - a. Are 1 and c non-equal?
True
Let n = 558.0956 + -0.0956. Let m = -532 + n. Let t = -0.2 - 0. Which is smaller: m or t?
t
Let h = 538 - 2151/4. Which is greater: 276.9 or h?
276.9
Let i = 1358 + -1359. Is i less than 1/4593?
True
Let x(v) be the first derivative of -5*v**2/2 - 21*v + 53. Let m be x(0). Is -24 greater than m?
False
Let a = 36 + -24. Let v be 86/18 + 1 + a/54. Suppose 0 = v*c + 6. Is 2/35 bigger than c?
True
Let v(x) = 62*x + 868. Let w be v(-14). Is w at most as big as -9/136?
False
Let g = -25424 + 20466. Which is bigger: g or -4956?
-4956
Let s = -390.43 + 387. Let y = s + 2.8. Let c = y + -0.37. Do c and -101 have the same value?
False
Let b be -2*24/6 - (861 - -24). Which is bigger: -891 or b?
-891
Let c be ((5 - 5)/(-5))/6. Do -7/219 and c have different values?
True
Let i be (-10)/35 - ((-32933)/(-7) + 16). Which is bigger: i or -4722?
i
Let x be ((-17)/748)/(3/516) + 4. Let f = 0.73 - -5.27. Which is smaller: x or f?
x
Suppose 20*j - 31*j - 946 = 0. Is -89 bigger than j?
False
Suppose -5*g + 4*k + 4318 = 0, -3*g = 75*k - 74*k - 2601. Is 864 at least as big as g?
False
Let l(t) = t**2 - 28*t - 189. Let y be l(36). Suppose 2*q = 4 + 6. Suppose q*m - 2*m = -y. Is -32 not equal to m?
True
Let y be (10/5)/8 - (-2)/(-8). Let v = -9881/9 - -1095. Let x = 295/99 + v. Which is smaller: y or x?
y
Suppose 0 = 2*n - 0 + 36. Let k be 106*3/12*(-288)/432. Is n less than k?
True
Let t = -10/13 - -2/3. Let q(n) = n**2 - 30*n + 30. Suppose -5*l + 4*j + 149 = 0, 25 = -11*l + 12*l + 4*j. Let m be q(l). Is t <= m?
True
Let q(o) = o - 3. Let c be -3 + (-3 - (-10 - 1)). Let r be q(c). Let y = -110/13 - -835/91. Is r < y?
False
Let u = 0.09 - 0.09. Let l = 0.1293 + -25.1293. Is u greater than or equal to l?
True
Let v(t) be the first derivative of 2*t**2 + 47*t + 6. Let n be v(-23). Let f = 45 + n. Which is bigger: -3/16 or f?
f
Let h = -4322 + 4088. Is h less than or equal to -235?
False
Suppose w = 0, -15 - 69 = 3*r + 2*w. Let h = r - -16. Suppose 0 = -3*a - 4*v - v - 52, 2*a = 3*v - 22. Is a > h?
False
Let a be 9*2*(-2 + (-5)/(-3)). Let o be (a/9)/((-14)/(-21))*6. Let d = -5599/7 - -795. Which is greater: d or o?
d
Let a be 4/(-14) - (-8 + (-5232)/(-14)). Let v = 366 + a. Let o be (-1)/(-4) - (-2)/(-12). Which is bigger: v or o?
o
Let q be (-1020)/(-32) + 25/200. Which is greater: 25 or q?
q
Let p be ((-33)/12)/((-4)/16). Suppose 47 = p*s + 14. Which is smaller: s or 24/13?
24/13
Let y = 99711/4 + -24928. Let d(h) = -2*h**3 + h**2 - 3*h + 2. Let l be d(2). Let z be ((-6)/(-8))/((-34)/l). Which is smaller: y or z?
y
Let a be (6 - (-1261905)/(-176652)) + 56/49. Which is bigger: 1 or a?
1
Let z(x) = x**3 + 13*x**2 - 17*x + 10. Let w be z(-13). Suppose -499 = y + w. Let k = y + 9497/13. Which is smaller: 0 or k?
0
Suppose 12*v - 3*v + 2199 = -5028. Is v != -799?
True
Suppose 4*p + 8*b = 2112, -5*p + 1437 + 1196 = 3*b. Which is bigger: p or 541?
541
Let t = -6/95 + -112/1235. Suppose 2*g + 165*g = 0. Which is bigger: g or t?
g
Let s(i) = -i**2 + 25*i + 493. Let a be s(-19). Which is smaller: a or -342?
a
Let j = -5.1 + 5. Let h be 16/4 + 0 + 66. Suppose 5*q + 3*s = -h, -3*s = -4*q - 4 - 25. Is j < q?
False
Let m be (-40)/(-261) + 18/261. Let q = 11 + -9. Suppose -q*w + 7 = -13. Is m equal to w?
False
Let o = 380 - 360.1. Let x = o + -20. Let i = 0.342 - 0.442. Do x and i have the same value?
True
Let r be (93/(-9) - 1)/((-9)/27). Let f = r + -38. Let s be ((-10)/f)/5*(-8 + 46). Is s > 20?
False
Let x be 1*135 - (-56)/(77/11). Is x less than 6?
False
Let c = -9 - 34. Let u = -0.0586 - 0.9414. Which is greater: c or u?
u
Suppose -4*v = 0, -2*c + 26 + 2 = -5*v. Suppose -5*t = 2*j - 2 - c, 2*t + 5*j - 19 = 0. Let l = 9792/7 + -1396. Which is smaller: t or l?
t
Let n = 57903/490 + -591/5. Which is smaller: n or 0?
n
Let c(t) = -585*t - 4679. Let n be c(-8). Which is smaller: n or 7/110?
7/110
Let c = 380 + -365. Let w be 1/(150/(-24) + 6) + 3. Which is smaller: c or w?
w
Let v = 4/93 + 449/372. Is 317 less than or equal to v?
False
Let w be 20*(-5)/(-100)*5. Suppose -w*u = -6 - 19. Suppose -5*n = -u*o - 30, 4*n = -4*o + 4 + 12. Is -2/249 bigger than o?
True
Let c = 7.632 + 137.368. Is 5 less than c?
True
Suppose 0 = 4*f + x, 4*x - 3 - 10 = -3*f. Let b be ((-2)/(-3))/((-22)/(-1782)). Let p be 10/8*(b/20 - 3). Which is bigger: p or f?
p
Let l(v) = 9*v**3 - 52*v**2 - 27*v + 45. Let k(t) = -5*t**3 + 26*t**2 + 13*t - 22. Let h(p) = -5*k(p) - 3*l(p). Let x be h(14). Which is greater: -192 or x?
-192
Let i(x) = x**3 + 28*x**2 - 126*x - 175. Let d be i(-32). Is d >= 8?
False
Let h(w) = -w - 7. Let z be h(-6). Let g = 2/1727 + -1867/120890. Let p = -149/630 - g. Is z not equal to p?
True
Let u(x) = -x**2 + 6*x - 9. Let q be u(6). Let z be (-4)/6 + 12/q. Let n be 6/(-51) + (175/(-102) - -2). Which is smaller: n or z?
z
Let a be -7 - ((-7)/14)/(5/70). Which is greater: a or -0.4348?
a
Let a be -8 + (-143889)/19 + 156/1482. Which is smaller: -7580 or a?
a
Let q = 1 - -1. Let w be q/