. Which is greater: i or -6?
i
Let p = 15.27 - 0.27. Is -2/9 smaller than p?
True
Suppose -2*l = -2*w - 10, -3*l + 5*w = -13 - 10. Let s = -10 + 6. Let h = 3 + s. Is h greater than or equal to l?
False
Let d be (-2 - (-3 - -2))*6. Let y = d + 5. Which is bigger: y or -2/25?
-2/25
Suppose -2*w = -y + 11, -2*w - 18 = -3*y + y. Suppose 24*k - 25*k = -6. Is y < k?
False
Let v = 1 - 0. Let k be (4/3)/((-2)/(-3)). Which is greater: k or v?
k
Suppose q + 3*q = 3*u + 19, -q = -4*u - 8. Suppose -5*t + 25 = -q*p, p + 25 = -4*p. Let l = 0 + t. Is l at least 0?
True
Let a = -178 - -81. Let v = a - -777/8. Which is smaller: v or 0?
0
Let r be 1/(1/(17/(-1))). Let q be (-159)/9 + -10*8/(-120). Does q = r?
True
Let z(g) = 9*g - 6. Let c be z(6). Let u be 15/10 - 70/c. Which is bigger: u or -1?
u
Let d(n) = -n**3 + 6*n**2 - 7*n + 1. Let q be d(5). Let t be 0*(12/q)/4. Let r be t + -1 - 8/(-10). Is r < -1?
False
Suppose s = q - 5, -4*s + 5 - 17 = 0. Let k be q/10 + 24/(-220). Let t be 0/((6 - 2)/(-2)). Is k <= t?
False
Let w(z) = -z - 2. Let i be w(-1). Which is bigger: i or 6/13?
6/13
Let j = -2/19 + 60/209. Let r(f) = f**3 - 2*f**2 - 3*f + 1. Let s be r(3). Which is smaller: s or j?
j
Let f = -22.2 + 23. Let t = 2.1 + -3. Let d = t + f. Which is greater: d or 2/5?
2/5
Suppose p = -0*c - c + 20, -2*c + 10 = 0. Suppose -2*s - 3*k = -p, 2*k = s + s + 10. Is 4 greater than s?
True
Let m be (12 + 2)/(3 - 1). Is 7 not equal to m?
False
Suppose 2*w = -0*w - 2*b + 6, 4*w - 5*b = 3. Suppose -2*d + 2 = w*z, -z + 0*z - 4 = -4*d. Let p be -2*(5/(-2) - -2). Is p at most d?
True
Let y = -26 + 87. Let u = 58.1 - y. Let p = -3 - u. Which is greater: p or 0?
0
Let d(i) = i**2 + 7151. Let b be d(0). Let k = -42781/6 + b. Let w = -21 + k. Is 1 greater than or equal to w?
True
Let c = 94.1 - 94. Let o = -1 + 1. Which is bigger: c or o?
c
Suppose 0*u - 8 = -8*u. Which is smaller: 10/7 or u?
u
Let p = 13743/20 - 687. Let u = 91/340 - p. Let h(q) = q**3 - 8*q**2 - 9*q - 1. Let z be h(9). Are u and z nonequal?
True
Let f = -1.6 + 1. Let j = -0.2 - f. Let h = -0.2 + j. Is 1 > h?
True
Let b(v) = v**3 - 4*v**2 - 6*v + 5. Let o be b(5). Which is bigger: o or -14/13?
o
Suppose 0 = 5*y + 22 - 2. Let r be (84/(-8))/(2/y). Let b = -149/7 + r. Which is bigger: 1 or b?
1
Let c be ((-11)/(-3) + -4)/((-2)/(-4)). Which is bigger: c or -0.1?
-0.1
Let r = 133 - 120. Is -1 greater than or equal to r?
False
Let m = -208 - -216.3. Let k = 0 - 8. Let t = m + k. Which is greater: -0.1 or t?
t
Suppose -3*a = a + 4. Suppose -d + 2 - 6 = 0. Let q be 4/d + (1 - 1). Is a smaller than q?
False
Let d = 42.13 - 42. Are -0.1 and d equal?
False
Let p(q) = 10*q + 3. Let t be p(-5). Let l = t + 22. Let b = -47/2 - l. Is 2 bigger than b?
True
Let s = 26 + -14. Let v be ((-2)/4*0)/1. Suppose 3*o - 5*o + 4*r - 22 = v, -s = -4*r. Which is smaller: o or -4?
o
Let x = 0.2 + 0. Let v = x + -0.2. Let h = v + -0.2. Is h greater than or equal to -2/7?
True
Let o(k) = k**2 + k - 1. Let r be o(-2). Which is smaller: r or 3?
r
Let f(l) = -l - 7. Let k be f(-5). Let y be 0/(-1) + (-3 - k). Let h be ((-7)/(-2) + y)*2. Is h at least as big as 6?
False
Let h = -80/93 - -6/31. Suppose -5*q = -3*a + 2*a + 6, 0 = 5*q - 3*a - 2. Which is smaller: q or h?
q
Suppose 7 - 1 = -s. Let x = 4 - 6. Let t be s/15 + x/(-5). Which is bigger: t or 2/9?
2/9
Let l(w) = w - 9. Suppose 3*x - 5*d = 24, -22 - 10 = -4*x + 3*d. Let b be l(x). Which is smaller: -3 or b?
-3
Let i be (120/(-9))/(-2) - 6/9. Let y(w) = w**2 + 2*w - 1. Let b be y(2). Is i smaller than b?
True
Let x = 0.06 - 1.06. Let c = x - -4. Is c less than 0.2?
False
Let q be 492/198 - (-6)/(-9). Is q bigger than 2?
False
Suppose -4*b = -l - 11 - 9, 0 = -5*l. Suppose -b*p = -p. Is p >= 0.5?
False
Suppose 0 + 0 = -4*b. Let k = -97 + 1066/11. Which is bigger: k or b?
b
Let k = -51 - -189. Let w be (3/k)/((-1)/(-4)). Suppose 0 = -2*g + 4*g + 2. Is w at least g?
True
Let x = -0.09 - -3.89. Let a = -0.74 - 0.06. Let n = x + a. Is n at most -1?
False
Let z = -168 - -141.8. Let j = z - -29. Let k = j + -3. Is k < 2?
True
Suppose -r + 2*r + 11 = 0. Let y = r - -8. Which is greater: y or -1?
-1
Let x = -1657034135/221 + 97447980/13. Let j = 30646/17 + x. Let w = j - -91. Which is smaller: 1 or w?
w
Let n(b) = -b - 8. Let g be n(-9). Let s be g*(2 + (-3 - -2)). Let a be (-2)/(0 + -2)*s. Which is bigger: 0 or a?
a
Let y = -1.8 - -0.8. Let z = -14.1 - -15. Let k = y + z. Which is smaller: 0.2 or k?
k
Let c = -2 - -2. Let d be 1 - 4 - 43*(-6)/90. Which is bigger: d or c?
c
Let k = 2 - -4. Let t(c) = c**2 - 6*c + 2. Let g be t(k). Let o = g + -1. Is 2 >= o?
True
Let m = -9 + 13. Suppose -2*b = m, 2*b - 23 = 2*k - 9. Is -9 bigger than k?
False
Suppose 9 = 4*o - 3. Let q be (2 - 3)/((-6)/o). Which is smaller: q or -0.4?
-0.4
Suppose -3*b = -6 - 6. Suppose 3 + 5 = -b*w. Let o be (-2)/12*(2 + 0). Which is greater: w or o?
o
Suppose 5*w - 15 - 10 = 0. Let f(j) = 0 - 3*j + j**3 - 4 + j**2 + w - 3. Let s be f(-2). Which is bigger: 4/5 or s?
4/5
Suppose -3*j - 12 = -7*j. Which is bigger: j or 5/2?
j
Let s = 1.3 + -0.3. Let r be ((-9)/30)/(36/(-190)). Let b = r - 4/3. Which is greater: s or b?
s
Let d = -25 - -24. Which is smaller: d or 2.1?
d
Let o = 14 + -13.9. Let y = -0.2 + o. Which is smaller: y or 3/8?
y
Let y be 2/5 + 14/(-60). Suppose t - 15 = -l - 7, 0 = 5*l - 2*t - 33. Let q = -7 + l. Which is smaller: q or y?
q
Let t(i) = 6*i**2 + 1 + 3*i**2 - 6*i**3 + 7*i**3. Let r be t(-9). Are r and 1 equal?
True
Let f = -20 + 21. Which is smaller: -2/35 or f?
-2/35
Let g(n) = -3*n - 20. Let o be g(9). Is -47 greater than o?
False
Suppose -5*h = -x - 6*h - 1, 2*h + 10 = 2*x. Let q be x*3 - (8 + -5). Suppose 0 = -m + q*m + 2. Which is bigger: 2/7 or m?
2/7
Let i = -841/5 - -168. Let v = 0.9 + -1. Which is smaller: v or i?
i
Let i be 1 - 0 - (-28)/(-12). Let z(q) = 0*q - 12 - q + 7 - 7. Let k be z(-10). Are i and k equal?
False
Let z = -8 + 58/7. Which is greater: z or -2.8?
z
Let f(g) = g**2 + g - 1. Let v be f(1). Let b be 1*(-1 - 0/v). Which is bigger: -1/11 or b?
-1/11
Let c be 126/(-12) + (-2)/(-4). Let g be (-2)/c - (-3)/3. Which is bigger: g or 0?
g
Suppose -i = i - 4. Let k(j) = -j**3 - 10*j**2 - 9*j + 1. Let g be k(-9). Suppose -3*v + i = -g. Which is smaller: -1 or v?
-1
Suppose -2*q = -5*s, 2*s + 2*q - 3*q = -1. Is s at least as big as 26/9?
False
Let q(z) be the first derivative of z**4/4 - 3*z**3 + 3*z**2 + 9*z + 5. Let l be q(8). Which is bigger: -5 or l?
-5
Let z = 0.24 - 38.24. Let a = z + 23. Is -2/3 != a?
True
Let h(k) = k**3 + k + 1. Let t be h(-2). Let g be t/(-5) - (-1 - -2). Let l = -60 - -60. Which is greater: l or g?
g
Let s = 13 + -8. Suppose -3*u - 1 = h + h, 0 = -s*h - 25. Is u smaller than 3?
False
Let b be (-76)/(-28) - (-6)/21. Suppose 3*i - 8 = -4*j, 0 = -0*i - i - 4*j. Suppose b*d + f = 6*f - 13, 4*f - 12 = i*d. Which is smaller: 1/4 or d?
d
Let i(s) = -s**2 + 21*s - 7. Let k be i(21). Which is smaller: k or -9?
-9
Let h = 4 - 4.14. Let q = -0.01 + h. Is q greater than -1/4?
True
Let b(h) = -13*h + 6. Let c be b(6). Let f be 2/c*4/2. Which is smaller: -1 or f?
-1
Let k be (-297)/455 + 12/(-42). Let m = -7/13 - k. Let b be (0 - -1)*(-2)/(-8). Which is smaller: b or m?
b
Let y = 91 + -133. Which is greater: -41 or y?
-41
Suppose 0*r - 4*r + 16 = 0. Suppose 0 = j + 4*x + 2, r*j + x = j + 5. Suppose q - d = -j*d + 3, -q + d - 5 = 0. Do -2 and q have the same value?
False
Let w be (16/20)/(404/(-10)). Is w > 1?
False
Let c(f) be the third derivative of f**5/60 + f**4/24 - 2*f**3/3 - f**2. Let q be c(-3). Suppose -3*x + 0*n = -5*n + 13, -2*n = 2*x - 18. Is q > x?
False
Let x = 24 + -23. Let v be -3 + 1/(33/105). Is v less than or equal to x?
True
Let m(p) = -5*p + p + 2*p. Let d be m(-2). Suppose d*t + 0 = 4. Is t < -2/15?
False
Let p = -3 - -1. Suppose 3*t - 4*t - 7 = 0. Let y = 5 + t. Do p and y have different values?
False
Let y = 0.6 + -0.1. Let h = 0.168 + -0.168. Which is smaller: y or h?
h
Let y be 222/(-28)*20/(-15). Let j = y + -793/77. Is j at least as big as 1?
False
Let g = 1/63 - 71/504. Is 1 at most g?
False
Let f be (-1775)/(-250) - 3/(-2). Which is smaller: f or 9?
f
Let g(k) = k**3 - 5*k**2 - 5*k - 7. Let f be g(6). Let d be (2/(-20))/(4/(-10)). Is f bigger than d?
Fal