 big as 18?
True
Let i be 2/((-12)/53810) + (-28)/42. Let q = 2089780/233 + i. Which is smaller: 0 or q?
0
Suppose 0 = 18*i + 11*i. Suppose 5*d + 546 = 2*d. Let z be (-2)/4 - 203/d. Is z equal to i?
False
Let q(c) = -17*c + 123. Let u be q(7). Let j be u/(-16) - (-1872)/(-448). Which is smaller: j or -5?
-5
Let u be -6*(0 - 4/(-12)). Let r be (-2245)/(-75) + 16/240. Is u at least r?
False
Let r = 259/12 - 613/3. Which is greater: -183 or r?
r
Suppose -3*o + 201 = -180. Let s = 367/3 - o. Let z = 5 + s. Is -0.8 not equal to z?
True
Let q = -243 - -162. Let b = 91 + q. Is b greater than 7?
True
Let v = 6113/65888 - -2/2059. Let m(a) = a**3 - 9*a**2 + 8*a + 1. Let u be m(8). Is v > u?
False
Let g(q) = q - 9. Let c be g(4). Let w(u) = -u**2 - 26*u - 163. Let k be w(-13). Does k = c?
False
Suppose 3*i = -52*i - 85*i - 17780. Which is bigger: -128 or i?
i
Let i = -2.3836 + -26.2024. Let y = -0.414 + i. Is y at least -2?
False
Let w = -16.4 + 43.8. Let p = 27.1 - w. Which is smaller: p or -6.3?
-6.3
Let x = 0.9 + 2.3. Let n = -0.4 + x. Let h = 0.09318 - -0.00682. Is h greater than n?
False
Let s(m) = 6*m - 18. Let n(b) = -b**2 - 12*b + 5. Let f be n(-11). Let y be s(f). Suppose 4*w - 3*h - 6 - y = 0, 5*w - h = 116. Which is smaller: w or 26?
w
Let c(x) = -x**2 + 11*x + 152. Let p be c(19). Suppose p = -7*s - 1414 + 7. Is -201 greater than or equal to s?
True
Let c = -89/114 - -16/57. Are 233 and c equal?
False
Let u(o) = o**3 - 6*o**2 + 7*o - 6. Let d be u(5). Let c(y) = -y**3 + 6*y**2 - 8*y + 2. Let a be c(d). Suppose -a*j - 46 = -48. Is j bigger than 1/84?
True
Suppose 5*k + 5278 = -3*h, -76 = 2*k + h + 2035. Is -1057 at least as big as k?
False
Let r(b) be the third derivative of -1 + 2*b**2 - 1/2*b**4 - 1/30*b**5 + 1/6*b**3 + 0*b. Let q be r(-6). Is q smaller than -1/14?
False
Let g = -3/14351 - -44114983/43053. Which is bigger: 1026 or g?
1026
Suppose -10*t = 77*t + 1111338. Are -0.1 and t equal?
False
Suppose 2*t + 2*t = -u + 23, -15 = -3*t. Suppose k = -2 + u. Let b = -2472 - -19777/8. Is b less than or equal to k?
True
Let o = -1368 - -466. Let u = -12619/14 - o. Is 0 bigger than u?
False
Suppose -5*d = -h - 9429, 22*d - h = 24*d - 3766. Which is smaller: d or 1884?
1884
Let f = 162/11 + -2776/187. Let y = -19.4 - 27.6. Let b = -51 - y. Is b bigger than f?
False
Let p(a) = 16*a - 71. Let o be p(4). Let c = -649 - -643. Is o at least as big as c?
False
Let m = -250.32 - -250.206. Which is smaller: -2/283 or m?
m
Let j(k) = k**2 + 5*k - 5. Let z(l) = -2*l**2 - 4*l + 5. Let r(t) = 3*j(t) + 2*z(t). Let s be r(6). Let u be ((s + 3)/(-4))/(-1). Is 12 at most u?
False
Let q = -115 + 298. Suppose 180*x = q*x + 96. Is -32 at least as big as x?
True
Let f be (-3)/(-6)*((-33232)/4610 + -2). Let u = 2/461 + f. Let w = -24 - -18. Which is greater: w or u?
u
Let d = -4750/37 + -86843/185. Let a = 615 + d. Let l = -17 + a. Does 0.2 = l?
True
Suppose -3*n - 557 = 4*d, -d - 281 - 270 = 3*n. Let b = n + 158. Which is greater: b or -27?
b
Let p(m) be the first derivative of m**2 - 32*m + 17. Let r be p(18). Suppose -8*b - r = -12*b. Is b at most -6/17?
False
Suppose 207 = 4*x + 211. Let j be ((-8)/20)/(x/(-30)). Does j = -6?
False
Let f be ((1 - 1) + -1)*1. Suppose 22 = 4*l + 10, -5*j + 4*l - 32 = 0. Is j < f?
True
Let l = -119 - -64. Let y = 47 + l. Which is greater: y or -9?
y
Let i(a) = -a**3 + 2*a**2 - 3*a + 1. Let r be i(2). Let k be 9/(4/20 - 4/r). Suppose -k*o = -10*o. Is o >= -1/3?
True
Suppose -3*n + 5 = 26. Let k = 0.2802 - 0.3802. Are k and n non-equal?
True
Let u(f) = f**3 - 6*f**2 + 2*f + 13. Let w be u(5). Let n be (1 - (-4)/w)*50/(-125). Is 57 bigger than n?
True
Let n be (-3)/(-5) - (-296)/(-185). Which is smaller: 5/144 or n?
n
Let s = 1.2702 - 1.3702. Which is greater: -8797 or s?
s
Let m = -205032590317/4300 + 47681996. Let v = 2/1075 - m. Which is bigger: -2 or v?
v
Let l = 3.54 + -167.54. Let o = l + 173.8. Which is smaller: 0.1 or o?
0.1
Let r = -5422.9 + -459.1. Is -2 at most as big as r?
False
Let y = -16 + 18. Suppose -y = 2*v - l, 10 - 8 = 3*v + l. Which is greater: -16/11 or v?
v
Let z = 8 - 6. Suppose -b - 3*j + 118 = -8*j, -3*b + 328 = -z*j. Let m = -94 + b. Which is smaller: m or 5?
5
Suppose -389 = 4*b - 1265. Suppose 0 = 36*m - 1114 - 4466. Suppose q - b = -m. Is 63 greater than or equal to q?
False
Let j(x) = 233*x + 3036. Let h be j(-13). Suppose -777 + 231 = 3*o. Let y be (o/(-40))/h + 1/(-4). Which is smaller: -1/4 or y?
-1/4
Let j be 10/(-65) - (-4)/26 - 2. Let u be ((-18)/j - 2) + (-4 - -6). Suppose 3*o = u*o + 60. Which is bigger: -12 or o?
o
Let t(g) = -g**3 + 27*g**2 - 5*g - 131. Suppose 243 - 729 = -18*z. Let y be t(z). Which is smaller: -265 or y?
y
Let a(k) = 54*k - 10. Let g(u) = -107*u + 19. Let c(y) = -7*a(y) - 4*g(y). Let f be c(-3). Which is smaller: f or -155?
f
Let o be 13/10*-8 + 2. Suppose 21*n = 11 - 179. Is o > n?
False
Suppose 2*q = -5*o - 38 + 333, 0 = -3*o + q + 166. Suppose -x - 5*s - o = 0, -6*x + s - 123 = -3*x. Let b be ((-4)/(-6))/((-4)/x). Which is bigger: b or 5?
b
Let i be 2 - 143/13 - 9. Is 16 greater than or equal to i?
True
Let x be ((-64)/5)/((-10)/3025). Let g = 19614/5 - x. Let m = g - 51. Which is greater: m or 4?
4
Suppose 5*c = 2*c + 2*w - 57, -c = -4*w + 29. Let z = c + 16. Suppose 0 = b + 2*r + 7, 2 = -5*b - 3*r + 4*r. Are z and b equal?
True
Let q(r) = -r**2 - 17*r - 1. Let p(c) = 7*c**2 + 2*c - 13. Let w be p(0). Let x be q(w). Which is smaller: 1/3 or x?
1/3
Let z = -1123/24 + 283/6. Is 0.58 smaller than z?
False
Let m be 2*(-9)/(-15)*(1 + -6) - -17. Suppose 2*g = 3*k - 50, 5*k - 4*k - 3*g - 26 = 0. Which is smaller: k or m?
m
Suppose 60 - 20 = 5*h. Let k(g) = -23*g - 2*g**2 + 23*g + 8 + g**2. Let x be k(0). Is x at most as big as h?
True
Let o(w) = -42*w**3 - 1. Let u be o(-1). Suppose -8*s + 3*s - 107 = 2*z, -2*z - 92 = 2*s. Let r = u + z. Is -1/8 > r?
False
Let p = -1260.4 - -1167. Let m = p - 1.6. Let v = 71 + m. Are 0 and v unequal?
True
Let t = -1537 - -3169. Suppose 0 = 10*y + t - 452. Is y equal to -116?
False
Suppose 25*y - 12*y = 78. Let z = -174 - -896/5. Which is smaller: y or z?
z
Let i be 3/68 - (-1 - -1). Let z be 9/((-108)/(-66))*-36. Let n = 197 + z. Is n at most as big as i?
True
Suppose -h = 5*y - 4062, 20*h + 4054 = 5*y + 22*h. Is y <= 7336/9?
True
Let u be (-61)/(-9) + (3 - 6). Let z = 1328 - 1325. Which is greater: u or z?
u
Suppose 83*n + 13 - 96 = 0. Which is smaller: n or -1/1222?
-1/1222
Suppose -q + s = -460, 3*q - 4*q + 460 = -2*s. Let t be ((-46)/q)/((-4)/(-15)). Is t >= 1?
False
Let j = 1655 - 3704. Let b = 2056.128 + j. Let s = 0.128 - b. Which is smaller: s or 2/23?
s
Suppose 29*v + 40*v = -621. Let n = -1/2879 - 322437/31669. Which is greater: n or v?
v
Let g be (-1460)/(-208) - 3*(-21)/(-9). Which is bigger: g or 2/43?
2/43
Let n = -0.79 + 0.05. Let a = n - -0.43. Let y = -1903 + 1901. Which is bigger: y or a?
a
Let x(s) = 28*s + 280. Let k be x(-10). Suppose 3*o = -5*j + 5*o, -17 = -4*j + 5*o. Let v be 810/258 - ((-4)/j - -1). Which is bigger: k or v?
v
Let w be (-33)/(-22)*16/6. Suppose 4*x - 14 = k - w, k + 7 = 3*x. Suppose c + x*u = -c + 2, -2*c + u = 14. Is c bigger than -5?
False
Let r be 1 - 2 - (-4 + 2). Let u = -5 + 16. Suppose r = -b + u. Which is smaller: 9 or b?
9
Let h = -29.445 + 25.545. Do h and -24/7 have the same value?
False
Suppose 0 = -n + 5*n + 2526 - 254. Which is smaller: n or -564?
n
Suppose 5 = -657*c + 652*c + 10. Are c and 51/292 nonequal?
True
Let a(f) = f**3 + 7*f**2 + f - 6. Let y be a(-6). Suppose 10*v - y = 2*v. Let g be (v/4)/(1/(-8)). Which is smaller: g or 2?
g
Let o be (-6)/54 - (-1072)/(-72). Suppose 51 = -2*i + 3*f, 5*i = i + f - 87. Which is greater: o or i?
o
Let m = -8 + 8.125. Let v = -0.025 + m. Let u = 188 + -188.36. Is u < v?
True
Let c = 0 + -1. Suppose -k - 11 + 9 = 2*s, 4 = 2*s. Let f be (-2)/(-86)*(-4)/12*k. Which is greater: c or f?
f
Let j = 35431/744 + -381/8. Which is bigger: j or 0?
0
Let o = -4 + 5. Let x = 122 + -114. Let a be (x/7)/((-156)/(-42)). Which is smaller: o or a?
a
Suppose -49*r = -280*r + 483252. Is 2091 at least as big as r?
False
Let c(b) = -b - 7. Let t be c(-7). Suppose -9*g + 13*g - 140 = t. Suppose 154*h - 182 = 4900. Which is smaller: g or h?
h
Let y = 0.0096 + 6.9304. L