 Let d = l + 6. Suppose 3*c + 0*c = -9. Which is smaller: c or d?
d
Let g = -1.99 + 0.09. Let r = g - -2. Let d = 0 + r. Does 0.2 = d?
False
Let z(f) = -f**3 + 6*f**2 + 12*f + 4. Let c(n) = -n**3 + 6*n**2 + 13*n + 5. Let a(t) = 5*c(t) - 6*z(t). Let j be a(7). Is 1 at most j?
True
Suppose -x = 7 - 6. Are 6/31 and x nonequal?
True
Let g = 0.23 + -0.03. Is 3 greater than or equal to g?
True
Let y = -1 + 1. Let o be (-3 + y)/((-18)/(-4)). Which is smaller: -3 or o?
-3
Let q = -13.98 + 12. Let j = 0.08 + q. Let w = -2 - j. Is w at least as big as 0?
False
Let i = -273387/107 + 2555. Let c = i + -101/321. Is 1 smaller than c?
False
Let m = 5.4 - 5. Let o = m + -0.4. Let c = -0.02 - -0.32. Is o not equal to c?
True
Let n be 0 + -2 - (-74)/38. Is n > -1?
True
Suppose 60 = 5*i - 2*v + 5*v, -5*i + 3*v = -60. Let x be ((-16)/i)/(2/3). Which is greater: -1/2 or x?
-1/2
Let x = 0.01 - 0.08. Let d = 0.23 + -0.4. Let w = x - d. Which is smaller: w or -0.5?
-0.5
Let a be ((-2)/4*2)/1. Let h = a - -2. Let f be h - 0 - 35/15. Are 0 and f unequal?
True
Let r(v) = v**3 + 4*v**2 + 5. Let k be r(-5). Let m be k/48*(-2)/5. Let w(b) = b**3 - 4*b**2 + 2*b + 4. Let q be w(3). Which is greater: q or m?
q
Let y(z) = 5*z - 1. Let m be y(1). Suppose 5*d - m = d. Let g be -4 + 4 + 5/4. Which is greater: g or d?
g
Suppose 29*b - 25*b - 12 = 0. Is b at most as big as 1?
False
Suppose 3*g - 8 + 20 = 0. Let v(d) = -d + 10. Let w be (-30)/4*(-5 - -3). Let s be v(w). Is g smaller than s?
False
Let w be (((-8)/(-10))/(-2))/2. Let z = -5 - -5. Let b = -0.1 - z. Is w at most as big as b?
True
Let q = -43 + 44. Which is greater: -4 or q?
q
Suppose -r - 2500 = 4*r. Let j be r/84 + 2 + 4. Is -1 > j?
False
Let m be (-1172)/(-364) + -1 + -2. Let f = 6/91 + m. Do -2/7 and f have the same value?
False
Suppose 4*t = -3*x - 6, -2*x - x - 2*t = 0. Suppose 32 - x = -5*o. Is o smaller than -6?
False
Suppose 4*d + 14 = 54. Let r be ((-2)/10)/(4/d). Which is bigger: -1 or r?
r
Let w(i) = 4*i**3 - i**2 + i. Let c be w(1). Let p be (-17)/c - 2/(-8). Let y = 996/7 - 142. Which is greater: y or p?
y
Let v be 2/(-3)*36/(-40). Let f be 4/3 - 2/(-3). Suppose g - f = -1. Which is bigger: v or g?
g
Let n = 17 + -12. Suppose -5 = n*v - g + 2, 0 = -4*v - 5*g + 6. Let q = 1/154 - 23/154. Which is smaller: q or v?
v
Let w(u) = -2*u**3 - 13*u**2 - 8*u - 8. Let p be w(-6). Let s be p/3 - (-2)/(-6). Which is greater: s or -1?
s
Let w = 31/66 + 1/33. Let z = 0.01 - 1.01. Is z <= w?
True
Let q be 5*(-1)/((-5)/(-2)). Let m be 0/q + (10 - 4). Is 5 at least m?
False
Suppose -5*m + 8*j = 4*j + 82, 0 = -m + 4*j - 26. Which is greater: -16 or m?
m
Let l(w) = w**3 - 5*w**2 + 3*w + 2. Let j be l(4). Let g = 26 + -18. Let z be 3/((60/g)/(-5)). Does z = j?
True
Suppose 5*a - 1 = a - 3*u, -5*a + u + 6 = 0. Which is smaller: 0.6 or a?
0.6
Let p = -2/5 + 19/35. Suppose -5*n - 5 = -2*f, -3*f = -2*n + 3*n - 16. Suppose -f*i + 2 = -3. Which is smaller: p or i?
p
Let y = 0.9 + -1. Is y smaller than -5?
False
Suppose 2*y - 9 = 3. Suppose 3*p - y = w + 2, 5*p = -5*w. Let c be -2 - (-2)/(-2) - w. Is c at most 0?
True
Let b = 1.75 + -0.15. Let q = 1 - 1.6. Let a = q + b. Is 0.1 greater than or equal to a?
False
Let x = 11 - -1. Let l be 2*3/x*-1. Which is smaller: -1 or l?
-1
Let v be (-4)/84 - 2/(-6). Suppose -3*r + 25 = 2*r. Suppose -r*x + 2*x = 0. Which is smaller: x or v?
x
Let f(g) = 4*g + 30. Let w be f(-7). Which is bigger: w or 4/5?
w
Let x = -351/2 - -1319/6. Let r = x - 44. Let h = 0 + 0.1. Which is smaller: h or r?
h
Let g(o) = -o**2 + 4*o - 2. Let d be g(3). Which is smaller: d or -1/3?
-1/3
Let r be 3*2 - 0 - 2. Suppose -4*t = -5*l - 22, -3*l + t - 20 = -r. Let f be 1/(-3) - 8/l. Is f less than or equal to -1/3?
False
Let c = -5 - -6. Which is bigger: c or -1/67?
c
Suppose -t - 5*i + 19 + 0 = 0, 2*t - 18 = -5*i. Is t >= 2/89?
False
Let s = 2.9 - 3. Suppose -4*l - 10 = -2. Do s and l have different values?
True
Let w(m) = -2*m + 6. Let x be (2/2)/(5/25). Let i be w(x). Which is smaller: i or -3?
i
Let r = -1 + -9. Let c = -18 - r. Are c and -8 unequal?
False
Let z = 0.08 - 0.05. Let h = z - 0.13. Let r = 0 + 1. Which is greater: r or h?
r
Let n be (4 - 2) + -1 + -3. Let i = n - -7. Let y be (-2)/(-8) - i/4. Is -1/6 greater than or equal to y?
True
Suppose -2*n + 1 = -h, 4*h - n = 3*h + 1. Suppose -2*g - q = -0*g, -h*q = 0. Is 0 at most as big as g?
True
Let m(q) = -q**3 - 12*q**2 - 14*q - 23. Let r be m(-11). Suppose c - 12 = -2*i + 8, 53 = 5*i + 4*c. Which is smaller: r or i?
i
Let f = 21 - 24. Is f smaller than -2?
True
Suppose -3*i - 890 = -i. Let r = -3120/7 - i. Which is smaller: 0 or r?
r
Let z = -7 - -4. Let b(a) = -a - 7. Let g be b(z). Which is bigger: g or -3?
-3
Suppose 11*o = 18*o. Is o bigger than -2/7?
True
Let z = 3/55 + 34/385. Which is bigger: -1 or z?
z
Let b = 60 - 119/2. Which is smaller: 2 or b?
b
Let o = 11.14 + -0.14. Let n = 12 - o. Is 2/9 equal to n?
False
Let h = 42/5 + -10. Let a(w) = -4*w + 21. Let r be a(6). Which is smaller: r or h?
r
Let w(f) = -f. Let d be w(-3). Let g be 48*2/d - -1. Let r be (-17)/g + 2/6. Is r at least as big as 0?
False
Let d be (-246)/(-22) + (-10)/55. Let a(f) = f - 10. Let l be a(d). Let s be 38/(-12) - l*-3. Is -1 at most as big as s?
True
Let f = 5 + -3. Let n = 5 - f. Let g = n + -4. Are g and 2/7 non-equal?
True
Let x be 66*(-2 + 0/1). Let c be (x/(-715))/(4/(-10)). Is c at least as big as 0?
False
Let f be (5 + -2 - 2)*-1. Let i be f/2 + 15/22. Which is smaller: i or 1?
i
Let g = -24 - -23.9. Which is bigger: -4 or g?
g
Suppose 0 = 3*p - 19 + 7. Suppose -j = -5*n + 21, -p*j + 4*n = 9 + 11. Which is smaller: j or -2/7?
j
Let j(h) = -h**3 - 6*h**2 + 9*h - 4. Let n be j(-7). Let y be (12/n)/(4/18). Let c = 2 + -4. Is c less than or equal to y?
False
Let n(z) be the second derivative of z**5/20 + 7*z**4/12 - 3*z**3/2 - 9*z**2/2 + 3*z. Let l be n(-8). Which is smaller: -10 or l?
-10
Let f(x) = -2*x**3 + 12*x**2 - 2*x + 11. Let r be f(6). Let v be ((-1)/20)/((-3)/6). Which is smaller: r or v?
r
Suppose -24 = -2*j - 4*j. Is 4 greater than j?
False
Let m = -1932/11 + 175. Which is bigger: m or -2?
m
Suppose 2*f - 25 = 7*f. Let z be 1 + (-2 - 0 - f). Do z and -1 have different values?
True
Let r = -1.05 - -0.95. Which is smaller: r or 29/7?
r
Let j be (10/6)/(-5) + 52/3. Do 17 and j have the same value?
True
Let y = -3.1 + 3. Let x = -29 - -28. Is x equal to y?
False
Let q(w) = w**2 + 14*w + 9. Let o be q(-14). Which is smaller: 10 or o?
o
Let l = -0.1 - 0.4. Let g = l + 0. Let c(p) = -p**2 + p + 6. Let o be c(3). Which is smaller: g or o?
g
Let x(t) = 2*t**3 - 8*t**2 + 3*t - 1. Let p be x(3). Is p at least -8?
False
Let u = -13 - -10. Let w = 2 - 4. Which is greater: w or u?
w
Let q = 8 - 6. Suppose -q*f - 2*f - 8 = 0. Let i be 0/(-1) + 1/f. Is 0 <= i?
False
Let h be 4/18 - 40/18. Let r be -3 - (-12 + 2 - h). Are r and 4 equal?
False
Let o = -3386 - -3405.97. Let l = o - 20. Which is bigger: l or 0?
0
Let q(d) = d**3 + d**2 - 2*d + 2. Let k be q(1). Is k < 8/7?
False
Suppose 5*k = 4*i - 99, 5*i + 5*k - 90 = -0*i. Let t = 62/3 - i. Let m be 1 - (-1 - 1)/(-1). Which is smaller: m or t?
m
Let r be 3/(-6) + (-3)/(-6). Suppose r = 3*z + 5*d - 12, -5*d + 10 = 6*z - z. Which is smaller: z or -5/3?
-5/3
Let b = 7 + -6.2. Let h = -1 + b. Which is smaller: h or 1?
h
Suppose -2*x = d + 20, -2*d + 13 - 37 = 2*x. Let f be ((-10)/(-25))/(x/10). Is -1.1 > f?
False
Let k = 15/2 - 22/3. Let x(m) = m - 13. Let w be x(11). Let r(c) = -c**2 - 2*c. Let z be r(w). Which is smaller: z or k?
z
Let o(k) = -k - 9. Let u be o(-5). Are -8/3 and u equal?
False
Let h = -3 - -3. Suppose 3*v - 5*v = 4*i + 12, 2*v - 5*i + 3 = h. Is -4 >= v?
True
Let o = -3.4 - -3.3. Which is smaller: o or -0.07?
o
Let n = -164 + 1317/8. Is n greater than 2?
False
Let b = -22 + 23. Which is greater: -3/46 or b?
b
Let w(j) = j**3 + 1. Let d be w(-2). Let t = 7 + d. Let l = -3 + 2. Which is smaller: l or t?
l
Let x = 3 - 0. Suppose 0 = 3*m + 12, -m - 3 - 1 = -x*o. Which is smaller: o or 1?
o
Let f = -87 - -139. Suppose -3*l - 5*r + 4 = 0, 5*l + 3*r - 6*r = f. Suppose 0 = -l*b + 3*b. Which is greater: 1 or b?
1
Let f be 20/(-14) - (-3)/21. Is -1 < f?
False
Let l = 89/287 - 1/41. Let i be (-1 + 2)*(-3 + 4). Suppose a + 