ose 0 = 19*r - 17*r + b + 4, r - 4*b - 16 = 0. Suppose -o - o = r. Is o greater than or equal to 4/189?
False
Let f(p) = -46*p**2 - 4. Let x(w) = -w**3 + 10*w**2 - 3*w + 32. Let n be x(10). Let k be f(n). Is k > -188?
False
Let x be (-1)/((3/(-795))/(-70 - -47)). Is -6094 less than or equal to x?
False
Let f be -1 + 1 + (-4)/(-3). Let o = -4.057 - -3.857. Is f smaller than o?
False
Let u = 2.196 - 2.096. Let f = 22 - 41. Is f less than u?
True
Let f be (1 + 2090)*((-36)/(-27) + -1). Is f > 697?
False
Let p = -5/31 - -41/62. Let s = 82.2 - -21.8. Is s less than or equal to p?
False
Let f(r) = 10*r - 142. Suppose w + o - 12 = 0, 3*w - 51 + 1 = 4*o. Let j be f(w). Is j >= -25/17?
False
Let b(z) = 154*z**2 - 3*z + 4. Let j be b(1). Let l = 300 - 148. Which is greater: j or l?
j
Let d(l) = -l**3 + 5*l**2 + 7*l - 11. Let b be d(6). Let f = -4 - b. Is f less than or equal to 4/11?
False
Let u be 6*1/4*62. Let i = -469/5 + u. Are i and -3 unequal?
True
Let c be ((-16)/(-344))/((-2)/9). Let v = 16115 + -16114. Which is smaller: c or v?
c
Suppose j + 3061 = -p, -5*p + 1477*j - 15365 = 1472*j. Which is smaller: p or -6135/2?
-6135/2
Let p be ((-7)/(-3) - 2)/(-16*17/(-4896)). Are p and -6 nonequal?
True
Suppose 23*w - u - 335 = 20*w, -4*w - 3*u + 464 = 0. Which is greater: 131 or w?
131
Let y = -18359 - -18907. Is 541 at least y?
False
Suppose -3*p = -2*m - 5, -m = p + m - 7. Let a be 2/(2 - p) + 1. Which is smaller: a or -3?
-3
Let l = 52217/168 - 1247/24. Let q = -72333/280 + l. Which is smaller: 0 or q?
0
Let o = 463 - 1153. Let s be (6*(-12)/o)/(1/10). Which is greater: 2 or s?
2
Let l be 0 + -1 - 2*-4. Let b = -2411 - -2410.5429. Let a = b - 0.0429. Which is smaller: l or a?
a
Let b be (-3)/(36/40*1)*128/(-14400). Let d = -11 - -12. Is d <= b?
False
Let j be 1505/10*(-24)/7. Let z be (-6)/8 - 645/j. Is z at most 433?
True
Let x = -110/47 + 11456/4935. Let g = x + -176/1785. Do g and 0.52 have the same value?
False
Let k(m) = m - 6. Let v be k(9). Suppose 0*f + 11 = -2*f + v*n, 3*n = f + 7. Let s be 36 - (10 + -4 + f). Which is smaller: s or -2/7?
-2/7
Let q = 7996 - 7996.03. Does 8/9 = q?
False
Suppose 0 = -26*y + 2032 - 2890. Let s = 1.26 - 1.3. Which is smaller: s or y?
y
Let p be 42/30 + (-4)/((-16640)/(-5239)). Suppose q - 3 = 4*q. Is p bigger than q?
True
Suppose 2*k - l = -432 + 1290, 5*k = -l + 2131. Let p be 14/(20 + -6)*428/1. Which is smaller: k or p?
k
Let w be 170/(-7) + 7/(-343)*-14. Let l be ((w/(-112))/(-3))/1. Let d(g) = -g + 7. Let k be d(6). Is l smaller than k?
True
Let f = -124 + 123.842. Let x = 0.458 + f. Is -0.37 at most x?
True
Suppose -w = 4*a - 2056, -2*a - 1525 = -5*a - 5*w. Is a bigger than -1?
True
Let i(l) = 2*l + 48. Let f be i(-22). Suppose 5*x - 2*t = 2*t - 244, 0 = -t - f. Is -51 equal to x?
False
Let n = -1655.25 + 1655. Let z = 17.199 + 0.051. Let f = z + n. Do 2 and f have different values?
True
Let t = 50.37 - 51. Let q = t - -16.63. Let d = 16.14 - q. Are d and -3 non-equal?
True
Let y = 2.405 + 9.395. Which is bigger: y or 35?
35
Let c be 40/(-460) - 127998/(-299). Is 3 equal to c?
False
Let t = -32357/12 + 13482/5. Which is smaller: t or -50?
-50
Let l(n) = -n**2 - 4*n - 14. Let i be l(10). Let d(y) = 34*y + 2669. Let o be d(-83). Is o at least as big as i?
True
Let s = 0 - -1.7. Let p = 0.182 - -1.518. Let x = s - p. Which is greater: 0.6 or x?
0.6
Suppose 0 = 2*r - 5*x + 4 + 10, 13 = 3*r + x. Let z be -2 - (r/(-3) - (7 + -9)). Let h = -676/3 - -222. Which is greater: z or h?
z
Suppose -5*k = -740*b + 745*b + 5, -3*b - 2*k = 7. Is -632/109 greater than b?
False
Let l = -410.8 - -411.8. Which is bigger: l or 28.96?
28.96
Suppose -69*m - 6095 = 4996 - 465. Is m at most -154?
True
Let o = -1.3813 - 482.6187. Which is greater: 0.8 or o?
0.8
Let d = -324.809 + 3.909. Let z = d - -321. Is z at most as big as -0.1?
False
Suppose -42*j - 74*j = -149*j - 594. Which is smaller: -340/19 or j?
j
Suppose 0 = 3*x + 5*o + 2, -x = -5*o - 6 - 0. Let m be (5 - (1 + 1))*-1*x. Let p be m - (9/(-3) - (-2 + -2)). Which is greater: -3 or p?
-3
Let m(h) = -319*h - 1802. Let a be m(-7). Which is smaller: a or 433?
a
Let m = -16823 - -16822. Is -3/13304 smaller than m?
False
Suppose -2*v + 1263*m - 1265*m - 8 = 0, 5*v - 3*m = 20. Let n = -9358806665/131412 - -854609/12. Let o = 1/466 + n. Which is bigger: v or o?
v
Let b be (1*22 - 0)*3. Let u = 1.61551 - -1.38449. Do b and u have different values?
True
Let k be ((-10)/328)/(19752/1536 - 13). Is k > -1?
True
Let s(w) = -12*w + 6*w + 15*w**2 + w**3 - 9*w + 16. Let v be s(-16). Suppose -11*h - 44 = -v*h. Which is bigger: h or -16?
h
Suppose -3*x = x + 5*u + 30, -10 = -5*u. Let q = -24702 + 24696. Which is smaller: q or x?
x
Let r(t) = -2*t**2 + 31*t - 16. Let j be r(15). Let b be ((-4)/(-12) + j)/((-4)/126). Suppose -1 = 20*x - b*x. Which is smaller: 1/5 or x?
1/5
Let b be (3/6)/((-1)/(-110)). Let g be (-14)/(-4)*10*8. Suppose s - 6*t + 4*t = 56, 5*s - 4*t = g. Does s = b?
False
Let b = 869.4 + -866. Let q = -5 - -8.4. Let n = b - q. Is n smaller than 28?
True
Let v be 347265/(-18)*(-2)/(-70). Suppose 2*c = 3*u + 1651, 3*u = 4*c - 251 - 1398. Let k = v - u. Do k and -1 have the same value?
False
Suppose -18*b - 759 = 249. Let t be b/16*(-8)/14. Let s be t*1/2 + 0 + 3. Are s and 56/11 nonequal?
True
Let q(g) = -6*g**2 - 3*g + 2. Let z be q(3). Let v be 3/2 + 1030/20. Let h = z + v. Which is greater: -7 or h?
-7
Let s(o) = -o**3 + 11*o**2 - o - 16. Let j be s(11). Let q = 720 + -720.1. Are q and j nonequal?
True
Let v be (1 + -2)*(12/33)/(162/4455). Suppose -a = -3*q + 7, 5 = 5*q - 3*a - 12. Which is smaller: q or v?
v
Let b = -2681 + 2674.8. Which is bigger: b or 5?
5
Let h be (76/95 - (-51)/30) + (-76955)/10. Is -1/3 less than or equal to h?
False
Suppose -370*x + 2822 = -387*x. Is -165 < x?
False
Let h = 53.9 + -54.378. Let m = -0.678 - h. Are m and 1/2 equal?
False
Let b(x) = 1597*x - 3101. Let l be b(2). Let w be (-914)/(-10) - 6/15. Which is bigger: w or l?
l
Let z = 96 - 94.03. Let t = 0.03 + z. Which is greater: 35 or t?
35
Let l = 3211 - 41721/13. Let r(y) = -y**2 + 1194*y - 24630. Let z be r(21). Is l at most as big as z?
True
Let y be (-1 - (-1 + -1))/1. Let d be ((-1)/2)/((-8)/(-568)). Let u = d + 36. Is y >= u?
True
Suppose 3*a - 10 = o + 55, -5*o = 4*a - 74. Let v be (35 - a)/(2*-1). Which is smaller: -5 or v?
v
Let i be 1712/22 + (-2)/(-11) + (-44)/22. Does 899/12 = i?
False
Let n be (-11)/((-33)/(-12)) - -3861. Suppose 2*r + 2358 = -5*c - n, -4*r + 2*c - 12394 = 0. Let s be (-1)/(-4) - (-75)/r. Are 1 and s non-equal?
True
Let h be (-1288)/(-21)*(-36)/(-1). Suppose -9*b + 21*b = h. Is 184 at most b?
True
Let x(o) = -91*o**2 + 18*o + 56. Let f be x(-3). Which is bigger: -0.1 or f?
-0.1
Let t be -254*((-2)/6 - (-8349)/(-414)). Is t bigger than 5206?
True
Let z(m) = -m**3 + 31*m**2 + 87*m - 694. Let o be z(33). Which is smaller: 19/187 or o?
o
Let z = 1.71 + -3.44. Let k = z + 0.13. Let s = -20012 - -20011. Is s >= k?
True
Let p = 25267/3 + -8422. Is 22.63 smaller than p?
False
Let j = -276 - -3590/13. Let l(k) be the first derivative of -k**3/3 - 2*k**2 - 3*k + 9. Let x be l(-3). Which is greater: j or x?
j
Let f = 0.2875 - 0.2875. Which is smaller: 435 or f?
f
Let f = -153.22 + 153.42. Which is greater: f or -1/2382?
f
Let d = 0.504 - -2.266. Let t = d - -0.23. Is 0 greater than or equal to t?
False
Suppose -8673 = 27*n - 48*n. Which is smaller: n or 410?
410
Let t be (112/(-24))/((-2196)/2824) + -6. Does t = -0.3?
False
Let l = -0.021 + 0.057. Let d = l - -19.464. Let p = -19 + d. Which is smaller: p or -2/3?
-2/3
Let d = -1113725/44352 - 1/14784. Is -26 > d?
False
Suppose 2*a + 4*q + 116 = 0, -4*a + 4*q = 7 + 285. Let o = -112 - a. Let b = 82 + o. Is 40 at least as big as b?
True
Suppose -18*h = -16*h - 2756. Let f be (-3)/(-15) + h/10 + 2. Which is smaller: f or 141?
f
Let w(n) = -n**3 + 4*n**2 - 5*n + 6. Let f be w(3). Suppose -5*l + 0*l + 2*c = -31, -5*l - c + 22 = f. Let y = l - 11/2. Is -13 less than y?
True
Let n = 125 - 71. Suppose -n = 45*g - 9. Is g < 1/303?
True
Suppose 4*j - 16 = 0, 5*l - 4*j = -1349 + 16943. Is l smaller than 3122?
False
Let p = -21245 - -21242. Let r be 6/21 + 79/(-7). Let t = -16 - r. Which is smaller: t or p?
t
Let r = -43 - -53. Suppos