uppose -47*o + 30*o = 0. Which is bigger: o or -1/1048?
o
Let u be (-9)/54 + (330/(-828) - -5). Which is smaller: 3 or u?
3
Let f(g) = -g**3 + g**2 + 17*g. Let k be f(4). Suppose 3*m + 4*w - 74 = 0, 0 = 3*m + 3*w - 16 - 56. Is k <= m?
True
Let v(d) = -d**3 + 4*d**2 - 3*d. Let r(s) = s**2 + 4*s - 7. Let k be r(-6). Suppose w = -4*p + 7, -p - p = k*w - 17. Let u be v(w). Is u at least 3/13?
False
Let i be 4/(-26) - (0 + (-44)/(-52)). Which is greater: i or -5/24?
-5/24
Let o = -3750/13733 + -1/886. Which is greater: o or -1?
o
Let g be -3*(-2 + -2)/4. Suppose -4*h - g*x = -7*h + 3, 2*x - 1 = 5*h. Do h and 2/45 have different values?
True
Let t(a) = -3*a + 6. Let c be t(5). Let z(p) = 3*p**2 + 70*p - 124. Let g be z(-25). Which is greater: c or g?
g
Let z = -946 + 919. Which is smaller: -28 or z?
-28
Let l = -31 - -171. Let c = -138.99 + l. Let y = -0.01 + c. Is y greater than 1?
False
Let l be 38*(1 - (-5)/2). Let u = 2129/16 - l. Is 1 smaller than u?
False
Suppose 4*t = -2*n - 6*n, -5*n + 4*t = 0. Are -1/1147 and n equal?
False
Let b = -0.43 - 12.57. Let i = 11 + b. Does -13 = i?
False
Let g be (-2)/(-13) + (73929/(-14352) - -5). Which is greater: 1 or g?
1
Let l = 30 - 40. Let v = -1 + -8. Which is bigger: v or l?
v
Let r = 24.9915 - -0.0085. Is r bigger than 3?
True
Suppose 2*y = 2*r + 4*y + 212, -4*r + y - 399 = 0. Suppose 491*z = 477*z - 1428. Is r != z?
True
Suppose 4*l - 5*f = 37, -33 + 5 = -4*l - 4*f. Suppose 5*y - 3*y = 4. Which is smaller: y or l?
y
Let l be (-8)/(-12) + (-134)/186. Let k = 283/651 + l. Is -1 smaller than k?
True
Let q be ((-310)/(-120) + -2)*82. Which is smaller: 48 or q?
q
Let c = 58 - 40. Let j = -12.0706 + 0.0706. Let l = j + c. Is -1/3 less than l?
True
Let s = 27 + -23. Suppose r - 6 = 3*b, -4*r + 6*r - 2*b - s = 0. Is 10.5 < r?
False
Let l be (-5 + 4)/(7/(-8883)) + 1. Is 1269 bigger than l?
False
Suppose 5*q + 51*d - 53*d + 1025 = 0, 2*q = 4*d - 410. Is -206 < q?
True
Let u = 6325 - 3453449/546. Which is smaller: u or -1?
-1
Let z = 5.2 - 5. Suppose 0 = 3*p - 6*p - 12. Let r be (2/20)/(p/10). Is z at most as big as r?
False
Let u(f) = -3*f**2 - f + 4. Let l be u(0). Let g = 2 - 1. Let r be (2 - l)/(g - 3). Which is bigger: r or 3/7?
r
Suppose -3*w + 10 = 2*w. Suppose -t + 2*t = -2. Which is smaller: t or w?
t
Let u = 140/109 + -34704/27359. Is u at most as big as 0?
False
Suppose 0 = 2*x - 0*x. Let m = 26 - x. Let g = 30 - m. Is g > 4?
False
Let s = 104 - 159. Let j be 2/(-5) + (-407)/s. Let v = 8 - j. Which is bigger: -2/29 or v?
v
Let q be (12 + -11)/(2/152*2). Do 38 and q have the same value?
True
Let d be (-21 - -1)/2*276/24. Let i = 115 + d. Let q be 2/18*(2 - 1). Which is greater: q or i?
q
Suppose 5*b + 15 = 0, -4*b + 7 - 18 = q. Is q at least as big as 2/2539?
True
Let k = -144/1127 - -2/23. Which is bigger: k or -6/5?
k
Let y = 172.82 + -171. Let w = -0.18 - y. Is 4 smaller than w?
False
Suppose 4 = 3*k - 2. Let d be (0/(-3))/(0 + k). Let s be (d - (-6)/(-27))*3. Which is smaller: 0 or s?
s
Let s(g) = -2*g**2 + 4*g + 2. Let z be s(-3). Let a = -29 - z. Which is smaller: 6/17 or a?
a
Suppose 14*a - 24 + 10 = 0. Which is bigger: -3 or a?
a
Let s be (1 - 3)/(-1) + 292 + 0. Let m = s - 3828/13. Is 1 >= m?
True
Let a = -55 + -2. Let k = 1.4 + -0.4. Are k and a equal?
False
Let b = -55 - -60. Let q = 2 - b. Is 3/5 at least as big as q?
True
Let z = 1 + 0. Let w be -24*(-5 + (-1608)/(-324)). Is w > z?
False
Let v(m) = -m**3 - 7*m**2 - 2*m - 11. Let z be v(-7). Suppose 0 = g + 3*g - z*h - 31, -5*g = -4*h - 38. Let y be ((-1)/g)/((-9)/18). Does y = 1?
False
Let f = 541 + -541. Let t(x) = -x**3 - 3*x**2 + 2. Let p be t(-3). Suppose 1 = -3*n + p*n. Which is bigger: f or n?
f
Suppose 0 = -5*n + n - 4. Let u be 3 - 196/68 - (-567)/(-51). Which is greater: n or u?
n
Let w be 42/(-147) + -166*2/14. Are -13 and w nonequal?
True
Let l = -9209/4 - -2316. Let p = -770 - -784. Which is smaller: p or l?
l
Let q be 18/4 - 336/96. Which is greater: q or 73?
73
Let v be ((-3)/(-9))/((-49)/84). Let r = 1.96 - 0.18. Let u = r - -0.22. Is v less than u?
True
Let o = -67 + 53.6. Let u = 12.4 + o. Which is bigger: 15 or u?
15
Let d be 46/2093*(-66)/(-12). Which is smaller: d or 0.1?
0.1
Let c be ((-14620)/(-2090) + -7)/(-1 - 1). Which is greater: -1 or c?
c
Suppose 0*k + 2*j = -2*k - 12, -5*k = -j + 12. Let w be ((-1)/(-3))/(k/(-27)). Does w = 3?
True
Suppose 3*w = 21 - 15. Suppose u = 3*z - w*u - 3, -z + 10 = 2*u. Suppose -3*l + 12 = 3*c - 21, -z*c = -4*l - 20. Which is greater: c or 7?
c
Let j(o) = -o**3 - 9*o**2 + 39*o + 35. Let r be j(-12). Is 198 smaller than r?
False
Let s(o) be the third derivative of -o**5/60 + 13*o**4/24 - 2*o**3/3 + 22*o**2. Suppose -r = -3 - 10. Let w be s(r). Which is greater: -16/5 or w?
-16/5
Let v be (-25)/20 + 669/(-12). Is -59 less than or equal to v?
True
Let b = -105 - -91. Is b greater than or equal to -13?
False
Let t(n) = -n**2 - 4*n + 3. Let y be t(-4). Suppose y = 2*h + h. Let s be (-25)/2*-2*h. Which is bigger: s or 26?
26
Let u(w) = 2*w - 28. Let j be u(12). Let q be 8/96*(-18)/j. Which is bigger: q or -1?
q
Let z = -95.2682 - -0.0682. Let p = -98 - z. Which is bigger: p or 1/5?
1/5
Let l be (9/(-6))/(55/(-10) - -4). Is l greater than 4/73?
True
Let y = 125 - 377/3. Is -0.8 less than or equal to y?
True
Let k(n) = -n - 10. Let r be k(-10). Let v = -354869/139 - -2553. Which is smaller: r or v?
v
Let l(w) = w**3 + w**2. Suppose 0 = 3*i - 12 + 3. Suppose j = -4*u + 3, 5*j = -i*u + 8*u + 15. Let b be l(u). Is b at most as big as -6/7?
False
Let i be (16/520*1)/((-1)/(-15)). Which is bigger: -0.031 or i?
i
Let p be 560/(-565) + 1 - 0/4. Is p not equal to 1?
True
Let s be 6*(-25)/9*36/10. Which is smaller: -59 or s?
s
Let w be 40/6*30/(-20). Let g be -1 - (-96)/55 - (-2)/w. Is g less than or equal to 0?
False
Let r = 0.031 + -58.031. Let s = r - -56.9. Is -1/2 greater than or equal to s?
True
Suppose 9*d = 14*d. Let v = 8080/21 - 385. Are v and d non-equal?
True
Let l be (-183)/(-244) + (-298)/344. Which is greater: 1 or l?
1
Let d = -0.22 - 3.18. Let m = d + 3.5. Is -5 <= m?
True
Let c be (-20)/(-11) - 8/(-44). Let h(s) = 1 + 5 - s + c. Let b be h(8). Is b at least 1/9?
False
Let v be (-50)/88 - (-6)/(-33). Let z = -119 - -117. Which is smaller: v or z?
z
Let a = -0.1527 + -9.5473. Which is bigger: 0.1 or a?
0.1
Let x be -50*2/12 + 2/(-3). Let f be (1*-3)/(1/x*3). Is f less than or equal to 9?
True
Let v be 3162/(-88) + 427/(-28) + 15. Is -37 greater than or equal to v?
False
Suppose 301 - 79 = 3*q. Let c be -4 + q*5/95. Let i = 0.4 - -1.6. Is c != i?
True
Let g = -472 - -473. Which is smaller: -3/793 or g?
-3/793
Let s = 11/302 + -22241/1208. Is -18 at most s?
False
Suppose 216*o = 214*o - 4*b - 18, -5*o + 4*b = -11. Is -0.0099 < o?
False
Suppose -7*v = 2*r - 3*v - 928, -r - v + 462 = 0. Is 458 greater than or equal to r?
False
Let t(j) = j**2 + 9*j - 13. Let b be t(-13). Let i = b + -40. Suppose 3*z = 3*m + 6, -m + 4*z - 2 - 6 = 0. Is i at least as big as m?
False
Let p = -235/272 - 21/272. Which is smaller: p or -6?
-6
Let y = -362 - -311. Which is smaller: -249/5 or y?
y
Let w = -33146634 + 127180334. Let y = 89708140741/954 - w. Let o = y + -2/477. Which is bigger: o or -10?
o
Let g = -11 + 12. Suppose 0 = -4*y - y. Which is bigger: g or y?
g
Let b = 177 + -301. Let h = b + 84. Which is bigger: h or -0.1?
-0.1
Let z be 5/(25/(-80)) + -2. Let c(u) = -u**3 - 19*u**2 - 18*u - 1. Let r be c(z). Is -2/271 <= r?
False
Suppose 0*n - 4*n = -140. Let i = 34 - n. Let m be (-4)/(-24)*(-2)/(-1). Is i smaller than m?
True
Let r = 24.1 - 26.1. Which is smaller: r or 84?
r
Let m = -283 + 193. Is m greater than or equal to 4/9?
False
Let s be (-5 - (0 + 4)) + 2. Let k(y) = -y - 8. Let a be k(s). Let i be -8*((-3)/(-2) + a). Is -8 less than i?
True
Let i be (-8)/(-6)*(7 - 1). Suppose 18*z - 21*z + 9 = 0. Suppose z*r = -4*m - 2*r + 8, -i = -4*m - 3*r. Do -2/5 and m have different values?
True
Let o = 74969 - 12069971/161. Let t = o - 1/46. Let b = 0 + 1. Which is smaller: t or b?
t
Let z = 31 + -36. Let q = -2/91 - -101/455. Is z not equal to q?
True
Let u = 0.06 - 0.14. Let a = 0.62 - u. Let i = 0.6 - a. Is i <= 1/5?
True
Suppose 5*v - 4*w = 15, 5 = -2*v - w - 2. Let o be 8/12*15/(-25). Is o <= v?
Fa