20. Which is bigger: q or -6?
-6
Suppose 0 = -44*y + 59 - 15. Which is greater: y or 10/33?
y
Suppose -2*f + 1406 + 444 = 0. Which is greater: 924 or f?
f
Let s = 64 - 80. Suppose x + 4 = -2*b, -3*x + 2 = -3*b + 5. Which is greater: b or s?
b
Let h = 104 - 103. Let q = 17/62 + -611/1550. Is h greater than or equal to q?
True
Let a = 2.86 + 71.14. Which is smaller: a or -0.3?
-0.3
Suppose -5*n = -4*n + 3, n = -3*f. Is 4/31 less than f?
True
Suppose -2*c + 4*t + 148 = -t, 2*t - 65 = -c. Let h(g) = -68*g. Let o be h(-1). Which is smaller: c or o?
o
Let u = 153 + -150. Suppose -b = -u + 4. Which is smaller: b or -2/415?
b
Let i be (1 - -1)/((-1479)/213 - -7). Does i = 35?
False
Let h = 3117/4148 + -3/2074. Let a be (-27)/(-21) - (-2)/(-7). Is a <= h?
False
Let i = -118 - -152. Let v = i - 35. Let c be (3 + 0)/((-10)/1). Which is greater: c or v?
c
Let i(w) = 7*w + 3. Let j be i(-4). Let u be -16*(j/(-6) + -4). Are -4 and u non-equal?
True
Let q(l) = 6*l - 35. Let s be q(6). Let w(b) = -16*b**2 - 25*b + 40. Let f(r) = 3*r**2 + 5*r - 8. Let p(n) = -11*f(n) - 2*w(n). Let k be p(-6). Is s >= k?
False
Let r be (0/(-1) - -1)*5. Suppose -7*q + r*q = -4. Are 8 and q nonequal?
True
Let q(t) = -21*t - 208. Let b be q(-10). Let w be 4/(-14) - 48/(-21). Does b = w?
True
Let u = 65.25 - 7.15. Let l = u + -58. Which is greater: -2.9 or l?
l
Suppose -4*r + 7 = -1. Let n be 156/(-50) + 1 + r. Which is smaller: 1 or n?
n
Suppose 0 = 10*x - 9*x + 11. Which is smaller: x or 0?
x
Let p = -0.49 - -0.65. Let a = -4.84 - p. Is 1/3 != a?
True
Let q be (3000/625)/((-2)/25). Are q and -64 nonequal?
True
Let x = 392/5 + -78. Let p be ((-9)/(-108))/((-1)/(-3)). Does p = x?
False
Let t be 2/12 + (-99)/(-54). Let r = -37.3 - -20.6. Let d = 16 + r. Is t <= d?
False
Let d(o) = o**2 + 23*o - 25. Let v be d(-25). Are v and 25 non-equal?
False
Suppose 70 = -4*s - 78. Suppose -233 + 81 = 4*o. Which is greater: s or o?
s
Let a be 357/216 - (3 - (-125)/(-40)). Which is bigger: 2 or a?
2
Suppose -2*y = 4*w - 372, 3*y - w - 528 = 3*w. Which is bigger: 181 or y?
181
Suppose 0 = 5*a - 6 + 16. Let y = 3 + a. Suppose 16 = 3*z + y. Which is smaller: -0.1 or z?
-0.1
Let s be 12/(-18) - 4/(-6). Suppose 0*n - 3*n = 18. Let a be 2/n + 44/150. Is s less than or equal to a?
False
Suppose 0*j + 3*k - 57 = -4*j, -75 = -5*j - 3*k. Let b = j + -7. Let v = 10 - b. Which is smaller: v or -1/9?
v
Let t = 87 - 36. Let o = 71 - t. Suppose 5*b - 7*b = -o. Is b >= 9?
True
Let l = 12.797 + 0.103. Let r = l - 12.8. Is -0.045 <= r?
True
Let n(r) = 19*r - 3. Let o be n(2). Let a = o + -35. Which is smaller: a or -1/20?
-1/20
Let t = 86/65 + -5860/4433. Which is smaller: t or -1?
-1
Let t(s) = -20*s + 1. Let n be t(-1). Suppose 14*z = 20*z - 144. Which is smaller: n or z?
n
Let y = -40/31 + 3222/2449. Which is smaller: -1 or y?
-1
Let k be 164/12 - 10/6. Suppose -8*h = -k*h + 4. Is h <= 1/206?
False
Let q = 309 - 185. Let v = 118 - q. Is -5 less than or equal to v?
False
Let l = 47.7649 - -0.0351. Let r = l + -47. Which is smaller: 0.1 or r?
0.1
Let l(a) = -a**3 + 8*a**2 - a + 10. Let i be l(8). Suppose -y + h = 1, -y = 5*h - i - 9. Let d be (-6)/4*6/(-9). Is y != d?
False
Suppose 3*c = 20 + 7. Let i(g) = g + 3 - 5*g - 3*g + g**2 - 1. Let l be i(8). Is l > c?
True
Suppose -364 = -5*y - 1399. Is 0.1 smaller than y?
False
Suppose -4*w + 1 + 7 = 0. Let g be 102/(-27) - -4 - (-143)/45. Is g greater than or equal to w?
True
Let o be 1/4 - (-95)/20. Let i be 4/o + 6/30. Let h be (i/(-3))/((-14)/(-6)). Is h at least -0.1?
False
Let p = 65754 + -17488171/266. Let r = 103/38 - p. Let i = -206/35 - r. Is -1 greater than or equal to i?
False
Let u = 236.98 + 8.02. Is -2/3 < u?
True
Let q be 25/(-15) + (3 - 4/3). Suppose -o - 2*o - 18 = 0. Which is smaller: q or o?
o
Let d(b) = -b**2 + 20*b + 181. Let q be d(-9). Which is bigger: 1 or q?
1
Suppose -336 = -3*u - 3*h, -2*u = -5*u - 2*h + 336. Let g = -16465/147 + u. Let d = g - -101/441. Are d and 2/7 unequal?
True
Suppose 4*w + 186 = 5*q, -2*w - 188 = -5*q - 0*q. Let b(p) = p**3 - 9*p**2 - 5*p - 12. Let i be b(10). Is i less than q?
False
Let q = 48 - -6. Let m(s) = -78*s - 26. Let i be m(-1). Which is bigger: i or q?
q
Suppose w - 4*z = -1, 0 = 4*w - 4*z + 12 - 8. Is w at least as big as -61/5?
True
Suppose z + 2*z - 36 = 0. Suppose 0*y + 4*y - z = 4*b, -3*b = 3*y - 9. Which is smaller: b or -1/6?
-1/6
Let k = 3121/450 + -172/25. Is -9 at least as big as k?
False
Let b(p) = -1 - 6*p - 3 + 9. Let r be b(-3). Do r and 22 have the same value?
False
Let n(w) be the third derivative of -w**4/24 - 7*w**3/6 + 6*w**2 - 33*w. Let d be (-7)/2*1*2. Let q be n(d). Is -14 > q?
False
Suppose -115*x = -113*x - 194. Which is bigger: 96 or x?
x
Let x = -31 + 33.8. Let s = x + 0.2. Let i be 0 - (-1 + -1) - (-24)/(-16). Which is smaller: s or i?
i
Suppose 0 = -s - 3*v + 31, 20*v = -5*s + 15*v + 115. Is s less than or equal to 21?
True
Let i = -1317 + 1576. Is i at most 1/4?
False
Let w = -239 + 351. Let b = -112.3 + w. Which is bigger: b or -15?
b
Let q = -213 + 216. Which is smaller: 40/17 or q?
40/17
Let d = 1006 - 1196. Which is smaller: -194 or d?
-194
Let v(k) = 36*k**2 - 2*k - 1. Let s be v(-1). Let c be (4 - (-55)/(-15))/(11/(-825)). Let b = s + c. Are b and 13 equal?
False
Let v(a) = 4*a - 32. Let g be v(8). Suppose 4*o + 2*o - 72 = g. Suppose -r - 1 = -12. Is r not equal to o?
True
Suppose -32 = -4*i - 2*g, 3*i - 5 = 3*g + 1. Which is greater: 29/4 or i?
29/4
Let s(y) = 9*y - 27. Let c be s(3). Let g be (-5)/(-20)*c/(-1). Which is bigger: g or 9?
9
Let v be (2 + (-15)/6)/(7 + -51). Is v greater than or equal to -1?
True
Suppose 0*o = 2*o - 2. Let u(b) be the first derivative of b**3/3 - b**2/2 - 21*b - 25. Let n be u(5). Is o greater than or equal to n?
True
Let s = -47 - -192. Let u = s + -107. Do u and 37 have the same value?
False
Let x = 300.3 - 286.3. Which is greater: x or 12?
x
Let p be (-140)/15*(-15)/10. Is p > 14?
False
Let z(x) = -x**2 + 13*x - 4. Let s be z(3). Are s and 17 equal?
False
Let i = -1 + 2. Suppose -8*v = -2*v + 12. Let u = i + v. Which is greater: -7/4 or u?
u
Let w = 0.5 + -1.3. Let r = 0.7 + w. Let i = -84 - -93. Which is bigger: r or i?
i
Let j be -9 + 78280/8295 + 9/(-21). Which is bigger: 0 or j?
j
Suppose 83 = 11*a - 60. Is a not equal to 8?
True
Let n be 326/71 + 7 + -11. Is n bigger than 1?
False
Let j be (-2)/8 - 3/(-4). Suppose -3*w = -6*w + 9. Suppose a + w = 5*k, -k - 3*k = 4*a + 12. Which is smaller: k or j?
k
Let w = -148 - -103. Is w equal to -1?
False
Suppose m + 4*m + 4*u = 114, -3*u - 19 = -m. Suppose m*d = 13*d. Suppose k + 0*o = 4*o - 17, -k - 4*o = -23. Is k less than d?
False
Let s = 10 + -16. Let q = s - -8. Let t = 70 - 63. Which is bigger: t or q?
t
Let z = -3163/2895 - -5/193. Let r be 5/12 - 2/(-8). Let p = r + z. Are p and 0 unequal?
True
Let s be (196/(-66) + 3)*(-1 + 6). Which is smaller: 0 or s?
0
Let s = -1.441 + 1.241. Let o = -3 + 2.9. Which is smaller: o or s?
s
Let p = -121 + 122. Is p at least -2/405?
True
Let r be 10/(-35) - (2 + (-15174)/6657). Are 1 and r equal?
False
Let s be 4*(3 + -4) - (-32)/(-2). Suppose 0 = -o - 6 - 17. Is o at least s?
False
Suppose 0 = -4*p - 4, 2*d - 3*d - 5 = 4*p. Let c = -16 + 20. Suppose 4*z = -5*w - 9, c*z + 1 = -2*w + 5*w. Are d and z equal?
True
Let m(q) = q**3 + 24*q**2 + 45*q + 23. Let g be m(-22). Is -2/2691 smaller than g?
True
Let h(v) be the first derivative of 2*v**2 + 14*v - 18. Let w be h(-4). Is w >= 0?
False
Let i = -33.7 - -32.7. Which is greater: 0 or i?
0
Let o be -12 + 3 + -1 + 2. Let t(s) = s**2 - 70*s + 325. Let m be t(65). Which is greater: m or o?
m
Let i = 1637 - 1633. Is i bigger than 15/4?
True
Let j = -47 + 24. Let y = j - -29. Which is smaller: 2/3 or y?
2/3
Suppose 2*h + 11 = 3*z - 20, 0 = -5*h + 4*z - 60. Which is smaller: -162/23 or h?
h
Let x(o) = -174*o**2 - 5*o. Let g be x(4). Let n be g/(-6) - 4/12. Let b = -6067/13 + n. Which is bigger: -1 or b?
b
Let p = -21 - -41. Let b = p + -1. Let h = b - 15. Which is smaller: h or 0.5?
0.5
Suppose 0 = -16*t - 5 + 5. Which is bigger: t or 4?
4
Let n = -23 - -21. Which is bigger: n or -1/2?
-1/2
Let l be (-2)/4*-2 + (-25)/5. Let c be (-1)/l*-1 - 4. Which is bigger: c or -5?
c
Let p = -34.25 - 0.75. Let u = p - -34.4