t w = -7.26 + 6.26. Which is greater: -122 or w?
w
Suppose 391 = 2*p + 5*u, 3*u = -4*p + 670 + 133. Let l be p/(-28) + 1/4*2. Suppose 3*f + 20 = -4. Are l and f nonequal?
True
Let h = 2484.6 + -2478. Let x = -0.34 - -0.14. Which is smaller: h or x?
x
Let w = -194 + 107. Let i be (w/15 + 7)/((-86)/(-10)). Which is smaller: 1 or i?
i
Suppose -2*c + 2*l + 2*l = 128, -4*c + 2*l = 244. Suppose 4*d - 4*v - 92 = 0, 3*v - 17 = -3*d + 58. Let n be (c/16)/((-2)/d). Is n less than 45?
False
Suppose 144 - 8 = -239*s - 103. Is -242/191 at most s?
True
Let s = 42.0244 - -0.0756. Let k = s + -13.3. Is k at least -0.1?
True
Suppose 0*o + o - 5 = 0. Suppose 39 = 4*p + 3*j - 0*j, o*p - j - 63 = 0. Suppose 0 = z + 4, -5*b = z - 4*z - p. Is 3 >= b?
True
Let s = 5315 - 1795. Let i = -28121/8 + s. Are i and 5 unequal?
True
Let h = -470553777797/1365 - -344728067. Let z = h + 4/455. Let g = -364/15 + z. Which is smaller: g or -0.2?
-0.2
Let n = -0.96 + -10.74. Let s = -11.4 - n. Which is greater: 0.2 or s?
s
Let f(k) = 3*k**2 - 5*k + 7. Let j be f(-4). Let d = j + -71. Let a be (-13 + d)*(1 + 0 + -2). Which is smaller: 10 or a?
a
Let w be (-3)/3 - -2 - 2. Let c(z) = -4*z**2 - 4*z + 13. Let p be c(-6). Let f = -109 - p. Is f != w?
True
Let c = 0.04 - 0.24. Let l = -0.236 + 98.236. Let y = 101 - l. Which is smaller: c or y?
c
Let x(l) = -2*l**3 + 31*l**2 - 74*l - 74. Let g be x(14). Is -535 less than g?
True
Let j = 10135/4 + -2534. Which is smaller: 85.8 or j?
j
Let v be (-7)/(14/(-404)) + 4. Let n = v - 336. Let o be (-20)/n - (-30)/143. Is o less than 0?
False
Let n be 4/3*30/4. Suppose 3*w = -4*r - 17, 7*r + 6 = 4*r. Let k be w + (37 - 34)/(1 - 0). Are n and k non-equal?
True
Let t = -110 + 187. Let f = -77 + t. Let y = -7 - -27. Which is greater: y or f?
y
Let b = 340 - 886. Let n = b + 547. Suppose -166 = -2*h - 20. Which is bigger: n or h?
h
Let n(w) = 7*w**2 + 208*w + 536. Let s be n(-27). Suppose 0 = 4*j - 64 - 24. Which is smaller: s or j?
j
Let l = -407.2 + -9.8. Which is bigger: l or 4?
4
Let g = -132 + -24. Let s = -155.8 - g. Which is smaller: s or 0.89?
s
Let t = 3845 + -3894988/1013. Which is smaller: 1 or t?
t
Suppose 4 = 4*a - a - 4*y, 2*a - 3*y - 1 = 0. Let k be a/(-2) - (-260)/66. Suppose 4*l = 6*l. Is k < l?
True
Suppose 0 = -18*y - 19 - 53. Let o be (-25123)/2793 - -5 - y. Which is smaller: o or 1?
o
Let l = 14/447 + -6899/221861. Is -1 > l?
False
Let v be 10/((-560)/10206) + -3. Is v >= -186?
True
Suppose -19 = 189*o - 534 - 619. Let m = 4100/749 + -66/107. Which is greater: o or m?
o
Let s be 279/(-4) + (-20)/(-17 - -7). Let z = -87541/1292 - s. Do -1 and z have the same value?
False
Let c = 0.23131 + -0.26131. Which is greater: c or 450?
450
Suppose -4*v - 28*a - 240 = -26*a, 5*a + 305 = -5*v. Is v >= -48?
False
Let p = 79299 - 315573/4. Is 405 less than p?
True
Let l(g) = -g**3 - 6*g**2 - g - 3. Suppose -6*j + 0 = 144. Let p = j - -19. Let v be l(p). Is v bigger than -23?
False
Suppose 0 = -6*r - 18 + 24. Let a be (r + (-14)/12)*-10. Is a > -9?
True
Suppose 15*n + 6*n = -4*n + 4975. Which is greater: 2184/11 or n?
n
Suppose -4 = t - 2. Let a be (6/3*8)/((-30)/48). Let r = -409/15 - a. Which is smaller: t or r?
t
Let v = -3096 - -3095.7. Is v less than or equal to 3/212?
True
Let c(l) = 193*l + 2701. Let n be c(-14). Is -232/101 equal to n?
False
Suppose 2*v + 2*f + 0*f = 146, 2*v = f + 131. Suppose 4*r = -2*a + 270, -345 + 12 = -5*r + 2*a. Does v = r?
False
Suppose 10*b = -1 + 41. Let u be b*1/(-6)*21. Is -24 <= u?
True
Let a = 288516 - 3877943552/13441. Which is smaller: -1 or a?
-1
Let w be (-12)/(-4)*(-261)/(-243) - (0 - -3). Do -130 and w have the same value?
False
Let r be (-2 - -7) + -2 + 0. Let v be (-6474)/(-12483) - r/9. Let w = v + -2/73. Is w > -1?
True
Let y = -247 + 219. Let l be (-5 - y/6)*-1. Is l not equal to -8/9?
True
Let j(m) = -91*m - 599. Let n be j(-5). Which is bigger: -146 or n?
n
Let o = 41054 - 111625824/2719. Is o <= 1?
True
Suppose -s - 5*a + 7 = 8, 0 = 4*s - 5*a - 21. Let x be (-440)/360 - s/(-18). Which is bigger: -2/23 or x?
-2/23
Suppose 2*p - 51 = 7. Suppose -4*y + 3*s - 1 = -112, 0 = -4*y - 5*s + 135. Is y at least p?
True
Suppose 882 = 11*z + 453. Let o be 2/9 - 390/(-1512). Let s = 7/36 - o. Which is smaller: z or s?
s
Let d = 726 - 731. Let t be 0/((2 + d)*(-4)/(-6)). Are t and 2/833 unequal?
True
Let w = 4617.7 + -4618. Which is smaller: -1287 or w?
-1287
Suppose -4*r - d + 5 = 0, 3*r + r - 23 = 5*d. Let y be (-2)/((-12)/(-15))*r. Let s(h) = 2*h**2 - 46*h - 107. Let z be s(25). Are z and y equal?
False
Let g(x) = -x + 135. Let v be g(6). Let m = 4 + v. Is 133 greater than m?
False
Let l = 19 + -11. Suppose 3*u - l = 7. Suppose -u*o - 10 = 3*f, -3*f = o + 3*o + 8. Are -2 and o non-equal?
False
Let d(g) = 32*g**2 - 4*g - 149. Let h be d(-12). Which is bigger: 4505 or h?
h
Let v be 28/(-20) + 4/10. Let h = -11 - -19. Let n = -8.1 + h. Which is smaller: n or v?
v
Let j be 14*(-11)/385 - 171/(-15). Which is greater: -903 or j?
j
Let y(w) = -w**2 + 5*w - 5. Let s be y(7). Suppose -3320 = 91*i + 31*i + 44*i. Does s = i?
False
Let l = -34905 + 34904.85. Is -3/20 bigger than l?
False
Let p(u) = -3*u**2 - 9*u + 24. Let q be p(2). Let m(j) = 0*j**2 - 2*j + 15*j - j**3 + 7 - 4*j**2. Let o be m(q). Is -1/20 < o?
True
Suppose 2*h + 4 = -f, 49 = -1667*f + 1671*f - 5*h. Which is greater: f or 95?
95
Let w = 2.84 + -8.72. Let x = -0.12 + w. Let i = -36531 + 36530. Is i at most as big as x?
False
Let f be (-192)/(-1248) - ((-5)/75)/((-13)/(-126)). Let x be (-3)/((-22)/(-16) + -1). Let l(w) = -w**2 - 8*w. Let j be l(x). Which is bigger: j or f?
f
Let c(q) be the third derivative of 5*q**4/24 + 37*q**3/2 - 18*q**2. Let o be c(-35). Which is greater: -67 or o?
o
Let k(w) = 32*w + 121. Let b be k(10). Suppose f = 5*p + b, 2*f - 6*f + 5*p = -1719. Which is greater: 425 or f?
f
Let d(w) = w + 6. Let n be d(19). Let i be 945/n - 3/(-15). Let b be i/95*(-1)/(-10). Which is greater: 1 or b?
1
Let r(n) = 181 + n**3 - 329 + 198 - 16*n. Let w be r(3). Is w at least 30?
False
Let w be 9 + (-30512)/7630 + -5. Is -1 smaller than w?
True
Let q = -28515 + 29143. Is 623 >= q?
False
Let t = 12 + -11.3. Let n = -12.902088 + -0.097912. Is t <= n?
False
Let a be ((-51251337)/(-67689))/(((-1)/(-6))/(-1)). Let m = a - -4543. Which is bigger: m or 1?
1
Let o = 5.84 + -162.94. Is 0.4 greater than o?
True
Suppose -8*u + 13*u + 2*h = -44, 5*h + 42 = -4*u. Let c be (3 + u + 5 - -1) + 2. Which is smaller: 43/13 or c?
c
Let a = 10918 - 10918. Let b be (-5)/6*21/490. Is a bigger than b?
True
Let z = -1040.004 + 1032. Let v = 3.004 + -3. Let j = v + z. Is j > 6/7?
False
Let t = -21346882/19485 - -9860/9. Which is bigger: t or -1?
t
Suppose -12 = 39*m - 33*m. Let r be m/(-5) + (-27)/(-45). Let g = 343/9 + -37. Which is greater: r or g?
g
Let f = -9666 + 9657. Which is smaller: f or -43?
-43
Let t(k) = k**3 - 33*k**2 + 33*k - 28. Let q be t(32). Suppose -48 = q*p + 5*w, 25 = -2*p + 2*w + 1. Which is bigger: p or -37/3?
p
Suppose 5*q = 5*s - 0*s + 270, 10 = -2*q. Let f = s + 61. Let g = 244 + -722/3. Is g bigger than f?
True
Suppose -4*m + 8 + 31 = -a, 5*a + 110 = 3*m. Let y = a - -25. Let i(l) = l**2 - 4*l + 11. Let w be i(y). Which is bigger: 22 or w?
w
Let d = -57 - 79. Let g = d - -138. Is -19 at most as big as g?
True
Let n = -0.68 + -6.124. Is n > -1?
False
Let k = 202 + -201. Which is smaller: k or 5/213?
5/213
Let q be 20/(-30) + 23/3. Let l = 1885 + -1877. Is l at least q?
True
Let h = 3 - 4. Let u be (56/20 + -3)*h. Suppose -2*t = -t + 2*t. Are t and u nonequal?
True
Let g = 40 - -8. Let r = -1.808 - -0.808. Is r at most g?
True
Let b = 41623.9614 - 41624. Which is smaller: b or -30?
-30
Let g = 0.3001 + -0.5001. Is g less than -28?
False
Let s = 26 - 20. Suppose 5*w = 9 + s. Let o(k) = 6*k - 7. Let y be o(w). Are y and 11 equal?
True
Suppose 3*h + 1828 = -l, 3*l + 4224 = -2*h - 1281. Which is greater: l or -1845?
l
Let t(a) be the second derivative of 4*a**3/3 + 225*a**2/2 - 18*a - 2. Let i be t(-16). Is 99 smaller than i?
False
Let i be (((-18)/10)/((-8)/(-20)))/33. Let u(a) = 3*a**2 - 9*a - 1. Let v be u(3). Are v and i nonequal?
True
Suppose 193 = 3*q + 2*p, 3*p + 20 = 7*p. Suppose -96 = w - 5*v - 28, 0 = 2*v - 6. Let l = q + w. Which is g