 0.3 + -0.5. Which is smaller: l or x?
x
Suppose -17*z + 14*z = 330. Let f = 772/7 + z. Let q = 13 - 105/8. Which is smaller: f or q?
q
Let k be (12/14)/(-3) - (-170)/742. Which is smaller: k or -1?
-1
Let n = -9 + 2. Suppose -3*o + 31 + 11 = 0. Let r be (n/o)/(14/24). Which is bigger: 0 or r?
0
Let n be 4/90*-12 - 2/(-3). Is 1 greater than n?
True
Let r = 0.04 + -3.04. Let c = r + 0. Let t = c + 3.1. Is t equal to 0.1?
True
Let j = -17 + 10. Which is bigger: j or 0?
0
Let p be (-218)/(-4) - (-1)/(-4). Let d = p + -54. Suppose -9 = -2*g - 3, 0 = -5*w + 5*g - 15. Is w greater than d?
False
Let r = -19 - -20. Is -2/9 smaller than r?
True
Suppose 0 = 3*v + 2*v. Let z(t) = -t**3 + 4*t**2 + 5*t - 5. Let p be z(4). Suppose 3*i + v - p = 0, -2*x - 4*i = -22. Is 2 less than x?
False
Let b = -3.8 + -1.2. Let s = 6 + b. Is -4/7 at least s?
False
Suppose -3*x - 57 = 3*f - 5*x, -f - 4*x = 33. Is f at most -21?
True
Suppose v + 4*i + 0*i + 14 = 0, -4*i = -3*v + 6. Let l(h) = -h**3 - 2*h**2 + 2*h + 2. Let u be l(v). Let a be 32/(-20) - u/1. Is 1 bigger than a?
True
Let b = 14 - 20. Let x = -6.03 - b. Let d = -1008/5 + 202. Is d less than or equal to x?
False
Let t(c) = c - 4. Let p be (8/(-12))/(2/(-12)). Let y be t(p). Let b be 2/5 - (-16)/(-140). Are b and y nonequal?
True
Let r = -794185/2202519 - -488/2153. Let p = -4/93 - r. Do 1 and p have different values?
True
Let p = -9 + 3. Let s be p/(-9) + (-88)/6. Let a be 2 + (-1)/((-5)/s). Which is smaller: a or 0?
a
Let k be 774/14 + (-4)/14. Let c(r) = r - 150. Let p be c(0). Let j be 2/10 + k/p. Is j not equal to -1?
True
Let w = -14 + 12. Let r be (3/(-1) - w)*1. Which is bigger: r or -2?
r
Let k = 0.3 - 0.2. Is 1/7 not equal to k?
True
Let r(u) = -11*u - 2. Let o be r(-1). Suppose 4*i - 2*m + o = -3, -18 = 3*i + 3*m. Does i = -13/4?
False
Let d(r) = -r - 2. Let b be d(3). Let z be 5/(-5) + b/(-3). Which is bigger: 2 or z?
2
Let i be (-1 - 0)*1/2. Let m = i - -1/6. Is m greater than or equal to 0?
False
Let k be 17 + -1 + 5 + (2 - 5). Which is smaller: 20 or k?
k
Let s be (12/16)/((-5)/4). Let c = s + 4/15. Do c and 1 have the same value?
False
Suppose z = 2*h - 4, 3*h + 0 = 6. Let k(l) be the second derivative of l**5/20 - l**4/12 - l**3/6 + 2*l**2 - 2*l. Let p be k(z). Which is smaller: p or 3?
3
Let g = 0.12 + -0.72. Which is smaller: g or -1?
-1
Let g = -2 - 3. Let k be 6/(-7)*g/(-15). Which is smaller: k or 1?
k
Suppose -23 = -3*s + 76. Which is bigger: 34 or s?
34
Let h(b) = -b**3 + 5*b**2 + 2*b - 7. Let w(c) = -2*c**3 + 10*c**2 + 3*c - 13. Let m(i) = 5*h(i) - 3*w(i). Let r be m(5). Which is bigger: 10 or r?
10
Let l = 6.054 - -0.046. Let k = l - 6. Which is greater: -1 or k?
k
Let f = -63 - -825/13. Let c = f - 5/39. Which is greater: c or 1/5?
c
Let k be (-18)/45 + 291/90. Which is smaller: 3 or k?
k
Let h(w) = w + 6. Let y = -9 + -7. Let a = 11 + y. Let q be h(a). Are 1 and q nonequal?
False
Let v = 134 - 134. Let m be 0 + 1/6*3. Which is greater: v or m?
m
Let r = 0 - 0.04. Is r < -0.3?
False
Let s be (-4)/(-10)*(-562)/(-2). Let j = 112 - s. Let v = -11/15 - j. Which is smaller: 2/7 or v?
v
Let l = -2.6 - -2.5. Which is smaller: -2 or l?
-2
Let z = -0.12 - -0.1. Let h = z - 0.08. Is h at most 1?
True
Let z(u) = -13*u - 2. Let w(x) = 27*x + 4. Let t(v) = 3*w(v) + 5*z(v). Let i be t(-1). Which is greater: -13 or i?
-13
Let m = -20/3 + 7. Suppose 0 = 3*s - 0*s. Let w be s*((-6)/(-3) - 1). Which is bigger: m or w?
m
Let b(d) = -d**3 - 5*d**2 - 4*d + 4. Let l be b(-4). Let g(i) = i**2 + 3*i + 1. Let y be g(-3). Suppose 0 = l*n + 3 + y. Does n = -2/15?
False
Let a = 1/10870 + 21101/6945930. Let f = 94/213 + a. Is f greater than 0?
True
Let b be (2/4)/(5/20). Suppose b*t = -0 - 4. Let k = -0.2 - -0.2. Does k = t?
False
Let u(s) = s**3 + s + 13. Let d be u(0). Which is bigger: d or 11?
d
Let d = -2 + 1. Let x be (-1 - d) + (-633)/(-5). Let k = 127 - x. Which is bigger: k or 0?
k
Let j be -10*(-2 - (3 + -1)). Let c = 241/6 - j. Which is bigger: c or 1?
1
Let u(q) = q**3 - 1 - q**2 + 2*q**2 + 5*q**2. Let k be u(-6). Let g be (-120)/(-104) - (2 + -1 - 0). Is g less than k?
False
Let z be (10/(-220))/(2/(-24)). Let u = 232/385 - z. Are u and 1 unequal?
True
Suppose -2*b = 2*b - 16. Let u = b + -6. Let m be (-5*(1 + 0))/3. Which is smaller: m or u?
u
Suppose 42 = 5*d - 2*d. Which is greater: d or 13?
d
Let l(h) = -h**3 - 9*h**2 - h - 6. Let f(q) = q**2 + 8*q + 6. Let b be f(-5). Let n be l(b). Suppose 0 = t + c + 3, 2*t + 2 = 3*c - 4*c. Are n and t nonequal?
True
Suppose 3*x = -0*x. Let b be 0/(0 - (x + -1)). Suppose 0 = 6*a - 0*a + 6. Which is smaller: a or b?
a
Let x = -0.1 - 0. Is 0.4 greater than x?
True
Let i = 20.59 + -1.59. Which is smaller: i or -0.06?
-0.06
Suppose -3*u = 3 - 9. Suppose -y - u*y = -6. Suppose 0 = 3*w + y*b - 5, -b - b = w - 3. Which is smaller: 6 or w?
w
Let c = 46 - 46.9. Which is bigger: -0.3 or c?
-0.3
Let s = -121/6 - -20. Suppose -3*g + 4*g = 0. Which is bigger: g or s?
g
Suppose 4*o + 3*z = 3, 4*o - 3*z - 21 = -0*o. Let r = 3 - o. Let x = -0.2 + 0.1. Which is smaller: x or r?
x
Suppose -2*f + 10 = 3*f. Suppose 0 = f*q - 2 + 4. Which is bigger: -1/2 or q?
-1/2
Let w = 1 - -7. Are 8 and w nonequal?
False
Suppose 0*v + 6 = 2*v. Suppose -2*u = 2*g + 2 - 14, 3*g = -4*u + 23. Which is smaller: g or v?
g
Suppose p + 6 = -2*p. Let l = 1 - p. Is 5 at least as big as l?
True
Suppose 0 = -f - 5 + 3. Let v be (1/f)/((-3)/36). Let y(n) = -n**3 + 7*n**2 - 5*n - 4. Let k be y(v). Which is bigger: 3/5 or k?
k
Let u = 19 - 10. Suppose 4*y = 4*k + 16, 4*y - 2*k + u = -3*k. Which is bigger: y or -2/31?
-2/31
Let m = 222/11 + -1976/99. Let c = -3 - -2. Are c and m non-equal?
True
Let l = -24.1 + 24. Which is greater: l or 1/6?
1/6
Suppose -77*h = -73*h - 4. Is h not equal to 2/317?
True
Let f(a) = -2*a + 9. Let u be (1/2)/((-2)/(-28)). Let i be f(u). Which is smaller: -6 or i?
-6
Let o = 1.8 - 9.8. Let t = 1.06 + -1.06. Which is bigger: t or o?
t
Let g(n) = 6*n**2 + 3*n + 2. Suppose -u + 5*u = -8. Let q be g(u). Let h be ((-2)/12)/(5/q). Is h smaller than -2?
False
Let z = 11 - 4. Let g be (-240)/1036 + 2/z. Which is greater: g or 1?
1
Let v be (-9)/(-6) - (-4)/(-8). Let y = -9 - -21. Let c be 1/4 + (-3)/y. Which is greater: c or v?
v
Let b = -21 - -5. Let y = -23 - b. Which is smaller: -2 or y?
y
Suppose -2*q - q - 54 = 0. Which is greater: -19 or q?
q
Let h = -8 - -10. Let w = -0.2 + 0.3. Is h less than w?
False
Let c(w) = w. Let j be c(5). Let b be (-2)/(-6) - j/5. Is b <= -1?
False
Suppose 2*x - 5 = -3*x. Suppose 5*o + 3 = w + 5, -w = 2*o + 2. Let r be 1/2*(-4 - w). Which is greater: x or r?
x
Let w(j) = j**3 + 2*j**2. Let u = 13 - 15. Let d be w(u). Is -2 <= d?
True
Suppose -4*d = -3*b - 40, -d - 17 - 19 = 5*b. Which is smaller: -15/2 or b?
b
Suppose -4*g + g = 0. Let f be (-5)/(-4) + g + -2. Which is greater: f or -2?
f
Let z be ((-4)/(-15))/((-40)/1380). Is -8 <= z?
False
Let n be (-28)/33 + 14/77. Is n equal to 0?
False
Let v = 6 - 6.3. Let p = 0 - v. Which is smaller: p or -2/7?
-2/7
Let d = 12 - 15. Which is smaller: 1 or d?
d
Let z = 44 - 79. Let d = -37.1 - z. Let q = d - -2. Which is greater: 0.2 or q?
0.2
Let f be (5 - 6)/((-2)/(-6)). Which is smaller: -13/5 or f?
f
Let y = -677/2 - -345. Is y at most as big as 6?
False
Let h be 222/(-57) + 1 + 3. Is h bigger than 0?
True
Let p = 14 + -7. Let q = p - -1. Let x = 8 - q. Which is smaller: -1 or x?
-1
Let k = 19/5 + -17/5. Let h = -0.4 + 0.2. Is h at least as big as k?
False
Let p = -5 + 1. Let m = p - -5. Which is greater: -2 or m?
m
Suppose 2*p + 7 + 1 = 0. Let o(i) = i**3 + 6*i**2 + 6*i. Let v be o(-4). Let l = p + v. Is 5 less than l?
False
Let i(z) be the third derivative of -z**6/120 + z**4/12 - z**3/6 - z**2. Let v be i(1). Let d be ((-24)/30)/(v + -6). Which is greater: d or 1?
1
Suppose 0 = -3*w - 2*i + 27, 4*w - 2*i - 39 = w. Which is greater: 1/4 or w?
w
Let w = -24 - -44. Suppose w = -4*l, 4*r = -6*l + 5*l + 3. Is 2 != r?
False
Let g be -14*((-18)/(-21))/(-3). Suppose -4*p - 8 = -g. Which is greater: p or 1?
1
Let o = -39 + 197/5. Let i = 9.1 + -9. Which is greater: o or i?
o
Let h(l) = 12 + l**2 + 11*l + 2*l - 2*l. Let m be h(-10). Which is greater: -1 or m?
m
Let o = 8 - 6. Suppose 2*a + 6 = 3*a. Let p = a + -11/2. W