 = -l - 2*l + 312, -4*k + 371 = -5*l. Which is smaller: w or k?
w
Let r(u) = u**3 + 7*u**2 + 10*u + 42. Let v be r(-6). Suppose -4*n - 3*l - 19 - v = 0, -5*l + 5 = 0. Which is smaller: n or -1?
n
Suppose -26*j - 265 = -265. Which is smaller: j or 6353?
j
Let k = -2.31 - -0.11. Let i = k - -6.7. Let c be 309/(-412) + -3*34/(-72). Are i and c unequal?
True
Let t(d) = -3*d**2 - 14*d - 17. Let z be ((-2)/2)/(2/14). Let g be t(z). Let m be 3/4 - (g/(-24) - -1). Is m >= -13/6?
False
Let x = 433 + -432. Let o be x/(-8)*33/(-22)*-238. Which is smaller: -45 or o?
-45
Let a = -124.29 + 0.29. Let f = 128.7 + a. Is 0.1 equal to f?
False
Suppose 552 = 5*y - 2*n, -5*y + 715 = 5*n + 135. Suppose 0 = 8*f - 3*f. Suppose f = c - 15*c + y. Which is bigger: 6 or c?
c
Suppose -l - 11 = -6*n, 4*n - 1492*l = -1489*l - 9. Is -10 <= n?
True
Let q = -8704/5 - -33101327/19015. Is q >= 0?
True
Let j be (71/4)/(52/208). Which is smaller: j or 89?
j
Suppose 0 = m + 1, 2*j + 2*m - 217 = 5*m. Let f = -770 + 877. Is f less than or equal to j?
True
Let q = 529/4 - 152885/1156. Let l = 32 - 32. Which is greater: q or l?
l
Let z(s) = 3*s - 266. Let n be z(-30). Is -350 at least n?
True
Let s = 6325 - 6324.7. Is -25 <= s?
True
Let k be 2/(-28)*(2 - (-9)/(-3)). Suppose -10*s = -14*s. Is s greater than k?
False
Let l = -32.6 + 28. Let i = l + -12.4. Let f = 16.87 + i. Do -1/5 and f have different values?
True
Let r = 13 - 13.105. Let a = r + -0.025. Let f = -0.47 + a. Is 0.1 bigger than f?
True
Let k(s) = 42*s**2 + 208*s - 10. Let a be k(-5). Which is smaller: a or -41/211?
-41/211
Let u = -1306 + 1370.1. Let r = u - 43. Let m = -21 + r. Which is bigger: 12 or m?
12
Let x(g) = 60*g - 172. Let f(j) = -31*j + 87. Let n(c) = 7*f(c) + 4*x(c). Let q be n(0). Which is smaller: q or -78?
q
Suppose -5*l - 4*g - 440 = 0, 440 = 2*l - 7*l + 3*g. Let c = -88 - l. Let s = -107 - -323/3. Are c and s non-equal?
True
Let k = 916 - 919.7. Which is smaller: k or -4/5?
k
Let t be -16 - (-23 + 13 + -7). Which is smaller: t or 1/6313?
1/6313
Suppose 5*o + 2*g + 1260 = 0, -2*g = o + o + 498. Let x = o + 261. Which is bigger: x or 4?
x
Suppose 62 - 234 = 4*j. Suppose -52 = p - 4*z, 7*p + 226 = 2*p + 3*z. Which is smaller: p or j?
p
Let y(n) = -3*n**3 + 8*n**2 - n - 3. Let d be y(2). Let o be (-3)/(d/2)*17/170. Let b be 1 + -2 - (-3 + 3). Which is greater: o or b?
o
Let t be ((-111397)/(-19))/(-11) + (-5)/1. Which is bigger: -5928/11 or t?
t
Let g(k) = k**2 + 19*k - 117. Let p be g(-24). Suppose 5*z + l + 99 = -190, 4*z = -p*l - 229. Is -59 less than z?
True
Let r be (-5 - 140/(-25))*145. Let f = r - 82. Suppose 0 = 6*p + f*p. Is p smaller than -8/15?
False
Let o = -14206 + 15736. Is o bigger than 0.2?
True
Let s = -9668/3 - -203248/69. Let n(j) = 23*j + 47. Let p be n(10). Let o = s + p. Is o > 2/7?
False
Let v = -56 + 195. Suppose 7*a - 120 = v. Which is smaller: a or 28?
28
Suppose -395*g + 8 = -387*g. Which is smaller: g or -2/611?
-2/611
Let l = 17714 - 141713/8. Which is bigger: 37/5 or l?
37/5
Suppose 3*k + 115 - 127 = t, 0 = 3*t - 2*k + 8. Is 5/362 at least t?
True
Let s = 13.86 + -14. Let a = s + 0.04. Let f = -2.54 - -4.14. Which is greater: a or f?
f
Let m be (-584)/3*1566/348. Which is smaller: m or -874?
m
Let t = 8989 - 8010. Which is greater: 976 or t?
t
Let x(r) = 6*r - 8. Let t(u) = -1. Let f(n) = t(n) - x(n). Let h be f(1). Suppose 7*a - 8*a + h = 0. Which is smaller: -6/37 or a?
-6/37
Suppose 3*o - 5*n = 15, -o + 3*n = -n + 2. Let m be (-1 + 3 - 22)*(11 - o). Is -21 equal to m?
False
Suppose -4*p = 4*f - 16, 5*p + f - 18 = -3*f. Suppose -p*l + 13 = 13. Let t = -74/9 - -6160/747. Which is smaller: l or t?
l
Let f = 1750 + -1694. Suppose -2*m - 24 = 2*l - 140, -m - 237 = -4*l. Which is smaller: l or f?
f
Let c = 4033/19 + -212. Suppose -2*l = -743 + 969. Let d = l + 114. Which is smaller: d or c?
c
Let t(p) = -14*p - 18. Let y be t(-6). Let n = y - 860/13. Let c = -335/8 - -42. Which is smaller: c or n?
n
Let q(g) = -5*g**3 - 4*g**2 - 16*g - 18. Let d be q(8). Let f be (-4)/((-12)/(-5)) - d/1770. Is 1 not equal to f?
True
Suppose 23*k - y - 74 = 20*k, 4*y + 62 = 3*k. Suppose k*a + 460 + 1048 = 0. Which is smaller: 7 or a?
a
Let h be (-2)/(34845/(-1395) - -25). Suppose -2*u - 5*b - 171 = 0, 5*b = 3*u + 4*b + 282. Is u smaller than h?
False
Let f(i) = -4*i + 40. Let j be f(12). Let k be j/20 + (3 - 2). Which is smaller: 10 or k?
k
Let q = -94099/187 + 5532/11. Let w(p) = -2*p**2 - 2*p - 1. Let t be w(-1). Which is greater: q or t?
q
Suppose -55*u - 224 = -22*u - 19*u. Are u and 2 nonequal?
True
Suppose 4*w + 410*f = 407*f - 8, 5*w = f + 9. Which is bigger: 59/316 or w?
w
Let q = -788/3 - -266. Suppose -3*z + 6*z = 2*g - 199, -5*g + 4*z + 487 = 0. Let v = g - 92. Which is bigger: q or v?
q
Let t be (4/(-6))/(4/86262*-11). Suppose 592 + 449 = -4*d - 3*r, -t = 5*d - 2*r. Which is smaller: d or -260?
d
Let a = 4802 - 19207/4. Which is bigger: a or 8.24?
8.24
Let v(r) = -4*r + 8978. Let h be v(-80). Which is smaller: h or 9299?
h
Let f be 3*-1928*(4/72 - 0). Let r = -322 - f. Are 308 and r nonequal?
True
Let l be (-4*(-12)/(-3720))/(6/(-10)). Which is bigger: l or 3/4?
3/4
Suppose 7 = -8*x + 7*x. Let c be x - 75/(25/5). Is -25 at least as big as c?
False
Let l(o) = 2*o**2 - 3*o. Let r be l(2). Let p = -182.9 - -161. Let i = 10.9 + p. Which is smaller: i or r?
i
Let o = -533 + 801. Let m = o - 265. Let c be (-4)/6*(-6)/22. Which is smaller: c or m?
c
Let n = 641 - 16027/25. Let x be (-89)/550 + 2/11. Let k = n - x. Are 0 and k equal?
False
Suppose 3*w - 10 = 4*w + 4*p, 4*w = -4*p - 16. Let d be 3*(2 - 3)/(-1). Suppose 3*t - 3 = -d*a - a, 3*t - 3*a - 3 = 0. Which is bigger: w or t?
t
Let p be ((-10)/(-3))/((-6)/(-9)). Suppose -3*w = -2*c - 8, 4*c - 5*c - p*w = -9. Let k = 64612/5 + -12923. Which is smaller: c or k?
c
Let t = 691822/6049 - 2634/23. Which is greater: 1 or t?
1
Let o(h) = 35*h - 4. Let i be o(3). Let x = -1.507 - -1.835. Let r = 0.328 - x. Which is bigger: r or i?
i
Let j(c) = -7*c + 3. Let h(k) = k**2 - 3*k - 5. Let o be h(-3). Let x = o - 14. Let d be j(x). Which is bigger: d or 11?
11
Let p = -10415309/2394 + 20083621967/1654254. Let x = -7790 + p. Do x and -1 have the same value?
False
Let c = -1.8655 - -3.2655. Let f = -12 + 9.8. Which is smaller: c or f?
f
Let o = -4.83 - -26.33. Let a = 26.5 - o. Let r = -7.7 - -8. Which is greater: a or r?
a
Let i = -1 + 4. Suppose -i*b = 4*t - 84, -t - b + 12 = 2*b. Let k = 69 - t. Which is smaller: 1 or k?
1
Let r = -6597 - -6552. Which is smaller: r or -717/16?
r
Let r = -31.234 + -1993.162. Let p = r + 2017. Let n = 7.4 + p. Is -1/4 bigger than n?
False
Let r = 0.0311 - 216.0311. Let t = 365 + r. Let u = 211 - t. Which is smaller: u or 0?
0
Suppose 2*l = -3*o - 11, 0 = -2*l + 4*o - 5 + 29. Suppose l*n = n + 3. Let i be 1 - n - (-15 + 15). Is i equal to -21/8?
False
Let q be (281/(-2))/(-3 + 201/66). Which is greater: q or -3090?
-3090
Let s(p) = 6*p - 31. Let m be s(6). Suppose -m*q - 148 = 3*k, 4*k - 3*k = -3*q - 52. Let z = k + 24. Is -23 >= z?
False
Suppose -4*i = 8 - 4. Let s = 278 + -302. Which is greater: i or s?
i
Let c be 6/14 - 15*(-24)/140. Let u be 1384/40 - (-1 - (-6)/c). Is u != 35?
True
Let q = -2350.2 + 2350. Let h be 2/((4/50)/1). Is q > h?
False
Suppose -61*m - 5*p = -66*m + 15550, -5*m - 2*p = -15543. Which is greater: m or -2?
m
Suppose -5*w = 17*z - 50567 - 36227, -2*w - 15331 = -3*z. Is z bigger than 5105?
True
Let i be ((0 + -1)*(1 - -1))/(-7). Let c = 0.773 - 0.153. Which is bigger: c or i?
c
Let h = 2045/42 + -305/42. Let x = 1499/35 - h. Is x smaller than 2/5?
False
Let s = 5760 - 5760.05. Let a = -5099/13 - -392. Is s at least as big as a?
True
Suppose 3*v + 15 = 0, -3*v + 13 = -5*l + 28. Suppose 0 = -2*h + s + 31, 3*h + 0*h - 3*s - 48 = 0. Suppose l*k + h = -k. Which is smaller: k or -13?
k
Suppose 3*h - 2*a - 7642 = 0, 2*h + h + 2*a - 7658 = 0. Suppose 37*n = 54*n + h. Which is smaller: -148 or n?
n
Suppose 24*m = 6*m + 162. Let r be 19/((m/72)/(0 + 1)). Which is bigger: 154 or r?
154
Let m = 47794389/19 - 2513553. Let s = m - 1938. Which is smaller: s or 2?
2
Let r be 3/(-2) + (-66)/(-24)*2. Let n be (4 - (r + -3)) + -85. Which is smaller: n or -84?
-84
Suppose -13 + 1 = -6*j. Suppose 5*o + j*c - 7*c = 55