han or equal to i?
True
Let f be 14/(-63) - (-94)/342. Which is bigger: f or -1?
f
Let h = 0.85 - 1. Let t = -0.45 - -0.4. Let k = h - t. Which is greater: k or 2/3?
2/3
Let n = -11 - -8. Let v = 3.1 + n. Let w = -0.2 + v. Which is greater: w or 0.1?
0.1
Let o = 503/291 - 6/97. Let f be (-6)/(-2)*(-22)/(-33). Which is bigger: f or o?
f
Suppose -h + 2*d + 6 = 0, -3*h - 18 = -d + 4*d. Let f = -1 - h. Let c be (4 - 8)*(0 + f). Which is greater: -3 or c?
-3
Suppose 2*w + 0 = 2. Let v be (0 - w)/(-1 + 0). Let u = 69 - 275/4. Which is smaller: u or v?
u
Let b = 169/435 + 1/87. Let r = 0.8 - 0.7. Which is smaller: r or b?
r
Let b = -28 + 62. Let v = -35.96 + b. Let z = 0.04 - v. Is z smaller than -2?
False
Let c(y) be the third derivative of y**4/12 + y**3/2 + 5*y**2. Let s be c(-3). Suppose 4*k + 1 = -11. Is s bigger than k?
False
Suppose -5 - 25 = -5*u. Suppose -u*k + 4*k + 4 = 0. Suppose -k*z + 0 - 2 = 0. Which is bigger: z or 1/3?
1/3
Let w = 50 + -44. Suppose p + 35 = 6*p. Are w and p unequal?
True
Let b = -7 - -5. Let g be b/5*-1 - 1. Suppose 5*q + 0*q = 0. Is q equal to g?
False
Let k be (-2)/3 + 145/15. Is 7 at most k?
True
Suppose 0 = -6*y + y. Is y equal to 0?
True
Let c = -4.74 + -1.36. Let g = c - -6. Are 0.3 and g non-equal?
True
Let i = -56/5 - -178/15. Do i and 0.02 have different values?
True
Let v be (-79)/(-6) - 3/(-6). Let j = 37/3 - v. Let h = 0.16 + -0.06. Is h > j?
True
Suppose -3*z = -6*z + 57. Let n = z + -14. Which is bigger: n or 3?
n
Let n = -29/240 - -3/16. Which is smaller: n or 1?
n
Let o be (-2384)/(-56) + (-4)/7. Let b be 10/(-4)*o/(-35). Suppose -2*z = 4*h - 0*z - 6, -10 = -4*h + 2*z. Is b < h?
False
Let p(c) = -c**2 + c + 3. Let d be p(6). Let y be -2 + 2/((-6)/d). Is 1 at most as big as y?
True
Let w = 0.215 - 6.295. Let d = w + 6. Let k = d + -1.92. Is k < -0.1?
True
Let j(f) = -9*f**2 + f**3 - 3*f - 5 + 13*f - f. Let b be j(8). Suppose 0 = 3*c - 0 + b. Is c less than -2/15?
True
Let z = -13 - -2. Let c = 43/4 + z. Which is smaller: 0 or c?
c
Let d be 2/4*(-3 - -1). Let h be ((-6)/27)/2 - 0. Which is smaller: d or h?
d
Suppose 0*p - 50 = -5*p. Let h be ((-5)/15)/(p/(-24)). Which is smaller: h or 0?
0
Let s = 14 - -2. Suppose 3*h + 22 = -5*r, -r - s = -3*r + 5*h. Is r greater than -2?
False
Let n = -1/176 + 199/176. Let t = n + -7/8. Is 1 < t?
False
Suppose -k = 2*k - 3. Let o be k - 1 - 10/65. Which is greater: -1 or o?
o
Suppose -1 = -2*z - 3. Let i = z + 1. Is 1 < i?
False
Let b be (-4)/6*9/6. Which is smaller: b or -2/21?
b
Let i be 152/280 + -2 + (-13)/(-7). Is i smaller than 1?
True
Let f = -0.01 - 0.09. Suppose 0 = 5*d - i - 12, 3*d - 2*i + i = 8. Suppose d = 4*m + 6. Is f <= m?
False
Let z = -0.4 - -0.31. Let a = z + -0.01. Let w = -4 - 4. Is a > w?
True
Let v(r) = r**2 - 4*r + 3. Let n be v(3). Which is smaller: 6 or n?
n
Let j = 24.7 + -14.7. Let t be 2/6 - 2/(-12). Which is greater: t or j?
j
Let b(l) = l**2 + 3*l + 1. Let t be b(-3). Let y = 412/3 + -137. Is y less than t?
True
Let m = -44716 - -312015/7. Let k = m - -142. Suppose 0 = 3*g - 3. Which is smaller: g or k?
k
Let z be (1 + 3/(-8))*-2. Let h = -6.38 - -5.38. Which is smaller: h or z?
z
Let z be (-64)/(-10) + 4/(-10). Suppose -6 = -2*q + z. Let h = q + -7. Is 1/5 at least h?
True
Let c(r) be the first derivative of -r**4/4 - 11*r**3/3 + r**2/2 + 10*r - 2. Let i be c(-11). Is 1 bigger than i?
True
Let q(x) = -x**2 + 6*x - 5. Suppose 2*l - 11 = -1. Let c be q(l). Which is greater: c or 2/13?
2/13
Suppose 0 = -4*f + 7*f. Suppose f*j = 4*j - 16. Is 5 bigger than j?
True
Let b = -19 + 12. Let k = -3 - b. Let j = k + -3.9. Is 0.3 < j?
False
Let s = 3.7 - 2.7. Are -2/7 and s non-equal?
True
Let k = -4.8 + 2.8. Is k at most as big as -1/3?
True
Let g = 10 + -6. Let j = 5 - g. Is j at least as big as 0.4?
True
Let c be (2/44)/1*-1. Suppose -10*n = -192 + 182. Is c less than or equal to n?
True
Suppose 3*i = -5*x - 20, -2*i = 5*x - 7*i + 60. Which is smaller: x or -4?
x
Let g be (-4 - -5)*(14 - 1). Let s = -23 + g. Let y(l) = l**2 + 9*l - 10. Let c be y(s). Which is smaller: c or 2/21?
c
Suppose -3*z + 16 = 1. Let x be (-7 + z)*1/2. Is x at most 2/11?
True
Suppose 0 = -0*j - 9*j. Let v be (-18)/(-68)*(-4)/3. Do j and v have different values?
True
Let n be 3/4 + (3 - (-132)/16). Is n smaller than 12?
False
Let q = -1 - -0.9. Let x = 84 - 59. Let k be (-4)/(-10) + (-110)/x. Which is smaller: q or k?
k
Let l be (-4)/2*(-16)/40. Which is smaller: 2 or l?
l
Let k be (-4)/88*76/2. Which is bigger: k or -3?
k
Let t = 5769/11 + -923271/1760. Let a = 1/32 + t. Which is smaller: a or -1?
-1
Suppose -4*i + 30 = -r, -2*i + 2*r - r = -14. Let o = 12 - i. Suppose -o*u + 15 = x, -2*u + u + x = 0. Is u equal to 1?
False
Let y = -29 + 28. Is y greater than or equal to -1/3?
False
Let h = -110 + 1429/13. Which is greater: h or -1?
h
Let q = -39 - -11. Is q < -28?
False
Let k = -11.1 + 11. Let d = k - -0.2. Is -5 at least d?
False
Suppose 0 = 2*q - 0*q + 12. Which is smaller: 6 or q?
q
Suppose 5*k + 4*w - 1 = -16, 2*k - 22 = 4*w. Which is bigger: 0 or k?
k
Let i(b) = b**3 - 3*b**2 - 3*b - 2. Let u be i(4). Let x(c) = 2*c + c - c**u + 2*c + 1 + 0*c. Let m be x(5). Which is bigger: -1/5 or m?
m
Let b be ((-6 + -4)/5)/(-2). Let f be (-2)/(-3) - (-26)/6. Which is smaller: b or f?
b
Suppose 0 = -q - 3*q - 24. Let p be (2/32)/((-1)/q). Which is smaller: -1 or p?
-1
Suppose -18*v - 52 = -22*v. Which is bigger: 2 or v?
v
Let q be (-7)/(-35) + (-42)/110. Which is smaller: 0 or q?
q
Suppose -3 = t - 2*t. Let q be (-5)/20 + t/(-20). Is q <= -2?
False
Let w(b) = -b**2 + b - 9. Let u be w(0). Is u > -11?
True
Let l = -8 - -14. Let i = -2.7 - -2.8. Which is smaller: l or i?
i
Let w = 0.19 + 7.81. Let p = w - 4. Let o = 3.8 - p. Which is smaller: 0 or o?
o
Let y = -4 + 3. Suppose 3*f - 134 = -137. Is f not equal to y?
False
Let s be 5/(-35) + 54/(-14). Let y be s/(-26) - (-96)/390. Is y != -2/7?
True
Let w(p) = p - 7. Let b be w(7). Which is greater: -2/7 or b?
b
Suppose 0 = -3*f - 2*v + 7*v + 2, v + 22 = 3*f. Which is smaller: 11 or f?
f
Suppose 0 = -3*q - z - 5, -7 = 5*z + 18. Which is bigger: -4/17 or q?
q
Suppose 0 = -2*h - 3*h. Let d = 0 - h. Is d smaller than 3?
True
Let l be (2 - 3/2)*-2. Which is bigger: -2 or l?
l
Let d = -145466/1899 + 291/211. Let t = d - -75. Is t equal to -0.2?
False
Let d = 8 + -2. Let w = 8 - d. Suppose 3*k - 4*z - 7 = 14, -3*z - 24 = -5*k. Is k bigger than w?
True
Let o be (-3)/(-6)*8/2. Suppose o*a - 3 = a. Which is smaller: 2 or a?
2
Let g be 1 + -4 - (-14)/6. Which is smaller: g or -0.3?
g
Let b = 2.955 - -0.045. Is -0.1 equal to b?
False
Let t be ((-80)/22)/4 - -1. Is 1 <= t?
False
Let d = -13 + 14. Which is smaller: d or 4?
d
Let d(g) = g**2 - 4. Let q be d(4). Is q equal to 34/3?
False
Let d = -574 - -16644/29. Is d != 1?
True
Let p = 10 + -7. Suppose 0 = p*f - f + 4. Let d be 0 + (0 - -3) + -4. Which is bigger: d or f?
d
Let a = 33 - 15. Suppose 2*g = 4*d + a, 4*d + 3 = -5*g - 22. Let b be (-5)/30 - (-3)/234. Which is smaller: g or b?
g
Suppose 4*n = 2*f + 14, -f - 2*f = -5*n + 20. Is n at most as big as 1?
True
Let k = 41 - 52. Is 1/3 greater than k?
True
Let c = -50/7 + 8. Are c and 1 equal?
False
Let m = -21 + 20. Which is smaller: 3/11 or m?
m
Let a = -615/2 - -317. Is a > 10?
False
Let y be (6 + -2)/4*1. Is 6/13 smaller than y?
True
Let v be (-44)/(-77) - 60/154. Suppose -k + 0 = -1. Which is smaller: k or v?
v
Let k(b) = -65*b**2 - 3*b + 2. Let j be k(2). Let n be 2/3 + 224/j. Is 1 <= n?
False
Let o be -1*1*(-7 - -5). Suppose -x - 11 = 4*g, -g - 5 = -o*x - 0*g. Is -2/9 > x?
False
Let l = -11 + -1. Let h = 32 + -15. Let k = l + h. Which is greater: k or 2/7?
k
Suppose 0 = -5*b - 0*b - 35. Let y = 10 + b. Is 0 at least y?
False
Suppose 5*r + 4*t = 2 + 1, r = -3*t + 5. Suppose 4*a = -20, -n - a + 3*a + 6 = 0. Let o = n + 4. Which is smaller: r or o?
r
Let w = 30323404/298963 - 2/42709. Let z = 102 - w. Is z at most 1?
True
Let s = -5.1 + 5. Let h = 0.07 + s. Is h <= 1?
True
Suppose -3*n - 25 = 5*w, 4*n + 5*w + 31 = 6. Let z = -6/5 - -7/10. Let i = z + 1/6. Which is bigger: n or i?
n
Let f = -40.9 + 10.9. Are f and 2 nonequal?
True
Let o = 3 - 0. Let a(p) = -p**2 + 2*p + 4. Let k be a(o). Is 2 less than or equal to k?
False
Let n = 22 - 22. 