b be h(i). Which is smaller: b or 9?
9
Let h be 9/(62235/41492) + (2 - 64/8). Is 1 smaller than h?
False
Let y be (2/1 + 1)*2896/(-144). Let l be 3 + -10 + (-43 - 10). Which is bigger: l or y?
l
Let c be (-135)/(-108) + (-2600)/96. Which is greater: c or -27?
c
Suppose -3*x - 2*u + 2198 = 0, -2*u - 1193 - 259 = -2*x. Which is smaller: x or 733?
x
Let s = -4.4 - -5. Let i = 116329 - 116329. Is i at most as big as s?
True
Suppose -5*w + 45 = 5*i, 0*w + 2*w - 5*i = -17. Suppose 4*u + 22 = 42. Which is greater: w or u?
u
Let m = -449 - -449. Let y be ((2 + -1)/1)/(65/(-75)). Is y equal to m?
False
Suppose 5*w + i - 7 = 0, 13 = w + 3*i + 6. Suppose -328*v = -329*v + w. Is v at least as big as 1/526?
True
Let o(x) = -x - 18 - 6*x + 8*x. Let z be o(12). Let p be (-1555)/915 + 2 - (-2)/z. Is 0 <= p?
False
Let d(g) = -g**2 + 4*g + 20. Let s be d(-3). Which is smaller: 2791 or s?
s
Let d = -46 + 80. Let f be (-26)/d + (7 - 3 - 3). Let q be (-1 + 1)/(28 + -30). Which is greater: q or f?
f
Let g be (-39 + 25)*2/(-7). Suppose -3*k - 128 = 4*u, 0 = -g*u - 56 + 72. Is k > -48?
False
Let x = -14652 - -14646. Is x not equal to -48?
True
Let w(m) = -m**3 + 6*m**2 + 2*m - 7. Let p be w(6). Let y(s) = -s**2 + 3*s - 17. Let g be y(5). Let f = -22 - g. Is f > p?
False
Suppose 18*k - 158 = -176. Which is smaller: k or 1/196?
k
Let b = 32 + -16. Let o = 728 - 716. Suppose 12*s + o = b*s. Are 4 and s equal?
False
Let q be ((-12)/18 - (0 - 0))*12. Let m(c) = -c**3 + 16*c**2 + 16*c + 20. Let k be m(17). Let y = -10 + k. Is y less than q?
False
Let a = -379.47 - -377. Let w = 1.47 + a. Which is greater: -10 or w?
w
Let c(x) = x**3 - 10*x**2 + 13*x + 19. Let u(n) = n**3 - 11*n**2 + 13*n + 18. Let z(d) = 3*c(d) - 4*u(d). Let v be z(13). Let s = 2 - 18. Is s not equal to v?
True
Let l = -877/7 + 125. Let i = l + 5/7. Let t be -6 + 5 + 10 + -10. Do t and i have the same value?
False
Suppose 3*n = 15, -o + 140 = 4*o + n. Suppose 38*q + o = 29*q. Is -6/25 at most as big as q?
False
Let a = -5539 - -5511. Which is greater: a or 83?
83
Let j = 16137.1 + -16137. Do j and 104.17 have the same value?
False
Let b = 251 - 245. Let h be ((-22)/3 + b)/1. Suppose 0*v = 5*i + v + 8, -4*i = 5*v - 2. Which is bigger: h or i?
h
Let k be (-1682)/(-42) - (-2)/3. Let a = 3/23068 + -34648241/807380. Let o = k + a. Is -3 less than o?
True
Suppose -6*v + 0*v = -7014. Suppose -v = 5*g - 1154. Which is bigger: -17/6 or g?
-17/6
Let v be (42*34 + -6)/(6/4). Let h = v + -488. Let c be h/45 + 2/(-9). Is c less than or equal to 1?
False
Let x = -18997 - -33263757/1751. Is 1 less than or equal to x?
False
Let t = 14.928 + -15. Let o = t + 0.057. Let y = o - 0.085. Do 0.16 and y have the same value?
False
Let d = 143 + -140. Let p be 492/(-2032) + d/12. Are 0 and p equal?
False
Let q be (20/3 + 6/(-18))/((-104)/(-72852)). Which is greater: q or 4438?
4438
Suppose -15 = -4*y + 13. Suppose z + y = 5. Let g be z*(-2 + 14/4). Is -2 equal to g?
False
Let b = 49314 - 83612. Let y = 34319.057 + b. Let f = y + -0.057. Is -1/2 less than or equal to f?
True
Suppose 1685*r = 1715*r + 30. Is -3/142 at least as big as r?
True
Let u(k) = -10*k + 4. Let a(j) = j - 1. Let p(f) = -2*a(f) - u(f). Let x be p(-8). Let l be (-54)/x + 2/11. Does 2/145 = l?
False
Let z(w) = 15*w - 24. Let t be z(12). Suppose t = -4*v - 2*s, 2*s - s - 39 = v. Which is greater: -37 or v?
-37
Suppose 0 = -r + 5*u + 72, 2*r - 5*u - 169 = -0*u. Let t = 5395 + -37763/7. Is r at most t?
False
Let z(m) = m**2 - 16*m + 18. Let v = 839 - 835. Let y be z(v). Are -61/2 and y equal?
False
Let d(c) = -5*c**3 + c**2 + c - 5. Let m(k) = -2*k**3 - 2. Let g(i) = 3*d(i) - 8*m(i). Suppose 3 = -p + 2. Let v be g(p). Which is smaller: v or -4/23?
-4/23
Let r be (24/13504)/(4/24). Let l = r - -9147/91996. Is l at least as big as 1?
False
Let v = 7975.4 - 8409. Are 0.1 and v unequal?
True
Let q be 236249/(-68)*(2 + -6). Which is bigger: 13898 or q?
13898
Let r = 290.5 + -378. Let y = r + -1.5. Let p = y + 88. Is 36 smaller than p?
False
Let s = 97/462 + -3/154. Let g = s + -146/105. Let o = 0.186 + -4.186. Which is smaller: g or o?
o
Let k = -103 + 98. Let s be 66/15 + k - 3/10. Let q = -20 - -20. Does s = q?
False
Let s be (-8)/4 - ((-96)/50)/(135/150). Is -360 equal to s?
False
Suppose -2*a + 21 = -1. Let o be (a/5 + -4)*(2 - 47). Let l = o - 409/5. Which is bigger: -1 or l?
l
Suppose 2941 - 8431 = -30*z. Suppose -171*x + z*x - 1092 = 0. Let k = 126 - 35. Do k and x have different values?
False
Let m be (-2529)/(-7) + 4*(-2)/28. Let p = 421 - m. Let r = -25 - -86. Is p < r?
True
Let x = -5642762/50481 - -12/5609. Let p = x + 112. Let t = 3891 - 3891.12. Which is smaller: t or p?
t
Suppose 2*q = 2*g - q - 31, 3*q = g - 17. Let n(z) = 2*z - 7. Let j be n(g). Suppose 22*m - 1 = j*m. Which is greater: -1/29 or m?
m
Suppose 0 = 4*o - x - 574, 4*o + 3*x = -79 + 661. Are o and 162 equal?
False
Suppose -301 = -3*b - 4*b. Let p = 67 + b. Suppose 0*g + 4*j = -g + p, 3*g - 4*j = 362. Do g and 1 have different values?
True
Let w be (-21)/(-2394)*-19 - 52966/(-24). Are 2206 and w nonequal?
True
Let f = 39339 - 39378. Which is bigger: -203 or f?
f
Let y be (-3)/6*(-1 - -1). Let t be -5 + -9 - (-17 - 5). Let x be 3/(3 + y) + -9 + t. Which is bigger: -3/22 or x?
x
Let d = 155 + -4. Let b = d + -153. Are 1/2 and b unequal?
True
Suppose -10*r = -14*r - 2*l + 982, 2*r = 2*l + 494. Let o = -256 + r. Which is bigger: -12 or o?
o
Let n be -3 - (108/18*(-2)/(-12) + -6). Which is greater: n or -1039/3?
n
Let n be (115/92 - (325/20)/5) + 3. Let t be 2 + 0 - 56/27. Which is smaller: t or n?
t
Let j = -16178.82 - -16179. Is j less than -5/34?
False
Let d = 194 - 190. Let b(p) = p**3 - 5*p**2 + 9*p - 20. Let y be b(d). Which is smaller: 2/269 or y?
y
Let f = 70.4 + -395.4. Let l = f + 323.51. Let x = -0.49 - l. Which is bigger: x or 0?
x
Let m = 36.38 + 0.12. Let w = m + -6.9. Let u = -30 + w. Is u > 0.11?
False
Let t = 11/26 - 3/26. Is 1/9 at most t?
True
Let l = 218 + -163. Let s be 6 + (-4 - 4) + l. Are s and 53 equal?
True
Let m be 20/30 - 110/(-24). Suppose -7*g = 7 - 0. Let f be 4*((-22)/(-24) - g/3). Which is greater: f or m?
m
Let l(i) be the first derivative of 9*i**2/2 + 75*i + 71. Let h be l(-12). Suppose 2*g - 136 = 6*g. Is h equal to g?
False
Suppose 51*v - 46*v - 5*d - 15 = 0, -21 = -5*v - d. Let w(x) = -x**3 + 3*x**2 + 6*x - 7. Let p be w(v). Which is greater: -1/19 or p?
p
Let f be ((-2)/(-3))/((-2)/(-6)). Let d = f - 1. Let k be 36316/(-70038)*(-1)/7. Is d at least as big as k?
True
Let p = -4239 + 4238.9785. Which is smaller: 0.2 or p?
p
Suppose 13489*g - 13486*g = 318. Is 8 at most g?
True
Suppose -5*j + 5*k + 5 = 0, -k = -2*k. Let g be 8/(j + -3) + (7 - 4). Let r be (g - 1)*14/(-2). Which is smaller: r or 10?
10
Let w(s) = 3*s**3 + 38*s**2 - 74*s - 39. Let r be w(-14). Which is greater: 2344/11 or r?
2344/11
Suppose 181 = -8*z - 2395. Let s be (-310)/(-651)*3/5. Do z and s have different values?
True
Suppose 6506 = -8*x + 16218. Are 1213 and x unequal?
True
Suppose -3 = -3*z, 21*g = 23*g - 2*z + 20. Which is greater: g or -568/63?
g
Let t be 3/(-21) - 2892/(-105). Let n be (-1*(-492)/(-9))/(-2). Let j = n - t. Is j greater than or equal to -1?
True
Suppose -5*j + 124 = -j. Suppose -j*x = -26*x - 40. Let w = 0.2 - 0.1. Is x bigger than w?
True
Let k be (-865)/5730 + 1/6. Let t(i) = -i**3 - 21*i**2 + 165*i + 80. Let y be t(-27). Is k at least y?
True
Let n be (-140)/(-688) + (-2)/8. Let b = 36.6 - 183.5. Let i = -147 - b. Is n at least as big as i?
True
Let i = -1/46 - 181/138. Suppose 2 = -x + 6. Suppose -x*a = -0*a. Is a > i?
True
Let q = -20792 - -20732. Is -51 >= q?
True
Let i be 12/(-10)*(-690)/621*3/4. Which is bigger: i or 8/625?
i
Let o(i) = i**3 + i**2 + 1. Let z(c) = -c**3 - 3*c**2 - 5*c - 6. Let f(a) = -2*o(a) - z(a). Let d be f(3). Let p be d*(1 - 5/4). Which is bigger: p or -9/7?
p
Suppose -93 = 5*l + 227. Let o = 35826 - 35888. Is l < o?
True
Let a = 74/15 - 5. Let u = 21 - 256. Let k = u - -240. Is k >= a?
True
Suppose 35*t + 224 = 28*t. Suppose 4*s + 5*h - 146 = 3*h, -4*h = 2*s - 82. Let v = t + s. Do 7/3 and v have different values?
True
Let l = 182 + -176. Suppose 58*n - 52*n + l = 0. Which is bigger: 34 or n?
34
Let y be ((-22764)/35)/4*5. Let j = y -