ger than -5675?
False
Let x(n) = n**3 + 124*n**2 + 250*n + 731. Let w be x(-122). Let h be 90/43 - (-4 + 6). Which is bigger: h or w?
h
Suppose 48*g - 10*g = 912. Is 2 at most g?
True
Let j = -1.5207 - -0.5207. Are 309 and j equal?
False
Suppose -45*u = 1351 + 1709. Does -8 = u?
False
Let m be (-9)/(-7)*8/(-12). Let y(d) = -d**3 + 17*d**2 + 20*d - 39. Let u = -181 + 199. Let c be y(u). Which is bigger: m or c?
m
Suppose -3*b - h = 2051 + 848, -3*b - 2911 = 4*h. Which is smaller: b or -962?
b
Let j = 9.14 + 0.46. Let p = -0.07 - 0.13. Which is bigger: p or j?
j
Suppose -k - 2*k = -5*n - 26, -4*k + 24 = -4*n. Let h be (-405)/450*k/((-6)/3). Let j(m) = 3*m**3 - m**2 - m + 1. Let f be j(1). Which is smaller: h or f?
h
Suppose 0 = -6*r + 31 + 107. Let i be (-69)/9*(6 + 3)/(-3). Is i at most r?
True
Let x(s) = s - 8. Let r be x(8). Let d = 294 - 233.225. Let f = d + -0.775. Is r at most f?
True
Let b be (-138)/(-133) - (-6)/57. Let t(z) = -z**2 - 7*z - 7. Let m be t(-5). Suppose m*a - a - 4*j - 2 = 0, -j + 1 = a. Is b equal to a?
False
Suppose 12 = 7*t + 19. Let d be 9/(-6) + (t - 14/(-4)). Is 30 greater than or equal to d?
True
Let s = 2215 + -2785. Is s < -570?
False
Let f(o) = -4*o - 3. Let t be f(-8). Suppose -34*n = -t*n - 335. Which is greater: n or 71?
71
Let u(c) = -c - 24. Let q be u(-30). Let a be (-1)/2 + (1 - 9/q). Let w be a/(-18)*(-39)/(-26). Which is smaller: 1/2 or w?
w
Let f = -20456 + 102273/5. Let u = -6.99 + 7. Is u at most as big as f?
False
Suppose -110 = 2*f - 114. Let k be 191 - (f - 4/(-2)). Suppose 5*y + 3*d - k = -29, -5*d + 36 = y. Which is smaller: 32 or y?
y
Suppose -32*a - 43 = w - 36*a, 4*w + a + 172 = 0. Let m be (83 - 1)/(-2) - -2. Which is greater: w or m?
m
Let m = -53/5 + 874/15. Let i = 84805/1779 - m. Does i = 0?
False
Let l be (3/254)/((-57)/2280). Do l and -1 have the same value?
False
Let y(h) = 20*h**2. Let g be y(-1). Suppose -3*b + 0*a - 13 = a, 0 = -4*a + g. Let p be ((-2 - 1) + 5)*3/b. Which is smaller: 1/67 or p?
p
Let j be (7/497)/(30/(-1230)). Are -1 and j nonequal?
True
Suppose -5*z = -6*z + 3. Let s be 5/((-30)/8 + z). Let n(w) = w**2 - 24*w + 100. Let x be n(18). Is x smaller than s?
True
Suppose -14*w - 361 = -6661. Let i = -508 + w. Is -58 > i?
False
Suppose 20*b - 16*b - 80 = 0. Which is smaller: -1.2 or b?
-1.2
Let v = 3828 + -3574. Are 253 and v nonequal?
True
Let s = -3428 - -3427. Are s and -12/13 non-equal?
True
Let o = 291 + -305. Let i be (-80)/(-460)*o/16. Which is smaller: 1 or i?
i
Let c be ((-2)/(-12))/((-7)/(-98)) + 396/(-1188). Let s = 18522 - 1203888/65. Is s < c?
True
Suppose 7*p - 12*p = 4*o + 46, 4*o = 5*p + 54. Which is bigger: p or -20?
p
Let f = 1.27 - 0.09. Let r = f + -1.1. Let u(h) = -h**3 - h**2 + 3*h + 3. Let o be u(-2). Is r != o?
True
Suppose -103*w + 48*w - 2 = -53*w. Which is bigger: w or -3/10087?
-3/10087
Let w = -154.0281 - -2.6381. Let j = w + -2.61. Is j bigger than -0.1?
False
Let g(a) = -a**3 - 15*a**2 + 18*a + 28. Let w be g(-17). Let n = w - 232. Are n and 69 unequal?
True
Let d = 198 + -730. Let x = -549 - d. Is x at least -23?
True
Let n(s) = -s**2 - 7*s - 9. Suppose 3*d - 30 = 3*b + 6*d, -3*b = -2*d + 15. Let t be n(b). Let p = 17.8 - 15.8. Is p greater than or equal to t?
True
Suppose 16*q - 15*q - 1093 = r, 0 = 3*q + 4*r - 3223. Are 1086 and q equal?
False
Let o be -2*(5/5 + 22)*-1. Suppose -51*c = -o*c + 65. Which is bigger: -11 or c?
-11
Suppose -18*h + 6722 = -7912. Which is greater: 811 or h?
h
Suppose 0 = -8695*v + 8721*v - 96564. Are v and 3715 non-equal?
True
Let c be ((-620)/31 - -33) + 2466/(-262). Does 3 = c?
False
Let m be 2/(60/59443) - 3/9. Let p = m + -1978. Is 3 at most p?
True
Let y = -47.65 + 47.692. Which is smaller: y or 1/32?
1/32
Let c = 25 + 17. Let b be c*(6/(5 + 133) - 0). Which is smaller: 0 or b?
0
Let x = -211.55 - -228.55. Is x > 215?
False
Let d be 3/(-4) + 2/(-4). Suppose -17538*o = -17510*o. Does d = o?
False
Let j be ((-3)/6362*8/12)/(-9 + 8). Is j less than -1?
False
Let o = 633/65 + -46/5. Is 0 less than o?
True
Suppose 984 = 53*h - 5577 + 1844. Is 109 != h?
True
Suppose p + 5 = 3*j + 1, 0 = 3*p + 3. Let z be -2*((-20)/(-12) - j)/2. Let b = 3 - 5. Are z and b equal?
False
Let i = -211.4 + 208. Let r = 12.11 - -0.29. Let g = r + i. Which is smaller: g or 1?
1
Let s = -14149 + 14172. Let y(h) = -21*h**3 - 1. Let t be y(-1). Is t <= s?
True
Let p(b) = 5*b + 17. Let n(w) = -3*w - 8. Let d(m) = 7*n(m) + 3*p(m). Let t be d(-4). Let i = t - 22. Is -3 greater than i?
False
Let g be 3 + -7 - 190/(-55)*(-2509)/26. Which is greater: g or -337?
-337
Let j(n) = 7*n + 7. Let p be j(-3). Let y be (-10 + 1)/(-6 - (p + 6)). Is -5 > y?
False
Let s = 1788 + -1787.6. Which is bigger: -112 or s?
s
Let n be 2201/11 - (-142)/(-1562). Which is bigger: 197 or n?
n
Let b = 1.8 + -1.816. Let s = b + 0.216. Is s < -1/2?
False
Let m = 8787/760 + 6/95. Let f = m + -2527/216. Which is smaller: -1 or f?
-1
Suppose 3*b = -1 + 1. Let h = -2100.31 - -2091. Let q = -9.2 - h. Which is smaller: b or q?
b
Suppose -36*d - 87 + 14 = -37. Which is bigger: d or 1/349?
1/349
Let a(f) = 2*f - 2. Let p be a(4). Suppose -p*y + 1 = -23. Suppose 0 = 4*v + 8*s - y*s + 8, -s - 3 = 0. Which is bigger: 2/53 or v?
v
Let o = 3603 + -18013/5. Are o and 10.84 equal?
False
Let i be ((-99)/(-12) - 8) + (-23)/(-4). Let u be -3*5/45*i/(-74). Is 0 >= u?
False
Let r be (4 + -3643)*28/(-84). Is -5 < r?
True
Let n = 13299 + -13009. Is -0.06 less than n?
True
Let l = -203 - -248. Let m = -47 + l. Which is smaller: -12/13 or m?
m
Let r = -391 - -657. Let u = r + -285. Is u not equal to -17?
True
Let j = 47/11 + -765/143. Let t = -6 + 10. Suppose -4*s - 8 = t*s. Is j less than s?
True
Let w be 0 - (2/3 + (-1088)/912 + 0). Are w and -0.11 equal?
False
Let x = -185 + 192. Suppose -35 = -2*v - 3*l - x, -4*l = -3*v + 59. Which is bigger: 24 or v?
24
Let a = 1165 - 667. Are 498 and a equal?
True
Let p = 5702 - 7131. Is p at most as big as -0.06?
True
Suppose 2*o + o + 32 = 2*j, 2*o - 3*j = -13. Let t be (-10 - 175/o)/((-14)/4). Are t and -3/7 non-equal?
True
Let h = -25/3391 + 1770727/84775. Is 22 at most h?
False
Let v = 82.301 - 0.301. Let o = -72 + v. Is o equal to 0.1?
False
Suppose t = 3*d + 12, 0*t = 3*t. Let i be -3 - (-2)/d*(-2282)/357. Let k = i - 1/34. Which is bigger: -5 or k?
k
Let q(d) = 344*d + 4411. Let t be q(-13). Which is bigger: t or 10?
10
Let l = -8750 + 8751. Which is smaller: l or 1/3008?
1/3008
Let s be (-4)/2 - -1 - -3. Let f(u) = 16*u**2 - u**3 - 2*u**s + 2*u**3 - 21*u + 6*u**2. Let b be f(-21). Which is smaller: -31 or b?
-31
Let r(n) = -n**3 + n**2 + 4*n - 5. Let t be (12*6/(-60))/((-6)/10). Let z be r(t). Is -1/680 at most z?
False
Suppose m = 5*m - 28. Let x(b) = -14*b**2 - 9 + 0*b + 13*b**2 + b + m*b. Let u be x(7). Which is smaller: 10 or u?
u
Suppose -2*w = 1 - 67. Let z = 33 - w. Suppose z = 6*v - 0*v - 24. Which is smaller: 14/3 or v?
v
Let p = 32/7045 + -488507/109098870. Which is smaller: p or 0?
0
Suppose 2*y - 3*y + 42 = -w, -y - 5*w = -42. Suppose -4*i - 20 = 3*h + 19, 5*h - i + y = 0. Which is greater: h or -13?
h
Let x = -103507596/193 - -536310. Which is greater: 0 or x?
x
Let w = -123291 + 79016. Is w at least -44275?
True
Suppose 0 = -17*n - 1896 - 1912. Which is bigger: n or -1339/6?
-1339/6
Let n = -53 + 211. Suppose -6*t + 2 = n. Suppose 4*q - 55 = -159. Is t not equal to q?
False
Let y be (4 - ((-3)/1 + 3))*(-96)/(-128). Is 57/14 at most y?
False
Let w be 63/3*3/9. Suppose 0 = -5*p - 2*z + w, 0 = 3*p - z - 1 - 1. Let v be ((-6)/69)/((29 - 23) + -8). Is v <= p?
True
Suppose -2080 = -958*o + 948*o. Is 207 equal to o?
False
Let r(c) be the third derivative of c**6/120 + c**5/12 + c**4/24 + 3*c**3/2 - 43*c**2 + 2. Let n be r(-5). Is 0 > n?
False
Suppose -v + 1 + 1 = 0. Suppose 4*s - 5 = -s, -5*s = -v*l + 361. Suppose p - 173 = -3*x, x + 2*x - l = -3*p. Which is smaller: 57 or x?
x
Suppose -974*s - 1 = -975*s. Are -5/1093 and s non-equal?
True
Let g = 18164 + -18138. Is -81 < g?
True
Let s = 2.29 - 38.29. Which is smaller: s or 0.1?
s
Let b = 1.37 + -20.87. Let v = b + 20.5. Is v less than 100?
True
Let f = 3 - -2. Suppose 229 = 2*o - 1. Suppose -7*w - f*x - o = -2*w, -59 = 3*w + x. Is -16 < w?
False
Suppose 55*l - 51 = 58*l. Let v be (-2 + (