an or equal to a?
True
Let g = 3 - 4. Which is bigger: g or -2/5?
-2/5
Suppose 2*o + w = 0, -5*w + 10 = -2*o - w. Let x be ((-1)/(-3))/(o/3). Which is smaller: -2 or x?
-2
Let b(q) = -3*q**3 + q**2 + q - 1. Let k be b(1). Let v be (k/12)/((-9)/4). Suppose -16 = -i - 5*t - 1, -2*t + 6 = -2*i. Which is greater: v or i?
v
Suppose -4*y + 4 = -0. Let l = 0 + -1. Let n = -0.9 - l. Is y less than n?
False
Let t = -103 - -729/7. Is t >= 0?
True
Let l(y) = -2*y + 6. Let b be l(5). Let q(f) = -f**3 - 3*f**2 + 3*f + 4. Let w be q(b). Is -2/5 less than or equal to w?
True
Let h = 2/43 - 137/172. Let v(s) = s - 1. Let w be v(-1). Is w at most h?
True
Suppose 0*i + d + 49 = 4*i, 2*i = 2*d + 20. Is 63/5 > i?
False
Let j = -59/138 - -6/23. Let x be (-1 - 5) + 2 + -2. Let p be x/(-3) - (-6)/(-3). Which is bigger: j or p?
p
Let c be -1 + (-40)/(-135)*3. Is -1 bigger than c?
False
Let x be (-4)/6 - (-20)/3. Suppose -x + 2 = -4*a. Do 0 and a have the same value?
False
Suppose 2*o - 4*t = -2*o, 0 = 3*o + 4*t. Is o >= -18/13?
True
Let r = -307/5 - -61. Which is smaller: r or -39?
-39
Let r = 2.1 - 0.1. Let l = r + -3. Let c = 18 - 18. Which is smaller: l or c?
l
Suppose 1 + 1 = 2*p. Which is smaller: p or 2/13?
2/13
Let n(o) = 13*o**2 - o. Let k be n(1). Suppose 5*d + 5*y + 10 = 0, -4*d + 4*y + k = 3*y. Is 5/2 not equal to d?
True
Let t be 5/(-38)*(-12)/(-165). Let s = 408/1045 - t. Which is bigger: s or 0?
s
Let o = -51 + 51.1. Let k = 0 + 0. Which is smaller: o or k?
k
Let i = -4 + 3. Let m be 4/6*1/(-10). Do i and m have different values?
True
Let q = 90994/2665 - 1246/41. Let s = -18/5 + q. Is 0 smaller than s?
True
Let l be (-8)/(-2 - (1 - 1)). Suppose -l*o - 4 = -8*o. Is o <= 2?
True
Suppose 2 = 3*v - 2*v. Let s = -1 + v. Let y be (-1)/(s + 2/(-1)). Which is greater: -1/4 or y?
y
Let a = -5 + 8. Let l = 5 - 8.1. Let c = l + a. Which is bigger: 3 or c?
3
Suppose 4*p + 0*p = 8. Let v(i) = i**2 - 7*i + 3. Suppose l = -5*t - 9, 0*l + t = 5*l - 33. Let c be v(l). Is p <= c?
False
Let m(t) = t**2 + 5*t - 6. Let a be m(-6). Suppose -2*z + a*z = 0. Is z at most as big as 1/5?
True
Suppose -2*f = -4*v - 6, -2 = -5*v - 4*f - 3. Let z(j) = -j**3 - 6*j**2 - 7*j - 10. Let g be z(-5). Let w = g - v. Is 1 greater than or equal to w?
True
Let a be 3*(4/(-6))/1. Let v be (-1)/2*(-5 - -7). Which is smaller: a or v?
a
Let j(r) = r**3 + 2*r**2 + 2*r + 2. Let h be j(-2). Let v be h/(14/6 + -3). Do v and 4 have different values?
True
Let y(i) be the third derivative of i**5/15 - i**4/24 - i**3/6 + 3*i**2. Let o be y(-1). Which is smaller: 1 or o?
1
Let u = 125 - 380/3. Is -3 < u?
True
Let f(h) = -h**3 - 2*h**2 - 3*h - 2. Let d be f(-2). Let w be 14/d - (-3)/6. Suppose z + 1 = 2*x - 1, z - w = -x. Is z at least as big as 1?
True
Let i = -0.9 + 1. Let p = -0.2 + i. Which is greater: 1 or p?
1
Suppose -15 = 3*i - b - 1, i + 4*b = 17. Let w be 3 + 0 - (-7)/i. Is w > 3/5?
True
Let u = -0.09 + 0.09. Let d = 0 - u. Are d and 1 equal?
False
Let t = 18 + -12. Which is smaller: 5 or t?
5
Let x be (-1)/((-2)/(4/6)). Let m = 0.666 + -0.066. Which is smaller: m or x?
x
Let z(f) = f - 1. Let j be z(2). Let a be 18/36 - j*8. Is a < -9?
False
Let b = 0 - -1. Suppose -2*h = 3*v + b + 1, 40 = -5*v + 4*h. Which is bigger: v or -5?
v
Let q = 1 - 0.82. Let r = q + -0.18. Which is greater: r or 1.1?
1.1
Let p = 0.39 + -0.71. Is p >= 1?
False
Suppose 5*d = 3*d - 12. Let c = d - -4. Let s be (-2)/(6/21) - -2. Is s > c?
False
Let r = -10 + 10. Suppose r = -q + 5. Is q at most as big as 5?
True
Let n = -611/7 - -87. Suppose g + 13 - 3 = -3*k, 2*g + 3*k + 8 = 0. Suppose 3*s + g*s = 0. Is n greater than s?
False
Let v be (3/12 + (-24)/(-32))*-2. Let c be (0 - 1)*8 + 2. Which is greater: c or v?
v
Let f = 11.28 - 0.28. Let i = f - 10. Which is greater: 0.1 or i?
i
Let d = 4 - -11. Let c = d + -11. Are 3 and c equal?
False
Let n = 27 + -32. Are n and 3 non-equal?
True
Let b = -9 - -10. Which is smaller: 1/4 or b?
1/4
Let g = -3 - -3.03. Let f = 0.03 - g. Which is smaller: 1/4 or f?
f
Suppose -c = 2*h - 5, -5*c + 0 = -2*h + 11. Suppose -56 = 4*r - h*n, -n = -3*r + 2*n - 42. Let l be (-8)/r*(-5)/(-40). Is l less than -1?
False
Let g be 5/3 + -1 - (-620)/(-651). Suppose -5*d = -2*s - 5, -4*s - s - 5 = -5*d. Which is bigger: g or d?
d
Suppose c - 428 = -5*o + 3*o, 5*c = -20. Let m = o - 1942/9. Is -0.2 > m?
False
Let h = 3 + -2.4. Let y = -2.1 - -3. Let j = y - h. Which is smaller: j or -2/3?
-2/3
Suppose 0 = 4*j - 2*v + 450, j - 8*v + 135 = -3*v. Which is greater: -111 or j?
j
Let q(p) = p**3 + p**2 + 2*p**2 - 12*p**2 + 6*p - 13 - 14*p. Let u be q(10). Let m = 6 - u. Which is smaller: m or 2/23?
m
Let h be (-4)/18 - (-33)/27. Let o = -55 - -387/7. Is h less than o?
False
Let b(f) = 8*f - 1. Let d(w) = -w + 10. Let j be d(9). Let p be b(j). Suppose -1 = -s - 2*x, 2*s - p*s + 16 = -x. Are 4 and s non-equal?
True
Let j(t) = t**3 - t**2 - 5*t + 3. Let r be j(3). Suppose -r*m + 10 = -m. Let n be ((-3)/1)/((-9)/2). Is n < m?
True
Suppose 2*p - n = 1, -2*p + n - 5*n - 14 = 0. Does 1/13 = p?
False
Let d = 193 - 963/5. Let z(a) = a**3 + 6*a**2 + 5*a. Let y be z(-5). Which is bigger: d or y?
d
Let q be (-3)/(-12) + 54/8. Let b be (2 - 0)/(1/2). Suppose 0*n + s - 1 = b*n, q = 2*n + s. Which is smaller: n or 2/7?
2/7
Suppose 3*x - 6 - 6 = 0. Suppose -2*c + 8 = x. Is -2 bigger than c?
False
Suppose -4*s = 47 - 135. Let f = -41/2 + s. Is 2 >= f?
True
Suppose -2*n = -7 + 5. Which is smaller: n or -10?
-10
Suppose -2*r = 4*n - 4*r - 40, -5*n + 3*r + 48 = 0. Suppose -4*f = -2*k + 2, -4*f - 2*k - 2 = -n. Which is smaller: f or -1/6?
-1/6
Let f = 0.21 - -3.79. Let d = -4 + -1. Let b = f + d. Which is greater: -1/2 or b?
-1/2
Let z(b) = b + 3. Let d be z(-10). Is d equal to -6?
False
Let i be (-3)/30*-2*5. Is 2/3 smaller than i?
True
Let k = 5210528 + -12734530633/2444. Let g = k - -1/188. Are 1 and g unequal?
True
Let t = 2 + -3. Suppose 2*j = 5*j + 3, 2*j = 3*n - 62. Let m be (3 + -1)*(-2)/n. Is t greater than m?
False
Suppose 8 = j - d, -3*j + d = -0*d - 18. Suppose -3*q = -5*w - j, -4*q - w - 3*w + 28 = 0. Which is smaller: q or 4?
4
Let g be (-28)/(-65) + (-4)/20. Let k = 0 + -1. Which is smaller: k or g?
k
Let b = -16 - -14. Let d(c) = 3*c + 1. Let i be d(1). Suppose i*h = 5*h + 2. Is h > b?
False
Let b = -1704551/45 + 37877. Let l = b - -9/5. Is 1 at least l?
True
Let c = 320/3 - 108. Is -1 greater than or equal to c?
True
Let v = 0.04 - 0.03. Let o = v + 0.09. Which is bigger: o or 1/2?
1/2
Let r be 1*(-3 - -2) - -30. Suppose 0 = 3*n + 5*t + r, -2*n - 2*t + 3 = 25. Let o = n + 9. Which is smaller: o or -1?
o
Let w = 48/7 - 75/14. Let l = 5 + -3. Is l at least w?
True
Let l = -0.2 + 0.28. Let r = l - 0.38. Let f = r - -2.3. Which is greater: f or 1?
f
Let j = 0 - -1/2. Are 0 and j unequal?
True
Let g = -4703/28 - -168. Which is smaller: g or 1?
g
Let u = 2/365 - -2176/2555. Is u less than or equal to 0?
False
Let a = 9 + -4. Suppose -2*f = 4*w - 12, -5*f - a*w + 18 = -w. Suppose -2 = f*p - p. Which is smaller: 2/5 or p?
p
Suppose 3*q + 4*s = -3, -2*s = s. Let v be (-17)/(-35) + (-5)/25. Are v and q equal?
False
Let q = 78 + 15. Is 92 at most q?
True
Let a = -14 - -16. Let f = 11 + a. Is f greater than 1?
True
Let a be 1/(-2 + 5/3). Let x(m) = m**2 + 6*m + 7. Let o be x(a). Are o and -3 equal?
False
Let d(k) be the second derivative of -k**4/12 - k**3 + k**2/2 + k. Let u(r) be the first derivative of d(r). Let i be u(-4). Which is smaller: i or 3?
i
Suppose 0 = 4*z + 4*g - 0*g + 12, -2*z - 15 = 5*g. Suppose 5*p - 6 - 54 = 0. Let w = p + -12. Is z smaller than w?
False
Let h(l) = -2*l**2 - l - 1. Let b be h(-1). Let x = -1 - b. Suppose 0 - x = m. Which is smaller: m or 1/5?
m
Let g be (-24)/14 - 4/14. Let r(q) = -q**2 - 4*q + 1. Let n be r(-3). Suppose -n*l = 4*z - 12, -2*z - 5 - 9 = -3*l. Which is bigger: g or z?
z
Let h be (6/(-24))/(1/(-8)). Suppose -n - n = -h. Let j(k) = -k - 6. Let q be j(-6). Which is greater: n or q?
n
Let y(n) be the second derivative of n**4/12 - n**3 - 3*n**2 + 3*n. Suppose 0*k + 35 = 5*k. Let x be y(k). Which is bigger: x or 1/10?
x
Let y = 1 + -1. Suppose -v + y*v = 0. Suppose -m + 2*m = v. Which is greater: m or -1?
m
Let b(x) = -x**2 + 6*x + 4. Let r be b(7). Which is smaller: r or -5?
-5
Le