e (-1)/(-4) - (-10)/(-8). Let j be (k/((-55)/(-2)))/z. Is -1 at least j?
False
Let t = 3 - 7. Let h be ((-2)/30)/(t/(-50)). Which is bigger: h or -1?
h
Suppose -3*i + 9 = -0*i. Suppose -2*d - i = -5. Which is smaller: -1/12 or d?
-1/12
Suppose -4*k - 130 = -6. Let t = -61/2 - k. Is 0.1 at most t?
True
Let q = 18 + -30. Let m be -16*-2*(-3)/q. Is 8 at least as big as m?
True
Let b(h) = -2*h**3 + 4*h**2 + h - 2. Let z be b(2). Is -9/8 at most as big as z?
True
Let n = 10 - -55. Is n at least as big as -0.1?
True
Suppose 9*t = 13*t. Is t <= -1/19?
False
Let r = -1.122 - -0.122. Let u be 45/(-39) + 0 + 1. Is u greater than or equal to r?
True
Let c = 5 + -3. Suppose 5*f = 20, -2*f = 2*k + c*k + 8. Suppose 4*a + 0*a = 5*g + 6, 0 = -4*a + g - 2. Is k >= a?
False
Let l = -1/60 + -3/20. Is l > 0.06?
False
Let y(p) = -20*p + 120. Let h be y(6). Which is bigger: -1/15 or h?
h
Let j be (-1 + 3)*(2 + -1). Suppose -x - j = -1. Let z be 2/(-10*1/(-2)). Is x at least z?
False
Let o = 325 - 10. Let g be 2/(-10) - 27/o. Which is greater: g or -2?
g
Let m(r) = -r**3 - 6*r**2 - 6*r - 1. Let s be m(-4). Are 3 and s nonequal?
True
Let c = -3 - -3. Let u be 1 + (57/(-27) - -1). Which is smaller: c or u?
u
Let h = -4.9 + 6. Let z = -1.17 + h. Let j = z - 0.03. Is j bigger than -1?
True
Suppose 3*t + 0*t = 2*u + 10, -3*t + 4*u = -14. Suppose 0 = 5*o - 3*f - 2, 12 = t*o - 3*f + 4. Let j(y) = -y + 3. Let s be j(4). Which is greater: o or s?
s
Let w = -30 + 4. Does -26 = w?
True
Let a = -217.3 + 204. Is 2/7 > a?
True
Suppose -2*g + 33 = 35. Let r be 1*(1 - 2)/5. Which is smaller: g or r?
g
Let r(k) = -k - k**2 - 2*k - 2*k - 2*k + 5. Let n be r(-8). Is -3 less than or equal to n?
True
Let o = -18 - 3. Let p be 64/77 + 6/o. Is p at most 2?
True
Let x = -3.15 - -1.1. Let y = x + 0.05. Let t = 2.1 + y. Are t and 0 equal?
False
Let y be (0/(-1))/(-2 - 0). Let j = -162 + 87. Let k = j - -524/7. Which is smaller: k or y?
k
Let d be (1/6)/((-14)/63). Suppose 5*s - 7 = -5*y - 2, -5*s - 3*y - 3 = 0. Let m be s*(16/(-6))/(-4). Is m < d?
True
Let l = 0.473 + -0.573. Let h be ((-2)/24)/(2/(-4)). Is h bigger than l?
True
Suppose 0 = 4*n - 7 - 33. Let k = -13 + n. Does -3 = k?
True
Let h = 10 - 10. Which is smaller: 1/18 or h?
h
Suppose z = 4*z - 3. Which is smaller: z or 3/23?
3/23
Suppose l - 2*x = -3*l, 0 = -l - 4*x + 9. Let v(m) = -2*m**2 - m + 2. Let h be v(-2). Let w be 5/(50/h) - 0. Does w = l?
False
Let x = 0.037 + 0.263. Which is bigger: 2 or x?
2
Let k = -6 - -13. Let t = k - 6.9. Which is greater: -1 or t?
t
Suppose 3*a + 5 = -2*b, -2*a = -2*b - 3*a - 3. Let m(i) = -i**3 + i**2 + i. Let q be m(b). Let d be (1 - 0)*(0/7)/(-6). Is q at least as big as d?
True
Let p be 7 + (-1)/((-2)/4). Let g be (-12)/(-44)*(-6)/p. Let r = 2 - 1. Which is smaller: r or g?
g
Let g(x) be the third derivative of x**5/120 + x**3/6 + 2*x**2. Let f(s) be the first derivative of g(s). Let k be f(-3). Is k at least as big as -1?
False
Let u be (1 - -17)/3*(-3)/(-9). Which is greater: u or 5/8?
u
Suppose 0 = 5*u - 0*u. Suppose u = 2*o - o. Is o bigger than 1/6?
False
Let h = 2735 - 30039/11. Let z = h - 300/77. Let l(p) = p**2 - p - 1. Let a be l(0). Which is bigger: a or z?
z
Let n be -33*2/(-15) + -4. Which is bigger: -0.09 or n?
n
Let w = 64 - 64. Which is bigger: w or 33?
33
Let s(b) = -b - 1. Let q be s(-3). Suppose 2*o - q - 2 = 0. Is -1 greater than o?
False
Let r = 307 + -207. Suppose 0 = -2*l + r - 8. Let q be 4/6 - l/24. Which is smaller: q or 0?
q
Let i be (4 - 2)/((-1)/1). Let z be (8/i)/1 - -5. Do z and 2 have different values?
True
Suppose a - 2 = -0. Let o = -1 + a. Suppose -1 + 5 = 4*s. Is o at most s?
True
Suppose 2*b = d + 7, -4*d + 0*d = b + 64. Let x be (-8)/(-3)*d/(-10). Let j(g) = g - 5. Let u be j(x). Which is smaller: u or 2/19?
u
Let q = 0.02 - -0.01. Is 0.2 at most q?
False
Let h be ((-2)/(-5))/(1/10). Suppose 2*w = -h, 0*p + 4*p + 3*w = 22. Which is smaller: p or 8?
p
Let d = 241 - 241.1. Let i be 4/6 - 17/3. Which is smaller: d or i?
i
Let l = -1 + 0. Which is smaller: l or -3/5?
l
Let y = 3883/15 + -259. Let h(f) = -2*f**2 - f. Let t(p) = -p**2 - 2*p + 1. Let i(r) = -2*h(r) + 3*t(r). Let l be i(2). Is l >= y?
False
Suppose -w - 5*o = -9 - 1, 3*w + 2*o - 4 = 0. Let m be 3 - 0/(w + 3). Suppose z + d - 1 = 2*d, d + m = 3*z. Is z less than 1?
False
Let t(r) = -8*r**3 - 2*r**2 + r. Let p be t(1). Let c = p + 13. Suppose o - 2*o = c, 0 = 3*i + o - 5. Which is bigger: 2 or i?
i
Let f be -1 + (1 + 0 + 1 - -10). Which is greater: f or 0.1?
f
Let j = -14.8 - -15. Which is smaller: 7 or j?
j
Suppose -3*g = -3*s - 99, -3*s - 2*g - 89 = -3*g. Which is greater: s or -27?
-27
Suppose -52 = 5*i + 8. Which is greater: -11 or i?
-11
Suppose 0 = -2*j + 9 + 1. Let f(d) = -d**3 + 5*d**2 + 6*d + 4. Let o be f(6). Suppose -o*s = s + j. Is s less than -1?
False
Suppose -50*i = -46*i - 12. Which is greater: i or 4?
4
Let c(v) = 2*v**2 + 2 - 6 - 3*v**2 + 1 - 8*v. Let s be c(-8). Suppose -2*q + b = 10, 2*q - 2*b = -6*b + 10. Is q at least as big as s?
True
Let o(i) = -i**2 - 10*i - 12. Suppose 4*t - 9 = 3*t. Suppose 4*s + 7 = -5*l, -3*l = -t - 6. Let w be o(s). Is 4 less than w?
False
Let h = 43 - 24. Is h < 0.1?
False
Let t(g) = g**3 + 8*g**2 + 7*g - 4. Let k = -14 + 7. Let q be t(k). Is -4 at most as big as q?
True
Let x = 0.6 - 51.6. Let i = 44.8 + x. Let t = i + 1.2. Which is smaller: t or 0.1?
t
Let x(h) = -h**2 - 15*h + 2. Let l be x(-15). Suppose -4*k - l = 6. Let y(c) = -c + 4. Let r be y(5). Which is bigger: k or r?
r
Let q(k) = -3*k - 8. Let l(o) = -o. Let m(y) = 4*l(y) - q(y). Let z be m(4). Suppose -z*v = v. Which is bigger: -1/5 or v?
v
Let l be (2/(-7))/(6/14). Which is smaller: 33 or l?
l
Let k be -1*(-2)/4*-2. Let v = -15 + 16. Let u be 13/(-14) - v/(-2). Which is greater: u or k?
u
Let t = -10.8 + 11. Let s be 1*2/(-1*6). Is s < t?
True
Let v = 0.09 - 4.09. Let c = 6 + -3. Let n = c + v. Which is smaller: n or -1/2?
n
Let d = 124 - 125. Which is greater: d or 1/8?
1/8
Suppose 2*q - 3*q + 6 = 0. Suppose -2*p = 3*j + q, -5*p + j + 2*j = -6. Suppose p*r - 4*r - 5 = -l, -5 = -2*r - l. Is r equal to 2/5?
False
Let r = -0.01 + -5.99. Let v = r + 4.8. Let p = v + 0.2. Which is bigger: -3 or p?
p
Let r = 38 - 23. Are 15 and r non-equal?
False
Let q = -21 - 19. Is q greater than -41?
True
Let v = 0.02 + -5.02. Let l = v + 6. Let y = 1.1 - l. Is -1/2 < y?
True
Let b(l) = -2*l**3 + 2*l**2 - 3*l + 3. Let m be b(2). Let q = 16 + m. Suppose -2*n = x, 0*n - q*x = -4*n. Which is greater: 1/2 or n?
1/2
Let b = 2/6147 + 11972/989667. Is b bigger than -1?
True
Let b(k) = k**2 + 2*k - 3. Let m be b(-3). Let n = m + 2. Let c be (-1)/n*2/(-7). Which is greater: c or 0?
c
Let s = 56 - 57. Is 2/39 at least s?
True
Let t = 109 - 98. Is -0.1 not equal to t?
True
Let s = 35247/5 + -7084. Let p = s + 35. Which is smaller: p or 0?
0
Let n = 4315/19 + -227. Is n bigger than -1?
True
Let l be 2/4 + (-6)/4. Which is bigger: 0 or l?
0
Let l(n) = n + 1. Let f = 7 - 9. Let y be l(f). Which is greater: -2/5 or y?
-2/5
Let z be 0 - (-3 + 6 - 3). Which is smaller: 7/6 or z?
z
Let p = -0.8 - -0.86. Let x = -1.94 - p. Let w = x + 0. Which is greater: -0.2 or w?
-0.2
Let a = 2 + -4. Let x be (0 + (-7)/1)*-1. Suppose x = -g + 3. Is a at most as big as g?
False
Let v be (0 + -3)/(-3) + 0. Let o = -7 - -7. Which is smaller: v or o?
o
Suppose 0*g = -g - 6. Let a be (g + 6)/(1*2). Let y(t) = t - 9. Let x be y(7). Which is smaller: x or a?
x
Let t be (1/(-618))/((-8)/24). Let f = 1653/1030 - t. Are f and 3 nonequal?
True
Let u(n) = -n**3 - 2*n**2 + 4*n + 4. Let y be u(-3). Let t be (9/(-6) + y)*0. Let b be 2/(-1)*(-1)/2. Which is smaller: b or t?
t
Let c = -0.8 + -0.1. Let j = c - -1. Let t = 0.1 - 0.3. Is j > t?
True
Suppose 0 = 3*z - 15 - 0. Let n = -2 - -8. Suppose -4*i = -30 + n. Which is smaller: z or i?
z
Let t = 0 - -2. Is 2 at least as big as t?
True
Let b(n) = 2*n - 1. Let k be b(2). Let x be -1 - 1*(2 + -5). Is x at least k?
False
Let m be -11 + 8 - (1 - 3). Is m less than 1/3?
True
Suppose 0 = 4*z, -t - 4*z = t + 28. Are t and -2/7 equal?
False
Let p = 4 + -3. Let w be (p/(-3))/((-3)/9). Which is smaller: 3 or w?
w
Let n = -0.2 + 0.1. Let t be (-33)/(-9) - 2/(-6). Let p be (-9)/42 - t/14. Is n less than p?
False
