qual?
False
Let c(w) = 4*w**2 - w - 90. Let y be c(5). Let o = -11 + 20. Let l be y/o*5 + 0 + -3. Which is smaller: 0 or l?
l
Suppose 4*a + a = 10. Suppose -a*f = -6*f - 2*o + 92, 4*f - 4*o = 92. Let h be f/25 + -3 - -2. Which is smaller: h or 1?
h
Let i be 18/42 - (-177)/28. Let r = -5101/17829 - -1/2547. Which is smaller: r or i?
r
Let f be -18*(10 + 4936/(-60)). Which is smaller: 1300 or f?
1300
Let w(n) = -10*n**2 - 33*n - 34. Let j be w(-1). Let i(t) = -14*t - 156. Let g be i(j). Let y = -5897/2583 + -1/369. Which is smaller: g or y?
y
Let y = 40 - 7. Suppose n = y - 11. Suppose -36 = 26*r - n*r. Are -5 and r nonequal?
True
Let l be (31/(-2) - -6)/(1/12). Let y = -683 - -570. Are l and y equal?
False
Let p = -27055529/221 + 122423. Are p and -1 non-equal?
True
Suppose -13*b - 388 = -1844. Is b <= -19?
False
Let d = 0.14 - 0.14. Let p = 1 - d. Let g be (177/45 + -4)*(49 + 2). Does p = g?
False
Let v = -35 + 33. Let y = -24 + v. Let r = 23.4 + y. Is r > -1?
False
Let m = -3.72 - 1.48. Let z = m - 8.2. Let g = 13.312 + z. Is -0.1 smaller than g?
True
Let s be ((-6)/4 - 0/(-18))/((-39)/(-7514)). Let i(x) = -291*x**2 + x + 1. Let l be i(-1). Which is smaller: s or l?
l
Suppose -6892*a + 56205 = -6897*a. Is a less than or equal to -11240?
True
Let y = 2/89431 + -247097873/894310. Let l = y + 276. Let t = -1 - -2. Is l at least as big as t?
False
Suppose 14*n = -341 - 23. Let q be (n/(-39))/((-4)/186). Which is bigger: -26 or q?
-26
Let r = -8119/13 + 625. Let x(p) = 3*p**2 - 19*p - 12. Let u be x(7). Suppose -u*n = 3*o - 3*n - 7, 5*n + 20 = 0. Is o less than r?
False
Let j = -20.3 - -2.3. Let t = j - 11. Let i = t - -29.1. Is i != 0.03?
True
Let f be (1015/147 + -7)*606. Is f < -59?
False
Let m(h) = 62 - 2*h - 3*h - 51. Let i(b) = b**3 + 5*b**2 - 6*b + 6. Let a be i(-6). Let w be m(a). Which is bigger: w or -20?
w
Let d = 0.02996 + 0.17004. Which is greater: d or 2621?
2621
Let v = -421046/10885 + 1366/35. Is 0 at most v?
True
Let v be (452/339*(-9)/(-6))/(1/56). Which is bigger: 561/5 or v?
561/5
Let s(j) = -2*j**3 - 215*j**2 - 2035*j + 290. Let r be s(-97). Let o be 4/(-10) + (-487)/(-5). Are o and r equal?
False
Let g(r) = 4*r - 3. Let j be g(2). Let q = j + 21. Suppose -31 + 481 = 31*n - 13*n. Is q bigger than n?
True
Suppose 110 = 4*f + 42. Let y be ((-2)/4)/(((-51)/738)/f). Is 123 > y?
False
Let g be (-788)/8 + (-6)/4. Let u = g - -199/2. Is -0.11 less than u?
False
Let i be 168/(-777) - 4/(-18). Let j = i - -652/2331. Is -2/9 at least j?
False
Let i = 28885/16172 - 21/1244. Which is smaller: i or 3?
i
Let f be ((-1)/(-3)*0)/(3 + -1). Suppose -2*g = -q + 5, -g + f + 11 = -5*q. Let p(r) = -4*r - 13. Let z be p(g). Which is smaller: 5 or z?
z
Let m = -10223/4 - -2578. Let u(o) = -o**3 + 5*o**2 - 5*o + 3. Let a be u(5). Let q = m + a. Which is greater: q or -2/39?
q
Let q be 1 + 9/(-1 - 2). Let c = 22291 - 289797/13. Is q < c?
True
Let u = -1877 + 1871. Let k = 67.839 + 0.161. Which is greater: k or u?
k
Let d(o) = -32*o + 464. Let y be d(15). Are y and -163/11 non-equal?
True
Let t = -67.47 - -0.47. Let p = t + 73.01. Let f = 5.9 - p. Which is smaller: -1 or f?
-1
Let y(w) = -w**2 - 7*w + 8. Let k be y(-8). Suppose k = -n + 4*p + 177, -5*p + 0*p = 2*n - 341. Suppose -n = -2*a - 71. Which is smaller: a or 0.1?
0.1
Suppose -f = 5*g + 615, -3*g - g - 501 = -f. Let p be g/(-335) + 32/(-80). Let x = 36 - 37. Which is bigger: x or p?
p
Suppose -50*t - 259 = -51*t. Let v = -257 + t. Is -12.4 < v?
True
Let g = -2.564 + 8.564. Which is bigger: g or -55?
g
Let a = 923 + -1481. Let z be (a/180)/((-6)/75). Is 38 less than z?
True
Let y(q) = q - 9. Let x be y(11). Let k be ((-2)/(-3) + 2)*(-33)/(-22). Suppose x*t + 0*b = -k*b, 2*t + 5*b = -5. Which is smaller: 11 or t?
t
Let v(f) = -2*f - 4. Let n be v(-3). Suppose n*m = 4*m - 2. Let g = 21/1754 - 1133/387634. Which is greater: g or m?
m
Suppose 2231 + 566 = 2*u - 429. Is u less than or equal to 8069/5?
True
Let w = 514747/40 - 12868. Let k = -10983/8 + 1372. Let t = w + k. Which is bigger: t or -3?
t
Let x be (-1)/(4/2 + -3). Let w = -6310555/28 - -225400. Let o = -156/7 + w. Is o less than x?
True
Let c be (-2)/(-3) - (-78)/(-117). Suppose -15*f + 13*f - 3*l - 9 = c, -4*f - l = 3. Is f less than or equal to -10/101?
False
Let p = -52.5 - -96.68. Let m = p + 0.82. Let d = m + -44. Do d and -15 have different values?
True
Let j be 5 - (4 + 3/(6/(-2))). Suppose -6 = -j*x - 0*x. Suppose -7*b + 2*n = -8*b - 2, -x*n - 3 = 0. Is 10 bigger than b?
True
Let y = -4.941 + -2.059. Which is smaller: y or -0.7?
y
Let q = 167.8 - 178.8. Are -28/3 and q non-equal?
True
Let o(i) = -8*i - 30. Let y be o(18). Let u = 867/5 + y. Let p = -5/52 - 2/13. Is u < p?
True
Let j be 1/(-2)*118800/(-216). Is j at least as big as 4?
True
Let r = 222 + -217. Suppose -m = -3*m + r*m. Is -1/157 equal to m?
False
Suppose 2*l - 4*n = -14, l = -2*n - n + 8. Suppose 15 = 6*q - q, 0 = 2*k + q - 19. Let w be (k - 2/(-1))/(-14). Which is smaller: w or l?
l
Suppose 8 = 2*u - 3*l, 0 = -5*l + 4 + 6. Let h be 1 + (-5)/25425*-31522. Let z = h - -1/1017. Which is greater: u or z?
z
Let h be 675/(-9) + 6/(-2). Let l(i) = 4*i - 1. Let b be l(1). Let y be b + 8/((-16)/h). Which is smaller: y or 41?
41
Let g = 6178/7 + -66222/77. Are 24 and g unequal?
True
Let n = 88 + -89. Let b be 3*(-7)/(-42)*(n - -23). Which is smaller: b or 12?
b
Suppose 25 = -5*u, 26*n = 21*n + 5*u - 8175. Which is greater: -1641 or n?
n
Let c = 14089/26 - 542. Suppose -i = 5*i + 6. Which is smaller: i or c?
i
Let g = 37 - 36.985. Let b = -1.385 - g. Suppose 0 = 4*y - 3*f + 15, 0 = -y + 4*f - 12 + 5. Which is smaller: b or y?
y
Let z = 2 + -3. Let t = -31028/1101125 + 66/2875. Is z at least t?
False
Let s = 10.33 + 471.67. Let o = -482.006 + s. Is o at least -1?
True
Let s be ((-25)/20)/(10/(-4))*-114. Let i = 164 - s. Let a be -1 + 2 + (-476)/i. Are -0.1 and a non-equal?
True
Let g = -92331/341 - -41996381/122760. Let l = 1/360 - g. Which is greater: -72 or l?
l
Let i = 1 + -5. Suppose 12*h + 63 + 21 = 0. Let k be 3/(-1) - 19/h. Are i and k non-equal?
True
Let i(n) = 10*n**2 + 1246*n - 159. Let f be i(-125). Is f less than 341?
False
Let h = 42.5 + 4.5. Let m = h - 51. Let p be 1*12/4 + 14/(-4). Is m at least as big as p?
False
Suppose 5*k - 127 = 133. Let o = 574/11 - k. Let q = 71 - 71.1. Which is bigger: q or o?
o
Let p be 6/(-15) - 40/(-95). Let l(y) = y**3 - 4*y**2 + 3*y + 1. Let t be l(3). Is t less than or equal to p?
False
Let m = 0.06 - 0.46. Suppose -j - 3*j = 3*j. Suppose -9*q + 49 + 14 = j. Is q less than or equal to m?
False
Let u = 25146 + -25267.35. Which is smaller: -2/3 or u?
u
Let p(f) be the second derivative of -5*f**3/6 - 6*f**2 - 9*f. Let x be p(8). Is x <= -51?
True
Suppose 3*j + 69 = 3*h - 0*h, -j - 5 = 0. Let f = -42 + 47. Suppose -3*x + 10 = k - 5*x, -f*x = -k + 1. Which is smaller: h or k?
k
Let g = -128.84 - -129. Let s = 6.43 - 6.37. Which is greater: g or s?
g
Let b = -3666 + 3913. Is 247 != b?
False
Let g = 693265/66 + -10504. Is g not equal to 0.015?
True
Let a = -1722 - -1650.5. Let g = -89 + 157. Let m = a + g. Is 0 greater than or equal to m?
True
Suppose -117*i + 1893 + 521 = 542. Which is greater: i or 189/13?
i
Let h = 2961 + -2907. Is h at most 52?
False
Let o = -202 - -26465/131. Is o <= 0?
False
Suppose u = 6*u. Let o(z) = 15 - 41*z**3 - 51 + 42*z**3. Let i be o(u). Which is bigger: -35 or i?
-35
Let h(m) = -614*m**2 - 1804*m + 1. Let f be h(-3). Which is smaller: f or -0.7?
f
Let z = 1.37 + -2.7. Let x = z - -0.73. Is -9/8 > x?
False
Suppose 0*t - 6*t + 24 = 0. Let q be (33/(-44))/(6/t)*2. Let a = 103/1221 + -1/33. Are a and q non-equal?
True
Let m = 77 - 127. Let z = m + 223. Which is smaller: -0.1 or z?
-0.1
Let m be 30 - (4/(-10))/(38/95). Which is greater: 22 or m?
m
Let o = 15956 - 9176. Is o > 6781?
False
Let t = 104/233 + -636039/1425494. Which is smaller: -0.1 or t?
-0.1
Let r be ((-14)/1505)/(1/(-25)). Let s = -1842/215 - r. Suppose 24*p + 102 = -90. Is p equal to s?
False
Let h(y) = -y**3 - 7*y**2 + 21*y + 7. Let b be h(-9). Let g(l) be the second derivative of -l**3/6 - 20*l**2 - 8*l. Let n be g(-19). Which is bigger: n or b?
b
Let x = -10.88594 + -0.01906. Let f = x + -0.095. Which is bigger: f or 1?
1
Let z(x) = 326*x 