. Which is smaller: w or -1707/11?
-1707/11
Let h = -121 - -177. Let j = 259 - 161. Suppose -10 + j = 2*r - 3*g, 2*r + 5*g = h. Is 38 < r?
False
Let i = 1/20737 + 1493035/601373. Let a = i + 1597/116. Which is smaller: 16 or a?
16
Let d be (863324397736262/404957)/(3/6). Let c = 4263783057 - d. Let x = -1/1411 + c. Which is bigger: x or -1?
x
Let c = -2.778 + 1.778. Is c smaller than -254?
False
Suppose 5*i - a - 132 = 0, -5*i + 3*a + 18 = -4*i. Let y be (-1)/(-3)*-3*2 - -3. Let o = y - i. Which is greater: o or 2/5?
2/5
Suppose 340 = -3*q + 334, v + q - 11 = 0. Is v at least as big as 325/28?
True
Let x = -8 - -32. Suppose -x = 11*h + 42. Let v be (19 - 7)*(2 - (-28)/h). Is v at least as big as -32?
True
Let r be 12/(-2) + 267577/44403. Let d = r - 14/123. Is -1 not equal to d?
True
Suppose 0 = -4*w + 2*z + 10, 2*z + z = 9. Let x(u) be the first derivative of -u**3/3 + 3*u**2 + 9*u + 2. Let p be x(w). Which is smaller: 18 or p?
p
Let t = -321 - -72. Let s = t + 252. Which is smaller: s or 0.4?
0.4
Let h(o) = -o + 2. Let j be h(4). Let m = 109 - 75. Let l = 27 - m. Which is bigger: j or l?
j
Let s = 4722 + -325832/69. Let m = 3/23 - s. Let c = -16/5 + 67/10. Which is greater: m or c?
c
Let h be 18 - 16 - 5/(15/(-12)). Suppose 0 = 4*n - 2*s, -3*n - h*s + 2*s = 0. Which is smaller: n or 3/131?
n
Let a be 3*((-2)/(-6) - 49650/45). Let d = -95949/29 - a. Which is bigger: -1/2 or d?
d
Let u = 106.7 - 71.7. Which is smaller: -1.2 or u?
-1.2
Let o(u) = u**3 + 2*u**2 - 7*u - 6. Let h be o(-3). Suppose -5*z + 3*z = h. Let i be 2/(-26)*(4 - 2). Is z at least as big as i?
False
Suppose 25*q - 183 = -158. Do -29/184 and q have different values?
True
Let b = -5434 + 1042. Does -4394 = b?
False
Let i = -90 - -66. Let k = -22 - i. Suppose -3*a - 4*u = a - 256, 197 = 3*a - k*u. Is 66 > a?
True
Let r = 85.78 - 85. Let m = 0.28 - r. Let l = m + 1. Which is greater: 5 or l?
5
Let v be (9/(-3668))/(42706656/42706772 + -1). Let q = 873/3668 - v. Let o = -903 - q. Is 1 at most o?
False
Let z(a) = a**2 + 16*a + 74. Let b be z(-8). Suppose 9*v = b*v - 2*x - 300, 2*v - 595 = 3*x. Which is bigger: 289 or v?
v
Let u = -253 + 2039/8. Suppose 3*p = -2*a + 5, 30 - 35 = -5*p. Is a at least u?
False
Let h be (1 + 2 + -14)/(413/36757). Which is greater: h or -977?
-977
Let s be ((-16)/253860)/((-728)/(-260)). Which is greater: -1 or s?
s
Suppose h + 1 = 3*p, 3*p - 8 = -h + 3. Let f be (3 + -1 + 0)*p/(-4). Which is greater: 45 or f?
45
Let d = 0.003 + -31.003. Let z = d - -30.2. Let m = z - -0.4. Is -6 greater than m?
False
Let x = -139 - -142. Let i(s) = -s**3 + s**2 + 5*s + 5. Let o be i(x). Suppose -10 = 2*f, -2*f = 6*n - o*n - 190. Is n <= 0?
False
Let j = -8449832/4095 - -26828/13. Let r = j + 2/45. Which is greater: 59/3 or r?
59/3
Let j(z) = 2*z**2 + 24*z + 323. Let y be j(-16). Which is smaller: 445 or y?
445
Let o = 2462 + -2570. Let n = 95.7 - -10.3. Let g = o + n. Which is smaller: 5 or g?
g
Let f = 104450 + -938597/9. Suppose -5*r - w + 974 = 164, -486 = -3*r + 4*w. Let h = r - f. Is 2 at least as big as h?
True
Let n(m) = -m**3 - 13*m**2 - 2*m + 301. Let d be n(-11). Suppose -2*l + 176 = -3*u, 4*u + 94 = l + u. Which is smaller: d or l?
d
Let q = 3602.545 - 3610. Let h = q - -7.5. Let b = -0.145 + h. Is 71 not equal to b?
True
Let g = -660.07 + 660. Let t = 216.1 - 195. Let h = t + -21. Which is bigger: g or h?
h
Let t(s) be the third derivative of s**4/2 - 33*s**3/2 - 3*s**2 - 8. Let y be t(-5). Which is bigger: -160 or y?
y
Let l = -10.4 + 18.4. Let v = -53/45 + 7/9. Which is greater: l or v?
l
Let q(w) = -7*w - 1. Let t be q(-9). Suppose 104*n = 367*n - 17095. Which is greater: t or n?
n
Suppose 1153 = -2*o + 381 - 1236. Is -999 greater than o?
True
Suppose c - 44 = 4*x, -4*x + 2*c = -0*c + 48. Let q be 2/(x/35)*1. Let u be (-30)/3 + (-6 - q). Is u < -9?
False
Suppose 2*h + 1006 = 4*d, -69*d + 68*d + 241 = h. Let q(f) = 16*f**2 + 2*f + 1. Let z be q(-4). Is z greater than or equal to d?
True
Suppose -274*r + 275*r - 298 = 0. Let k = -304 + r. Suppose 4*q - 2*q + 42 = -5*a, 8 = -2*a. Are q and k nonequal?
True
Let m be (-32506)/(-272) - (-8)/68. Are 119 and m equal?
False
Let f = -411 - -913. Is f smaller than -8?
False
Suppose 4*v = -n + 20, 48 = 2*n + 3*v + 18. Let u = -6900 + 6902. Let o be (-18)/n*u - -7. Is o greater than 14/3?
False
Let t be ((3 - 10) + 2)*-1. Suppose -508 = 4*j + t*s, -4*s + 0*s + 544 = -4*j. Is j smaller than -132?
False
Let q = -1/2508 + -4597/2508. Is 2 greater than q?
True
Let d be -1*16*10/520. Which is greater: -109 or d?
d
Let t = 7442.1 + -7726. Which is bigger: 1 or t?
1
Let b(q) = q**3 - 2*q**2 - q - 3. Let o be b(3). Suppose -5*c = -5*p - 1025, p = 2*p - o*c + 211. Is -202 at most as big as p?
True
Let h be (-3)/48*-2 - 5353/5512. Is h not equal to -5?
True
Let a = -7836 - -4048. Which is smaller: a or 2?
a
Suppose -u = 4*a - 6, -4*a - 2 = -5*u + 4. Let f be a/4 + (-40)/(-224). Suppose -8*l = -13*l + 5. Is f greater than l?
False
Let b be -5 + 8 - (0 + -21). Suppose 0 = f - 4*f - 3*c + b, -3*f + 2*c = -29. Suppose 0*w = -4*t + 5*w + 19, 3*w + f = 0. Which is bigger: -2/19 or t?
t
Let y = -9292 - -9462. Is -13 less than y?
True
Suppose -90 = -34*v - 294. Is -57/8 at most v?
True
Let m be (-2*(-1418)/4)/(-1). Suppose 24522 + 38579 = -246*u + 157*u. Does m = u?
True
Let x(d) = 37*d + 4616. Let t be x(-109). Are 0.2 and t equal?
False
Let w be 1 + 2/(-3) + (-263)/(-3). Suppose -w = 2*f - 4*f. Let u = 47 - f. Is u greater than 3?
False
Let t = 675 - 395. Let k = -280 + t. Which is smaller: k or -3/16?
-3/16
Let a be ((-12)/10)/((132/40)/(-11)). Suppose a*p - 8 = -4*f, -6 - 2 = -p + 5*f. Let n be 0/(-5 + p) - 4/(-2). Which is smaller: 8 or n?
n
Suppose 4*z = 5*p - 0*z + 5, 3*p - 4*z + 11 = 0. Suppose -12*i + 945 + p = 0. Is i <= 391/5?
False
Let t be ((-29)/20 - 3/(-12))/((-405)/675). Let g = -951403/1240 + 176/155. Let o = 768 + g. Is t < o?
False
Suppose -185 = d + 28. Let h be d/(-9) - 12/18. Is h at most 26?
True
Suppose -36*k = 60*k - 28*k - 4556. Let j be 594/(-12)*4/(-3). Is k greater than or equal to j?
True
Suppose -80*z = -77*z - 54. Is 162 >= z?
True
Let x(q) = -q**3 + 11*q**2 - 12*q + 13. Let y be (-3)/(-9) - 20/(-3). Suppose y*r = 17*r - 100. Let z be x(r). Which is greater: 5 or z?
5
Let j = -712/5 + 142. Let z = -0.748 + 0.497. Let t = 0.441 + z. Which is bigger: j or t?
t
Let h be 13/(91/(-456)) + (-7)/(-49). Let k(o) = 42*o + 19. Let m be k(-2). Is m at most as big as h?
True
Let v be 4/238*(1 + 0). Let t be (6/10 - 1) + 520/50. Suppose -20 = -5*b, 7*k = t*k - b + 4. Which is greater: v or k?
v
Let t = 13874 + -13871. Is 0.2397 at most as big as t?
True
Let y(l) = -2*l**2 + 91*l - 656. Let a be y(9). Is a equal to 2/4851?
False
Let v(u) = -3*u + 6. Let f be v(-4). Let g = f + -6. Suppose 3*x - 3*p = x - g, 0 = 5*x + p - 4. Which is smaller: x or 14?
x
Let l(a) = -131*a + 201. Let v be l(1). Is v less than 2064/29?
True
Let x be (-77)/(-220)*26/(-637). Do -81 and x have different values?
True
Suppose 3*b - 10 = 47. Suppose 2*j + 2*d - 15 - 17 = 0, -2*d = 5*j - 71. Let l(f) = -f**3 + 14*f**2 - 11*f - 12. Let w be l(j). Which is greater: b or w?
b
Let a be (-7411)/3690*2 + 4. Let o = a - -8/205. Let t = -0.22 - 0.78. Which is greater: o or t?
o
Suppose 20 = 5*r - 27*b + 22*b, 0 = 5*b - 15. Let k be 7 + 302 + -3 + r. Is 312 > k?
False
Let y = -131.3 + 131. Let r = -1 + 1.3. Let h = y + r. Which is smaller: h or 2.9?
h
Let i be (-1 + (-7)/(-14))*6 + 1. Let u = -10.9 - -5.3. Let x = u - 1.4. Is x < i?
True
Suppose 4*m - 3*h - 274 = 130, 0 = 3*h. Let w = m + -101. Do w and 1/18 have the same value?
False
Suppose 0 = 3*y - f + 10105, 19*y + 13*f + 64001 = 18*f. Which is greater: -3366 or y?
-3366
Let z = 1.214 + -1.148. Let v be (-25)/20*9/15*-4. Which is bigger: v or z?
v
Let j be (-25 - 3) + (-10 - (-24)/8). Which is smaller: j or -394/11?
-394/11
Suppose 7771 = 127*w - 125*w - 5*m, -2*w + 7741 = 5*m. Is 3877 less than w?
True
Let n(o) = -2*o + 35. Suppose -58 = q - 77. Let h be n(q). Let i = -4.7 + 0.7. Which is smaller: i or h?
i
Let t = -204.129 - 15.871. Which is bigger: 44 or t?
44
Let z = -1699090 - -22118334/13. Let h = 2322 - z. Is 1 != h?
True
Let r = 1.843 - 2708.843. Is r < 2/5?
True
Let t be 4/(-14) + (-25