 + 2*h. Let u be p - (15/5 - -50). Is u at most as big as -55?
True
Suppose -2*a - 4*b - 4 = 0, 2*b = 2*a + 35 - 13. Let u(s) = s**2 - 7*s + 6. Let t be u(5). Let w be -5*((-6 - t) + 3). Which is smaller: w or a?
a
Let x = -15.6 + -3.4. Let f = x + 20. Let q = -0.37 + 0.56. Which is greater: q or f?
f
Let f = 25853 + -25870. Which is greater: -316 or f?
f
Let d be 14*2/(-4) + (456/(-18))/(-4). Is d at most -3331?
False
Let h be (-9452)/48042 + 1/(-9)*-2. Suppose 5*a - 25 = 0, -8*j + 3 = -6*j + a. Is j bigger than h?
False
Let p = -138 + 124. Let k be p/8 - (-8 + -6 + 12). Let f = -0.1 - 0.14. Is f >= k?
False
Let o(r) = r**2 - 7*r - 171. Let t be o(-10). Which is smaller: -3/65 or t?
t
Suppose 30*c = -47183 + 33023. Which is smaller: c or -5188/11?
c
Let w be (-2 + 7 + -2)*(3 + 2). Suppose 16*y = w*y - 9. Let v = -19/2 - y. Which is bigger: 0 or v?
0
Let z be (2/36)/((-12)/(-228084)*2). Let h = 528 - z. Which is bigger: -1 or h?
h
Let g be 4177216068/(-820016400) + (5 - 1). Let v = 3/238100 - g. Let n = -8/7 + v. Is n bigger than 0?
False
Let x = 0.5247 + -0.0157. Let n = 9.491 + x. Which is bigger: 37 or n?
37
Let w = -222 + 213. Let y be 7/(14/12)*3/w. Are -42/13 and y non-equal?
True
Let a be 2/(8/(-12)) + 139. Suppose -50*p + 67*p + a = 0. Is p at most as big as -9?
False
Let k be (64/36)/8*18/1. Is k at least 116/45?
True
Suppose 8*x - 3*x + 3*p = 8, 0 = -4*x - 6*p + 10. Which is smaller: x or -5/673?
-5/673
Suppose -4*o = 5*u - 3471, 861 = 2*o - u - 864. Is o >= 862?
True
Let l = -5.35 - -4.89. Let a = -0.03 - 0.97. Which is bigger: l or a?
l
Let g(q) = 4*q**2 + 60*q + 2. Let w be g(-15). Suppose -11*x = -w*x + 9. Which is greater: x or 1?
1
Let b(q) = q**3 - 2*q**2 - 6*q + 1. Let k be b(-3). Let w be (228/16 + -6)*16/(-6). Which is bigger: w or k?
w
Let l be 955/4 - 9/12. Let c be (l/(-51))/(4/6). Is 8 less than or equal to c?
False
Let p(c) = -c**3 - c**2 - 23. Let f be p(0). Let w(z) = 8*z**3 - 2*z**2 + z. Let l be w(1). Let r = f + l. Which is smaller: 2/5 or r?
r
Let v = 6 + -14. Let c = v - -10. Let f = -225.8 + 228.8. Which is greater: f or c?
f
Let k be (-56)/70 + (-22)/10. Let b be (k - -1) + 5 + 30/(-5). Let j = 9 + -15. Which is smaller: b or j?
j
Let z be 3/(-4) + -1172*7/112. Let w = 156 - 227. Which is smaller: w or z?
z
Let i be (8/5664*6)/(6/67372). Let a = i - 88/59. Is 94 != a?
True
Suppose 3*w + 8 = 4*i - 42, -37 = -3*i + 2*w. Suppose 0 = i*g - 46 + 13. Which is smaller: g or -23?
-23
Suppose -8*i = -18*i - 720. Let c = 17 + i. Which is smaller: -271/5 or c?
c
Let v be (-16)/(((-1)/(-4))/(4/16)). Suppose -3*j - j = 3*l + 26, -3*l = -3*j + 54. Which is smaller: l or v?
v
Let o = -641981/261 - -7379/3. Is 1 <= o?
False
Suppose -17*t = -27*t + 5180. Suppose 3*w = -5*u - 627, 145 = 3*u + 5*w + t. Let a be (-2)/u + 0/(-2). Is -1 <= a?
True
Let o = -223 + 205.2. Let l = o - -120.8. Let d = l - 103.16. Which is smaller: -2/9 or d?
-2/9
Suppose -y = 2*y - 42. Suppose 580 = -377*d + 379*d. Let v = 307 - d. Is y equal to v?
False
Suppose 0*h = -8*h + 16. Suppose 0 = 2*a - 0*a - 6. Suppose 3*w - 3*b - 6 = 12, -h*b - 13 = -a*w. Which is bigger: -1/9 or w?
w
Let g be 252/21 + -30 + 17. Are g and -16/707 nonequal?
True
Suppose -5*k = -k + 8. Let w = -7 - -176. Let b = -1531/9 + w. Does b = k?
False
Let x(r) = -31*r - 4. Suppose -12 = 17*m - 20*m. Let v be x(m). Let f = v + 382/3. Which is smaller: -15/8 or f?
-15/8
Suppose -5*k + 127 = -25*l + 27*l, -7*l + 3*k + 424 = 0. Is 0.33 != l?
True
Suppose -5*l + 2 = -2*u + 13, 4*u - l - 31 = 0. Suppose 7 = -5*h + a, 3*h + 3*a + u - 11 = 0. Which is bigger: h or 2/179?
2/179
Suppose -4190*o = -4419*o + 69873 + 74397. Do 620 and o have different values?
True
Let y(o) = o**2. Let l(z) = 4*z**2 + 14*z + 38. Let i(m) = l(m) - 3*y(m). Let a be i(-5). Is -4 less than a?
False
Let p(i) = 232*i + 31. Let g be p(7). Let z = 9905/6 - g. Let x = -163/42 - z. Is x greater than 1?
False
Let b be ((-24)/(-2))/((-2)/14*2). Let g = 113 + b. Let h = -32 + g. Is h equal to 41?
False
Suppose -r + 4*g = -523, -5*r + 22*g = 26*g - 2663. Is r != 528?
True
Let h be -29 - (41/82)/((-2)/(-12)). Which is bigger: h or -27?
-27
Let p = 0.5482 + -0.3482. Let x = -2.9 + 1.8. Let y = x - -1.21. Which is greater: p or y?
p
Suppose -33*b - 24315 = 8784. Is b greater than -1001?
False
Suppose 34*s + 112*s = -876. Is 19 not equal to s?
True
Suppose 0 = 9*b + 2*b + 7*b. Is 472/3 <= b?
False
Let p = -2 - -5. Suppose -4 = x + p. Let f be 2/(-13) + 3*(-560)/234. Is f < x?
True
Let i = -75 - 234. Let j be (-3)/12 - i/(-12). Let a = 29 + j. Is a at most 2?
False
Let x = -9.76 - -9.56. Which is smaller: x or -0.1465?
x
Let p = -9254 + 9268. Which is greater: p or 183/13?
183/13
Let t be (-13 - -1)*((-46)/(-4) - 3). Let v be -3*(6 + t/18). Is v >= -12/35?
False
Let u = -134 - 113. Suppose 2*h + 32 = -13*g - 412, g - 996 = 4*h. Is h < u?
True
Suppose -g + 168*q - 166*q + 7 = 0, -5*g - q = 9. Is g at most -1/23620?
True
Let z(n) = -87*n - 18. Let r be z(-1). Let k be (-262)/(-4) + 6 + -2. Which is smaller: r or k?
r
Suppose 2*d = 6*d + 4*t - 24, 0 = -5*d + 2*t + 23. Suppose 58*s - u = 60*s - 40, 4*u = 3*s - 60. Suppose 5*g + s = d*j, -g - 4*j - 1 = -7. Is g >= 0?
False
Let q = -9 - -43/5. Suppose r - 5*r = -32. Suppose -r*o = -75 + 3. Which is greater: o or q?
o
Suppose h = -2*a + 4, -a = -6*a + 2*h + 19. Suppose 9*t - 12 = -a*t. Let c(n) = n + 1. Let v be c(t). Is -1/4 >= v?
False
Let p = 2.114 + 1.386. Is -14 at least as big as p?
False
Suppose -79 = 4*g - u, -g - g = -2*u + 38. Let x be -9*g/24 - 7. Which is smaller: 316 or x?
x
Suppose 20*b + 265 = -45*b + 12*b. Which is smaller: -76/15 or b?
-76/15
Let l = -2.45 - -2.6. Let a = -197 - -197.05. Let h = l - a. Which is greater: h or -2/9?
h
Let i be 840/504*-277*3. Are i and -1383 unequal?
True
Let a = -46 + -160. Let k = -203 - a. Which is smaller: 2 or k?
2
Let h = -2864 - -31390/11. Which is smaller: h or -9?
h
Let r = -2785 + 2594. Is 1 at most as big as r?
False
Let j = 48 - -65. Suppose 68 = -114*b + j*b. Which is smaller: b or -4?
b
Let l(m) = 3*m**3 - 3*m**2 - 13*m - 19. Let a be l(-3). Which is greater: a or -83?
-83
Let g = -10293 + 236753/23. Is 2 at least as big as g?
True
Let w be ((-6)/(-4))/(10 - -236). Let o = -0.9923 - -0.4923. Is w not equal to o?
True
Let l = 250 + -41. Let p be 2/10*11/l. Which is smaller: p or 0?
0
Let k = -457601/330 - -2341/66. Let l = -925542/685 - k. Let x = l - 1120/19317. Which is bigger: 1 or x?
1
Suppose 2*k + 4*k + 3830 = 2*q, -3*k - 1887 = 3*q. Is -635 equal to k?
False
Let w = 42.7 + -41. Let x = -3.7 + w. Which is bigger: x or 3?
3
Let h = -2682 + 2682.11. Which is bigger: h or -16/3?
h
Suppose -3*h = 2 + 19 - 15. Which is greater: h or -97/56?
-97/56
Let j be (-4)/14*91/39. Which is smaller: j or -2/2635?
j
Let f be (32/(-10))/((-27)/615). Is f less than or equal to 1/2?
False
Let j = -25.032 - -24.832. Which is bigger: -4.81 or j?
j
Let a = -41 - -46. Let c be (a + (-3 - -3))*3/5. Let y be ((-2)/39)/(c/((-27)/(-42))). Which is greater: y or 0?
0
Let x be ((-75)/60)/(0 + 3/84). Let d(m) = 5*m + 17. Let p be d(-11). Are p and x nonequal?
True
Let a be ((-16)/(-24))/(-61 + 11). Is 1 less than a?
False
Let u(t) = -3 + 64*t**3 - 4*t - 22*t**3 - 16*t**3 - 3*t**2 - 25*t**3. Suppose 3*a + 5*o = 12, 3*a + 5*o = 4*o + 12. Let y be u(a). Is -19/6 less than y?
True
Let y be (-8)/(-30) + (-12)/18. Let d = 124 - -443. Let g be (-42)/d*(-3)/(-5). Which is smaller: y or g?
y
Let u = 15975018/13 - 1227958. Let v = u - 890. Which is smaller: 1 or v?
v
Let q(v) = v**3 + 28*v**2 - 18*v - 496. Let t be q(-28). Which is bigger: t or 1/9?
t
Suppose m = 5*j, 2*j - 5 = m + 4. Suppose t = -44*a + 41*a - 29, 12 = 3*t. Is a at least m?
True
Let p(w) = w**3 - 14*w**2 + 5. Let g be p(14). Let d be ((40/(-12))/g)/(50/30). Which is bigger: -1/14 or d?
-1/14
Let b = 3.313 - 3.113. Let n = 10 - -17. Let h = -36 - n. Is b != h?
True
Let f(t) = 54*t + 811. Let k be f(-15). Which is smaller: 3/442 or k?
3/442
Suppose -4*l - 30 = 5*o, 13*l - 12*l + o = -6. Let u = 686 - 58308/85. Let g = 196/1105 - u. Is g greater than l?
True
Suppose 3*i + 36 = -4*p, -4*i = 5*p - 147 + 193. Is p smaller than 7/15?
True
Let z(d) = -68 + 4*d + 8*d + 9*d - 19*d. Let h be z(-20). Are