 = 0.1 + b. Is x greater than or equal to -2/3?
False
Let f = 4 - 3.7. Let q = -166 + 165. Which is greater: q or f?
f
Let f = -67 - -37. Let o = f + -4. Does -34 = o?
True
Let n(l) = 8*l**2 - 100*l + 6. Let k be n(12). Is k smaller than -44?
False
Suppose -4*v - c = -250, 300 = 8*v - 3*v - 5*c. Which is greater: v or 67?
67
Suppose 0 = 21*c - 51 - 12. Which is bigger: 4 or c?
4
Let m = -4468959/620 - -7208. Which is bigger: m or 0?
m
Suppose -14*o - 514 + 122 = 0. Is o <= -28?
True
Let z be 4 - (1/1)/1. Suppose -4*h - 3*n - 49 = 0, h - z*h - 11 = -3*n. Which is smaller: h or 0?
h
Let k = -4018.08 - 21.92. Let p = 4017.91 + k. Let m = p - -22. Is -0.1 smaller than m?
True
Let y = 78.9 + -79. Let g = -26 - -39. Which is smaller: g or y?
y
Suppose -4*h + 40 = -3*w, 0*w + w = h - 11. Let y be (1/222)/(h/21). Which is greater: y or 1?
1
Suppose -32 - 16 = 6*a. Let l be ((-2)/15 + (0 - 0))*a. Is 2 at most as big as l?
False
Let p = 75/457 - 119821/234441. Let f = 8/19 + p. Which is bigger: 1 or f?
1
Suppose 3*v + 39 = 24, -5*v - 29 = 4*y. Let z be (-17)/(-2)*2*1. Suppose 11 = 2*g + 5*j, -2*j - j = -4*g - z. Which is smaller: g or y?
g
Let y = 3/301 - -47/3913. Let w be -7*(-2)/21*3. Suppose 0*b = w*b + 2. Is y smaller than b?
False
Let i(a) = -a**2 + 8*a + 13. Let t be i(9). Suppose -11 = -5*j - 3*p, -3*p = -t*j - 0*p + 25. Is 2/15 greater than j?
False
Let u = 10.35 - 9.68. Which is bigger: -3 or u?
u
Suppose 0 = -6*w - 0*w + 24. Suppose 0 = -5*b + 2*m + 15, b + w*b - 4*m - 25 = 0. Which is bigger: b or -2?
b
Suppose 5*i + 0 = 4*s + 21, -6 = 2*i + 2*s. Let y = -803142 - -228895918/285. Let o = y + -22/15. Are o and i non-equal?
True
Suppose -7 = -4*m + 5*m. Let g be (-6)/42 + (-64)/m. Let a be g/21 + 43/(-35). Is a > 0?
False
Let c(x) be the second derivative of 5*x**4/6 - 3*x**3/2 + 9*x**2/2 + 36*x. Let y be c(1). Which is bigger: 6 or y?
y
Suppose r = -l - 0 + 5, -l = -5*r - 5. Let o be ((-8)/6)/4*r. Let b be 0 + (-1 + o - 1). Which is smaller: b or 0?
b
Let z(t) = -t**2 - 5*t + 5. Let u be z(-5). Suppose -u*x + w + 25 = 0, -3*x - 2*x = 4*w. Let b be (-6)/x*20/(-15). Is b < 1/4?
False
Let o = -1735 + 1736.82. Which is smaller: -0.1 or o?
-0.1
Suppose -2*x + 3 + 107 = j, 5*x + 4*j = 269. Suppose 21 - x = 6*q. Let p be -7*(-1)/((-2)/2). Which is bigger: q or p?
q
Suppose -4*m - 25 = w, 2*w + 5*m + 27 = w. Let l(y) = -3*y + 23. Let t(v) = -v + 8. Let p(i) = w*t(i) + 6*l(i). Let b be p(1). Which is smaller: b or 2/65?
2/65
Let n = -28 - -24. Let y = 7 + n. Are y and 6 unequal?
True
Let u = -317 - -318. Is u > 8/19?
True
Let q = 5269 + -2276207/432. Do q and 1 have the same value?
False
Let w be 486/45*(-40)/12. Is w smaller than -38?
False
Let t(v) = -v**3 + v**2 - 6*v + 65. Let d be t(8). Is d >= -432?
True
Suppose -16*k + 43*k + 2106 = 0. Is -76 at least k?
True
Let o = -0.03 + -0.05. Let n = o + 0.15. Let s = -27 - -109/4. Is s not equal to n?
True
Let x be 2/(-9) - 2/(-54)*6. Let h be 27/(-92) - (-1)/4. Which is smaller: x or h?
h
Let d = -416 - -437. Which is bigger: d or 1/4?
d
Let v be (8/(-3) - -2)*(-36)/(-24). Is -2/1169 at least v?
True
Let f be (-271)/117 + 24/324*-3. Is -2 at least as big as f?
True
Let g = 0.1 + 0. Let v = -1153 - -9223/8. Is v > g?
False
Let m(s) = -s - 2. Let c be m(-13). Suppose 2*t + c = 43. Which is greater: t or 17?
17
Let q be 464/(-714) - (-4)/6. Let m(a) = -a**3 + 5*a**2 - 4*a + 4. Let x be m(4). Let d(y) = 4*y - 16. Let g be d(x). Is g less than q?
True
Let u = 4157/20 - 958/5. Is 15 at most as big as u?
True
Let j = 195 - 211. Let d = 15.13 + 0.97. Let c = j + d. Which is smaller: c or 12?
c
Let q = 8 + -57/7. Suppose -2*w - w - 3 = a, -w - 1 = 4*a. Let v be (2 - 4)/(w + 3). Is v at most as big as q?
True
Let b = -1397 + 1353. Is b greater than -49?
True
Suppose 2*o + 61 = 5*a, 0*o = 2*a + 3*o - 13. Let l be (-16)/4 + a*-1. Let m be 2/(-6) - (-130)/l. Is -9 greater than m?
False
Let b(n) = -n**3 - n - 5. Let w be b(0). Let i = 0.578 + -0.278. Which is smaller: w or i?
w
Suppose -104*i + 242 - 6170 = 0. Is -59 equal to i?
False
Let n = 45.8 + -44.8. Which is greater: 1/143 or n?
n
Let a = 1124/161 - -122/23. Is 12 greater than or equal to a?
False
Let x(d) = -4*d**2 + 6*d**2 - d**2 - 3 + 5*d. Let y be x(-6). Suppose 0 = o - 3*o + 4. Is y greater than or equal to o?
True
Let m be (43/(-172))/(-2*1/8). Let n be (2 - 1)/((-2)/4). Let z = n + m. Are -1 and z nonequal?
False
Let q be (62/(-93))/(2/(-3)). Which is smaller: q or -1/29?
-1/29
Suppose -5*s + 563 = -267. Let t = -1991/12 + s. Let a(m) = m + 3. Let d be a(-4). Is d at least as big as t?
False
Suppose 0 = 3*h - l - 76, 3*h - 4*l - 71 = -2*l. Let r be (6/(-45))/(15/h*3). Which is smaller: r or -0.2?
-0.2
Let v = -0.0498 - 0.0502. Which is smaller: v or 15.8?
v
Suppose -3*i - 44 = 4*g, i + 11 = -g + 4*i. Let x(z) = z**2 + 10*z - 24. Let f be x(g). Which is greater: f or 2?
2
Let y be 8/10 - 351/(-130). Is 0.8 > y?
False
Let a(s) = -s**3 + 8*s**2 + 10*s - 7. Let o(m) = -8*m**2 - 3 + m**3 - 10*m + 13 - 3. Let f(z) = -5*a(z) - 6*o(z). Let k be f(9). Are k and 2 equal?
True
Let g = 13938/11 + -1268. Let d = 2 + -3. Is d smaller than g?
True
Let x = 1.58 + 3.42. Which is smaller: 1 or x?
1
Let p = -4 + 16. Suppose 11*z - p*z = 0. Which is greater: z or 2/13?
2/13
Let n = 17 - -7. Let m = n + -23. Which is bigger: m or -1/3?
m
Let p = 1.907 + -0.087. Let x = p - -0.18. Let r be ((-6)/(-4))/(54/8). Is x less than or equal to r?
False
Let y(z) = z**3 - 6*z**2 + 7*z - 7. Let b be y(5). Let w be (9 - b) + -3 - 2. Which is smaller: w or 2/5?
2/5
Let o(g) = 2*g + 9. Let k be o(4). Let d = 33 - 18. Is k at most as big as d?
False
Let u = -35/12 - -13/24. Let j be 1/((-190)/210 - 4/(-7)). Which is smaller: j or u?
j
Let t be 57/(-8) + (-5)/(-40). Let p be -5 - 21/(-6) - (-5)/2. Which is smaller: t or p?
t
Let l(i) be the second derivative of 1/20*i**5 + 0 - 1/6*i**3 - 5/2*i**2 + 4*i + 2/3*i**4. Let n be l(-8). Which is greater: n or 5?
5
Let z(j) = j**2 + 17*j + 4. Let p be z(-16). Let u be (-12*((-4)/p)/(-1))/(-1). Let o(s) = s**2 + 5*s + 3. Let w be o(-3). Is w < u?
False
Let b(u) = -3*u - 19. Let v be b(-8). Suppose q - 8 = 4*j, 5 = -4*j + v*q - 19. Is j at least -9/8?
True
Suppose 39*b - 31*b = -824. Is b < -101?
True
Suppose -j = j + v + 13, 3*j + 30 = 2*v. Let r be j - -5 - 5/(-1). Let x be (-11 - -12)*0/r. Are x and 1 non-equal?
True
Suppose -5*y + 261 + 64 = 5*w, 2*y - 4*w = 106. Which is bigger: 60 or y?
y
Suppose -3*i + 14 = -22. Let f = i + -10. Suppose -f*o = -0*o - 6. Which is bigger: o or 11/5?
o
Let m = -1856/3 - -618. Is m > -5.6?
True
Let l be -253 + 10/(6 + -4)*1. Is -249 != l?
True
Let k be 123/12*(7 - 25/(-5)). Which is smaller: k or 124?
k
Let m be (11/(-6))/(2618/(-714)). Which is smaller: m or 801?
m
Let p be (-14)/(-35) + 14/10. Let f(y) = -1. Let d(c) = -2*c + 3. Let n(x) = d(x) + 4*f(x). Let u be n(-2). Is u at most as big as p?
False
Let o(t) = t**3 + 5*t**2 - 2*t + 7. Let a be o(-5). Let z = 20 - a. Are z and 9/4 unequal?
True
Let w = -51 - -53. Let a be 15/(-20) + w + -2 + 0. Let m(l) = -l + 1. Let i be m(0). Is a at least as big as i?
False
Let u(c) = c**2 + 8*c + 26. Let t be u(-7). Let y = 17 - t. Which is smaller: -36/11 or y?
-36/11
Let l = -14 - -13.91. Let h = 49 + -49.29. Let x = l - h. Is 0 >= x?
False
Let i be 2/(-4)*(-10 - -656). Let v = -980/3 - i. Do 1 and v have different values?
True
Suppose 35 = 5*m + 4*d - 9*d, 49 = 4*m + 3*d. Suppose 58*p - 56*p = 16. Which is smaller: p or m?
p
Let c = 134/35 + -24/7. Let g = 10 + 4. Let v = g - 19. Is c less than or equal to v?
False
Let o be 24 - (-2405)/(-78) - 4/(-3). Which is greater: o or 0.006?
0.006
Suppose -a + 187 = f, 2*a = -f - 3*f + 756. Let m = f + -171. Which is bigger: m or 19?
m
Let j = 131.573 - 0.573. Is j >= 1?
True
Suppose -10 = -5*t + 4*t. Let p = t + -9. Let d be 0 - p/(2/(-2)). Is d at least 1?
True
Suppose u = 5*d, -d - 17 = -3*d - 3*u. Let r(c) = -c + 5. Let x be r(-5). Let h be (7 - 2)*x/(-125). Which is greater: d or h?
d
Let h be 90/4*(-12)/(-75). Is h bigger than 5?
False
Let m = -5.9 - 1.8. Let x = -16.7 - -23.7. Let o = x + m. Which is smaller: 1 or o?
o
Let f be 13 + (-837)/63 - (-5384)/18942. Which is smaller: f or 0?
f
Let d = -2.7 - -3. Let w = d + 0