et h be b(2). Which is smaller: h or 0.1?
h
Let f = 0.044 - -0.246. Let r = f + 0.01. Let v = 0.2 - r. Is v at most as big as 2?
True
Let x = -37/2 + 18. Suppose 3*s - 5 = -17. Let d = s + 2. Which is smaller: d or x?
d
Let s be (-15)/10*(-5)/(110/4). Suppose -2*z - 3 = -5*z. Which is smaller: z or s?
s
Suppose 0*b + 4*b = 3*w + 15, -2*b + 9 = -3*w. Suppose -5*l = 0, -3*n - 66 = 4*l - 2*l. Let m = n + 199/9. Which is smaller: m or w?
w
Let s be -1*(1 - 1) + 0. Suppose s = f - 5. Suppose 4 = f*k - 1. Which is bigger: 0 or k?
k
Let g be 7 - 0 - (-4 + 0 + 9). Suppose -2*z + 2*j = -2, -2*z - 3*j + 7*j - 4 = 0. Suppose -2*u - 6 = -z*u + 4*m, -3*m = 0. Which is bigger: g or u?
u
Suppose 7*q + 14 = 3*q + 2*f, 0 = 2*q + 5*f + 13. Let z(p) = -4*p - 14. Let g(w) = -3*w - 13. Let t(s) = 5*g(s) - 4*z(s). Let d be t(5). Is q at least d?
True
Let t(c) = 16*c**3 + c**2 - 2*c + 1. Let b be t(1). Which is greater: b or 15?
b
Let m = 17/168 + 1/24. Which is smaller: -1 or m?
-1
Let p = 11 + -5. Let k = p - 8. Suppose -3 = 5*v - 13. Is k >= v?
False
Suppose 3*d - 7 + 1 = 0. Suppose 35 = 5*b + 140. Let z be d*(b/24 + 1). Which is smaller: -6 or z?
-6
Let g = 9 - 4. Suppose -g*o - 16 = -4*c, -3*c + 17 = -o - 4*o. Is 1/6 at least as big as c?
True
Suppose 4*f + 5*d + 16 = 0, 7*f - 25 = 2*f + 5*d. Which is smaller: -2 or f?
-2
Let b be -3*2/3*1. Let r be (-4)/(-6) - b/(-4). Let u = 3.1 + -3. Is u greater than r?
False
Let r be -1*4/(-10)*25. Suppose r = 4*j - y - 19, 2*j - 4*y = 4. Let b be j/2 - 2 - 0. Is b < 1?
False
Let k = 15 + -11. Let v = k - 2. Suppose -3 = w - 2*o, -2*w + 5 = -5*w + 2*o. Is w greater than v?
False
Suppose 8*q = 5*q + 12. Suppose -3 = q*t + 1. Let b be (-6)/8*(-16)/30. Which is smaller: t or b?
t
Let b = -0.08 - 0.22. Let z = 24 + -23.9. Which is greater: z or b?
z
Suppose 4 = 2*x - f + 1, -4*f = -4*x + 16. Let i = 2 + x. Let v be (-1)/(-2) + 1/(-6). Which is bigger: i or v?
i
Suppose 3*t = 2*x + 7, -3*t - 3*x + 2*x + 1 = 0. Is -13 not equal to t?
True
Let u = -7 - -4. Let y = -4 - u. Which is smaller: y or -2?
-2
Let d = 21 + -21. Is -6/5 smaller than d?
True
Let w = -3643/14 + 1118/7. Let p = 95 + w. Which is bigger: -7 or p?
p
Suppose 0 = c + 10 - 2. Let v = c - -3. Which is greater: -7 or v?
v
Let c be (384/20)/(-6)*-5. Let k = c - 23. Which is bigger: -5 or k?
-5
Let h(q) = 2*q**2 + 12*q + 4. Let y be h(-6). Let w be 12/135*10/y. Suppose 1 + 2 = -3*k. Which is smaller: w or k?
k
Let d = 0.15 + -0.25. Which is bigger: d or -0.07?
-0.07
Let l be ((-13)/(143/(-18)))/(-2). Which is smaller: l or -1?
-1
Let b be (-18)/3 - (-3 - 2). Which is greater: b or -2/39?
-2/39
Let c(q) = q - 36. Let u be c(0). Do u and -1 have the same value?
False
Suppose -4*u = -4*k + 40, 38 = -5*u + 3*k - 22. Is -15 bigger than u?
False
Suppose -15 + 12 = o. Is 0.1 at least o?
True
Suppose 0 = -0*c + c. Suppose 0 = -c*z - 2*z + 4. Let x = -3 + 7. Which is greater: z or x?
x
Let b = -8 - -12. Let x be (-1)/(16/(-65)) - b. Which is smaller: x or -1?
-1
Suppose d - 5 = -3. Is d greater than or equal to 20/7?
False
Let m be 30/500*(-8)/(-6). Is m not equal to 1?
True
Let z be (-11 - -10) + (-1 - -2). Is z > 1/12?
False
Let o = -0.03 + 0.13. Let a = 9 - 8. Which is bigger: o or a?
a
Let o = 23 + -28. Let z(m) = -3*m - 15. Let f be z(o). Let h be ((-2)/(-6))/((-6)/4). Which is smaller: h or f?
h
Let x(z) = z**2 + 6*z - 8. Let w(s) = -s**3 - s**2 - s - 7. Let j be w(0). Let n be x(j). Is -1/11 >= n?
True
Let f(x) be the first derivative of x**3/3 - 5*x**2/2 + x + 2. Let u be f(2). Do -4 and u have the same value?
False
Let t be ((-2 + 2)*(-5)/(-10))/3. Suppose -w - 2 = w. Let j be 3/(-36) + 1 + w. Is t less than or equal to j?
False
Let c = -31/6 - -9/2. Which is greater: c or -1?
c
Let a be (-6)/(-12) + (-7)/11. Let v = a - 4/11. Is 2/21 not equal to v?
True
Let s be (0 - 2)*(-2 + 2 + -1). Suppose -2*r + 4*v = 2*v, 5*r - 9 = 2*v. Suppose 5*t - 11 = 4*q, -q + r*t = 2*t + 2. Which is greater: q or s?
s
Let d(m) = m**2 - 4*m - 8. Let p be d(7). Let w be p/13 + (-6)/8. Do w and 2 have the same value?
False
Let o(k) = 16*k**2 - 1. Let j be o(-1). Let b = j - 106/7. Are -1 and b non-equal?
True
Let j be (-1 + (-3 - -3))/1. Let m be (-4 - j)*4/24. Which is greater: -2/5 or m?
-2/5
Let j = 4.7 - 6. Which is bigger: j or 1/4?
1/4
Let w = -5 - -1. Suppose 5*c + 14 + 6 = 0. Is c bigger than w?
False
Let v = -1.93 + -0.27. Let p = v - -0.2. Is p greater than or equal to 0?
False
Let w = 28 + -34. Is w at most as big as -0.1?
True
Let h = -2169/28 + 295/4. Is h smaller than -3?
True
Suppose m - 5*m + 4*d - 8 = 0, 2*m = -2*d. Let q = 22475975 + -126764496869/5640. Let f = 2/705 - q. Which is greater: f or m?
f
Let r be -4 + 8 + -4 - 0. Is 6/7 less than or equal to r?
False
Let q(j) = -j + 2. Let y be q(3). Let m = -1 + y. Suppose 5*z + 2*x + 20 = 7*x, z = 2*x - 6. Do z and m have different values?
False
Let l = -3 + 2. Let r(s) = s + 3. Let i be r(7). Suppose 5*c + i = 5*j, 3*c - 8 = -5*j + j. Which is smaller: c or l?
l
Let b(q) = -q**3 - 15*q**2 - q - 12. Let k be b(-15). Suppose 4*x = k*x + 1. Are 1 and x equal?
True
Let o be (4/(-5))/((-90)/(-13925)). Let h = -124 - o. Which is smaller: h or -1?
-1
Suppose 4*c + 18 = c. Let a = 2.6 - -0.4. Let m = 3 - a. Which is greater: c or m?
m
Let l = 3197/11622 - -25/298. Let r = -4/13 - l. Is -8 at least as big as r?
False
Let l = -10 + 15. Suppose l*m - 2 = 8. Is m greater than or equal to -2/5?
True
Let s = 33 + -34.3. Let v = s - -2.7. Are 2/5 and v non-equal?
True
Suppose 13 = 16*o - 3. Is 3/125 >= o?
False
Suppose 4*f = -f + 20. Let z be 28/f + 5 + -2. Which is bigger: 11 or z?
11
Let b = 7 + -5. Suppose -2 = -4*o + 10. Which is bigger: b or o?
o
Let j = 5 - 3. Let r = j + -1. Let m be r/1 - 5/15. Is 1 at most as big as m?
False
Let v(s) = 2*s**3 + 65*s**2 + 32*s - 1. Let z be v(-32). Which is smaller: z or -3/23?
z
Let h = 65 + -64. Is h <= -0.3?
False
Suppose -3*h + 2*h = 33. Let o = 18 + h. Let u be (1/4)/(o/12). Is u smaller than -1?
False
Let x = -1 + 1. Let s be x*(-2)/(-6) + -1. Do -1 and s have different values?
False
Let a = -248/9 - -82/3. Which is smaller: a or -2?
-2
Let o = -0.02 + 0.22. Which is greater: -0.7 or o?
o
Suppose 4 = t + 2. Let q(o) = 2*o**3 + 2*o + 1. Let y be q(-1). Let u = t + y. Which is greater: u or 1/4?
1/4
Suppose 0 = -3*n + 8*n - 15, 24 = -4*g + 4*n. Let s = 1 - g. Suppose -2*k = -5*y - 0*k - 10, s*y + 5 = k. Is y bigger than -1?
True
Let l be (4/(-2))/(-2 + -13). Is 0.1 at most l?
True
Let h = 190.9 - 194. Is 0 smaller than h?
False
Suppose 3*v + 0*v = -4*m + 258, -3*m - 9 = 0. Let l be v/(-200) + 2/10. Which is smaller: l or 0?
l
Suppose f - 15 = -16. Is f equal to 1/40?
False
Let a = 2 - 1.3. Let l = -0.7 + a. Which is bigger: 1/4 or l?
1/4
Let m = 27 - 28. Which is bigger: m or 1/3?
1/3
Suppose 0 = 3*g + 3*b + 15, -4*g + 2*b + 4 = -0*g. Let k = -1.7 + 2. Let j = k - 0.3. Do g and j have different values?
True
Let x(s) = -s**2 - 11*s - 14. Suppose 5*u + 44 = j - 2, 5*j = -4*u - 60. Let r be x(u). Which is greater: -3 or r?
-3
Suppose 14 = 6*d - 28. Is d bigger than 9?
False
Suppose -6*n + 30 = -11*n. Is n greater than -3?
False
Let z = 4 - 1. Let g = z - 3. Let r = -4 - g. Which is greater: r or -2/5?
-2/5
Let w be 45/(-12) - 1/4. Let q = w - -7. Let u be 1*-4*q/54. Are u and 1/4 unequal?
True
Let j be (2/19)/((-5)/(-15)). Which is bigger: 0 or j?
j
Let k be 64/288 + (-4)/18. Is k less than 10/17?
True
Let d = -3686 + 7217/2. Let j = d - -79. Is j > 3?
False
Let y(d) = -d**3 + 4*d**2 + 10*d + 13. Let x be y(6). Is x >= 4/29?
True
Let m be (-2 - -3)*(0 - 0). Let t = 338/17 + -20. Which is bigger: m or t?
m
Let n be 14/15 - 3 - -2. Let p = 2/5 + n. Let d(j) = -j**2 - 3*j - 2. Let s be d(-2). Are p and s nonequal?
True
Let g(s) = s**3 - 6*s**2 - 1. Let j(o) be the second derivative of o**5/20 + 7*o**4/12 + 5*o**3/6 - 2*o. Let y be j(-6). Let x be g(y). Is -2 != x?
True
Let v be (-35)/(-42)*6/4. Suppose -3*g = -2*g + x - 4, -2*x = 4*g - 8. Is v < g?
False
Let v = 3 - 2.9. Let w be ((-2)/(-18))/((-10)/(-12)). Is w greater than v?
True
Let l = 0.1 - -8.9. Which is smaller: l or 1/3?
1/3
Suppose 19 - 3 = 4*o. Suppose 0*u + 5*u = -3*a + o, 3*u + 3 = 0. Is -0.1 at most a?
True
Let c = -1668 - -288562/17