 w or -0.48?
-0.48
Let i(y) = -y**2 + 4*y + 17. Let p be i(8). Let n be ((-29)/3)/(5/p). Suppose n*r = 34*r - 105. Is r smaller than 23?
True
Let a = -9/4 + 23/28. Let j = -1514 - -872. Let k = j + 641. Which is smaller: a or k?
a
Let f = 2692.99191 + 0.00809. Which is greater: -4/3 or f?
f
Let r = -47 - -107. Let z = 1337.9 - 1399. Let f = z + r. Which is smaller: -4 or f?
-4
Let r = -32519 + 32518. Is -19/204 greater than or equal to r?
True
Suppose 110 = 22*z - 0. Suppose -3*j = -s - 74, -z*j + 0*j = 5*s + 390. Are s and -75 equal?
False
Let r(g) = -8*g**2 - 49*g - 133. Let x be r(-5). Is -523/6 equal to x?
False
Suppose 25 + 70 = -5*l. Let v = -2/3989 + -283211/15956. Which is smaller: v or l?
l
Let q = -864 - -867. Suppose h = -4*j + 6*j + 16, -q*j - 10 = -5*h. Is j less than 1/3?
True
Let i = 452 + -456. Are i and 598 equal?
False
Suppose -3*l + 3172 = 2*k, 760*l = -k + 756*l + 1576. Which is bigger: k or 1591?
k
Suppose 173695 = 48*k - 159521. Which is smaller: 6944 or k?
k
Let o = 2.783 - 0.083. Which is smaller: 0.04 or o?
0.04
Let d be 8 + -3 + ((-108040)/22904 - 4/14). Which is bigger: 1 or d?
1
Suppose 2733 + 2027 = 28*m. Let h be (4 - -1)*m/210*-3. Which is smaller: h or -12?
h
Let v = 8.2811 + -0.1811. Is v at least -1/10?
True
Let v = 12 - 8. Suppose 0 = -v*g - 0*g - 12. Let y(b) = -2043*b - 12260. Let z be y(-6). Is z smaller than g?
False
Let h = -6224 - -6224. Let q be (-1)/(-3) - 19/87. Which is smaller: h or q?
h
Let p = -123 + 122.976. Let i = p + 6.024. Let s = -0.42 - -0.02. Which is smaller: s or i?
s
Suppose -p + 7 - 1 = 0. Let c = -13 - p. Let z = -17420 - -17418. Which is greater: z or c?
z
Let l be ((-6)/15 + 966/90)/(1 - -2). Let k = -4 - -8. Is k > l?
True
Let b = 3994 + -3905. Which is bigger: b or 268/3?
268/3
Let w(o) = -o**3 - 39*o**2 - 53*o + 111. Let h be w(-39). Which is greater: 2179 or h?
2179
Suppose -18*b = -24*b - 7830. Let q be (-2)/8 - b/(-60). Let p = 2.1 - 2. Is p < q?
False
Suppose -10 = -2*b - 5*g, b - g + 3*g - 5 = 0. Let f(o) = 4 + 8 + 2 - 9*o - 8. Let n be f(b). Are n and -39 non-equal?
False
Let x be (4 - 78)/(-1 - 50/(-40)). Is x bigger than -892/3?
True
Suppose 2*h = 2*l - 2*h - 4, 0 = -l - 5*h - 5. Let q be 12/(-558)*(-18 - 703/(-38)). Is l bigger than q?
True
Let b(p) = -1 - 5 + 3 + 4. Let y(w) = -w + 3. Let q(l) = -2*b(l) - y(l). Let r be q(-5). Which is bigger: 0.1 or r?
0.1
Let g(m) = 3*m + 7. Let y be g(7). Let u = -7 + y. Let a be (-8 + 1)*(-4 + 4 + -3). Are a and u nonequal?
False
Let z(a) be the first derivative of 5/2*a**2 + 8*a - 2*a**3 - 1/4*a**4 - 22. Let j be z(-4). Is -44 at least j?
True
Let b = -8028 + 8028.377. Is b at most -2/9?
False
Let n be 1524180/287 + -1 + (-5)/1. Let q = n + -5304. Is q > 0?
True
Let h = -6004 - -6004.8. Does -99 = h?
False
Let s = -1147/3 - -2297/6. Which is bigger: s or -218?
s
Let f = -44.375 + 1.375. Is 8 at most as big as f?
False
Let j = -643 + 643. Suppose j = -10*s + 2*s. Which is smaller: 2/871 or s?
s
Suppose -618*p - 1203 = -622*p - 5*r, 2*p - 3*r = 629. Is 310 bigger than p?
True
Let t = 359 + -358.71. Let h = -0.09 + t. Suppose 0 = 5*b + 15, 0*j + 2*b + 23 = j. Which is greater: j or h?
j
Let h be (1 + 2/(-3))*(2 + 4). Let r(u) = 29*u + 4*u - 19*u + u**h - 12. Let g be r(-15). Is g less than 5?
True
Let g = -30.6 + 39. Let i = g + 37.6. Let c = 90 - i. Are c and 1 non-equal?
True
Let f(s) = -s**3 + 4*s**2 - 2*s + 3. Let d be f(4). Let y be -2*(-4)/(-4) + -1. Let u be -1 + 0 + (y - d). Are -2/37 and u nonequal?
True
Suppose 30*t - 320 = 26*t. Let v = t + -79. Let m = -3343/9 - -371. Which is smaller: v or m?
m
Let i = -22 - -132. Let o be ((-24)/(-16)*4)/((-4)/i). Is -166 at most as big as o?
True
Let t(l) = l**2 + 2*l - 2. Let r be t(0). Let p = 7/404 - 13611/4444. Let j = 28/11 + p. Which is smaller: r or j?
r
Suppose 2*s + 200 = 6*s. Suppose 2 - s = 2*r. Suppose 0 = -72*j - 8818 + 7306. Is r less than j?
True
Let n be 30 + 133 - 12 - (-2 - -1). Which is smaller: n or -15?
-15
Let b = -146 - -249. Let w = b + -105. Is -51 equal to w?
False
Let z = -137498 - -137497. Let h = 3916/27999 + -4/459. Is h <= z?
False
Suppose -160 = 77*t - 12 + 6. Is t at least -40/79?
False
Let i = 11695 - 1134425/97. Suppose 3*j = -5*s - 7, -8*s = -6*s + 4. Are i and j nonequal?
True
Suppose 0 = 28*t + 799 - 99. Which is smaller: t or -7?
t
Let h = 808 + -1762. Let q be h/14 + (-2)/(-70)*5. Is q smaller than -66?
True
Let s = 432 - 2152/5. Suppose 11*h + 17 = -5. Let b be (h/(-35))/(-5*(-3)/75). Which is smaller: s or b?
b
Suppose k + 6 = 4*c, -4*k + k + 10 = 2*c. Let t = 24016 + -121283/5. Let w = t - -242. Which is greater: w or c?
c
Suppose 0 = -3*s - z, 151*s + z = 150*s. Let u = 1128 - 29323/26. Are u and s unequal?
True
Let i be (-8082*9/(-135))/((-4)/(-10)). Which is bigger: i or 1349?
1349
Let r = -3043/60 + 571/12. Let a = -19/6 - r. Let b = -1 - -2. Which is smaller: a or b?
a
Let c be 23/(-5) + 5 - (7 - 8738/5). Is c <= 1746?
True
Let q = 24 - 4. Suppose 0 = r + 105 - q. Let l be (9/((-45)/r))/((-2)/(-4)). Is l < 33?
False
Let n(w) = -717*w - 628. Let x be n(-10). Are x and 6541 equal?
False
Suppose -3*u - 984 - 1417 = -5*i, 3995 = -5*u + 5*i. Is u < -3981/5?
True
Let s be (27/15)/((-9870)/(-1120)). Is 1 at least as big as s?
True
Let t = 13369 - 15813. Are -2444 and t equal?
True
Let m be ((-9)/(-3348))/(3/8). Let j = m - 836/38781. Is -1 smaller than j?
True
Let a = -0.14 + 0.01. Let l = -0.423 - -0.827. Let i = l - 0.304. Which is greater: a or i?
i
Let x(i) = -7*i**3 - 5*i**2 - 14*i + 6. Let g = 304 + -307. Let f be x(g). Which is smaller: f or 194?
f
Let p = 91/683 + -47041/414581. Is p less than or equal to 0?
False
Let s(i) = 570*i - 564. Let v be s(3). Do v and 1148 have the same value?
False
Let r = -8723849/1860 - -18761/4. Which is bigger: 0 or r?
r
Let y(h) = -324*h**2 - 97*h - 161. Let x be y(-6). Are x and -11243 equal?
True
Let r(v) = 38*v**3 - 234*v**2 + 16*v - 6. Let x be r(6). Is -110 < x?
False
Let r(b) = -b**3 + 60*b**2 - 368*b - 159. Let p be r(53). Which is bigger: -1/452 or p?
p
Suppose -4*t = 5*w + 12, -13 - 1 = -5*t + w. Let j be 1/t + ((-132)/(-24) - 7). Which is smaller: 10/37 or j?
j
Let i = 301.6 + -301.4. Is 201/7 >= i?
True
Let m be (-1485)/330*(56/(-3) - 0). Suppose 4*y + 20 = 5*f, -88*f = -m*f + 4*y + 20. Which is greater: f or -4/51?
f
Let j(i) = -5*i + 5. Let m(q) = 20*q - 21. Let p = 24 - 33. Let k(c) = p*j(c) - 2*m(c). Let v be k(4). Is v bigger than 16?
True
Let o be ((-1215)/5832)/((-3170)/8). Do 1 and o have the same value?
False
Let b = -0.20883 - -76.28483. Let h = 76 - b. Is -1/2 less than or equal to h?
True
Suppose -2*f = 3*f + 5*d + 15, d = -5*f - 3. Let r be ((f - 1)*-1)/(5/(-10)). Let g be r/40*-8 + (-13)/(-30). Which is smaller: g or 0?
0
Let w be 10/(50/(-36)*213/(-355)). Do w and 12 have different values?
False
Suppose 0 = 2*m - 3*b + 283, -2*b + 680 = -5*m - 0*b. Let f be (-1)/((-1)/3) + m/(-2). Let h = 123/2 - f. Is h <= -8?
True
Let d = -56 - -61. Suppose d*t - t - 8 = 0. Suppose -12 = t*v - 2. Which is smaller: -9 or v?
-9
Let x = 1063120/19 - 55930. Which is bigger: x or 23?
x
Let j(n) = -n**2 - 4*n - 1. Let d be j(-4). Let b(o) = -20*o**3 + 2*o**2 + o - 1. Let t be b(d). Let a(g) = 9*g + 1. Let f be a(2). Which is smaller: t or f?
f
Let w(x) = x**3 + 3*x - 12. Let k(g) = -6*g**3 - g. Let p be k(-1). Let h be w(p). Let v be (-2)/h*-529 - 3. Is v < 1?
True
Let v be ((-133)/(-22))/((-8255)/254) - (-2)/26. Which is bigger: v or 1?
1
Suppose -a = 2*b - 193, -3*b = a - 5*a - 284. Let k be (b/(-44))/1 + 2. Let y = -15 + 15. Which is greater: k or y?
y
Let j = 6.668 + -5.71. Let u = -0.449 - -0.407. Let d = u - j. Which is bigger: -5 or d?
d
Let r be ((-3)/4)/((-889635)/508). Which is greater: r or 0?
r
Let v(t) = -4*t + 13. Let x(o) = o**3 - 7*o**2 + 8*o - 6. Let p be x(6). Let u be v(p). Is -19/2 at most as big as u?
False
Let m be 3 - 5 - 4/((-88)/50). Suppose 0 = 118*o - 41*o. Which is bigger: m or o?
m
Let r(a) = 13*a**2 - 10. Let x(c) = -6*c**2 + 9 - 2 + 7*c**2 - 10*c**2. Let i(j) = 5*r(j) + 7*x(j). Let p be i(-1). Which is greater: p or -3/47?
p
Let a = 12217 + -12208. Suppose l = 5*l + 120. Let r = -20 - l. Which is smaller: r or a?
a
Let h = -7345 + 7344. Let t = -300047/830 + 723/2.