 is smaller: f or 1/4?
1/4
Suppose 0*u - 5 = 5*u. Let w be ((-2)/(-18))/((-6)/18 + -1). Which is smaller: u or w?
u
Let y(s) = -s**2 + 161*s + 1700. Let j be y(-10). Suppose -3*h + 8*h = -50. Is h at most j?
True
Let k(n) = -53*n + 1006. Let q be k(19). Let h = 0.07 - -4.93. Which is bigger: q or h?
h
Suppose 3 = 2*w + 1. Suppose -3*q = -c + q + 14, -2*c - 2*q = 2. Suppose 0 = -2*y + h, 0 = -3*y + c*y + h. Which is bigger: w or y?
w
Let v = 201 - 203. Which is greater: v or -4/5?
-4/5
Suppose -22 = -n - 23. Which is smaller: 2/57 or n?
n
Let h = -518.7 - -520. Which is bigger: 1.4 or h?
1.4
Let m(d) = -d**3 - 17*d**2 - 11*d - 68. Let u be m(-17). Is 119 < u?
False
Suppose -2*m + 26 = 3*r - 7*r, 0 = -4*r + 3*m - 27. Let g be (88/16 + r)/((-3)/4). Let j = 0.05 + 0.03. Is j greater than g?
False
Let d(h) = -3*h**2 + 5*h + 3. Let w(p) = -10*p**2 + 15*p + 9. Let b(t) = -7*d(t) + 2*w(t). Let o be b(5). Let v be (-5)/o*26/(-65). Is v at most -2?
False
Let z(j) = j**2 + 16*j + 33. Let v be z(-14). Suppose v*c + 23 + 16 = -f, 9 = -f + 5*c. Is f < -23?
True
Let i(q) = q**2 - 10. Let o(x) = -1. Let c(g) = -i(g) + 6*o(g). Let p be c(0). Let a be ((-6)/p)/((-3)/(-6)). Which is bigger: -4 or a?
a
Let i be (-4 + 1 - -4)*-19. Let v = i - -31. Let b be ((-8)/v)/(14/6). Which is bigger: -3 or b?
b
Let o = 1176 + -330450/281. Which is greater: o or 0?
o
Let f = 3/646 + 4353/1615. Is 3 greater than f?
True
Let r = 7/17 + 13/51. Which is bigger: 3/40 or r?
r
Let w = -15 + -4. Let z = 18.984 + w. Which is smaller: 1 or z?
z
Suppose -11*z + 28 = -2*q - 7*z, 0 = 5*z - 25. Suppose -16 = -4*a, -11 - 1 = -4*u - 4*a. Which is smaller: u or q?
q
Let g = -1.9 - -1.91. Let h = 3.01 - 3. Let q = g - h. Which is greater: -1/2 or q?
q
Suppose -a = -4*i - 32, 2*a - 14 - 30 = 3*i. Let o = -21 + a. Let v = 2/23 - -17/69. Which is bigger: v or o?
v
Let g(d) = -31*d - 5. Let q be g(-2). Let x be (0 - 1) + 9009/q. Let y = 157 - x. Which is bigger: -1 or y?
y
Suppose 0 = 135*p - 142*p + 7. Let x = 61 - 613/10. Are x and p nonequal?
True
Let z be (7 - 4)/(-3) - -116. Which is smaller: z or 0?
0
Let t = -169 - -172. Let z = -5 - -6. Let d be ((-56)/26 - -2)*z. Which is bigger: d or t?
t
Suppose 0 = -6*c - 4 - 14. Let a be 9/6*-8*c/18. Which is smaller: a or 7?
a
Let a = 2553.4 + -2553.45. Let y = 7 - 7.8. Which is bigger: a or y?
a
Let y be (-7)/((-11)/(72/30 - 2)). Is 0 < y?
True
Suppose 2*h = 2*c + 20, -6*h + h - 2*c + 36 = 0. Let x(a) = 4*a**2 - a - 1. Let n be x(-1). Which is smaller: h or n?
n
Let x = 135 - 157. Let m be (-16)/4 - x/2. Is 7 less than m?
False
Let u = -95.3 + 170.3. Is u > -1/6?
True
Let f be ((-32)/40)/(1/(-5)). Suppose f*a - 19 = -3. Let h be 0*3*a/48. Is -1/21 smaller than h?
True
Let k = -30 + 932/31. Suppose 4*c = 4*c + 11*c. Is c less than k?
True
Let o be (3 + 6 + 0)/1. Let k be -3 + 5 - (o/(-3) - -7). Are -5/2 and k equal?
False
Let w be (-123)/198 - (-8)/12. Let g(r) = -6*r**2 + 3*r**3 - 1 + 2*r**3 - 4*r**2 - 9*r - 6*r**3. Let j be g(-9). Does j = w?
False
Suppose k + 3*n = 4, 5*k + 4*n = 6*n + 3. Let m be (-6)/21 + (-2)/(-7). Let p be ((-1)/(-4))/(1 + m). Which is bigger: k or p?
k
Let b = 1222/17 + -72. Let w be 177/472 - 1/8. Which is bigger: w or b?
w
Let y = -23/38 + 2/19. Let b = 26.3 - 4.3. Let z = 22.2 - b. Is z not equal to y?
True
Let x = -655.2 + 661.2. Let n = -5 - -7. Which is smaller: x or n?
n
Suppose -21 = -10*l + 3*l. Let a be 15/(-9)*(-6 - 0). Suppose 3*o - a = -4. Which is bigger: o or l?
l
Let j be (6/4)/((-2)/(-36)). Let x be 3/(-4) + j/60. Which is bigger: -1 or x?
x
Let q = 18 + -23. Let r be (3 + q)*(-6)/(-4). Which is smaller: -9/4 or r?
r
Let r(l) = l**3 + 7*l**2 - 2*l - 5. Let o be r(-7). Let t = 4 - o. Let b be 11/(-55)*(-220)/(-12). Which is bigger: t or b?
b
Suppose 5*a + 0*a - 4*y - 26 = 0, 4*a = -2*y. Let q = 7 + -5. Suppose -q = -2*h + h. Is h greater than or equal to a?
True
Suppose 0 = 2*u - 6. Let i = 39 + -37. Suppose i*z + u = 7. Is -1 less than z?
True
Let l be (-18)/(-8)*64/(-12). Let x be l/(-9) + (-1)/3. Is 1/120 equal to x?
False
Let t = -93/4 + 24. Let r be (5/(-5))/(-3)*3. Which is smaller: r or t?
t
Suppose 0 = -3*d + 7*d - 24. Let y be d/(-18) - 29/(-69). Let n be 3 + (-7 - -1) - -4. Which is bigger: n or y?
n
Let q = 3823/5 + -770. Which is greater: q or 0.2?
0.2
Let k be 53718/(-105) - 4/10. Is -513 >= k?
False
Let i(z) = 13*z**2 - 5*z - 14. Let t be i(-2). Is 49 greater than or equal to t?
True
Let o = 1495/4 - 376. Let v(u) = -1 - 3*u + 0*u - 4*u**2 - 1 - u**3. Let s be v(-3). Is s bigger than o?
True
Suppose 6151 = 3*g - 5*b, g + 2*b - 570 = 1462. Which is smaller: g or 2041?
2041
Suppose -93*j = -87*j. Is j greater than 30.7?
False
Suppose v = -5*n - 37, 3*n - 253 = 5*v - 68. Let z = v - -39. Let f be (2/(-6))/(4/(-6)). Is f not equal to z?
True
Let h = -13 - 10. Let r = -9 - h. Let b = -14 + r. Is 0 >= b?
True
Let w = -4514/9 - -288671/576. Is 1 smaller than w?
False
Let h be ((-2)/(-4))/(1/8). Suppose 0*o + h*o = 44. Let q = o + -12. Is q at least as big as 2/41?
False
Let r = 20.61 + 0.39. Let z = -0.72 + 29.72. Let s = r - z. Which is bigger: s or 0.1?
0.1
Let a = -6 - -12. Suppose 4*d = 4*l - 4 - 8, 3*d + 19 = 5*l. Which is smaller: a or l?
l
Let z = 110 - 130.4. Let m = z - -20. Is 0.08 < m?
False
Let l be 1/((0 + -1)*2). Let i = -3/1262 + -42881/11358. Is i at most as big as l?
True
Let t = 2506.31 - 2506. Are -2/5 and t non-equal?
True
Suppose 9*c - 19 + 1 = 0. Let h be (2/(-25))/(-2*c/20). Are 1 and h equal?
False
Let d(u) = 2*u + 25. Let w be d(-11). Suppose -2*b - 43 = 4*y + 3*b, -5*y + w*b - 100 = 0. Does -20 = y?
False
Let k be (8/(-10))/(6/(-2265)). Let z = k + -3923/13. Is z less than 1?
True
Let f(i) = -2*i**2 - 9. Let c be f(4). Is 0.1 != c?
True
Let b = 25 - 25. Suppose -5*g + 2*q + 55 = -2, -4*g + q + 48 = b. Which is greater: g or 11?
g
Let r = -62 - -18. Let u = -40 - r. Which is greater: u or 0?
u
Let n = 1458 + -1738. Is -278 >= n?
True
Let w(h) = -h**3 + 12*h**2 + 2*h - 28. Let g be w(12). Let f be (g/(-10) + (-72)/80)*3. Is -4 smaller than f?
True
Suppose 0 = -20*y - 10 + 290. Which is bigger: y or -16?
y
Let h = -1316 - -53951/41. Which is smaller: h or 0?
h
Suppose 4*g + 48 = 52. Suppose 4*d + 2*v + 20 = 0, -2*v - 5 = -g. Are -7 and d nonequal?
True
Suppose -3*s + j = 2*j + 83, 2*j = -3*s - 85. Let f = s + 25. Which is smaller: f or -12/7?
f
Let f = 0.767 - -5.123. Is f at most as big as 0?
False
Let l(b) be the first derivative of b**3/3 - 7*b**2/2 - b - 1. Let z(w) = 2*w**2 - 30*w + 36. Let a be z(14). Let u be l(a). Which is greater: 9 or u?
9
Let x = -5 + 1. Let j = 25 - 27. Is j < x?
False
Let h be 186/1209 + (-8154)/52832. Is h > 1?
False
Let l(q) = -5*q + 206. Let b be l(48). Is -11 at most as big as b?
False
Suppose -23*n - 851 = 1541. Do -103 and n have the same value?
False
Let u(f) = -14*f + 80. Let b(r) = 9*r - 53. Let i(a) = 8*b(a) + 5*u(a). Let q be i(12). Which is greater: 1/191 or q?
1/191
Let m be 7/((-14)/(-4))*5. Suppose 41 = -6*t + t - 2*q, -2*t = 4*q + m. Let c be 6/t + (-13)/(-6). Is c <= 1?
False
Let c = -8 - -16. Suppose s + 15 = 3*t - c, -4*t + s + 30 = 0. Let y be (-1 + t)*(-4)/18. Which is greater: y or 0?
0
Let y = -0.07 - -0.17. Let p = 5.7 - y. Let d = p - 6. Is -0.2 bigger than d?
True
Let q = -207 + 205. Let a = 3.08 + -0.08. Which is smaller: a or q?
q
Suppose 12*i - 14*i = 5*f + 2757, -4*f - 3*i = 2200. Is -553 bigger than f?
False
Let u = -790 + 784. Which is greater: u or -7?
u
Let s be (-97)/((-2)/(-6)*(-33)/110). Are s and -1/4 unequal?
True
Suppose t + 7 = 2, 0 = -4*r + t + 361. Let m = r + -78. Is m at least as big as 13?
False
Let s = 1 + 2. Suppose 4*h + 9 = s*h. Let m be ((-6)/h)/(11/(-3)). Are m and 0 nonequal?
True
Suppose 14*x + 2*x + 22*x = 0. Which is smaller: -23/26 or x?
-23/26
Let h = 42/139 + -25633/84373. Which is smaller: h or -1?
-1
Suppose -6 = -a - a. Let d = 13 - 4. Let c = d + -11. Is a > c?
True
Let j(x) = x**2 - 4*x + 4. Let i be j(4). Let q = -16 + 16. Suppose -i*k + k + 15 = q. Which is bigger: k or -1?
k
Let q be -2 + 100 - (-6 - -2). Which is bigger: q or 101?
q
Let k = -7/250 + -979/750. Suppose 3*o + 3 = -4*f + 1, -3*o = -4*f - 14. Let h be (f/(-1) - 2) + -2. Is h < k?
True
Suppose -3*f + 8*f - 65 = 0. Supp