 h = 2.2 - 39.2. Which is bigger: h or -1?
-1
Let g = -3 + 5. Let n be 9 + 1*(-2)/g. Let y be 22/8 + 2/n. Is 4 greater than y?
True
Let w = -49039 + 729422/15. Let o = -411 - w. Which is smaller: -1 or o?
-1
Let p = 18 - 17.9. Are 0 and p equal?
False
Let n = -3 - -2.5. Let q = n - -0.9. Let x = 0.3 - q. Is x <= 0.1?
True
Let v be (2/(-6))/(2/(-18)). Let l be v/(-6)*4/(-4). Is 0 equal to l?
False
Suppose 0*a = -2*a - 4, -2*h + 3*a + 20 = 0. Is 22/3 at most h?
False
Let q = -2 - 0. Suppose v - j = -9, 0 = -2*v + 3*j - 4 - 18. Let h = 4 + v. Is h bigger than q?
True
Let b = 44 + -43. Suppose 0 = -k + 2. Which is smaller: k or b?
b
Let o(s) = -s**2 - s + 1. Let c be o(2). Is c >= -14?
True
Suppose 3*i + 53 = -2*j + 2, -3*i - 30 = j. Let a be ((-14)/j)/(2/(-6)). Let f be a/(-6) + (-17)/15. Is -2 < f?
True
Let l = -38 - -39. Which is smaller: l or 4?
l
Let i = 73 - 73.1. Let y = -5.449 - -0.049. Let w = -5 - y. Which is bigger: w or i?
w
Let f = 0.14 - 0.54. Which is smaller: f or -0.1?
f
Suppose 2*j - 6 = 4*j. Let u = j + 8. Is u at most 2?
False
Let r be (-2 - 2) + 1 + 1. Which is bigger: r or -1?
-1
Suppose 3*v - 7 = 2. Let h be 12/(-8)*2/v. Let n = -0.4 + 0.6. Which is greater: n or h?
n
Suppose 0*w - 3*w = -a + 88, 0 = -2*a + 8. Let t be ((w/(-8))/7)/(-1). Is 6 at least as big as t?
True
Let g be 2/(-5) + 8/20. Let k be -3 + (-36)/(-16) - 93/(-12). Which is smaller: g or k?
g
Let a = -44/7 + 6. Is 1 != a?
True
Let a = -51 + 61. Is 9 less than a?
True
Let r = 1.4 - 1.7. Which is bigger: 0.3 or r?
0.3
Let i be ((-82)/(-14))/((1/2)/(-1)). Which is bigger: i or -12?
i
Let h = 7 + -20. Is -13 < h?
False
Suppose 5*i - 5*n + 20 = -10*n, 4*n = -20. Which is greater: -2/35 or i?
i
Suppose -2*n - 5 = -5*w, 0*n - 30 = 5*w + 5*n. Which is greater: -8 or w?
w
Let k be ((-3)/(-60)*8)/((-2)/(-60)). Which is smaller: k or 11?
11
Let c be (3/(-2))/((-3)/(-20)). Which is smaller: c or -9?
c
Let v be 10/20*(3 + -1). Is v > 2?
False
Suppose 82*o = 87*o - 50. Let n = -3 - -2. Which is smaller: o or n?
n
Let n be (-2)/(-8) + (-15)/60. Suppose x + 3*k + 2 = -3*x, -3*x - 2*k = 1. Is n greater than x?
False
Let i(w) be the first derivative of w**2 + w + 2. Let f be i(-1). Let j be -4 + (2 - 2 - -2). Which is bigger: f or j?
f
Suppose -a = 5, 0 = -5*r + 3*r - 2*a + 6. Suppose -j + 3*j - r = 0. Let w be ((-6)/4)/((-4)/8). Are j and w unequal?
True
Let j be -3 + 1*(-52)/(-16). Which is smaller: 2 or j?
j
Let v = 0 + 5. Let k = -5.03 + v. Let m = k - 0.97. Are 2 and m non-equal?
True
Let c(n) = n**2 - 3*n - 1. Let h be c(3). Let g = -3071/143 - -232/11. Let i = g + -1/65. Which is bigger: i or h?
i
Let d be (-8)/(-1)*3/(-4). Is -6 greater than or equal to d?
True
Let h = -35 + 35.03. Is -0.4 at most as big as h?
True
Let t = 4 - 3. Let u be 17/(-33) - (-2)/6. Which is bigger: u or t?
t
Let r = 8/295 - 57254/885. Let q = r + 1561/24. Let w(j) = j**2 - 4*j + 2. Let i be w(3). Which is bigger: i or q?
q
Let h = 3 - 29. Let a = -28 - h. Do a and -1/3 have the same value?
False
Let m = -1.9 + 2.3. Which is greater: m or 2?
2
Let q(v) = v + 10. Suppose 2*g + 10 = -u - 2*u, 5*u = 4*g + 20. Let o be q(u). Suppose -7 - 13 = 4*b, 0 = -3*a + 2*b + o. Which is smaller: a or -2/3?
-2/3
Let a be -1 - (-1*3)/(-1). Let l be ((-2)/(-9))/(2/a). Which is bigger: l or 0?
0
Let w = -99/4 + 25. Let p = -4 + 4.06. Let a = p + -0.16. Which is greater: a or w?
w
Suppose 68*t - 65*t = 36. Which is greater: 14 or t?
14
Suppose v - 2*n = 27, 0 = -v - 2*v + 4*n + 71. Is v at least 15?
True
Let o = 422647/8 + -52759. Let d = o - 825/8. Let z = d + 31. Is z < -1?
False
Suppose -2*c = c - 39. Which is bigger: 12 or c?
c
Suppose 1 = 2*v - 3*b - 8, 0 = 2*v + 2*b + 6. Suppose v = -4*h + 16 + 8. Which is bigger: 4 or h?
h
Let y be ((-12)/(-15))/(10/(-175)). Let t be (1/(-5))/(y/5). Which is bigger: t or 2?
2
Let c = -0.21 - -0.2. Let x = -0.31 - c. Let d = -63 - -62. Is x at most d?
False
Suppose w - 9 = -d, 6*w - w = 5*d + 5. Suppose 2*r = -r. Suppose r = -5*v - 2*k + 16, v + 4*k - 2 = 3*k. Is v greater than or equal to d?
True
Suppose -4*t = -0*m + 4*m + 12, 2*t + m + 2 = 0. Is 0 at least as big as t?
False
Suppose -h - 2 = -0*h. Let a = -15 + 1. Let s be (a/(-35))/((-3)/5). Is s >= h?
True
Let l = -0.9 - -0.8. Let m = l + 0.08. Is -0.1 >= m?
False
Suppose 9*o = 7*o. Suppose 3*q + 6 = -5*r, -4*r = -q - 2 - o. Which is greater: 2/17 or r?
2/17
Let d = -23 + 38. Is 16 equal to d?
False
Let k(m) = -3*m + 1. Let w be k(1). Let a = w + 1. Let l be (3 + 9/(-6))/6. Is a equal to l?
False
Let o = -0.11 + 0.16. Let l = 1.05 - o. Do l and 0.03 have the same value?
False
Let l be ((-2)/(-288)*6)/(8/6). Which is greater: 1 or l?
1
Let h = -9 + 13. Suppose -15 = -h*l + l. Suppose 5*t + 14 = l*d - 1, -d = 5*t - 9. Which is smaller: 2/7 or t?
2/7
Suppose 57 = 9*l - 51. Which is greater: l or -2?
l
Let a(k) = 2*k**2 + 2*k + 1. Let f be a(-1). Let m be ((-33)/12)/1 - -3. Which is greater: f or m?
f
Let m be (3/9)/(-1*(-1)/9). Let u(j) = -4 + j**2 + j - j. Let y be u(m). Which is smaller: -1/3 or y?
-1/3
Let c(l) = l**3 - 3*l**2 - 4*l + 4. Let a be c(4). Let i be a/(-1) - (-2)/2. Which is smaller: 1/3 or i?
i
Suppose 3*b = 4*o - 0*o - 88, -3*o + b = -61. Let c = -0.8 + -0.2. Which is bigger: c or o?
o
Let g = -0.47 - -0.27. Which is smaller: -2 or g?
-2
Let u = -133/913 - 3/83. Is 0 bigger than u?
True
Let z = -13 + -15. Which is greater: z or -29?
z
Let h = -21 - -29. Suppose -4*k = -0 - h. Let c be (-2 - -2)/(k - 0). Are -1 and c non-equal?
True
Let m(h) = -8*h**2 - 2*h + 1. Let l be m(1). Let o = -6 - l. Is o smaller than -3?
False
Let n = -7.06 + 0.06. Let x = 5.1 + n. Let s = x + 2. Which is smaller: -2/3 or s?
-2/3
Let x be ((-30)/(-275))/(2/5). Let d(f) = -f**3 - 3*f**2 + 3. Let a be d(-2). Which is smaller: a or x?
a
Let b = 1/142 - -1273/710. Let y = -17/15 + b. Let o = 0 - -1. Which is smaller: o or y?
y
Suppose i + 0*i = 33. Let m be 4*(i/12 + -2). Are m and 1 unequal?
True
Let r be (1 - (-29 + 0)) + -2. Let a be 2 - (-8)/r*-5. Is a greater than or equal to 0?
True
Suppose 2*j - 7*j + 90 = 0. Do -1/5 and j have different values?
True
Suppose 61 - 16 = -5*l. Let s be 2/(-5) - 678/(-70). Let j = s + l. Is j > 0?
True
Suppose s + 5*w + 5 = 0, -5*w + 4 = -1. Let n = 5 + s. Do n and -5 have the same value?
True
Let n be (0 + (-5 - 1))*1. Let l be n/18 - (-1)/3. Is l bigger than -6/7?
True
Let y = 147 + -146. Is 113 <= y?
False
Let k = 94/201 + -11359/9246. Let r = -6/23 - k. Which is smaller: r or -1/3?
-1/3
Let q(l) = -7*l**2 + 7*l + 5. Let b(n) = 15*n**2 - 15*n - 11. Let y(j) = 6*b(j) + 13*q(j). Let f be y(-2). Which is bigger: -6 or f?
-6
Let i = -3.93 - 0.07. Let l = i + 6. Let n = -0.04 - 0.06. Which is greater: l or n?
l
Let f = -49 + 35. Let n be (0 - 1)*14/f. Let w = 1840/10241 - -2/931. Is n greater than w?
True
Let p = 713/40 + -91/5. Is p at least -1?
True
Let d be (-570)/(-12) - 2/(-4). Let t = 289/6 - d. Is 0 greater than or equal to t?
False
Suppose 2*d - 3 = -5. Is 1/4 bigger than d?
True
Let p = -63/275 + 33/25. Which is smaller: p or 0?
0
Let r be 2*(-6)/99*-15. Let v = r - 89/55. Which is smaller: v or -1?
-1
Suppose 0 = 4*q - 30 + 78. Let y = 8 + q. Is -4 at least y?
True
Let j = 41 + -43.9. Let h = 0.8 + -3.8. Let t = h - j. Which is smaller: t or 2/13?
t
Suppose 0*n + n = 0. Suppose -2*s + 1 - 5 = n, 4*c + 3*s - 6 = 0. Suppose -w = -2*w + c*k - 1, -k = 5*w + 21. Which is smaller: -5 or w?
-5
Let t(x) = -x**3 + 5*x**2 + 8*x - 10. Let h be t(6). Suppose -4*q = -0*l + l - 23, 0 = -h*l + 6. Which is smaller: q or 6?
q
Let u(v) = 3*v**2 - v. Let t be u(-1). Let q be (-6)/t - (-2)/(-4). Suppose -k + 5*k + l = -16, -4*l = 16. Is k less than or equal to q?
True
Let c = 892/1043 - -2/1043. Let y be (-19)/((-133)/10) + (-4)/(-7). Which is bigger: y or c?
y
Let p(h) = h**2 + 9*h + 18. Let i be p(-3). Which is smaller: -1/139 or i?
-1/139
Let p = -0.09 + 0.09. Let r(m) = 3*m**2 - m. Let q be r(-1). Let l be -2*1*2/q. Is p bigger than l?
True
Suppose -2*j - 9 = -f, 0 = -2*f - 2*f - 12. Which is smaller: -7 or j?
-7
Suppose 2*q + 2*b - 198 = 0, 2*b = 4*q - 399 - 3. Let j = -1599/16 + q. Are j and 1 unequal?
True
Suppose 3*a - 2 = 2*a, 5*a - 24 = -2*p. Suppose -3*t + 3 = 3*u, -3*u + u = 3*t + 3. Which is s