1)/(4/((-16)/141)). Which is bigger: u or g?
u
Let b(q) = q**3 + 19*q**2 - 401*q - 194. Let s be b(13). Let p be (-2)/6 + (-662)/(-1950). Which is greater: p or s?
s
Let p = 108 - 102. Let u be p/(-99)*(-2)/((-40)/15). Which is smaller: u or 0?
u
Let c be ((-245)/3920)/((-2)/32). Which is smaller: c or 4/567?
4/567
Suppose 5*h = a - 352, -17*a + 1036 = -14*a - 5*h. Let m = a - 342. Is 2 equal to m?
False
Suppose 421*l - 143 = 408*l. Let i be ((-8)/5)/((-1)/5). Is i at least l?
False
Let u = 1078 + -920.4. Let q = u - 156. Which is smaller: q or 2/9?
2/9
Let d = -850 - -331. Let a = d - -506. Suppose 2*o - 4*y + 12 = 0, 4*y + 18 + 20 = -3*o. Is o smaller than a?
False
Let b be (-636)/(-1400) - (-12)/(-7). Which is bigger: b or -1?
-1
Let s be 2466/6576 + (7 - 1)*(-6)/128. Suppose 5*t - 5 + 0 = 0. Is t less than s?
False
Let v = -18896 + 18885. Let o be -1 - (2*-7)/(-2). Is v at most as big as o?
True
Suppose 0 = 90*h - 92*h - u - 248, -502 = 4*h + u. Are -893/7 and h unequal?
True
Let t be -4 - ((-6)/56)/((-15)/(-16856510)). Let p = 120479 - t. Let m = 11213/154 - p. Which is bigger: -7 or m?
m
Let f be -1*(-970)/35 - 2/(-7). Suppose -y - 12 = -f. Let k(d) = d - 35. Let b be k(y). Is -18 < b?
False
Let q = 161 + -241. Let l be (-140)/q - 3*(-1 + 2). Let p be (-36)/15 - 4/(-10). Is l greater than or equal to p?
True
Let h = 189948769/167440 + -7/23920. Which is greater: 1135 or h?
1135
Let k(u) = 3*u + 28. Let z be 8/(-28) - 96/(-42). Let b be 5/(3 + z) - 10. Let q be k(b). Is q at most -1/14?
False
Let c = 0.1 - 0.26. Let w = -985.5 + 985. Which is greater: c or w?
c
Let o(c) = -1454*c + 28. Let n be o(1). Does 1 = n?
False
Suppose -h + 18 = 4*n, 3*n - 6*n + 10 = -h. Suppose -5*g - 200 = -0*j + 5*j, 5*j = 2*g - 172. Let a be (j/15 + h)/1. Which is smaller: -3/8 or a?
a
Let w = -5 - -15. Suppose 0 = -2*b - r - 8, r = -2*b - 2*b - 14. Let s = 5 - b. Is w greater than s?
True
Let i = -1182/883 + 14/2649. Which is smaller: i or -3.57?
-3.57
Let u = -0.064 - -0.116. Let h = u - 24.052. Let k = h + -12. Which is smaller: k or 1?
k
Let c be (271754/(-3304))/((-7)/208). Is c bigger than 2439?
True
Let h be (-4)/(11/(6633/10)). Let q = h + 241. Let w(d) = d**3 - 5*d**2 - 6*d. Let y be w(6). Is y >= q?
True
Let s = -51032 - -459347/9. Suppose -23 = -3*w + 1. Which is smaller: s or w?
s
Let m be (12/(-10))/2 - 253/(-55). Suppose -n + d + 2 + 1 = 0, m*n + 3*d = 19. Let u = n - 9/2. Which is bigger: -2.1 or u?
u
Let p(v) = -v**2 - 17*v - 21. Let s be p(-17). Let h be 4/18 - 1*s/27. Let t = 249/1430 + 1/130. Is h equal to t?
False
Let b be ((-22)/6)/(10/(-30)) + 2. Let g be (-1 + 5)/24 + (-385)/(-30). Are g and b equal?
True
Let y = -3633/149 + 786783/30545. Is 0 less than y?
True
Let c = 763/20 - 347/5. Which is smaller: c or -32?
-32
Let c = -126254.2 - -126254. Let k = -13 + 12.981. Which is smaller: c or k?
c
Let c(i) = 2*i**2 + 18*i + 16. Let z be c(22). Suppose k + z = -4. Let f be 4 - ((-6 - -3) + k/(-196)). Which is greater: f or 1?
1
Suppose 0 + 24 = 3*g - 3*p, -g + 4*p + 5 = 0. Suppose g*a + 3*a = -84. Let y be 4 - (68/18)/1. Which is smaller: a or y?
a
Suppose 0 = 2*f + 30 - 58. Let m be (f/21)/(14/(-102)). Is m bigger than -4?
False
Let l be ((-4)/(-15858))/(492/(-4428)). Let r = -6 - -5. Which is smaller: l or r?
r
Suppose -57 = 2*c + 5*y, c + 22 = -c + 2*y. Let z be 4*(3 + 46/c)*-6. Which is smaller: 18 or z?
z
Suppose -2*m = -14 + 20, 0 = 5*d + 2*m + 42541. Which is greater: -8508 or d?
d
Let n = 6822.04 - 6691. Let h = 132 - n. Is 2 <= h?
False
Let v(z) = 3*z + 156. Let u be v(0). Suppose -18*q - 8*q - u = 0. Let i be 2 - (0/1 + 5). Which is smaller: i or q?
q
Let y be 209 - (3/(5 + (-5 - 1)) - 2). Which is bigger: -1/4 or y?
y
Let a(b) = -b**3 - 148*b**2 + 300*b - 1561. Let h be a(-150). Which is smaller: -1563 or h?
-1563
Let c be (342/(-4))/57 - (246/(-20) + -1). Let i = -0.53 + 0.47. Which is smaller: c or i?
i
Suppose 34 = -16*j + 2. Let p be j/(0 - -2) - (-5 - -93). Which is smaller: -86 or p?
p
Let s(l) = 5*l - 30. Let p be s(6). Let y(k) = -k**3 - 4*k**2 - k + 42. Let a be y(p). Is 40 less than a?
True
Let m(k) = -k**3 + 36*k**2 - 335*k + 198. Let b be m(18). Is 29/711 less than or equal to b?
False
Suppose 7*r + 571 = -1802. Let g = r - -249. Is g at least -89?
False
Suppose -43*v + 30*v - 247 = 0. Suppose 4*t + f = -87, -t - t + 5*f = 71. Which is smaller: v or t?
t
Let s(j) = -2*j + 21. Let x(m) = 2*m + 24 + 7 - 2 - 5. Let q be x(-6). Let f be s(q). Which is greater: -4 or f?
f
Suppose -18390 = 3*v - 18342. Does -22 = v?
False
Let d = 920 - 1666. Let y = d + 26107/35. Let p = -659 + 660. Which is greater: p or y?
p
Let w = 0.171 - 0.249. Let q = -0.128 - w. Which is smaller: 0.1 or q?
q
Suppose -120*v - 15419 - 147948 = 100633. Is v equal to -2200?
True
Let w(g) = g - 1. Let k be w(17). Suppose -2*q = m - 8, 11*q - k = -m + 7*q. Which is smaller: -12/55 or m?
-12/55
Let h(v) = -v**3 + 11*v**2 - 43*v + 345. Let w be h(13). Which is greater: w or -551?
-551
Let i = 552.7 + -27.7. Let c = i + -525. Which is smaller: c or 205?
c
Let z(n) = 34*n - 8. Let m be z(-1). Let y be (-6)/18 + m/2*-1. Suppose 0 = 2*k - 5*g - 25, -2*g - 32 = -k - 6*g. Which is bigger: y or k?
y
Let m be (-474806)/1161 + (-4)/108. Let j(n) = -14*n**3 - 4*n**2 + 2*n - 1. Let h be j(3). Is h >= m?
True
Let o = -3076 + 3076. Is o at least as big as 8/125?
False
Suppose -55*s - 8853 = -94*s. Which is bigger: s or 215?
s
Let x be (-924)/(-36)*(-126)/(-98). Which is greater: 30 or x?
x
Let j(c) = 2*c**3 - 20*c**2 + 12*c + 48. Let z be j(9). Suppose 6*p - 3*p - 162 = 0. Let d be (p/225)/(z*(-8)/30). Are 0 and d nonequal?
True
Let n = 3560 - 2880. Is 680 < n?
False
Let g be 18*35/(-84)*-4. Let z be 0/((-2)/6 - 50/g). Is 1/111 bigger than z?
True
Suppose -3*u + 4*r = -32, 0 = -353*u + 350*u - 5*r + 95. Is 726/35 at least as big as u?
True
Let g = 0.4 + -7.4. Let w = -139699 + 10198029/73. Which is smaller: g or w?
g
Let p = -4 + 13/3. Let l be (-90)/3*(0 - 1). Suppose -16 = -i - 3*b, -2*i = 3*i + 5*b - l. Is p at most i?
True
Let m(q) = 2*q**2 - 17*q. Let d be m(12). Let p = d + -331/4. Let a be (-2)/(-8)*1 - (-6)/8. Are a and p equal?
False
Suppose -4*p + 4 = 0, 2*p + 13 = j + 4*j. Suppose 0 = 4*x - 22 + 2, 5*x - 10 = j*n. Suppose n = v, 2*v = -h - 2*h + 13. Is 1/52 equal to h?
False
Suppose 0 = 36*o - o - 175. Suppose 0 = -20*n + 22*n + 5*i + 80, -170 = o*n + 5*i. Is n less than -27?
True
Let a(l) = l**3 - 9*l**2 + 10*l + 8. Let c be a(7). Let m be 0 + (-2 - c) + -3. Let k be m/2*(-8)/10. Which is smaller: k or -5?
k
Let n be 29/((0 + 21/14)/3). Is n < -12?
False
Suppose -112*p + 1343646 = -134336 - 1110114. Is p less than 23107?
False
Let n be ((-2)/(-12))/(((-1)/4)/((-12)/(-24))). Is n at least as big as 9/331?
False
Let x = 12599 - 11452. Is -9 < x?
True
Let q(u) = 28*u + 77. Let y be q(3). Let p(k) = -25*k - 13. Let a be p(-7). Which is greater: y or a?
a
Let s(u) = 4*u**2 + 2*u - 63. Let k be s(14). Let l = k - 702. Is 47 at most as big as l?
True
Let a = 0.4 - 0.52. Let k = 7.1291 - 7.4291. Do k and a have the same value?
False
Let f = 238 + -231. Suppose -6*z = -c - f*z - 86, -286 = 3*c - 4*z. Is -90 less than or equal to c?
True
Let m(i) = 88*i**2 - 563*i + 17. Let f be m(12). Which is bigger: f or 5932?
f
Let a = -616 - -588. Let k be 3/22*(a/(-7))/(-24). Is k greater than or equal to 1?
False
Let r = -50.94 + -0.06. Let v = -97 - r. Let p = -25 - v. Are -1/3 and p unequal?
True
Suppose 4*p = -34 + 54. Let d be (0/2)/(p - 6 - 0). Let m be (d/(-16))/(1 + 1). Which is smaller: 3 or m?
m
Let u = -122 - 12. Let j = u + 146. Let v = j - 12. Which is smaller: v or 107?
v
Let x be (-5)/300*-2482 - (-11)/(198/24). Which is bigger: x or 42?
x
Let w = 578 + -519. Suppose 10*t + w = 109. Are t and 23 nonequal?
True
Let h(f) = -17*f + 68. Let p be h(6). Let l(j) = -j - 6. Let t be l(-4). Let m be (t/(-4))/(((-330)/(-24))/11). Which is greater: m or p?
m
Let x = -20 - 17. Let s(u) = -u**2 - 37*u - 160. Let d be s(x). Which is smaller: d or 2?
d
Let h be 5 - (-2)/(-2 + 0). Let z(g) = 5*g**2 - 11153*g - 11158*g + 22308*g - 6. Let q be z(h). Which is greater: q or 2/3?
q
Let z be 8/(-70)*(-35)/14 - 30926/1911. Is z equal to -15?
False
Let z = -831 - -1190. Let a = z - 259.