 Let d = y - 149. Let u be (-44)/(-90) - 13512/15201. Which is smaller: d or u?
u
Let j = -489.9303 + 490. Let f = -24.0697 + j. Let v be 28/45 + 2/(-5). Which is greater: v or f?
v
Let r = 1.463 - 60.463. Is -2 < r?
False
Let b = -386 - -111. Let i = b - -307. Is 31 bigger than i?
False
Let u be (496/(-372))/(1 + (2 - (0 + 1))). Is 1/792 smaller than u?
False
Let k = -2133 + 2118. Suppose 0 = 4*u + 3*f + f + 84, -3*u - 53 = f. Which is bigger: k or u?
k
Let i be (1 - 7) + -9 + 15. Suppose -2*s = -i*s - 10, 3*s + 113 = 4*a. Do a and 1 have different values?
True
Let w(o) = -577*o - 31157. Let m be w(-54). Let u be 6/9*(-3522)/(-16). Let s = u + -146. Is m less than s?
False
Suppose -5*k = -k - 28. Suppose 5*r + 2*b + 5 = 0, -b = -3*r - 7 - k. Let a(g) = -g + 3. Let j be a(1). Which is bigger: r or j?
j
Let a = -1 + 6. Let h be ((-1020)/(-180))/((-1)/3). Let f(j) = -2*j**2 - 32*j + 41. Let k be f(h). Is k equal to a?
False
Let g be 1/(12810/63*(-1)/(-2)). Let m = -1351 + 1351. Which is smaller: m or g?
m
Let c = -1236 - -1238. Does 16/31 = c?
False
Let h = 0 - -4. Suppose -h*z = 5*r - 2*r + 13, 5*r = -2*z - 17. Let d(j) = j**3 + j**2 - 7*j - 4. Let m be d(r). Which is greater: 4/17 or m?
4/17
Suppose -6*w = -m + 21099, 0 = m + 3*w - 7255 - 13844. Is 21098 less than or equal to m?
True
Let s = 680041/56 + -12144. Let c = 1/8 + s. Is 2/9 < c?
False
Let i be 8/(-7)*(-1)/(-4). Let a = -41.0042 + 32.2042. Which is greater: i or a?
i
Let n = -1410 + 1410.128. Let z = -21.072 + 21. Let o = n - z. Is o smaller than -16?
False
Let x(y) = 2*y**3 - 6*y**2 - 29*y + 96. Let f be x(4). Let k(p) be the third derivative of p**5/60 - p**3/2 - p**2. Let w be k(4). Which is greater: f or w?
w
Suppose -3022*s = -3126*s. Are s and 68/949 non-equal?
True
Let z = -7479 - -7497. Are -26 and z unequal?
True
Let k = -14 - -13. Let b be 6/12*(656/(-108) + 6). Is b smaller than k?
False
Let f = -2.0212 - -2.8912. Is -1/16 at least f?
False
Let w = 1168/5 - 43301/185. Suppose 3*t + r + 6 = 2, -4 = 2*t + 2*r. Is t greater than w?
False
Let r be 8/5*(-1140)/28614. Is r less than 0?
True
Let u = -1143 - -1673. Suppose -3*x - 533 = -u. Which is smaller: x or 3/77?
x
Let m = 23997/34370 + 57/491. Which is bigger: m or 2/9?
m
Let m = -950 - -889. Is m != -62?
True
Let v = -19 - -77/4. Let i = -0.07 + -20.93. Let y = i - -42. Is v bigger than y?
False
Suppose b + 127 = -2*u + 91, -4*b - 5*u - 132 = 0. Let a = 216516 + -92885227/429. Let d = a + 2/143. Is b smaller than d?
True
Suppose -24 = -4*q + 5*m + 6, 5*m = 8*q - 30. Suppose -3*k + 8 = -d, -k - 2*d - 6 = 3*k. Let c be 2/((k - 2)*-158). Is c != q?
True
Suppose -r - 8 = -3*r. Suppose -y = y + r. Let v be 2/y*(-1 + 4 - 1). Which is smaller: v or -3?
-3
Let b be (-107878)/(-134508)*479 + 2/4. Let d = b - 6/11209. Let j = d - 394. Which is smaller: -0.1 or j?
j
Let z = 3.5 + 6.5. Let r = -4 - z. Let n = -19 - r. Does n = 2/3?
False
Let x = -4101 - -1996. Is -2105 at least as big as x?
True
Let v = -439 - -447. Let i be 4*(2 - -1)*-1. Let o be -3 + (-3)/1*v/i. Which is smaller: -2 or o?
-2
Let o be (44/4 - 7) + -291. Let p be 40/(-15) + o/(-21). Let i(w) = w**3 - 3*w**2 + 2*w + 2. Let k be i(3). Is p greater than k?
True
Let w = 3931 - 3931.2. Let s = -0.13 + 10.13. Let h = s - 5. Which is bigger: w or h?
h
Let b(a) = -2*a**3 - 55*a**2 - 21*a + 162. Let c be b(-27). Is c bigger than 2/7705?
False
Let k = -13647 + 13641. Which is smaller: k or 13/16?
k
Let x = 13313248/291 + -45750. Is x smaller than 0.13?
True
Suppose -q + 10 = -2*q. Let i(a) = -a**3 - 10*a**2 + 4*a + 1. Let w be i(q). Let c = -31 - w. Is 6 at least c?
False
Let b(y) = -29*y**3 - 3*y**2 - 16*y - 14. Let l be b(-1). Let v be -2*(-3 + l/8). Which is greater: 3/92 or v?
3/92
Let d = 3.8 - 3.6. Let o = -266 + 287.2. Let h = o + 2.8. Is h bigger than d?
True
Let b = -459 - -459. Suppose b = -5*k - 16*k - 21. Let m be 1 - (2/(-8) - -1). Which is greater: k or m?
m
Suppose -5*h + h = 96. Suppose 4*c = -c - 130. Are c and h nonequal?
True
Let k(p) = -34*p - 764. Let c be k(8). Are c and -1035 unequal?
True
Let m be (-253)/494638*180/(-198). Which is greater: m or 0?
m
Suppose -q = -3*q. Let f = 0 - q. Let h = -81654 + 571576/7. Which is greater: h or f?
f
Suppose 3*z = -0*z - 2*x - 423, 0 = 5*z - 2*x + 705. Let t = -140 - z. Which is smaller: t or -12/25?
-12/25
Let t = -91115031/3622 - -25156. Which is greater: t or 0?
t
Suppose -3*x + 361 - 1006 = -3*t, -4*x - 20 = 0. Suppose -11*g = 65 + t. Which is smaller: g or -24?
g
Let b = 91 + -62. Let t = 78 + -157. Let a = 78 + t. Which is smaller: b or a?
a
Suppose 59*o + 417 = 4. Let u be 4/8 + 7/2. Suppose -u*g = -i + 1 + 2, 2*i - 5*g = -3. Which is bigger: o or i?
o
Suppose -5*z - h = -2, -61*h = z - 66*h + 10. Let b be -2 + (-1 - (1 + 0)). Let g be 10/21 + 2/b. Which is greater: z or g?
z
Suppose 0 = -70*o + 120*o - 144*o + 40044. Which is smaller: 2549/6 or o?
2549/6
Suppose 0 = 54*f - 50*f + 24. Let a(m) = -2*m**2 - 9*m - 50. Let w be a(f). Let j be 34/w - -2*25/4. Which is greater: 8 or j?
j
Let x = 4954/1051 + -25484184/19969. Let b = x - -307672/171. Let p = -1564/3 + b. Which is smaller: 5 or p?
5
Let j = -9052 + 5028. Are -4026 and j non-equal?
True
Let k = -62879/30 + 2096. Suppose -4*x - 6 = 18. Let c be ((-2)/(-6))/(2/x). Which is greater: c or k?
k
Let d(t) = t**3 + 17*t**2 + 7*t + 119. Suppose 0 = 7*z + 101 + 18. Let u be d(z). Which is smaller: u or -1/50?
-1/50
Suppose 4*d - 546 + 175 = 5*a, 3*a + 2*d = -227. Let i = 80 + a. Let h(r) = -6*r + 13. Let w be h(i). Are w and -2 non-equal?
True
Let n = 384 + -376. Suppose -n*r - 1405 = 1331. Does -343 = r?
False
Let q = -5815/3 + 1936. Let k be 14/24 - (-2 + 1). Let r = k + q. Which is smaller: -2 or r?
-2
Let d = -773 + 772. Which is greater: d or -3121?
d
Suppose 5*c + 4*d = c + 8, d = -5*c + 14. Let a be (7/21)/(1/c)*1. Is 2/327 greater than or equal to a?
False
Suppose -16 = 9*k - 5*k. Let g be k/(-6) + 15*30/(-189). Let w(m) = -2*m + 4. Let v be w(3). Which is smaller: g or v?
v
Let w(j) = j**2 + 9*j + 4. Let g be w(-6). Let v = g - -16. Suppose -v*l + 46 = -0*l. Which is bigger: 21 or l?
l
Let v be (-7*791/(-147))/(20/8*2). Which is smaller: v or 0.1?
0.1
Let o = 9/176 - 8413/176. Which is bigger: o or -48?
o
Let k = -11107 - -244411/22. Let s = k - 34/11. Which is smaller: -34 or s?
-34
Suppose -n - 3*g - 32 = 3*n, -3*n + 4*g = -1. Suppose 2*v - 7*v = 20, 2*v + 2 = t. Which is smaller: t or n?
t
Let w be 30/(-7)*4*(-14)/88. Let o = 17 + -14. Suppose -4*u - o = 17, -4*u = k + 17. Is k < w?
False
Let k = 6.438 + -7.638. Suppose 0*v = 4*v - 96. Is v greater than k?
True
Suppose 39*j + 53*j + 61*j - 2010114 = 0. Is 13138 less than or equal to j?
True
Suppose 216 = -2799*o + 2795*o + 1500. Is 317 less than o?
True
Let z = -3245 + 3245.0692. Is z less than 2/9?
True
Let o be (-3050)/35 + 1 - 1/(-7). Let i be -2*127/3 - 2/2. Is i less than or equal to o?
False
Let l be (1 + -4)*(-71228)/(-318). Let z = -672 - l. Let w be ((-5)/(-3))/(210/126). Is z > w?
False
Let d = -1/6093 + 95509/316836. Is d greater than or equal to -1?
True
Let r = 11796 - 12382. Is -6438/11 bigger than r?
True
Let r be (0 + 0)*(9 + 312/(-36)). Let z(u) = -2*u + 2. Let l be z(-9). Suppose r = l*i - 21*i + 35. Is i bigger than 34?
True
Let y = 0.031 + -11.931. Let m = -128.1 + y. Let o = -82 - m. Which is smaller: -2/3 or o?
-2/3
Suppose -5*k - 5*y - 8485 = 0, 12*k + 3*y + 6789 = 8*k. Are -1699 and k equal?
False
Let g be (-9)/(-10) - 2/(-4) - (-723432)/6020. Which is greater: g or 121?
g
Let a(x) = 3*x + 17. Let t be -10*4*(-1)/(-8). Let q be a(t). Let h = 192/11 - 1097/66. Which is smaller: h or q?
h
Suppose 0 = -z - 4*s + 24, 9*z - 7*z + 6 = s. Is -27/110 equal to z?
False
Let t(w) = 8*w**3 - 3*w**2 + 11*w + 23. Let z be t(-3). Let k be (-2)/(-4)*(23 - z). Which is greater: k or 139?
139
Let d be (-1110)/(-888) - 5/((-100)/231). Let z be (2/(-4))/(2/24). Let r(s) = s + 18. Let w be r(z). Is d >= w?
True
Let b be -19 + (-19865)/(-1044) - (-1 + 10/8). Which is greater: 4.07 or b?
4.07
Let l be (-460)/2 - (-16 + 19). Suppose 2*k + 3*i + 463 = 0, -67 - 1101 = 5*k - 3*i. Are l and k equal?
True
Let k = -2261 + 2957. Which is bigger: k or 695?
k
Let i = 0.101 - 0.911. Let x = 61.19 - i. Let 