 o = w - h. Is o < -44?
False
Let u = 5911/78540 - 2/1155. Let b = u - 27/136. Which is smaller: 1 or b?
b
Let p be 10 - (-8)/(-2) - 98/17. Let c be 1*(26/(-65) - (-6)/(-10)). Which is smaller: p or c?
c
Let x be ((-12)/7)/(576/(-70784)). Which is bigger: x or 210?
x
Let y(d) = -d**3 - 2*d**2 + 2*d. Let a be y(1). Let p be a + 5 + (-777)/192. Does p = 0?
False
Suppose 0 = 2*a - 5*w - 273, 2*a + 19*w = 14*w + 303. Do a and 154 have the same value?
False
Let x(r) = -811*r + 58350. Let n be x(72). Let d be -1 - -1 - (0 + 43). Which is greater: n or d?
n
Let v be 21/28 + 39/12. Let d be ((-354)/(-60) + -6)*v. Let n be (-22 - -2)*(-9)/(-12). Which is greater: d or n?
d
Let w = -0.00845 + -37.99155. Which is smaller: w or -80?
-80
Let s be 2*14/(-4)*(50 - 51). Suppose -l + l = -s*l. Do l and -8/49 have the same value?
False
Let o be 318/530 + (-1114)/(-10). Let a(i) = 3*i**2 + 6*i + 6. Let b be a(5). Let x = o - b. Is 1/36 at most as big as x?
True
Let u = -14.77 - -14.77. Let y be (-2*1)/(-138)*2. Do y and u have the same value?
False
Let o = -3318.8 - -3318.9. Let w be (28/(-78))/((-8)/(-72)). Which is bigger: o or w?
o
Let h = 28 - 15. Let s be 1*h/((-82888)/16). Which is greater: s or 1?
1
Let n be ((48/(-200))/((-28)/(-35)))/(57/8). Let f = 1 + -1. Which is greater: f or n?
f
Let k be 22/143748*1398 - 2/9. Are 0.1 and k non-equal?
True
Let g be 4/3 - (76/(-6) + 11). Suppose -2*p + g*q - 4 = 0, 3*p - 2*p - 5*q - 5 = 0. Let h be 1 - (0 + -2)*-2. Is h equal to p?
False
Suppose 3*o = -2*m + 3, -5*m - 7 = 8. Let r = o + -3. Suppose r*z = -5*z + 55. Is z > 11?
False
Let d = 2 - 0. Let h be (-4 - 0) + 1820/462. Let y = h + 142/165. Which is smaller: d or y?
y
Let b = -92344799/1643 + 56205. Which is smaller: 1 or b?
b
Let m be 8/(((-24)/18)/((-1780)/(-30))). Is -355 >= m?
True
Let n = 661/618 - -10/103. Let y(a) = a**3 + 8*a**2 - 11*a - 20. Let g be y(-9). Are g and n nonequal?
True
Let z(s) = 47*s + 7. Let t be z(2). Let d = -104 + t. Let f be 3 - (d/6*4 - -1). Is f <= 4?
True
Let j = -52 - -55. Suppose -5*w = -j*w. Let d be w/(-1 - -1 - -2). Are 1/5 and d unequal?
True
Let n = 7771.448 - 5.448. Is 1 at least n?
False
Let o(h) = -4*h**3 + 11*h**2 + 60*h + 20. Let x(p) = 3*p**3 - 13*p**2 - 59*p - 20. Let m(w) = -4*o(w) - 5*x(w). Let f be m(-18). Which is bigger: 39 or f?
39
Suppose 10*a = -249 - 421. Does -2.4 = a?
False
Let y be (-68)/240 + 5/(-5 - -65). Which is greater: 179/4 or y?
179/4
Let t(o) be the second derivative of -27*o**5/20 + o**3/2 - o**2 - 7*o - 2. Let u be t(1). Is -27 bigger than u?
False
Let q be 1/3 - 2695452/(-8460). Let v = q - 1596/5. Is v at least as big as 0?
False
Let j = 6 + 5. Suppose 0 = d - t - j, 3*t + 62 = 5*d + 9. Let v be (-6)/d + 9*22/(-70). Is -2 at most v?
False
Let b = 393.5 + -1992.5. Let r = -1598.103 - b. Let m = r + -0.9. Is m at most -2/3?
False
Let b = 263.627 + -264. Let h = b - 0.327. Which is greater: h or -7?
h
Let f = 1575 - 1087. Let y = f + -488. Is 4/23 at least as big as y?
True
Suppose -5*v + 2*f + 11 = 0, -53*f + 55*f + 8 = 2*v. Is v bigger than 9/569?
True
Suppose -h = -3*x - 10279, -3*h + 20*x - 24*x + 30824 = 0. Which is smaller: 10278 or h?
h
Let l(u) = 4*u**2 - 3*u - 15. Let t be l(0). Let n be (9/(-2))/(-9) - t/10. Which is greater: n or 50/19?
50/19
Suppose 465*d + 35*d = -256*d - 119*d - 18375. Let i(c) = -3*c**2 - 4*c + 3. Let z be i(-4). Is d greater than z?
True
Let v(g) = g - 17. Let w be v(6). Suppose -6*z + 5 + 7 = 0. Suppose z*y - 2*n = -22, y + 5*n = 3*y + 28. Is y at most w?
False
Let k = 13.784 + -84.838. Let f = -0.054 - k. Let a = 62 - f. Which is smaller: -0.4 or a?
a
Let p(s) = -9*s**2 - 3*s - 4. Let d be p(-2). Let u = d + 28. Which is smaller: u or -8?
-8
Let t = -0.215 - 0.098. Let l = -0.513 - t. Is -111 >= l?
False
Let q be (-2)/(-10) - (-70)/25. Let s(h) = q*h**2 + h - 4 - h**2 + 0*h - 6*h. Let n be s(3). Is -0.05 at least as big as n?
True
Let k = 9 - 10. Suppose 8*c - 12 = 6*c. Suppose d + 3*n - c = 0, 2*d + 2*n + 0 = 4. Is d != k?
True
Let j(d) = -6*d + 4. Let o be j(8). Let g be 13/o*(-5 - -6). Are -1 and g equal?
False
Suppose x + 10 = -5*m - x, 5*m - 3*x = -10. Let w be (-12)/(-7) + m + 128/56. Let p be (w/21)/((-12)/36). Which is greater: p or 23?
23
Suppose 15*j = 16*j + 93. Let h be j/(-54) + 3/(-2). Let x = 8.6 - 8.7. Which is bigger: x or h?
h
Let o = -0.6571 - -0.5271. Which is smaller: o or 123?
o
Let j = -2877.0395 - -2877. Which is greater: j or -3?
j
Let z = -9005 + 12494. Which is smaller: 0.1 or z?
0.1
Let y = 78082360443/8260955648 + -29424/3113. Let v = 7121193735/459089408 - y. Let a = v + -2/173. Is 17 smaller than a?
False
Let g(m) = -3*m**2 - 31*m - 10. Let t be g(-10). Is t at least as big as -2/17799?
True
Let u(b) = 3*b**3 - b. Let t be u(1). Suppose 0 = 4*d + 5*l + t, -3*l + 2 = -4*l. Suppose 5*x = -10, -d*x + 3*x - 8 = 5*w. Which is smaller: w or 11?
w
Let b = -160197/5 - -32040. Is 414.5 bigger than b?
True
Suppose 17*y - 52001 + 6356 = 0. Is y at least 2685?
True
Let d be (-2 - 80/(-38)) + (-494272)/4660928. Which is greater: 0 or d?
0
Let k be (6/5)/(-3) + 11346/(-1860). Let r = -2.1 - -2. Which is smaller: k or r?
k
Let g be (628/28)/(6/42). Which is smaller: 1097/7 or g?
1097/7
Let s(p) = p**2 + 14*p + 23. Suppose -8*d - 103 = 33. Let v be s(d). Let t = 63 - v. Which is smaller: t or -10?
t
Let y = -2658 + 2658. Is y >= -3/2702?
True
Let x be (96/42 - 2) + 143735/133. Is 1080 at most x?
True
Suppose 4*q - f - 9083 = 0, -10*q - 4*f + 6836 = -7*q. Is q greater than 2273?
False
Suppose l + 78 = 3*o, 4*l + 0*o + 3*o + 387 = 0. Let m = -93 - l. Let a be ((-5)/15)/(20/(-54)). Is a < m?
False
Let s be 48590/(-2580) + 1/(-6). Suppose -5*a = -2*a + 66. Which is smaller: s or a?
a
Let r = 6650 + -39791/6. Let d = -113/6 + r. Which is greater: -64/7 or d?
d
Let d(p) = 2*p + 1. Let m be d(4). Suppose a = m*a - 160. Suppose 5*k + 2*f = -a, 2*k - 3*k - 5*f = 27. Is k bigger than 3?
False
Let j(u) = 610*u - 609. Let k be j(1). Is k < -2/65?
False
Let p be 460 + ((-7)/(-5))/(-13*(-13)/845). Which is bigger: p or 7/5?
p
Let r(m) = -6*m**3 - 187*m**2 - 30*m + 40. Let f be r(-31). Let u be 278/30 + 4/(-6). Is f not equal to u?
True
Let k be (12/10)/((765/(-50))/(-3)). Suppose 0 = -65*v + 61*v - 4. Let w(u) = -u**2 - u - 1. Let n be w(v). Is n smaller than k?
True
Suppose -185*u + 225 = 40. Is u greater than -14/457?
True
Let r = -1/21666 + -32267/5026512. Suppose 16 = -4*n + 2*h, 29*n - 16*h = -14*h - 16. Which is smaller: n or r?
r
Let s = -27514 - -27515.48. Is -5.5 less than s?
True
Let h = -22643 - -22642.95772. Which is smaller: h or 0.3?
h
Let a(c) = -120*c**2 + 18*c + 63. Let i be a(-6). Let l = i + 48049/11. Which is bigger: 3 or l?
l
Let h = -64.82 - -64.81. Is h at most as big as -349?
False
Suppose -5*t = 2*r + 73, -2*t - 2*r = -t + 21. Let d be (-42)/273 - ((-63)/t + -1). Let a be (-3 - (-84)/20)*10/d. Is -18 at least as big as a?
False
Suppose -4*f + 7*c = 6, -6 = 2*f + 122*c - 126*c. Let s be (0 - 0)/(-1)*-1. Suppose -f*p + 461 - 56 = s. Which is smaller: p or 43?
43
Let i(j) = -2*j**3 - 33*j**2 - 267*j + 36. Let w be i(-9). Is 1224 at most w?
True
Let i = 11893 - 11895. Is 7.92 greater than or equal to i?
True
Let x = 886 - 885.8625. Is -1 bigger than x?
False
Let l = -892 - -893. Is l < -7/541?
False
Let q = 1.019 + -1.119. Suppose -1 = 2*h + 45. Which is greater: h or q?
q
Let t be (-204)/(-21) - (-4)/14. Suppose z - t = -2*j + 2*z, 4*j + 2*z - 20 = 0. Let h = j - -2. Which is greater: h or 9?
9
Let q = 3.5047 - 0.4047. Is q at most 2?
False
Let h = 1.0197 + -1.5197. Are h and -1553 equal?
False
Let u = -260 - -249. Let l(t) = -5*t**2 - 58*t - 18. Let m be l(u). Is 15 at least m?
True
Let n be 138*((-21)/9 + (6 - 3)). Let o = n - 157. Suppose -q + 4*q = -195. Is q <= o?
True
Let n be (-5)/(-20)*8 + (-3 - -43). Which is smaller: 8 or n?
8
Suppose 2*l + 5*b = -72, -3*l + 3*b - b - 146 = 0. Let o be ((-50)/l - 1)/1. Suppose 322*s + 107 + 125 = -90. Which is greater: o or s?
o
Let g = -56 + 53. Let h(t) = 7*t**2 + 3*t - 2. Let p be h(g). Let z be 1*p/3*3/14. Is z at least as big as 5?
False
Let f be 8*(1/(-5))/((-64)/(-40)). Is f < -2?
False
Let x be 0 + -2*3/(-6). Let c = 362 - 610. Let m = 6945/28 + c. Which is smaller: m or x?
m
Let 