 178. Let i be ((-441)/(-60))/((-6)/(-64)). Let h = 78 - i. Which is bigger: v or h?
h
Let a(h) = -57*h + 1766. Let v be a(31). Which is smaller: v or 28/57?
v
Let w(p) = 16*p**2 - 116*p - 956. Let k be w(-10). Is 1804 less than k?
False
Let j be 1569/10 + (-111)/(-1110). Are j and 158 unequal?
True
Let g be ((-1)/4 - (-4 + (-119)/(-28)))*2335. Are -1167 and g non-equal?
True
Let r be 14*(-22)/(-16) + -5. Let s(y) = y**3 + y + 98. Let a be s(0). Let l = a + -84. Is l smaller than r?
True
Suppose 369 = -3*r - 4*y - 518, 10*r = -5*y - 2940. Is -302 at least as big as r?
False
Let n(c) = 3*c + 126. Suppose -36*s = -s + 1470. Let m be n(s). Is m at most 2/1231?
True
Let z = -316 + 279.2. Let q = -116.8 - z. Is 0.1 < q?
False
Let l(s) = 1263*s**3 + 2*s**2 + 5*s + 2. Let q be l(-1). Let f = q + 8962/7. Which is bigger: 15 or f?
f
Suppose -g = -15 - 13. Let r(d) = 3*d**3 + 126*d**2 - d - 15. Let l be r(-42). Which is smaller: g or l?
l
Let g(f) = -f**2 + 2*f - 46. Let z be g(6). Is -67 < z?
False
Let s = 218 + -198. Let k be (-4)/6*30/s. Let j = -1603/1276 - -2/319. Which is smaller: j or k?
j
Suppose -16*i + 15*i - 2 = 0, 4*o - 5*i = 718. Let t = o - 177. Which is smaller: -1/11 or t?
-1/11
Let b = -33.4305 + 0.0305. Which is smaller: 0 or b?
b
Let c(h) = -h**2 + 9*h + 84. Let w be c(0). Let f = 63 - w. Is f >= -20?
False
Let f = -24549983/1274 + 19270. Is 0 <= f?
False
Suppose -7456 = -11*f + 3*f. Suppose -25*p = 2068 + f. Is p >= -118?
False
Let u(n) = -2*n - 6. Let i be u(-6). Let w = 42886/3383 + -1118/199. Which is smaller: i or w?
i
Suppose -4*i + 279 - 263 = -4*w, i - 2 = -w. Which is bigger: -211 or i?
i
Let f be (-1 - 7) + (-50370)/((-30)/3). Do f and 5029 have the same value?
True
Suppose 139*o = -6012 - 19256 - 22131. Which is bigger: -347 or o?
o
Suppose -14 = -5*p + k, -4*p + 3*k + 1 = -8. Suppose 0*m + 9 = p*m. Let w be 14/4*m/18*-2. Which is greater: w or -2?
w
Let i = 705.5 + -384.7. Let n = i + 69.2. Is n at most as big as 0?
False
Let i be -2*-3*(-1)/6. Let m = 6342073/225 - 28187. Is m bigger than i?
True
Suppose 0 = -2*v + 2*r + 20 - 10, 0 = 3*v + 2*r - 10. Suppose 5*s - v = s. Is -2/1063 != s?
True
Let v be ((-37)/3)/((-3)/1026). Let r be 2 + 19/(v/(-468)). Which is smaller: 0 or r?
r
Let u = 428.6 + 139.4. Let x = 558 - u. Is -1 greater than or equal to x?
True
Let s be 7 + -8*3/6. Let l = -4921/168502 + 10/487. Let w = l + 6595/2422. Which is greater: w or s?
s
Let a = 9 - 6. Suppose 294*p - 54 = 293*p. Suppose 4*m + 3*t = -28 - 43, -3*m - a*t - p = 0. Which is smaller: m or -19?
-19
Let p = 6272 - 6272.11. Is 1/634 < p?
False
Suppose -7*j - 18987 - 30671 = 0. Which is smaller: -7092 or j?
j
Let i = 62 + -72. Let t be 6/(-24)*i*4/5. Suppose 4*b - t*v + 336 = 2*v, 0 = -2*v + 4. Which is smaller: b or -83?
-83
Let i(f) = -f**2 + 38*f + 480. Let r be i(-11). Is -74 greater than r?
False
Let g = -0.22 - -0.35. Let x = 1941 + -1940.96. Is g != x?
True
Suppose 35*p + 22*p + 70950 = 530*p. Is 9 > p?
False
Let r(n) = -n**3 + 9*n**2 - 2*n + 18. Let x be r(9). Let p(i) = i**2 - 2*i + 142. Let m be p(x). Let o = m + -704/5. Is 0 at least o?
False
Let x = -1.05 + 57.05. Let d = -31779 - -31777. Is x less than or equal to d?
False
Let u = 6002 + -5888. Which is bigger: -12 or u?
u
Let v = 108 + -137. Let h = v - -59. Which is smaller: 28 or h?
28
Suppose 179 = 6*i + 179. Suppose k + 121 = -3*b, i = -b + 5*k + 29 - 48. Is -41 at least b?
False
Let y(n) = -9*n - 227. Let o(u) = 5*u + 113. Let s(x) = 5*o(x) + 2*y(x). Let p be s(-16). Is p greater than 2/51?
False
Suppose -62*r + 422*r + 37080 = 0. Which is smaller: r or -73?
r
Let y be 17/170*-35*(-12)/(-74). Which is smaller: y or -1?
-1
Let b = -0.561 - -45.561. Let i = 7.405 + -52.395. Let x = b + i. Which is smaller: -5 or x?
-5
Suppose -4*b - 172 = -a, b - 129 = 4*b - 4*a. Suppose 0 = -2*l - 67 - 19. Is b < l?
False
Suppose 0 = -3*l + 3, -4*p + l = -574 - 389. Let m = p - 242. Are m and -2/147 nonequal?
True
Let b = 1571/69 + 412838/345. Which is smaller: b or 1218?
1218
Let x be (9 - 14)*-5 + 53. Which is smaller: 1491/19 or x?
x
Suppose 455*j = -128*j - 2649735. Is -4545 greater than or equal to j?
True
Suppose -72 + 149 = 7*b. Suppose 13*w - 10 = b*w, 5*u + w + 100 = 0. Which is smaller: u or -2?
u
Suppose -6*z = 1170 + 1674. Let k = 1905/4 + z. Let j(t) = t**3 - 4*t**2 + 2*t - 6. Let n be j(4). Which is greater: n or k?
k
Let s be 2/(-6) - (-8)/(-3). Let m = 58/5 - 149/10. Let t = -431/70 - m. Is s bigger than t?
False
Suppose 170*l + 167*l = 278*l + 904942. Is l <= 15339?
True
Let w be 123685/(-164860) - 9/(-12). Is -1 < w?
True
Let j = 38957/3801 - 215/21. Let m = 738 - 736. Suppose 2*n + b = -4, -b = -4*n + 2*b + m. Is n less than j?
True
Suppose -4*t = -2 - 2. Let q(m) = 2*m**3 - m**2 - m + 1. Let u be q(t). Let w = -44485 + 5738567/129. Which is smaller: w or u?
w
Suppose -4*f + n = -20, -12 + 37 = 5*f - 2*n. Suppose f*l - 35 = -5*q, -2*q + 8 = 5*l - 3. Let t = 6/341 - -14633/1705. Is t at least as big as q?
True
Let q = -6682.12 - -6623. Which is smaller: 0 or q?
q
Let k = -1/610 - 561/122. Let w(a) = 11*a + 27. Let c be w(-4). Let o be (-700)/170 - 2/c. Which is smaller: o or k?
k
Suppose -172 = -12*n - 628. Let s = 26 + n. Let l be 2/(-5) + 189/(-15). Which is smaller: s or l?
l
Let p = 590.7 + -594. Is p greater than or equal to -28?
True
Let c be -85*(-5 - -3)/((-1780)/(-6)). Let f = c - 3667/3293. Are f and -2 nonequal?
True
Let q = 434042 - 32553874/75. Which is smaller: q or -10?
-10
Suppose 3*f - 5*i = 82, -i - 555 = -550. Is -2/69 less than f?
True
Suppose 27 = 9*w - 0*w. Suppose -3*n - 697 = 2*y, 0*y + 4*y + w*n + 1403 = 0. Is -354 at most y?
True
Let c be (-6)/(-30) - 11/(-5)*-11. Let g = 24 + c. Suppose -4*f + 2*f = g. Is f equal to 26?
False
Let x(u) = u**3 - 5*u**2 - 3*u - 18. Suppose -p + 17 = 2*f, 7 = -3*p + 2*p + 4*f. Let j be x(p). Which is smaller: j or 280?
j
Let u be (8 - 9)*(-5 - -6)*258/(-3). Let m(q) = 10*q**2 + 2*q + 2. Let b be m(-3). Is u bigger than b?
False
Let r(z) = 2*z**3 + 38*z**2 - 37*z + 28. Let p be r(-20). Suppose 180 = -5*q - b, -36 = -q + 2*q + 5*b. Which is smaller: p or q?
q
Let k be -2 - -2 - -1 - (12 + -12). Which is smaller: k or -6/137?
-6/137
Suppose -2*q - 44 + 38 = 0, 0 = 5*d - q - 2848. Which is bigger: 563 or d?
d
Let k = 2871 + -2912. Is k < -33?
True
Let d(c) = c**2 - 2*c + 8. Let q be d(-9). Let k = q + -121. Suppose 24 = -4*r - 28. Is r at least k?
True
Let i be -1*(-144)/(-60)*(-10)/3. Suppose -o + 2*o + i = 3*y, y + 6 = -4*o. Let s(j) = -j**2 + 10*j. Let w be s(10). Is w equal to o?
False
Let u be ((-7)/(-3) + -3)*(-52)/(-104). Which is greater: 5564 or u?
5564
Suppose 168 = 7*d - 329. Let x be (-24)/(-96) + (1 - d/(-4)). Which is smaller: 0 or x?
0
Let i(h) = -171*h + 2887. Let o be i(15). Which is smaller: o or 968/3?
o
Let c be 0/3 + -2 - -3. Suppose d + 2 = -3*n - 11, 0 = n + 2*d + c. Which is greater: -9 or n?
n
Let g be (-14 + -4)*1 - -15. Are 38 and g non-equal?
True
Suppose 12 = -2*d - 10. Let f(v) = 38 - 45*v + 20 + v**2 + 27*v. Let i be f(14). Which is greater: i or d?
i
Let q = -957/818 + 11165855/5726. Is 1949 != q?
True
Suppose -v - 16*v = -27*v + 9440. Which is greater: v or 946?
946
Suppose -533*j + 2044750 = 471867. Is 2950 less than j?
True
Let c be 16/80 - (3/(-2) + (-14)/(-20)). Which is bigger: -10/1151 or c?
c
Let f(g) = -55*g + 186. Let o be f(4). Is o >= -514/15?
True
Let i = -0.17 - -1.27. Let j = -134 + 135.39. Let x = j + -1.49. Is i less than x?
False
Let x = 8405078/2018495 + 16/23747. Is x less than 4?
False
Let q = 2669/7 + -381. Is q not equal to -1/1488?
True
Let p be 1 - 4 - 450/8 - 105/140. Is p equal to -121/2?
False
Let q = 61.4 + -47.42. Which is bigger: q or -2/3?
q
Let f = 32537/4 + -336009591/41308. Which is greater: f or 0?
f
Let a = -217.11 + 217.31. Does a = -3244?
False
Let k = 1186/1075 + -27/25. Let w = k + 199/688. Suppose -3*g - 5*s - 5 = 0, 0 = -5*g - 8*s + 3*s - 5. Which is smaller: w or g?
g
Let d = 3690.73 - 3676. Let t = d - 0.73. Let z = -13 + t. Is 23 >= z?
True
Let b = -157 - -160. Let q be 15/b - (-340)/(-2). Is -164 bigger than q?
True
Suppose 0*o = 2*o + 206. Let p(h) = h**2 + 138*h - 669. Let d be p(-142). Let u = d - o. Are -10/7 and u nonequal?
True
Let h =