5*z + 5*a - 108 = 0, -3*a = -3*z - 81. Let u be (-2)/(234/z - (-2)/3). Which is bigger: b or u?
u
Let o be ((-106)/(-3))/((-45)/27). Let h = 328/15 + o. Let b = 2.3 - -1.7. Are b and h equal?
False
Let j(u) = 2*u**2 + 32*u + 32. Let w be j(-17). Suppose w = 14*x - 36*x. Which is smaller: -20/11 or x?
x
Let s = -993795 - -36775740/37. Let n = -144 + s. Let x = -1495 + 1496. Which is smaller: n or x?
n
Let a(q) = -2*q - 6. Let z be a(-5). Let g be 311 - ((-4 - -6) + 5). Let u = -297 + g. Does z = u?
False
Let n = 476 + -491. Let s be (4/(-6))/(1023/(-55)*n). Is 0 at least as big as s?
True
Suppose -2005 = 4*l + 5*z, 518*z - 2497 = 5*l + 515*z. Is l > -501?
True
Let o be 1/(-5) + 0 - 4/(-20). Let n(g) = -2*g**2 - 8*g - 1. Let q be n(-5). Let w be o/(-1) + (q - -7). Which is greater: w or -11?
w
Let z = -812 - -251. Let w = z - -563. Which is bigger: w or -5.5?
w
Let r = -0.0169 - 0.2241. Let l = r - 55.759. Which is smaller: l or 2?
l
Let h(a) = a**3 + 2*a**2 + a - 1. Let o be h(2). Let z be (-15 - -18) + 3625/o. Let i = z + -216. Which is smaller: i or 1?
i
Let v = 897 + -2668/3. Let w = -106/15 + v. Which is smaller: w or 6?
w
Let g = 14876880020 - 401753998198/27. Let z = 2897352 + g. Let t = z - -339. Is 0 less than t?
False
Let w = 1075 + -908. Which is smaller: w or -3?
-3
Let u(w) = w**3 - 60*w**2 + 48*w + 707. Let i be u(59). Is i at most as big as 756/13?
True
Let q = 54087.136 - 53857. Let h = q + -230. Which is greater: 1/4 or h?
1/4
Let d(f) = -f**3 + 115*f**2 - 230*f + 95. Let c be d(113). Which is smaller: -354 or c?
c
Let w(x) = -8*x**2 + 10 + 3*x**3 + 4*x + x**2 - 2*x**3 - 2*x**2. Let o be w(8). Let l = -18 - o. Which is bigger: l or 2?
l
Let p = 3/8521 - -1408/20203291. Is 1 bigger than p?
True
Suppose -5*x = -4*g + 16460, -25747 = 5*x - 5*g - 9287. Is -3293 <= x?
True
Let o = 616.1 + 189. Let q = o + -805. Is q greater than or equal to -4/43?
True
Let y be 2/(-12)*((-368)/529)/4. Let v be 9/(-6) + (-2)/(-4). Is v equal to y?
False
Let k be (42/9)/(28/2730). Suppose -z - 339 = 4*o + 516, -k = 2*o - 5*z. Is 0 at most o?
False
Suppose 22 = -2*t - 5*o + 2, 5*o - 30 = 3*t. Let s = -851 - -1246. Let h = s + -404. Is h at least t?
True
Let c = 3918/11 + -76081/209. Is -9 smaller than c?
True
Let m = -6227 + 6200. Do m and 45 have the same value?
False
Let i = 187 - 187.16. Let r = -29 + 30. Which is smaller: i or r?
i
Let i(f) = -4*f**2 - f + 54 + 2*f**2 + f**2 - 56. Let t be i(2). Let y(d) = -d - 24. Let n be y(-15). Is t less than or equal to n?
False
Let r be 3/(-6) - (-14)/(-4). Let h be -7 - 15/r*4. Is 1 at least h?
False
Suppose -5*s + 157*s = -12312. Which is smaller: 2 or s?
s
Let c be 1/5 - 2405/(-975). Is c less than or equal to -15?
False
Let c be 4/12*18/(-14). Let t be -8*((-12)/(-2))/(-3). Suppose -v = r - 1, 15*r - t*r = 0. Which is smaller: v or c?
c
Let p = 68790973 - 68820747.063. Let s = p - -29726. Let w = s + 48. Is w bigger than 1?
False
Let j = -281 + 276. Let u(y) = -y**2 + 8*y + 55. Let k be u(j). Is k > -1?
False
Suppose 2 - 2 = 17*y. Suppose y = -3*b + 3*z + 66, -b = b + 2*z - 56. Is -2 at least as big as b?
False
Suppose 37*d = 232 + 286. Let b be -13 + d + (-18)/17. Are 9 and b non-equal?
True
Let c be (-17)/391 + 4504/(-40296). Which is greater: -1 or c?
c
Let i be (-5)/((-120)/(-112))*9/(-2). Let p = 21 - 18. Suppose 4*l + 3*t + 0*t - 85 = 0, -p*t - 3 = 0. Which is greater: l or i?
l
Let h be (15/20)/(6/16). Suppose 2*p - p = -4*d + 19, -h*d + 37 = -5*p. Suppose -5*c + 6*c + 5*x = -19, 0 = 3*c - 2*x + d. Is -11/4 less than c?
False
Let o(y) = -y**3 + 5*y**2 + 5*y + 4. Let g be o(6). Let c = 17 - 13. Suppose 150 = -c*b + 154. Which is smaller: g or b?
g
Let n = 38326 + -2031546/53. Which is greater: n or -6?
n
Let y = -649 - -650. Let j = -3/1255 - 538/299945. Are y and j unequal?
True
Let x be 54308/8180 - 7 - (-4)/10. Which is bigger: 0 or x?
x
Let t = 280063/4 + -70558. Which is smaller: -543 or t?
-543
Let p = -33 - -32. Let k be (-1 - p)/(-1 - -3). Suppose 6*g - 2*g - 64 = k. Which is greater: 14 or g?
g
Suppose -3*l + 0*l = 6, -2*d + 388 = -2*l. Let w = d + -148. Is 44 <= w?
True
Suppose 6*d - 3*a = 4*d - 13, -d - 5*a = -26. Which is greater: d or -10/2073?
d
Let u(s) = s**2 - 3*s + 11. Let c be u(2). Suppose 0 = 2*n - c - 53. Suppose -25 + n = -6*j. Is -46 not equal to j?
True
Let j = 16814 + -16815. Which is greater: j or -5/1352?
-5/1352
Let z = -2.26 - -384.26. Let g = -382.1 + z. Is g at least as big as 16/21?
False
Suppose -w + 2*m = -2*m + 10, 3*w + 3*m + 30 = 0. Suppose -8*p + 120 - 72 = 0. Let j be (p/(-4))/((-27)/(-144)). Which is smaller: w or j?
w
Let h(r) = r**3 + 12*r**2 + 3. Let n be h(-12). Let j be 0 + 5/(5/n) - 4. Is -1/42 equal to j?
False
Let b(c) = -c**3 - 21*c**2 + c + 20. Let w = 112 + -16. Let h = -117 + w. Let u be b(h). Which is smaller: 0 or u?
u
Let q(d) = -4*d + 221. Let p be q(30). Suppose -3 = -104*t + p*t. Is t less than or equal to 2/411?
False
Suppose 4*x + 20 = -4*t, -2*t - 4*x = -4*t + 20. Suppose t = -2*q + k - 16, -4*q - 21 = 2*k + 19. Is q <= -10?
False
Let d be (-19 + 12)/((-3)/78*2). Suppose 0 = d*q - 33*q. Are q and -3/607 non-equal?
True
Let q = -10579 - -10579.245. Which is smaller: q or -2/9?
-2/9
Let b = -303554 + 303540.3483. Let p = -0.0483 + b. Which is greater: 0.1 or p?
0.1
Let c = -558 - -542. Which is smaller: c or -226/13?
-226/13
Suppose -5*m + 280 = 4*g, 7*g - 179 - 273 = -4*m. Is g < 548/9?
True
Let z(p) = 22*p + 201. Let n = -255 - -246. Let i be z(n). Let h = 2272/685 + -16/137. Which is smaller: i or h?
i
Suppose -4*g + 202400 = -26*g. Let b be g/(-1533) + (1 - (-6 + 13)). Which is smaller: 1 or b?
b
Let s(h) = -2*h - 17. Suppose m + 3*k + 3 = 11, -4*k = 3*m + 1. Let y be s(m). Let o be (y + 8 + 2)/((-2)/2). Is -4 less than or equal to o?
False
Let h be ((-4)/(-6))/((-6)/(-21483)*-7). Is -342 greater than or equal to h?
False
Let p = 45079/264 + -1367/8. Suppose -a = -4*a - n + 1, 5*a + n + 1 = 0. Which is smaller: a or p?
a
Let x(f) = f**2 - 12*f + 6. Let t be x(6). Let g = -83396/313809 + 5/3607. Let w = 2/29 - g. Is w smaller than t?
False
Let b be (3 + 1431/(-478))/(36/(-64)). Which is bigger: 1 or b?
1
Let k = -855 + 4563. Is 3708 less than k?
False
Suppose -949 = -8*o + 315. Let y be o/40 + (76 - 80). Let x = 0 + -1. Which is smaller: x or y?
x
Let u = -1781687/7 + 254072. Let o = u - -455. Let b(h) = h - 4. Let g be b(0). Which is greater: o or g?
o
Let n(p) = -156*p + 625. Let s be n(4). Which is smaller: s or 26/449?
26/449
Let k = 11152 - 11151. Is k > 0.06861?
True
Suppose -402 + 407 = -5*h, -5*h + 11770 = 5*j. Is j <= 2356?
True
Let f = -342.5 + 274. Let d = f - -67. Which is bigger: 0.6 or d?
0.6
Let v = -3 + 3.2. Let d = 4.4 - 8.3. Let w = -3.9 - d. Which is smaller: v or w?
w
Let w be (1 - -10) + (-5058)/18. Which is smaller: -261 or w?
w
Let j(l) = l**3 + 32*l**2 + 38*l + 77. Let v be j(-31). Let a be (-2450)/v*4*-1*-1. Is a at most as big as 73?
True
Let x = 497 + -367. Suppose 0*g - 5*c - 26 = -g, 5*g - x = 5*c. Are g and -5 equal?
False
Let f = 0.299 - 0.399. Let m be (-4)/22 - 68/(-11). Let d = 2 - m. Which is smaller: f or d?
d
Let s be (-8)/(-2605)*(13/44 - (-324)/(-594)). Is s greater than or equal to 0?
False
Let y be (-36)/(-2)*((-11020)/15)/38. Which is smaller: y or -349?
-349
Let j = 1231 + -1259. Is -12 smaller than j?
False
Let o be 515/(-45) + 33/3 + (-109174)/(-245601). Is -1 at least as big as o?
False
Let j be 117/15 + (-1)/(-5). Suppose 20*x - 1288 = -j*x. Is x >= 2/5?
True
Let o = 5583 - 6480. Which is smaller: o or -899?
-899
Let h(k) = -k**3 + 2*k**2 + 5. Let z be h(0). Suppose -z*o - 15 = 0, -o - 2*o = -5*n + 34. Suppose -i = -n*i - 4. Is 31 < i?
False
Let o = -2298.7 - -2300.7. Which is smaller: -793.7 or o?
-793.7
Suppose -18 = -13*g - 5*g. Let k be -4 - g - 2/(440/(-1068)). Is -1 greater than or equal to k?
False
Let s(g) = -g**3 + 25*g**2 + 968*g + 50. Let x be s(-21). Which is smaller: -1.195 or x?
-1.195
Suppose -3*a - 5 - 1 = 0, -50 = 2*z - a. Let l be (-68)/(-51)*(-6)/(-2). Let y be (0 - 29) + l + -1. Is y at least as big as z?
True
Let x(h) = -h**3 - 5*h - 4. Let i be x(-3). Suppose -43*n + 45 = -i*n. Suppose -n*b = -9 - 9. Is b greater than -1?
True
Suppose 19 = 2*x + 5*i, 30*i = x + 34*i