: h or 2?
h
Suppose -5*f + 4*r - 25 = 0, 5*f + 0*r = 5*r - 30. Let n = -4/27 + -19/54. Which is bigger: n or f?
n
Suppose -10 - 5 = -3*d. Suppose 0 = -c + 4*t - 0 + 4, -d*c + 2 = -2*t. Which is smaller: -2/3 or c?
-2/3
Let n = 1 + 4. Suppose 0 = 2*m - n*m. Is m <= -1/4?
False
Let v(u) = -u**2 + 3*u - 2. Let k be v(1). Let g be (-10)/(-3)*(-3)/(-2). Suppose 2*p = f - k*p + 9, 0 = 5*f - g*p + 25. Which is smaller: 1/5 or f?
f
Suppose -5*h = -3*o - 28, -4*o - h = -3 + 2. Which is greater: 6/65 or o?
6/65
Let i(b) = -b**2 - 15*b - 51. Let r be i(-6). Let n be 8/10*(-20)/(-6). Which is greater: n or r?
r
Let v be 6*(-2)/(-1 - -3). Which is greater: v or -14/3?
-14/3
Let t = 2 + 8. Let d be (2/6)/((-4)/24). Let y be d/2 + t/14. Which is bigger: -1 or y?
y
Let y = -26 - -31. Which is greater: 3 or y?
y
Let l = 230011 + -77053608/335. Let r = l + -2/67. Is r at most 0.1?
False
Let u = 1 - -3. Let w be (-3)/u*(-4 + 16). Which is smaller: -10 or w?
-10
Let t(c) = -c**2 - c - 1. Let a(z) = z**3 - 4*z**2 + z. Let s(n) = -a(n) + t(n). Let y be s(2). Suppose -x = 2*x. Is y greater than or equal to x?
False
Suppose 5*q - l - l - 44 = 0, -2*l = 4. Which is smaller: q or 6?
6
Let z = -16 - -16.1. Is -3 bigger than z?
False
Suppose -209 + 41 = -4*a + 4*x, x = -a + 32. Which is greater: a or 36?
a
Suppose t - 6*t - 35 = 0. Let w be 6/t + 1 + -1. Is w < -2?
False
Let l = -4 - -10. Let m = 6 - l. Suppose m = z + 3*z. Is -1 < z?
True
Suppose -18 = 2*a + a. Let d be -1 + (-1 - (a - 1)). Suppose -d*g + 0*g = 0. Is -2/9 <= g?
True
Suppose -5*a = -5*j + 20, 3*j + j = 5*a + 17. Let q be a/2*-4 - -4. Which is bigger: q or 5?
q
Let b = 0.12 - -4.88. Let v = -71/3 - -23. Is b at least v?
True
Suppose -4*s + 3 = -1. Let b be ((-3)/(-2) - s)*0. Let t = -113 - -117. Which is greater: b or t?
t
Let x = 38 + -38. Let n be 1 + 2 + (-32)/11. Which is smaller: n or x?
x
Let a = -54.3 - -16.3. Which is greater: a or 0?
0
Let s = -6 - -4. Let k be 18/4*12/s. Let j be 6/k + (-49)/(-18). Is 2 smaller than j?
True
Let p = -0.1 - -0.1. Let a = 1.4 - 1.6. Let m = p - a. Which is greater: -0.2 or m?
m
Let g(w) = -7*w**3 - 2*w**2 - w + 2. Let o be g(1). Suppose 12 = 4*s + 36. Let y = o - s. Is y at most -1?
True
Let n(r) = -r**2 + 8*r - 1. Let d be n(7). Let i be 12/20 + d/(-10). Suppose i = -9*m + 4*m. Which is smaller: 7/5 or m?
m
Let s = 11 + -8. Let v be 2 - s/3 - -1. Suppose 3*m = -v*m. Which is bigger: -1/4 or m?
m
Let y = -3324/7 + 470. Is -6 smaller than y?
True
Suppose 5*t - 2 = 7*t. Let y be (-4)/18 - (-2)/9. Suppose y = d + 2*d + 6. Which is bigger: t or d?
t
Let h be (-5 + 1)*3/4. Let n(p) = p**2 + 8*p + 4. Let b be n(-7). Is h greater than b?
False
Suppose 2*n = -2*h - 24, 3*n + 6 = 5*h + 42. Let z be 1/(1 - h/(-6)). Let m = 4 - 6. Is z less than or equal to m?
True
Let v = 18 - 3. Let a = -14.8 + v. Are -1/3 and a nonequal?
True
Let p = -56/39 - -10/13. Which is greater: p or -62?
p
Let i(y) = y**3 + 9*y**2 + 8*y + 2. Let v be i(-8). Suppose -v*w + 5 = 1. Let c be (1/w)/((-6)/12). Which is bigger: 0 or c?
0
Let x = -16 + 40. Suppose y + x = 5*y. Suppose 4*t + 4*h - 12 = 0, -2*t + y = -2*h - 3*h. Are 3 and t equal?
True
Let l = -16 - -13. Is 0.1 < l?
False
Suppose -5*h + 7 = -4*s, -2*s + 13 = 2*h + h. Suppose 5*k - 90 = 2*k. Let y be 78/k - 3/5. Is s at least as big as y?
True
Suppose -3*l - 2 - 7 = 0. Which is greater: l or 1?
1
Let b = 0 - 1. Let g(z) = z + 3. Suppose -5*j + 2*l = 9, -3*j + 4*l + 6 = -j. Let i be g(j). Which is greater: i or b?
i
Let h be (18/21)/(3/14) - 2. Is h <= 0.11?
False
Let q = 1/19 - 24/95. Suppose 15 - 3 = -4*x. Let i be (-1)/(-3) + (-2)/x. Which is bigger: q or i?
i
Let u(s) = -s**3 + 16*s**2 - 5*s - 3. Let f be u(16). Is f bigger than -84?
True
Suppose 2*p + 5 = 3*j, 5*j - 5*p + 9 = -6*p. Let m be 275/95 + 3/j. Which is bigger: 1 or m?
1
Let q be (-32)/20 - (-4)/(-10). Let n be (-1 - 14/q) + -2. Let r be n/14 + (-29)/77. Is r smaller than -1?
False
Let w be 2/8 - (-6)/(-56). Let i(a) = a**2 + 9*a - 10. Let o = -12 + 2. Let c be i(o). Is c < w?
True
Let u(y) = y**3 + 25*y**2 - y - 26. Let x be u(-25). Are -1/120 and x unequal?
True
Let g = 37/14 + -45/14. Let q = 3/7 + g. Let z be -2 + (4 - 2 - 1). Which is smaller: z or q?
z
Let w = 8 - 4. Let s(t) = 9*t - w*t + 1 + 0*t. Let p be s(-1). Which is smaller: p or -3?
p
Suppose m + o - 3*o - 9 = 0, -4*m + 36 = 2*o. Which is greater: 10 or m?
10
Let x be -1 + (939/189 - 4). Is x smaller than 0?
True
Let o be (3 + -6)/(-3)*0. Let x = o + 2/5. Which is bigger: -1/4 or x?
x
Suppose y + 7 = -3*h - 3*y, -5 = 5*y. Suppose 544 = -5*l - 136. Let i be 2*(3 - l/(-46)). Which is smaller: h or i?
h
Suppose -6*w = -3*w - 63. Let t be 14/20*12/w. Is 3 > t?
True
Let p = 288 + -3746/13. Which is smaller: 1 or p?
p
Let q = 1.23 + -0.39. Let s = q - 0.9. Is 0.1 greater than s?
True
Suppose -2 = 2*w + r - 0*r, -4*w - 4 = -2*r. Let i = w + -2. Is -2 at least as big as i?
True
Let v = -1 - -2. Let x = -342 + 8552/25. Which is greater: x or v?
v
Suppose -d = i - 4*d + 9, 4*i - 5*d = -15. Suppose -z = 1 - i. Suppose -5 = -v - 4*v, 0 = -4*l + 2*v - 2. Is l not equal to z?
True
Let k be (1 - 11)*9/(-18). Is k at most 6?
True
Suppose 3*l + 91 - 28 = 3*c, 5*l - c + 101 = 0. Is -22 at most as big as l?
True
Let l be 1/4 + 30/(-24). Let c be l - (-5 + 0 + 1). Suppose -3*z - 6 = 3*v, c*z - 5*v - 7 = 3. Which is bigger: -2 or z?
z
Let m = -9.01 + 0.01. Let t = m - -3. Let u = 3 + t. Which is greater: -1 or u?
-1
Let l = 8.5 - -1.5. Let d = -22 + 21. Which is greater: l or d?
l
Let n = -0.4 + 0.3. Let v = 0 - n. Let o = v + 0.1. Is o less than -2?
False
Let a(x) = 13*x - 1. Let w(m) = m. Let j be w(1). Let s be a(j). Suppose 4*n + s = n. Are n and -3 nonequal?
True
Let z = -0.2 + 0.1. Is z greater than -15?
True
Let c = 0.06 + -0.36. Suppose -5 - 5 = 5*t. Is t at least as big as c?
False
Let d = -0.34 + -0.06. Let p = d + 0.4. Which is greater: 0.1 or p?
0.1
Let y = 9 + -9.07. Let z = y - -0.04. Let s = z + -0.07. Which is bigger: s or -0.07?
-0.07
Let g = 78/5 - 536/35. Which is smaller: g or 1?
g
Let f = -2.99 + -0.01. Let c = f + 5. Let o = -3.1 + 3. Which is greater: c or o?
c
Suppose h + 1 = -2. Let q = -3 - h. Let j = -32/5 + 86/15. Which is greater: q or j?
q
Suppose 0 = 2*h + 3*h. Let v be 3 - h/((-2)/2). Is v greater than 3?
False
Let n be (-2 - 2)*(-3)/(-6). Which is smaller: -1/2 or n?
n
Suppose -5*f = 4*b - 2, -5*f - 7 = -b + 2*b. Let p be 19/4 + -1 + f. Let h = p - 1/4. Which is greater: h or 2?
2
Suppose 0*d + 2*d - 2 = 0. Let o be 33/9 + (-2)/3. Is o greater than or equal to d?
True
Let t = 170/123 + -4/3. Which is bigger: 1 or t?
1
Suppose -5 = -y - 7. Let a be y/(-7)*3/18. Is a less than or equal to 1?
True
Let c be 1/3 - (-32)/(-6). Is -6 greater than or equal to c?
False
Suppose -l - 2*y = 3*y - 22, -2*y + 12 = 2*l. Do l and 10/13 have the same value?
False
Suppose -4*z - 30 - 21 = -p, -5*z + 3*p - 55 = 0. Let i be 2 - ((-48)/z)/2. Which is bigger: 0 or i?
i
Let x be -4 + 3 + (-5)/(-3). Let v = -0.7 - -0.3. Let w = v - -0.5. Which is smaller: w or x?
w
Let d be 4*(-4 + 2)/52. Is -0.4 at most d?
True
Suppose 0 = -b - 2*r - 3*r + 25, -4*b + 4*r + 28 = 0. Let x be (-18)/(-39)*b/(-15). Which is greater: x or -1?
x
Let f be (-2 - 1)/((-8)/(816/(-9))). Which is greater: -36 or f?
f
Let c = -46.8 - -51. Let s = 0.2 - c. Let w = s + 4.1. Is w not equal to -1/5?
True
Let l = 0.2 + -0.1. Let b = 4 - 3. Let s = -2 - b. Which is smaller: s or l?
s
Let c = 57.23 - 57. Let u = -0.03 + c. Let s = -1.96 + -0.04. Which is bigger: u or s?
u
Suppose 4*c + 4*d - 27 - 69 = 0, 2*d - 71 = -3*c. Is 22 at least as big as c?
False
Let t be (-2552)/(-143) - (-4)/26. Which is greater: 19 or t?
19
Let d(p) = p - 6. Let u be d(6). Suppose 2*b - 1 - 3 = 0. Are u and b equal?
False
Let q = 19 + -137/7. Let d = 3 - 4. Is d not equal to q?
True
Let b = -12 + 21. Let a be b/(-180) + 1/(-5). Which is smaller: 0 or a?
a
Let t = -0.02717 + 27.83717. Let r = -28 + t. Let l = 0.01 - r. Do 0.2 and l have the same value?
True
Let z = -18 + 21. Let k = -3.18 + z. Is 0 < k?
False
Let d(y) = -y**2 - 6*y - 9. Let t be d(-8). Let f = -9 - t. Suppose 0 = -g + 3 + 1, 4*j - 4*g = -f. Which is smaller: j or 1/6?
j
Let h = 0.08 + 18.92. Let z = -19 + h. Is 16 e