han or equal to b?
True
Let i(f) = -3*f - 3*f + 1 + f**3 + 6*f**2 + 5. Let g be i(-7). Is -1/6 at most g?
False
Let c = 106 - 54. Is c at most as big as 52?
True
Let h be 1/2*4/1. Suppose r - 6*r = -80. Let x be 4/(-6) - r/(-6). Is x greater than or equal to h?
True
Let n(r) = 1 - 7 - 5 + r + 6. Let t be n(4). Does 1/10 = t?
False
Let y = -0.35 + 0.26. Is -1/2 at least y?
False
Let d(w) = -3*w - 5*w + 0*w**2 + 9 - w + w**2. Let r be d(8). Which is greater: 3 or r?
3
Let z = -3/31 + 201/155. Suppose -23 = -5*j - h, j - 3*j = h - 11. Suppose n = j*n - 3. Which is bigger: z or n?
z
Let r = -221 - -196. Which is smaller: -26 or r?
-26
Let z = 257011 + -2830104/11. Let k = -271 - z. Is -1 >= k?
False
Let m be (3/(-9))/((-4)/(-6)). Let q = 0 - 4. Let n = q - -2. Is n at most as big as m?
True
Let t be (-2)/(-2) + (-1 + -5)/6. Which is smaller: t or -12/13?
-12/13
Let s = 0 + 1. Which is bigger: s or -6/17?
s
Let z = 3575/129 + -83/3. Which is smaller: 0 or z?
0
Let m = -0.9 - -2.1. Let h = m - 1.4. Is 1/7 bigger than h?
True
Suppose -5*g = -w + 12, 0 = 3*w + 5*g - 13 - 23. Let y = -6 + w. Let v be (0 - -1)/((-21)/y). Is 1 at least v?
True
Let h(o) = -o + 1. Let m be h(2). Let k = -10 - m. Is k less than -10?
False
Let k = 5.04 + -5. Let h = 0.96 + k. Are -0.05 and h unequal?
True
Let x = -29 + 28.8. Let m = -3 + 5. Let b = m - 3. Which is smaller: x or b?
b
Let a(i) = -3 - 7 + 15*i - 14*i. Let f be a(12). Let z be (-8)/21*(-6)/(-4). Does z = f?
False
Suppose -4*v - 5*h + 25 = 0, 0 - 5 = -5*v - h. Let s be (1 - 4)/(6/4). Is s >= v?
False
Let n = 2955751/330 + -44771/5. Let r = n + -4/33. Is r bigger than 3?
False
Let o = -41 + 42. Is -4 greater than o?
False
Let z(o) = o - 5. Suppose 3*b + 4*q + 15 = 0, 5*q + 15 = 2*b + 2. Let i be b/(-1*1/6). Let u be z(i). Which is greater: 0 or u?
u
Suppose 2*z + 3*z = 150. Which is greater: 28 or z?
z
Suppose 14 = -8*n + 6. Let d = -3.6 + 3. Let r = -0.9 - d. Which is greater: n or r?
r
Let x = 23 - 20. Do 2 and x have the same value?
False
Let j = 398/1927 - 12/47. Which is greater: 1 or j?
1
Let v = -98 + 106. Are v and 9 nonequal?
True
Let h(g) = 2*g**2 + 9*g + 7. Let y(j) = j**2 + 5*j + 4. Let s(u) = 2*h(u) - 5*y(u). Let q be s(-4). Let d be (-1)/(-3) - (-3)/q. Which is smaller: 2 or d?
d
Let m = 20 + -20.1. Which is smaller: -7/5 or m?
-7/5
Suppose -2 = 3*d + 1. Which is smaller: d or -1/12?
d
Let c(k) = -k**3 - 6*k**2 - 2*k - 7. Let i be c(-6). Let p = i + -6. Are p and 2/5 non-equal?
True
Let v be 1*-1*(-28)/(-20). Which is smaller: -2 or v?
-2
Suppose 5*z = 4*b + 1687, -3*z + 932 = -3*b - 79. Let f = z - 4409/13. Which is bigger: f or 1?
1
Let q be -1*1/3*9. Which is bigger: -2 or q?
-2
Suppose v = -3*v. Suppose v*t = -4*t + 16. Do 4 and t have the same value?
True
Let v = -5 - -8. Let q be 5*(95/25 + -3). Suppose -3*u + q*j + 12 = -u, 3*u - j - v = 0. Is u greater than or equal to -1/6?
True
Let v = -74647/20 + 17938/5. Let s = -142 - v. Is 4 > s?
True
Suppose 4*f = 2*f + 20. Let c be ((-5)/f)/((-1)/10). Which is smaller: c or 4?
4
Let c = 2/1247 - 2524/18705. Let t(r) = -r**2 - r + 1. Let y be t(0). Suppose 5*l - y = 4. Which is greater: c or l?
l
Let b(o) = 4*o**2 - 2*o. Let w be b(2). Suppose -x + w = x. Suppose x*i = i - 10. Which is smaller: -1 or i?
i
Let u = -10 + 3. Which is greater: u or 1/3?
1/3
Let n be (4/(-6))/(7/(-42)). Suppose n*m - 6 = -5*d, 0*d = -2*d + 4*m - 20. Which is greater: d or -3/2?
-3/2
Let m = -7/48 + 1/80. Which is bigger: m or -1?
m
Let y(r) = -2*r**2 - 6*r - 4. Let p be y(-5). Which is bigger: p or -23?
-23
Let p(x) = -5*x - 2. Let n be p(1). Which is bigger: n or -1?
-1
Let g = 1.3 + -2.3. Let t = -0.3 + 9.3. Which is greater: g or t?
t
Suppose 5*v + 4*c = c + 12, -3*v + 4*c = -13. Let x be 0/4 - 2*v. Let q be (-4)/35 - x/(-21). Does q = 2?
False
Let s be 3 - 2 - 252/260. Which is smaller: s or 1?
s
Let v = 7 + -44. Which is bigger: v or -38?
v
Let g(o) = -o**2 + 5*o - 4. Let i be g(4). Suppose z - 2*b = -b + 32, 66 = 2*z - b. Let x = z - 141/4. Which is smaller: i or x?
x
Suppose -18 = -4*w + w. Suppose -a = -2*j - j - 14, -w = 3*a + 3*j. Suppose 0 = -4*i + 5*i + a. Is -2 != i?
False
Let c be (-2)/(-1)*(1 + 1). Let l = -5 + c. Are l and -1/11 unequal?
True
Let a = -0.1 + 0.1. Let h = -7.09 - -0.09. Let i = 6.8 + h. Which is smaller: i or a?
i
Let g be (-3 - -1)/(-6 - -8). Which is smaller: -2/7 or g?
g
Let g = 2719/11 - 247. Let m(k) = -2*k**2 - 3*k + 1. Let v be m(-2). Is g > v?
True
Suppose -2 = 2*r - 38. Let c = -25 + r. Which is smaller: 2 or c?
c
Let b = 0.03 + -0.02. Let p = 354 - 355.99. Let a = b - p. Is a < 2/3?
False
Suppose l - 7*q + 2*q = 5, -2*l - 4*q = 32. Is -10 > l?
False
Suppose 0 = 3*j - 4*j - 24. Let u = 22 + j. Which is bigger: u or -10/3?
u
Let b = 75 - 74. Which is greater: 0 or b?
b
Suppose -18 = 2*h - 8. Suppose 6 = 2*r + 2. Let w be r - h*(-2)/4. Which is bigger: w or 0.1?
0.1
Let c be 204/(-30) - (-1)/(-5). Is c < -1?
True
Let s be 1*2*3/(-39). Which is smaller: 0 or s?
s
Suppose 4*x = -5 + 1. Let d = -0.05 - -0.25. Let w = 0.1 + d. Is x equal to w?
False
Let h be ((-2)/3)/(-6*(-63)/162). Let o be 22/(-10) + 1/5. Which is greater: o or h?
h
Let c be -1*(1 - 6/2). Suppose 2*s - 2 - c = 0. Let z be 1 + 1 - (-4)/(-8). Which is smaller: z or s?
z
Let n(d) be the third derivative of -d**5/60 - d**4/8 - d**3/6 + 3*d**2. Let r be n(-2). Which is smaller: -2/23 or r?
-2/23
Let f = 17/2 - 9. Suppose -k - 2*c = 3, 3*k - 3 = 4*k - 5*c. Let t be (-5)/k*(-2)/5. Which is bigger: f or t?
f
Suppose 3*a + 0*a = 2*o + 197, 0 = -2*a - 3*o + 140. Is 68 > a?
True
Let u(d) = 2*d + 15. Let i be u(-7). Suppose -5*a - 58 = -c - 23, -5*a - 25 = -3*c. Is a bigger than i?
False
Let w = 1/369 + -1493/6273. Let m(u) = -u + 4. Let j be m(4). Is w > j?
False
Suppose -3 = 3*h + a, 3*h - 5*a + 3 = -3*a. Which is smaller: -6 or h?
-6
Let y(j) = -j**2 - 5*j - 5. Let r be y(-4). Are r and 1/3 unequal?
True
Let n(i) = i**2 + 14*i + 7. Suppose 5*j - 1 = a + 3, 20 = 2*j - 5*a. Let m be -26*(2/4 - j). Let g be n(m). Which is smaller: g or -7?
-7
Suppose 0 = -w - 41 + 40. Is w at least as big as -1/4?
False
Let n = -246 - -3939/16. Which is bigger: n or -1?
n
Suppose -57 = -4*i - 5*p, -50 = 3*i - 7*i + 2*p. Is i at least 14?
False
Let q = 84 + -250/3. Which is smaller: q or 1?
q
Let x = 20 - 16. Let d be (4/(-40))/(x/10). Let f be (6/9)/((-4)/6). Which is greater: d or f?
d
Let v = -2 - -2. Let r be (0 - v) + (2 - 4). Suppose 2*l = 5*z + 25, -3*l = 4*z - 0*l - 3. Which is smaller: z or r?
z
Suppose 560 = 5*i + 3*i. Which is smaller: 69 or i?
69
Suppose 2*o = t + 2, -4 + 5 = 2*t + o. Which is smaller: -3/7 or t?
-3/7
Let y(w) = -w**3 + 2*w**2 + 3*w + 1. Let m be y(3). Let b be 4/(-3) - m/(-3). Suppose 5*c = 5*n + 5, 2 - 6 = -5*c + 4*n. Which is greater: c or b?
c
Let g = 195.06 + -195. Are -0.03 and g non-equal?
True
Let k(o) = -o**3 - 11*o**2 + 14*o + 4. Let j be k(-12). Which is bigger: j or -19?
-19
Suppose -x = -2*x - 2*i + 1, -2*x = 3*i - 5. Let w(v) = -v**3 + 3*v**2 + 2*v - 7. Let d be w(3). Is d at most x?
True
Let f(o) = -3*o - 6. Let j(m) = -5*m - 12. Suppose -3*k - 4 = -2*k. Let u(v) = k*j(v) + 7*f(v). Let x be u(6). Is 1 less than or equal to x?
False
Suppose -135 = p + 4*p. Is p at most as big as -26?
True
Let g = 1/179 + -295/20764. Which is smaller: g or 1?
g
Let i(o) = -o + 9. Let b be i(7). Suppose -2*c = b*u + 8, c + 3*c + 2*u = -12. Suppose 5*w + 14 = -11, -3*w - 31 = 4*y. Is c less than y?
False
Let o be (-9)/36 - (-2 - -2). Which is smaller: o or -1/2?
-1/2
Let l(d) = d + 17. Let p be l(-10). Suppose p = h + 1. Suppose 6 = -2*r, n - 14 = -r + h*r. Are -0.2 and n non-equal?
True
Let u = -4 + 9. Let b = -14.326 + 0.126. Let x = b - -14. Which is bigger: u or x?
u
Let m be 728/10 - 4/(-20). Suppose w + 2*d = 5*d - m, -d = -w - 83. Let j = w + 442/5. Is 0 smaller than j?
True
Let g(y) = y**2 - 5*y + 7. Let h be g(3). Suppose 5*c - 2 = 3*c. Let d be (c - 6)*(h - 3). Which is bigger: d or 9?
d
Let l = -2.62 + 0.12. Let r = l + 2.2. Suppose -4*q - q = 0. Which is smaller: r or q?
r
Let a(b) = b**3 + 3*b**2 - 6*b - 4. Let u(s) = s + 3. Let d be u(-7). Let i be a(d). Suppose 7*y = i*y. Which is smaller: y or 2?
y
Let q be (2 + -1)/6*6. Let y = -2 + q. Which is bigger: y or