is greater: -1 or i?
-1
Suppose 5*z = 4*z + 4*o + 21, 0 = 5*z - o - 10. Is z < 3?
True
Let h = 8.14 - 0.14. Let i = h - 8.9. Let p = 1 + i. Which is smaller: 1 or p?
p
Suppose -6*m + 11*m + 5 = 0. Is m < 7?
True
Let g be 1 - (4 + 2 + -1). Suppose h - 6*h + 5*v = 5, -v = -2*h - 6. Which is greater: g or h?
g
Let w = -37258.93 - -37471. Let n = 213 - w. Let p = 0.07 + n. Which is smaller: -1 or p?
-1
Let w be (20/5)/(0 + (-1)/(-1)). Is 11 greater than w?
True
Suppose -32 - 193 = -5*x. Which is greater: x or 2?
x
Let i(j) = j**2 + j - 2. Let r be i(0). Let d = 0 + 3. Suppose d*q - 11 = 4*n, 2*q + 2*n + 26 = -2*n. Which is bigger: q or r?
r
Let t = 1 + 3. Let v = 2 - t. Let o(n) = n**3 - n**2 - 2*n - 1. Let r be o(-1). Which is bigger: v or r?
r
Let o be (69/(-15) - -5) + 21/10. Let c(h) = -h**2 - 6*h - 2. Let g be c(-6). Let k be 2/1*(-3)/g. Which is greater: o or k?
k
Let z = 4.3 - 4. Let n = -207 - -208. Which is bigger: n or z?
n
Let c be (6*(-3)/24)/(-3). Let o = -4 - -1. Which is bigger: c or o?
c
Let p(v) = v**3 + 11*v**2 - 12*v + 1. Let s be p(-12). Are s and -4/25 non-equal?
True
Suppose -126*j + 27 = -135*j. Suppose 5 = -2*b - 7. Which is bigger: j or b?
j
Let r be 15/((-2)/(-4) - 2). Let f = r + 21/2. Let v = 11 - 9. Is v greater than f?
True
Let d(y) be the third derivative of y**4/24 - 7*y**3/6 - 6*y**2. Let c be d(6). Is c greater than or equal to 2/41?
False
Let b be ((-32)/40)/(4/110). Let p = b + 22. Is -6/5 at least p?
False
Let o = 0 + -2. Is o at most as big as -6?
False
Suppose -5*t - 60 = -5*i - 15, 4*i - 32 = 3*t. Let c = t - -3. Let o be 2 + c + 3 - 2. Is -0.1 at most as big as o?
True
Let c be 1298/14 - (5 + -3). Let q = c - 91. Let a be (-2 - (-4 + 2))*(-2 + 1). Is q equal to a?
False
Let l = 40 - 15. Suppose 0 = -0*y - 5*y + l. Suppose -q + y*q = 0. Which is smaller: q or -1/3?
-1/3
Let b be (-409)/780 - 6/(-9). Let k = 3/52 + b. Let l = 0 + -1. Is k > l?
True
Let h(u) = -12*u + 2. Let c be h(-1). Is 16 less than or equal to c?
False
Let o = 82 + -59. Is 23 <= o?
True
Suppose 5*d + 0*d = -20, 5*d = 5*u - 20. Let n be 3 - u - 62/22. Which is greater: n or 2?
2
Suppose -6*f - 3 - 3 = 0. Is -1/30 < f?
False
Suppose 15*f - 65 = 10*f. Which is smaller: 12 or f?
12
Let j = -11480 - -321523/28. Let u = 13/4 - j. Let a = 3 + -2. Which is smaller: a or u?
u
Let k be 3/(-6)*(-4)/(-3). Let h(f) = f**3 + 5*f**2 - 5*f + 6. Let c be h(-6). Which is bigger: k or c?
c
Let l be -1 + (-87)/30 - (-6)/4. Which is smaller: -3 or l?
-3
Suppose 9*b = 10*b - 1. Let f = 2 + 1. Are f and b equal?
False
Suppose 4*u - 3*v = -743, -3*v - 369 = 2*u - 2*v. Let m = -33030 - -166078/5. Let g = u + m. Is g equal to 0?
False
Let k be ((-4)/5)/(2/(-5)). Suppose -5*y = -3*y - k. Is y greater than or equal to -1?
True
Let c be 138/23*((-14)/33)/(-2). Which is smaller: 2 or c?
c
Let o be 60/2*4/(-64). Let b = -37/24 - o. Are b and -0.1 unequal?
True
Let b = 97 + -81. Which is bigger: b or 17?
17
Let n be -1 - -6 - (-1 + 3). Suppose 3*f - 21 = -5*g, 5 + 1 = -n*f + 4*g. Let d be (-2)/(-4) + 1 + 0. Is d not equal to f?
True
Let b be (1 - 1)/(11 - 12). Let c = 2 - 0. Suppose -4*u = 5*y, c*y = -0*y + 2*u. Do y and b have different values?
False
Let d = -13/10 - 16/5. Is -6 less than or equal to d?
True
Suppose -4*j = 3*j - 14. Is 26/17 > j?
False
Suppose -5*h + 0*h - 2*x + 29 = 0, 5*h + x - 27 = 0. Let q = -1 - 3. Let k = h + q. Is k less than or equal to 2?
True
Suppose 11*r = -111 - 98. Which is smaller: -20 or r?
-20
Let d = 1.9 + -2. Let n = -0.11 + 0.31. Let o = d + n. Are o and 0.1 non-equal?
False
Let t be (-280)/63 - (-4)/(-18). Which is greater: t or -6?
t
Let i = 17.1 - 17.2. Let z be (4/(-10))/(2/10). Let h be z/((-5)/3 + 2). Are i and h nonequal?
True
Let j = -5095/6 - -851. Is j < 1?
False
Let c be (-44)/(-56) - 12/8. Is c at least 0?
False
Let q = 0.14 + -0.1. Let v be 33/(-45) - ((-12)/5 - -2). Which is greater: v or q?
q
Let b be (-6 - -4)*2/4. Let s = 5 + -7. Let k = s - b. Which is smaller: k or -2?
-2
Let x(q) = -q**2 + 3*q + 7. Let l be x(5). Let g be (0 - 1/l) + 0. Let m = -3 + 3. Is g not equal to m?
True
Let r = 7 - 5. Let o = -0.92 + -0.08. Which is smaller: r or o?
o
Let k(v) = v + 4. Let a be k(-4). Let g(n) = -n**3 + 10. Let t be g(a). Is 10 equal to t?
True
Let s = -89 + 88. Is -2 at most as big as s?
True
Suppose b = 2, -b + 4 = -3*m + 2*m. Let q be 3 + m + (-18)/14. Which is smaller: q or 2/7?
q
Suppose -b + 3*b + 54 = 0. Let j = -47 - b. Let i be (-4)/j + -1 + 0. Are 0 and i nonequal?
True
Let c = -98/3 - -793/24. Let x(l) = l**3 + 14*l**2 + 12*l - 18. Let d be x(-13). Let b = d - -4. Is c at least b?
True
Let r(k) = k**2 + 4*k - 5. Let v be r(-5). Suppose v = -g - g. Which is greater: -1/21 or g?
g
Let a be 2*2/(-3)*-3. Let s(l) = 19*l**3 + l**2 + l. Let m be s(-1). Let h = -55/3 - m. Is h at most a?
True
Suppose -4*l = 5*v - 3*v - 8, -12 = 3*l - 3*v. Suppose l*h = -h + 6. Suppose -5*n + 3*n = h. Is 0.2 bigger than n?
True
Let g(s) = s**2 - 7*s. Suppose 7 - 14 = -i. Let r be g(i). Which is bigger: 1 or r?
1
Let y = 14 + -20. Suppose o = -3*i + 10, 13 = -o + 4*i + 2. Which is greater: o or y?
o
Suppose 28 = 6*k - 2*k + 4*m, -4*m - 8 = -2*k. Let g be ((-7)/(-5))/((-3)/k). Is g <= -4?
False
Let i be (-247)/(-78) + 1/3. Is i at least 5?
False
Let f(p) = p**2 + p - 1. Let h = -3 + 4. Let v be f(h). Suppose 4 = -3*c + v. Do -2/3 and c have different values?
True
Suppose -5 = 4*o + b, 4*b + 8 + 12 = -5*o. Let y = 1 - 0. Let d = y - o. Which is greater: d or 1/3?
d
Let k = -1 - -1. Let h be 96/2*2/(-4). Let n = -25 - h. Is k > n?
True
Let s = -83.3 - -83. Let k = 5.3 + -5. Is k bigger than s?
True
Let p be (-16)/(-12) + (-86)/(-3). Suppose -5*i + 20 = -10. Let h be p/(-9) + i/2. Is h < 0?
True
Let p be -8 + 4/(-2) - 3. Let z = 12 + p. Which is smaller: -3/2 or z?
-3/2
Let c be (1/((-1)/(-6)))/(56 + -58). Do c and -8 have different values?
True
Let g be (-6)/(-14) + -1 + 72/28. Is g bigger than 15/16?
True
Let r be -6*(1 - 9/6). Let m be -1 + 3*r/18. Which is greater: m or -2?
m
Let u = 71 - 58. Is u less than or equal to 0.1?
False
Let d(n) = n - 2. Let l be d(5). Suppose 0 = -l*j - j + 24. Let k(q) = 8*q**2 - 2*q + 1. Let t be k(1). Which is smaller: t or j?
j
Let q = 0.3 + -0.12. Let g = -14 - -14.08. Let f = q - g. Is 0.1 equal to f?
True
Suppose 2*w = w + i - 8, -10 = 2*w - 5*i. Is w >= -0.1?
False
Let x = 20.1 + -16. Let g = -4 + x. Let y = -0.08 - -3.08. Which is greater: y or g?
y
Suppose -26 = 2*z + 2*a, a - 18 = z + 3*a. Let v be (z/12)/(22/6). Which is greater: -0.2 or v?
v
Let u(i) = i**2. Let v be u(-1). Is 33 at least as big as v?
True
Let q(y) = -y - 6. Let o be q(-6). Let u = -531/34 - -78933/4930. Let b = u + 6/29. Which is bigger: o or b?
b
Suppose 0 = 4*g + g - 5. Let z = -2 + g. Let x = -25/4 + 49/8. Are z and x non-equal?
True
Let a(l) = 3*l**2 - 2*l - 2. Let j be a(-2). Let w be (-27)/(-21) - 4/j. Is w != -2?
True
Let z(p) = p + 9. Let q be z(-5). Suppose -16 = q*s, 2*t + 2 + 2 = 2*s. Let d be t/33 - 4/(-22). Which is smaller: d or -2?
-2
Let l be (-3)/1 + (-54)/9. Is -10 smaller than l?
True
Let q(t) = -t**2 - 4*t + 12. Let a be q(-6). Which is smaller: 2/5 or a?
a
Let k = 929/168 + -39/7. Which is smaller: k or 1?
k
Let i be 10/25 - 124/10. Is i > -14?
True
Suppose v - 2 = -0*i + 3*i, 0 = 4*i - v + 4. Let j be i/(-1) + 0/(-1). Suppose 3*d = -4*m - 4, 5*m + 4*d - j*d + 5 = 0. Is m greater than -1?
False
Let z be (2/6)/((-5)/(-30)). Is 3 >= z?
True
Suppose -4 = -5*f - l, -2*f - 5*l + 5 = -15. Suppose -j = -f - 6. Are j and 1/2 non-equal?
True
Let m = 356/255 + -26/17. Which is greater: 0 or m?
0
Let f = -0.054 + 6.154. Let p = -6 + f. Is 0.1 less than p?
False
Let q = -18.1 - -18. Which is smaller: q or 3?
q
Let p = 17/2 + -76/9. Let j(x) = -8 + 3*x**3 - x - x**3 + 9*x**2 - x**3 - 2. Let a be j(-9). Is a bigger than p?
False
Let y = 540 + -41577/77. Which is smaller: y or -1?
-1
Let b(f) = -f**3 + 6*f**2 + 9*f - 4. Let w be b(7). Let g be w/(-6) + (-6)/9. Let d = 3 + g. Are d and 1 nonequal?
True
Let z = -10/25651 - 359344809/128255. Let b = -2793 - z. Let m = 9 - b. Which is greater: 0 or m?
m
Let p = -29 + 32. Is p <= -2?
False
Suppose 3*y + 12 = 0, 0 = -3*p + p - y + 4. Let i(j) = j + 1. Let u be i(p). Suppose 3