uppose 377 = -10*w + a. Which is bigger: 2 or w?
2
Let g(k) = 2*k**2 - 21*k + 28. Let x be g(7). Let w(o) = -o**2 - 19*o + 41. Let j be w(x). Let z be ((-1)/10)/((-15)/(-36)). Which is greater: z or j?
z
Let k = -2.79 + -0.11. Let i = k + 2.6. Suppose 7*c = 2*c. Do i and c have the same value?
False
Let m = -373 - -618. Suppose -2160 = 233*w - m*w. Which is bigger: 178 or w?
w
Let j = -68993992/2795 - 31286/215. Let z = -25072 - j. Let h = z + 244. Which is smaller: h or -1/2?
-1/2
Let d(t) = 2*t + 4114 - 4215 + 4*t. Let u be d(-3). Is u equal to -118?
False
Let y(w) = -9*w + 144. Let v be y(17). Let t be (3/532*4)/(v/6). Let g(c) = 2*c - 1. Let l be g(1). Which is bigger: t or l?
l
Let v(o) be the first derivative of -1/2*o**2 - 2 + 3*o. Let b be v(6). Which is greater: b or -4?
b
Let t = 4514573 + -130909871/29. Let p = -440 + t. Are 1 and p equal?
False
Suppose l + 2*p + 17 = 0, 5*p + 95 = -3*l - 2*l. Let r(c) = c**2 + 21*c. Let h be r(l). Let w = -736/6545 - 2/385. Which is bigger: h or w?
h
Let z(c) = 2071*c**3 - 6*c**2 + 3*c + 4. Let k be z(-1). Is -2076 equal to k?
True
Let r(b) = -b**2 - 11*b - 15. Let z be r(-9). Suppose -z = -2*o + 5*o. Which is smaller: o or 1/5?
o
Let d = -6488 - -6511. Which is smaller: -7 or d?
-7
Let c = -4 + -8. Let a = 2036 + -1723. Let p be (c/18)/(a/105 - 3). Which is smaller: 1 or p?
1
Suppose 4*q - 20 = 9*q. Let u be (-4 + q)*(3 + -2). Let k be (6/1)/(16/u). Is k <= -6?
False
Let u be 1024/(-1248)*(-105)/4. Is u less than 23?
True
Suppose 4*n + 0*n - 8 = -4*q, 4 = -3*n - q. Let x be n/(-2)*210/45. Let c be 2/(-3) - 7/(-6). Do x and c have the same value?
False
Let v = 142 + -39. Suppose 0 = 342*m - 358*m + 1632. Is v < m?
False
Suppose 4324 = -3*h + 5*z - 2431, -h - 2249 = -z. Let f = 240212/107 + h. Which is smaller: f or -1?
-1
Let t = -1 - -1.05. Let z = 106 - 101. Let y = -4.6 + z. Which is smaller: t or y?
t
Suppose 691*l + 664 = 690*l. Let o = l + 665. Is -6/197 < o?
True
Suppose 0 = 3*p - 3*q + 501, 9*q = 4*p + 10*q + 703. Which is bigger: -1561/9 or p?
-1561/9
Suppose -d = 4*d - 5*c + 5, -5*d + 10 = -2*c. Let h(l) = l**3 - 14*l**2 - 13*l - 22. Let j be h(15). Which is greater: d or j?
j
Let w = 61.092 - 0.092. Let i = -58.9 + w. Let x = -0.19 - -2.19. Is x at most as big as i?
True
Let t be 141/(-4)*1420/213. Is -236 less than or equal to t?
True
Let i = 2595 + -2662. Which is bigger: -59 or i?
-59
Suppose 18*z + 1177 = -2*h + 19*z, 0 = -5*h - 2*z - 2956. Is h not equal to -590?
False
Suppose 17 = -3*m + o - 9, m - o = -6. Suppose 12*l + 83 - 923 = 0. Suppose 0 = -4*p + 2*r - 40, -6*p + 6*r - l = 8*r. Is m at least p?
True
Suppose -228 = 5*u + 3*v + 319, -4*u - 2*v - 440 = 0. Is u less than or equal to -116?
False
Let h = 2.99 + -3. Let f = 0.01 + h. Let s(t) = -t**3 - 4*t**2 - 12*t + 76. Let d be s(3). Is d less than or equal to f?
True
Let y be 30/1010*38/9. Let q = 19495/157863 - y. Which is greater: 0 or q?
0
Let x be (((-67067)/(-33))/(-7))/(2/6). Let y = 906 + x. Which is smaller: y or 137/4?
137/4
Suppose -7 = 107*a - 12312. Is a less than 124?
True
Let b be (30/21)/(6*38/168). Is -0.1 bigger than b?
False
Suppose 93 = 3*o - d, -4*o - 6*d + 117 = -5*d. Let l(h) = 2*h**3 - 1096*h**2 + 7560*h + 7606. Let n be l(541). Is n bigger than o?
True
Suppose 0 = -101*z + 140*z - 74*z. Suppose -3*p = -5*p - 104. Is z >= p?
True
Suppose -22*v + 6*v = -12*v. Which is smaller: v or 1/13049?
v
Let k be (-1500)/(-14670)*((-6)/4 - 0). Which is smaller: k or 1?
k
Let s = -642 + 642. Let m = -2/10073 - -20512/1843359. Which is bigger: m or s?
m
Suppose -18*a - 6 = -21*a. Suppose -77 = -a*o + 7. Let r = -37 + o. Is r > 5?
False
Suppose k - 73 = -3*w, -4*k + 84 = w + 3*w. Let l = -73 + w. Which is greater: l or -49?
l
Let z(v) = v**3 - 19*v**2 + 9*v - 21. Let b be z(20). Suppose -12*j - b = j. Suppose -5*n - 115 = -c + 100, -5*n - 215 = c. Are j and n unequal?
False
Suppose 5*u + 5*v - 7*v - 13 = 0, 5 = u + 2*v. Suppose 3*t + u*l = -2*l + 331, 3*t - 5*l - 311 = 0. Are 107 and t non-equal?
False
Let o = 60.4079 - -0.2721. Let r = 60 - o. Let x = r - 0.72. Is x >= -1/2?
False
Suppose 16 = 5*j - 29. Let x = -4 - j. Let z = -2 - x. Are z and 12 unequal?
True
Let m(c) = 81*c**2 - 34*c - 37. Let i be m(-1). Which is smaller: 19 or i?
19
Let h be (-2)/184*(-384)/160. Which is bigger: -34 or h?
h
Let h be (9/30)/(298/28 - 10). Let x be 5/(-12)*44/50. Let a = x + h. Does 0 = a?
False
Let r = -36.4 + 36.49. Let b = -14 - -14.7. Which is smaller: r or b?
r
Let b = 91 - -3. Let o = 119 - b. Are 23 and o nonequal?
True
Suppose -4*z = 2*t + 3960941 + 2705187, -3*t - 3*z - 9999201 = 0. Let b = t + 1269902585/381. Let q = -2/127 - b. Are -7 and q unequal?
True
Let b = -0.1709 - -287.9709. Let f = 361 - b. Let d = f - 75. Is 0.1 bigger than d?
True
Suppose f = -5, 2*z = 31*f - 26*f + 27. Which is smaller: -6/917 or z?
-6/917
Let n be 2/(-8) - 67/4. Suppose 452*o - 453*o - 4*j = 0, 5*o - j + 84 = 0. Which is smaller: o or n?
n
Suppose 21 - 58 = 21*r - 16. Which is smaller: r or 4/3195?
r
Let d = 78 + -46. Let g = -32 + d. Let s = 725 - 730. Which is smaller: s or g?
s
Let c(x) = 3*x**2 - 3*x - 4. Let k be c(2). Suppose -k*r - 31 - 19 = 0. Let a = r - -17. Is -0.2 at most as big as a?
False
Let v = 2377 - 2385. Are v and -8 nonequal?
False
Let k = 80989 + -402853/5. Is k at least 417?
True
Let q(n) = 2*n - 228. Let v be q(-4). Is v less than or equal to -237?
False
Let f = -2 - -1. Suppose 5*o + 2208 = 7*o. Let q = o + -32020/29. Is q bigger than f?
True
Let g(y) = -246*y + 3525. Let c be g(22). Is c greater than -1890?
True
Let w(z) = -2*z**3 - 154*z**2 - 75*z - 5778. Let b be w(-77). Let x = 31.12 + -0.12. Is b <= x?
True
Let b be (-2)/(-4)*0/(-4) - 1. Let x = 196.1 + -199. Is x at most b?
True
Let r = 4.2284 - 33.9284. Which is bigger: -45 or r?
r
Let c = 595 - 598. Is c at most -16/9?
True
Let v = -8368 - -4232. Let r be ((-1)/(-4))/(423/v). Which is smaller: -3 or r?
-3
Let f(s) = -235*s**3 - 3*s**2 - 13*s - 8. Let w be f(-2). Which is greater: 1887 or w?
1887
Let b = -143 - -59. Let z(s) = -246*s - 4267. Let k be z(-17). Is k >= b?
False
Let u = 17 - -12. Let c(a) = a**3 + 4*a**2 - 4*a - 3. Let n be c(-4). Suppose 18*r = n*r + 150. Which is smaller: r or u?
u
Let m = 1891.7 - 1855.7. Let q be (-1 + 1)/(2/2). Which is smaller: q or m?
q
Let d = 964 + -4876/5. Let x = -243 + 162. Let i be (-11 + 2)*9/(x/(-12)). Which is greater: d or i?
d
Suppose 0 = 36*c - 952 + 88. Suppose -2*v + c = -2*k - 0*k, -38 = -4*v + 2*k. Which is bigger: 13 or v?
13
Let w be 2*(0 + (-2)/(-34)). Suppose 0 = -9*v - 3*v. Let l(p) = -p**2 - 5*p. Let j be l(v). Is w less than j?
False
Let p be -7*(-14)/441*(13 - -5). Suppose 873 = 4*c + l, -p*c - 3*l - 1087 = -9*c. Are c and 217 equal?
False
Let c = 448 + -16574/37. Let g(o) = 3*o**2 + 210*o - 1126. Let x be g(-75). Is c equal to x?
False
Let y = -6014 - -6018. Is y greater than 339/86?
True
Let m be (-2)/5*(2 + 3). Let w be (96/644)/((-52)/91*6/12). Are w and m nonequal?
True
Let f(w) = 303*w**2 + 8*w + 14. Let s be f(-2). Which is smaller: 1209 or s?
1209
Let m be ((-4)/(-2))/(6/(-33)*-1). Suppose -m*l + 8 - 63 = 0. Suppose h + 8 = -h. Is h smaller than l?
False
Let c be ((-2)/(-10))/(23950970/1710725 + (-14 - 0)). Which is smaller: c or 416?
416
Let o = -1/10589 + 21563/4076765. Suppose -2*a - 3*a - 2*z - 1 = 0, 0 = -3*a + z + 6. Which is greater: a or o?
a
Suppose -581 = -25*w + 26*w. Let b = w + 485. Is -98 greater than or equal to b?
False
Let a = -2 - -2. Let z = 0.2 + a. Let m = -26301 + 26296. Are z and m non-equal?
True
Suppose 15 = a - t, -2*a = -3*t - 16 - 11. Suppose -a*f - f + 1501 = 0. Is 80 less than or equal to f?
False
Suppose f + 2*f - c = 237, 2*c - 72 = -f. Let z = f + -78. Suppose 3*t - 13*t = z. Which is greater: t or 4/37?
4/37
Suppose 9 = -u - 3*s, 0 = -3*u - s - 0*s - 3. Let f be ((-144)/(-1080))/(3/(-15))*(40 + -1). Which is smaller: f or u?
f
Suppose 26*r - 28*r - 948 = 0. Let v be (-2)/12 - (-1)/(r/(-77)). Is 0 at most as big as v?
False
Let c = 344 - 342. Suppose 6*r - c*r = -5*o - 463, 0 = -5*r - 10. Is -91 bigger than o?
False
Let g = 34861 - 34802.877. Let m = 67.123 + -67. Let y = g - m. Which is smaller: -1/3 or y?
-1/3
Suppose -2*a = 11 - 157. Let g = a - 366/5. Le