. Which is bigger: h or -16?
-16
Suppose 4*z + y - 3 + 4 = 0, 4 = 5*z + 3*y. Let m be (-119)/(-1820)*46 - (-3)/z. Is -1 >= m?
False
Suppose 3*z + r = -2*z + 125, 5*z - 2*r = 140. Let b be 4/z + 9/195. Which is smaller: 0 or b?
0
Let b be -1*4/2 - (-8 + 5). Do b and 28/159 have different values?
True
Let m(y) = -y**3. Let b(q) = -q**3 - 10*q**2 + 9*q - 1. Let g(z) = -b(z) + 2*m(z). Let t be g(9). Which is smaller: -1/11 or t?
-1/11
Let d = 333 - 238. Suppose d = 5*g + 3*s, 0 = -4*g - 4*s + 2*s + 78. Which is greater: 2 or g?
g
Suppose 6*c = -7*c + 91. Suppose -8*r = c - 55. Is 3 at most r?
True
Suppose -2*z - 6 = -0*z. Let j = 3 + z. Let w = -678 - -677. Is j less than w?
False
Let k = 1020/7 - 146. Let s = -60 - -54. Is s at least k?
False
Let s = -314 - -478. Is 164 greater than or equal to s?
True
Let a = -248 - -196. Which is bigger: 5 or a?
5
Let n = 29/3 - 371/39. Let i(g) be the second derivative of -g**3/6 - 13*g**2/2 - 13*g. Let h be i(-14). Is h at most as big as n?
False
Let z be -2*(2/(-6))/((-1)/(-3)). Let n be (14/(-35))/(z/10*1). Let r = -1.08 - -0.18. Is r less than n?
False
Let j = 11303/992674 + 1/5738. Which is smaller: j or 0?
0
Let h = 985 + -65998/67. Does h = 1?
False
Let o = 7.9 + -394.9. Do o and -1 have the same value?
False
Let i(m) = -m**2 + 16*m - 61. Let f be i(10). Which is smaller: f or -2/47?
f
Suppose -213*u + 12 = -207*u. Which is bigger: u or 522?
522
Suppose 664 + 84 = -17*c. Which is bigger: -40 or c?
-40
Suppose 2*r + 3*r - 270 = 0. Suppose 4*w - r = -18. Let s = 17 - w. Is s less than 9?
True
Suppose 6*n - 288 - 852 = 0. Is 189 greater than or equal to n?
False
Let r(h) = -3*h**2 + 1. Suppose 4*n + 4*b = 4, 2 = -5*n + b + 7. Let m(s) = -1. Let l(z) = n*r(z) + 2*m(z). Let q be l(-1). Which is smaller: q or -8?
-8
Let n = 163/324 - 1/324. Which is smaller: n or -63?
-63
Let g(m) = -3*m**2 - 45*m - 86. Let p(n) = n**2 + 15*n + 29. Let t(s) = 3*g(s) + 8*p(s). Let a be t(-13). Which is greater: 2/183 or a?
2/183
Let z = 0.931 - -0.069. Which is smaller: z or -21?
-21
Let q be (-21)/(-28) - 131/4. Is q < -30?
True
Let p = 88 - 169. Let c = 82 + p. Which is greater: c or -2/19?
c
Let y = 182.1 + -190. Let z = y - -7.8. Is z not equal to -0.03?
True
Let o = -1 - -20. Suppose 4*y - 23 = -o. Is y at least as big as 6/5?
False
Let b(u) = -u**2 + 3. Let y be b(0). Suppose -y = -4*s + s. Let q = -341/114 + 17/6. Is q greater than s?
False
Let x = 40 + -41. Let d be 104/168 + x*(-2)/(-6). Which is bigger: 21 or d?
21
Suppose 10 = 3*u - 38. Let n = 851 + -837. Which is bigger: u or n?
u
Let x(k) = 32*k - 60. Let c be x(6). Let m = -53 + c. Do m and 79 have the same value?
True
Let a(h) = 240*h. Let b be a(1). Let d be (b/(-2))/(12/18). Let t be d/28 - (-3)/7. Is -5 at most as big as t?
False
Let u = -2.5 - -1.2. Let a = -1.1 - u. Let r = a + -0.22. Which is smaller: 1 or r?
r
Suppose -5*j = 894 - 184. Let k = 143 + j. Is k smaller than 5/17?
False
Suppose 165 = 9*l - 4*l. Let k = 31 - l. Which is smaller: -5 or k?
-5
Let v be -3 + (-33)/(-12)*(-5 + 6). Let u = -0.3 - 0.2. Is v at least u?
True
Let b = -18 - -22. Suppose q = -2*m - 2 + 7, 2*m = b*q. Which is bigger: m or 5?
5
Let x(a) = a**2 + 16*a + 52. Let f be x(-9). Which is bigger: -21 or f?
f
Let n = -116 - -155. Is 37 greater than or equal to n?
False
Let s be (2/(-20)*-2)/(8/(-40)). Is s less than -2/405?
True
Let q be (-3)/8*49/(-21). Let r(p) = p**3 - 3*p**2 + p + 1. Let v be r(1). Which is smaller: v or q?
v
Let f(w) = 55*w. Let u be f(-14). Let i = u + 19254/25. Which is bigger: 1 or i?
1
Let c(r) = r**2 + 32*r + 88. Let v be c(-29). Which is smaller: 8/5 or v?
v
Suppose 3*o - 18 = -3*b, 3*b = 2*b + o - 4. Let u = 11 + -9. Let s be 9/7 - (u + -1). Is s < b?
True
Suppose -3*d = -6*d + 9. Which is smaller: 28 or d?
d
Let u = -2.235 + 2.1. Let z = u - -0.035. Are z and 5 equal?
False
Let o = 46.8 - -9.2. Which is greater: o or -7?
o
Suppose 0 = 5*g + 2*v + 6707, g + 1499 = -5*v + 153. Let j = 36203/27 + g. Which is smaller: -1 or j?
-1
Let k be 58/203 + ((-74)/7)/2. Let j be -1 + (-8)/(-7) - k/(-35). Is -12 != j?
True
Let g be 24/((-12)/(-4)) + 0. Suppose 0 = 2*c - 2*x + 8, -c - 4*x = -2*x - g. Suppose 0 = -4*n - n. Are c and n non-equal?
False
Suppose 4*b + 0*b + k = 1, -k = 3*b - 1. Which is bigger: b or 10/63?
10/63
Let p be 0*(2 - 25/15). Suppose -3*c + 5*q = 32, -5*c + q - 1 - 23 = p. Is c bigger than -8/3?
False
Let a(b) = 12*b**3 - b**2 - 6*b + 11. Let y be a(2). Is y > 90?
True
Let o = 0.02 - 6.02. Let q = 3031 - 3030.6. Which is smaller: q or o?
o
Suppose 0 = -5*a - 0*l - l - 90, -2*a - 18 = 4*l. Let d = a + 27. Let x = 1 - d. Does -7 = x?
True
Let t = -242 - -240. Which is bigger: t or -4/5?
-4/5
Suppose -2*p + 4*p = 6. Suppose 44 = p*g - 40. Suppose 3*i - 6*i = 5*a + 28, 3*a = i + g. Which is smaller: -15 or i?
i
Let d = 18 + -18. Suppose -3*p + 4 = 2*q, 3*q - 4*p - 2 - 4 = d. Let n = -1.2 + 1.2. Is n < q?
True
Let l = 117 - 2458/21. Suppose a + 5 = 6. Which is smaller: l or a?
l
Let g be 1 + -3 - (4 + 4 + -6). Which is bigger: -55/16 or g?
-55/16
Let k = -883/3 + 295. Which is bigger: -210 or k?
k
Let y = 219 + -214. Is 1 > y?
False
Let m(t) = t**3 + 5*t**2 - 3. Let b = -71 - -67. Let a be m(b). Are 64/5 and a equal?
False
Let s = -13 - -14. Let f be (1*8)/(((-5)/10)/s). Is f < -16?
False
Let n(i) = -2*i**2 - 23*i - 71. Let z be n(-4). Is -9 < z?
False
Let j = -19.4 + 16. Let b = -2 - j. Let z = b - 0.4. Which is bigger: z or 1/7?
z
Suppose 0 = -36*b + 34*b + 8. Suppose -2*t + 0 + 6 = -b*o, o = 0. Are 24/13 and t equal?
False
Let d = 1.91 - 0.11. Let m = -1.2 - d. Is m greater than or equal to -2/3?
False
Let c be ((-1)/(-2))/(5/40). Suppose -h + c = -5*h. Let g be (-3 + (-51)/(-15))*-5. Which is greater: h or g?
h
Let o = -11 + 15. Let d be (7/(-6))/((-2)/o). Which is greater: d or -2?
d
Let i be ((-84)/(-70))/((-6)/(-1520)). Let d be (i/(-22))/(-4) + -10 + 6. Is 1 > d?
True
Suppose 23 - 33 = -2*g. Suppose -5 = g*b - 15. Which is smaller: b or -9?
-9
Let r = 374 + -377. Let a = 0.05 + 1.25. Which is greater: a or r?
a
Suppose 4*m = -13 + 21. Let q be m*-1*19/10. Do q and -3 have the same value?
False
Suppose -2*y = -3*m, 53*m = y + 49*m. Let g = 106/6435 + 4/143. Is y greater than g?
False
Let x(o) = -o**3 + 5*o**2 + 6*o + 1. Let q be x(6). Let f be 3 + (12/(-21) - 3). Let t = f - -85/112. Which is greater: t or q?
q
Let q = -1790 - -1283431/717. Is q less than 0?
False
Let n = -0.048 - -3.848. Let m = -4.8 + n. Which is greater: 1 or m?
1
Let z = -525 - -365. Is z less than or equal to -161?
False
Let c be (-44)/(-10) - 2/5. Let r(l) = -l**2 - 15*l - 4. Let t be r(-15). Let g = t + c. Which is smaller: g or 8/9?
g
Let s = -123263/55 + 2241. Is 0 at most as big as s?
False
Suppose -2*u + u - 28 = 5*s, 3*u - s = -132. Let d = 49 + u. Are 6 and d unequal?
False
Suppose -x - 4*x - 2*u = 745, -2*u = 10. Let j be x/(-14) + 2/(-4). Suppose 0 = o - 4*t - t + j, -2*o - 2*t = -4. Is 1/8 smaller than o?
False
Let r = -341 - -339.4. Is r at most as big as -2/5?
True
Let s = 113/525 + -3/25. Is 0.02 at least s?
False
Let p = -966.9 - -1048. Let d = -81 + p. Let x be (-9)/(-10)*5/6. Is x at most d?
False
Suppose -35 - 34 = 3*g. Is g <= -24?
False
Let k = -485.8 + 421. Let p = 65 + k. Which is greater: p or 7?
7
Let j be 3/6*-8*-1. Suppose j*f + 2*z + 0*z = -1412, 2*f + 708 = -2*z. Let u be (-24)/f - 2/(-11). Is u <= 1?
True
Suppose -2*s - 5*p - 13 = -40, -2*p = 2*s - 30. Suppose -j = -3*l + 2, -2*l + s + 11 = 3*j. Let k(f) = -18*f - 103. Let h be k(-6). Which is smaller: h or j?
h
Let x(q) = q**3 - 3*q**2 - 10*q - 1. Let r be x(5). Suppose 10*f + 55 = 5*f - 5*u, u = -5. Let m be ((-12)/(-18))/(4/f). Is r < m?
False
Let n = -578 - -776. Do -1 and n have the same value?
False
Suppose -b - 25 = -3. Let x = b + 21. Is -1/4 less than x?
False
Let d be 6/(-26)*(3 + -2). Let c = 3715 - 3716. Do d and c have different values?
True
Suppose 1514 - 1694 = 4*s. Which is smaller: s or -22?
s
Let j be (-83)/(-9) + 14/(-63). Let f = j + -7. Suppose -4*h + 6 = -f*q, -h - 1 = 4*q + 2. Is h smaller than -3/8?
False
Let x be -49 - -54 - (-146)/(-38). Does x = 2?
False
Suppose 494*i = 498*i + 308. Is i equal to -2?
False
Suppose -11 = -2*x - 9. Let f be -2 - (x/(-1) + 1). Let 