 value?
True
Let i be (-378)/385 + 8/10. Which is bigger: i or 1?
1
Let l = 0.25 + -0.05. Which is bigger: l or -8?
l
Suppose -2 + 1 = -n, -9 = 2*l - 5*n. Which is smaller: 1 or l?
l
Let t = 0.096 + 1.824. Let n = 0.08 + t. Let y = 0 - -0.2. Which is smaller: y or n?
y
Let s = 1 - 0.9. Let v = 2.42 - 0.5. Let o = -0.08 - v. Which is smaller: o or s?
o
Suppose -2*r + 3 = -1. Let z(m) = 2*m - 3. Let i be z(r). Let d be (-1 - i) + (-15)/(-10). Which is smaller: 0 or d?
d
Let o = 141.8 + -142. Which is bigger: -2/3 or o?
o
Let l be (357/(-24))/7 + 2. Let o be (0 + 3)/(9/(-12)). Let f be o/(-14) - 6/21. Which is smaller: l or f?
l
Let f be 2/11 + 4/(-22). Suppose f = -3*t + 5*t - 6. Suppose 3*o + 2 = 4*y, 4*y + t*o = o - 8. Which is greater: y or -4/3?
y
Let o = 35 + -9. Let a = o + -36. Which is greater: a or -9?
-9
Let r(s) = -6*s - 3. Let f(w) = w. Let a(q) = 5*f(q) + r(q). Let z be a(-6). Is z at least as big as 1?
True
Suppose 5*d = 6*d + 7. Which is bigger: d or -4?
-4
Let o(s) = -s - 2. Suppose -5*v = 22 - 2. Let n be o(v). Let k be (3 - 1) + (-1)/n. Which is smaller: 1 or k?
1
Let b(x) = -x**3 - 6*x**2 - 5*x + 2. Let n be b(-4). Is n equal to -10?
True
Let u = -8/11 - -13/33. Let z = 2 - 2. Let n = -1 + z. Are n and u unequal?
True
Suppose 0 = 8*f - 3 + 19. Is f equal to 2?
False
Suppose f = 5*b - b - 8, -5*f = 0. Which is smaller: b or 0?
0
Suppose 0 = -21*p + 673 - 3025. Are -112 and p equal?
True
Let a be 3/(-33)*(-2)/12. Which is greater: 1 or a?
1
Let z = 9 + -5. Suppose c - u - 1 = 3*c, -z*u = 4*c + 4. Which is smaller: 2 or c?
c
Let s be (-4)/(-63) + 4/(-14). Suppose 12 = b + 16. Let u(l) = -l - 4. Let q be u(b). Is s greater than q?
False
Suppose -6 - 10 = -2*h. Suppose 4*l - 6 = 2*l. Suppose -4*j = l*t + 24, j = -t + 5*j + h. Are -4 and t non-equal?
False
Let o be (-4)/22 - (-1597)/11. Let x = o + -82. Let r be (-60)/x + 6/21. Which is bigger: r or 0.05?
0.05
Let g = 362 - 725/2. Suppose -3*r = -3*p - 0*r - 12, 4*p + 4*r - 8 = 0. Is p equal to g?
False
Suppose 9 = 5*s + 14. Let j(w) = w**3 - 6*w**2 + w - 7. Let k be j(6). Does s = k?
True
Let k(y) = -2*y - 5. Let m be k(-7). Suppose 4*h + m = -7. Is h at least -3?
False
Let v(m) = -2*m**3 + 2*m**2 - m. Let t be v(1). Let a be -2*(t - (-6)/9). Let y = 0 - -0.2. Which is bigger: y or a?
a
Let s be 12/(-9)*(-6)/4. Let l be (-1)/(-1) - 184/56. Let u = l - -2. Is s <= u?
False
Let x be (-51)/45 - (-4)/4. Is 0 not equal to x?
True
Suppose -m = 2 - 7. Which is smaller: m or 4?
4
Let j(t) = -t**2 - 8*t - 10. Let h be j(-7). Let s = 2 + h. Is s < 0?
True
Let p(t) = -2*t + 19. Let q be p(10). Is -3/16 < q?
False
Suppose -j + 1 = -2. Let v be ((-3)/(-4))/((-1)/4). Let r(g) = -g - 1. Let w be r(v). Is w at least j?
False
Suppose -2*m - 56 = -0*m. Let o = -14 - m. Suppose 5*q + 5*k = -11 - o, -3*q + k - 7 = 0. Is q > -3?
False
Let h = -60 + 86. Let q be (4/(-6))/(h/(-6)). Which is smaller: -0.1 or q?
-0.1
Let f be 20/6 + -3 - 1. Let z be (2/(-4))/(4/32). Is f less than or equal to z?
False
Suppose 0 = 3*h + 3. Let w(r) = -r + 2. Let x be w(4). Let c be 1/(5/x*-1). Is h greater than or equal to c?
False
Suppose 8*q - 3*q = 30. Let a = q + -4. Let m be 0*a*2/(-4). Which is bigger: m or 1/3?
1/3
Let i(a) = -2 - 2 + 1 - a**2 + 4*a. Suppose 3*f + 6 = 5*f. Let q be i(f). Is q bigger than 0?
False
Let z = -16 - -15. Is -3/2 > z?
False
Let l = 3254/333 - 8/37. Is l at most as big as 11?
True
Let a be 92/(-28) + (1 - -2). Let i be 1/(-2) + (-29)/(-70). Let z = i - a. Which is greater: -1 or z?
z
Let w(c) = -c**3 + 8*c**2 - 8*c + 6. Let k be w(7). Let m be k*(8/5)/(-4). Do m and -1 have the same value?
False
Suppose 0*f + 3*s + 14 = f, -5*f + s = 0. Is f <= 6/73?
True
Let c be (-6)/(-8) - (-3)/(-2). Which is smaller: 4/9 or c?
c
Let t(f) = -f**3 - 7*f**2 - 6*f - 3. Let i be ((-2)/4)/(4/(-48)). Let x be 40/(-7) - i/21. Let k be t(x). Which is smaller: k or -3/2?
k
Let b(o) = -4*o + 3. Let n be b(2). Are -5 and n equal?
True
Suppose 0*u - 4*u + 16 = 0. Suppose 0*t = -u*t. Do t and -1/2 have the same value?
False
Let n = -79/60 + -1/60. Let p(d) = d**3 - 8*d**2 + 7*d + 4. Let s be p(7). Suppose -10 + 2 = s*h. Which is smaller: h or n?
h
Let x(d) = d**3 + 5. Let o be x(0). Is o <= -1?
False
Let t = 9/56 + 281/168. Which is bigger: t or 1/5?
t
Let z be 1/(-3 + (-140)/(-8)). Which is greater: 0.2 or z?
0.2
Let d(j) = -j**2 + 3*j + 14. Let t be d(-5). Is t != -5?
True
Suppose 2*x + 3*x = 20. Let r be -3 + 5 + x/(-2). Let d = 2 - 1. Which is bigger: d or r?
d
Let v be (-4)/13*1/2. Let w = -24 + 2. Let s = w + 23. Which is bigger: s or v?
s
Suppose 3*n + 0*n - 4*b - 662 = 0, 239 = n - 5*b. Let q = n + -1494/7. Is -0.2 not equal to q?
True
Suppose 2*l = -3*g - 2*g + 23, -4*g + 24 = 3*l. Suppose -5*o + 3 + 7 = 4*s, -l*o + 3*s + 8 = 0. Suppose 0 = c + o*c - 12. Are 5 and c equal?
False
Let q = 4 + -2. Let x = 39 - 197/5. Is x less than q?
True
Let y(g) = -g**2 - g. Let p = -6 + 4. Let d be y(p). Let r be (1 - 2) + (-1 - d). Which is bigger: r or -2/5?
r
Let u = 1 + 0. Suppose f - u + 0 = 0. Let j = -459/4 - -229/2. Is f greater than or equal to j?
True
Let d = -30 + 30. Is 15 less than d?
False
Let d = 169.13 - 157.2. Let w = d - -0.07. Are w and -0.1 equal?
False
Let a = 8 - 8.1. Which is greater: 11/4 or a?
11/4
Let k(n) = -n**2 + 3*n - 2. Let u be k(3). Let r = -12 - -28. Suppose 0 = -x + 4, -a + x = -3*x + r. Is u equal to a?
False
Let i = 0 + -2. Let a be 0/1*i/4. Is 2 < a?
False
Let r be 27/(-36)*(-16)/(-18). Which is smaller: -1/14 or r?
r
Let u be (12/(-2))/((-12)/40). Suppose u = -3*x + 4*p, -5*x - 10 = -p - p. Suppose x*a + 5*a = 10. Are 1/2 and a non-equal?
True
Let m = -5 - -20. Let p be (m/(-3) - -4)*2. Which is smaller: p or -2/7?
p
Let v be 3/(-5)*(-6)/(-9). Is 1 smaller than v?
False
Suppose -2*p + 6*p = m + 8, 3*p - 4*m - 19 = 0. Let r be 4/12*(-4 + p). Let h(v) = v**2. Let k be h(0). Is k smaller than r?
False
Let r = 36 - 39. Is r at least as big as -26/9?
False
Let m(b) be the third derivative of b**6/720 - b**5/30 + b**4/24 + 3*b**2. Let o(c) be the second derivative of m(c). Let d be o(4). Which is smaller: d or 2/9?
d
Let s = 6 + -2. Let b = s - 0. Let k be 3/b*2/(-6). Which is bigger: k or 0?
0
Let g = -20 - -103/5. Which is smaller: g or 1?
g
Let i(l) = 5*l - 2. Let c be i(-2). Do c and -14 have different values?
True
Let r be (5 + -7)/(2 + 0). Is -5/8 at least r?
True
Let i be 3/(36/2)*404. Let p = i + -68. Which is bigger: -1 or p?
p
Let v be (-12)/(-105)*10/4. Which is smaller: -1/3 or v?
-1/3
Let v = 51 - 33. Let y = v + -12. Let a be -3*(2 - 10/y). Which is greater: a or -1/3?
-1/3
Let h = -3.2 - -3. Let v = h - -0.2. Let x = v + -0.2. Are -1 and x equal?
False
Suppose -m + 7 - 2 = 0. Suppose -29 = -4*n - 9, -5*n + 15 = m*s. Let a = 2 + s. Is a >= -2/3?
True
Suppose -6*v = -3*v - 3. Which is smaller: v or 2/67?
2/67
Let b = -6 - -4. Let p = -2/1393 - 1192/1393. Which is smaller: p or b?
b
Let d = -0.8 - -0.5. Let c = 4/3 + -23/15. Which is smaller: c or d?
d
Let y = -2015.94 - -2149. Let m = y + -132. Let i = -0.06 + m. Which is smaller: i or 2/7?
2/7
Suppose 0 = -4*u - 4*d + 6 - 2, 4*u - 3*d - 4 = 0. Let v = -6 - -8. Let z = v - -1. Is u at most as big as z?
True
Let s(a) = a**3 + 15*a**2 - 17*a - 17. Let z be s(-16). Do z and -8/5 have different values?
True
Let r be (-3 + (-7)/(-2))*-2. Is 1 < r?
False
Let o = 4 + -1. Suppose -o*l = 3*j - 33, -5*l - 17 = -0*j - 4*j. Suppose 0 = g + g - j. Is g <= 4?
True
Suppose -4*x = -5*v + 12, -2*x + 0 - 4 = -2*v. Suppose v*q - 2 = -b, -b + 3*b - 4 = -q. Is q at most as big as -2/13?
False
Let t(d) = d**2 + 9. Let j be t(0). Suppose 0 = k - 0 + j. Which is smaller: -8 or k?
k
Let q = 3 - 2. Let k = -122 - -117. Is k > q?
False
Suppose q + 3*w = 15, 0 = 3*q - 5*w - 0 - 3. Is q not equal to 5?
True
Let z be (10078/20)/(0 - 2). Let s = 252 + z. Which is smaller: -1 or s?
-1
Let h(v) = -2*v - 3. Let l be h(-2). Let g = l - 3. Let n be (-100)/20 - (1 + -6). Is n bigger than g?
True
Suppose 1 = 2*l - 5. Suppose -2*o = o + l. Let z be (1 + -1)*(3 + -2). Is o greater than or equal to z?
False
Let k = -0.82 - 0.18. Is -0.2 at least as big as k?
True
Suppose 2*i + 4 = -2*i. Is i at most 3/8?
True
Let a be 22/8 - 2/(-8). Suppose 5*n = -3*p + 28, 10 = a*