 be g(l). Which is bigger: -2/7 or f?
f
Let y = 189.7 + -179.46. Is y != 1?
True
Let i = -44.5 + 29. Let s = 1.5 + i. Which is greater: -0.1 or s?
-0.1
Let b = 0.7 - 15.7. Let a = 7 + b. Let o = a + 6.6. Which is smaller: 0 or o?
o
Let p = -2.02 - -0.02. Suppose 6*i = 13*i + 14. Is i at least p?
True
Let f = 625 - 625. Is f < 3/32?
True
Suppose -40 - 30 = 5*x. Let j be x/(-63) + (-16)/18. Is j not equal to 16?
True
Let b = -41.9 + 42. Let t = -8.2 - 1.8. Let d = 9 + t. Is d greater than or equal to b?
False
Let p(l) = 6. Let f(c) be the third derivative of -c**4/24 - 3*c**3 + 7*c**2. Let q(s) = -2*f(s) - 7*p(s). Let x be q(3). Is x at least 2?
False
Let l(g) = g**2 + 17*g - 69. Let u be l(-20). Is u at most -0.4?
True
Let j = -68 - -75.6. Let q = j + -7. Which is greater: 2/3 or q?
2/3
Suppose -22 = -4*j + c, 4*j + 2*c + 2*c - 32 = 0. Is 10 greater than j?
True
Let k = -2 + 1.61. Is -3 less than k?
True
Suppose 3*o = 319 + 155. Suppose -4*v = -66 + o. Is -23 at most as big as v?
True
Suppose -15 = -4*q - 3. Suppose 2*a + 40 = 5*f, 2*f + 25 = 3*f + q*a. Let b be (-3)/2 + f/20. Which is smaller: b or 1/14?
b
Let i = -0.76 + 0.71. Let f = -0.5 + -0.15. Let c = f + i. Which is greater: 0 or c?
0
Suppose u - 20 + 0 = 4*f, -25 = -2*u + 5*f. Which is bigger: u or 1/31?
1/31
Suppose -a + 4*a + 3 = 0. Let k = a - -21. Let q = 16 - k. Which is smaller: q or -2?
q
Suppose -15*f + 37 = 37. Is f at least -14/25?
True
Let d = -61 + 64. Suppose -5*g = d*p - 1, 0*g - 13 = 3*g - 5*p. Which is greater: g or -0.15?
-0.15
Let x be ((-2)/10 - (-2877)/13860)*2. Let r(n) = -n**2 - 4*n - 3. Let j be r(-3). Is x < j?
False
Suppose 5*c = j - 1, -4*j + 4 = -c + 2*c. Suppose -3*b + 188 = -13*s + 18*s, -5*s = -2*b - 208. Suppose 39*n = s*n - j. Are -2/81 and n equal?
False
Let z = 1.364 + -0.364. Are -15.2 and z unequal?
True
Let d = -45 - -77. Which is smaller: 35 or d?
d
Suppose -4*p + 2*n + 2*n = -276, 209 = 3*p - 4*n. Which is greater: p or 1?
p
Let j = 14 + -32. Let d = 17.8 + j. Let r = -0.7 + -0.5. Is r < d?
True
Let h = -29 + 8. Let y = -16 - h. Suppose -o = -6*o - y*b, 8 = -o - 5*b. Which is smaller: o or -1?
-1
Let b = -62 - -66. Suppose 24 = -b*k + 20. Which is smaller: 2/295 or k?
k
Let k be 3 - (-20)/(-12)*3 - 0. Let d(l) = -l + 7. Let y be d(7). Is y > k?
True
Let q = 9 + 1. Let n = q + 0. Suppose -5*y - n = 5*i, 3*i + 4 + 2 = 3*y. Is i at most as big as 0?
True
Let m be (32/10 + -2)/(6/(-20)). Let q be (-2*(-3)/(-9))/(m/(-18)). Suppose -x - 2*x - 15 = 0. Which is smaller: q or x?
x
Let s = -62 - -46. Let n = -15.9 - s. Is n at most 0.1?
True
Let l be 54/621 - (-67)/23. Is l at least as big as 3.27?
False
Let i(m) = 47*m**2 + m. Let x be i(1). Suppose 0 = 3*f + 5*c - 144, f + 17*c - 12*c = 48. Is f < x?
False
Let c be (-28)/(-8) - 5/(-10). Suppose -c*r + 3*f - 4*f = -22, 11 = 3*r - 2*f. Let j be 1*(-1 - 0) - -1. Is r at least as big as j?
True
Let u be 5*(-4 - -1 - 2). Let x be (u/(-10))/((-10)/(-8)). Suppose x*p = -p. Do p and 6/7 have the same value?
False
Suppose 1771 = 10*i + 1801. Let x be ((-2)/4)/((-3)/48). Suppose x*n - 3*n = -15. Does i = n?
True
Let g(f) be the first derivative of f**4/24 + 7*f**3/6 + f**2 - 8. Let i(w) be the second derivative of g(w). Let d be i(-8). Is d bigger than -8/7?
True
Let v = 876 + -871.28. Is v at most as big as -2?
False
Let p be 4/14 - 435/126. Suppose 20*i + 20*i + 80 = 0. Is i at most as big as p?
False
Suppose 4*a - 4 = 2*r, -14*r + 8 = -12*r - a. Let c = 4/99 - -458/99. Is c bigger than r?
False
Let q = -218.69 + 217. Let f = 4.69 + q. Let o = -0.8 - 0.2. Is o bigger than f?
False
Let j be ((-104)/39 - -6)*(63/24)/(-7). Let m = -4 + 3. Let f = 1.1 + m. Which is bigger: f or j?
f
Let j(t) be the first derivative of -t**2 + 14*t + 4. Let i be j(6). Let o be (7/21)/(i/(-6)). Are 3 and o non-equal?
True
Suppose w + 37*w + 76 = 0. Which is smaller: -39 or w?
-39
Suppose 0*i - 28 = i + 5*m, 3*m + 63 = -2*i. Suppose -2*b = 5*j - 7*j + 64, 128 = -4*b + 3*j. Is i at most as big as b?
True
Suppose 3*i - 2*i = 2. Let t = 0 - i. Let l be -10*(-5)/(-24) - 9/36. Is t > l?
True
Let c = 0.04 + -0.64. Let i = 0.9 + c. Let l = 0 + i. Do l and 1 have the same value?
False
Let z be ((-107994)/(-9) - -3)*(-18)/(-13092). Let c = z + -2/1091. Is 16 at least as big as c?
False
Let c = -1231/8 + 154. Which is smaller: c or 4?
c
Let i(s) = s**3 - 4*s**2 - 71. Let a be i(6). Which is bigger: 44 or a?
44
Let k be (-6)/(-8) + 341/(-436). Let v = k + 1131/8066. Which is bigger: v or 1?
1
Let i = -124.8 + 121.8. Let y = -3536/11 - -322. Which is greater: i or y?
y
Let s = 30 - -19. Let n = s + 37. Do n and 85 have the same value?
False
Let i = 7 - 5. Let h = i + 1. Suppose 7*r = h*r. Is r greater than or equal to -1/14?
True
Let a(z) = -z**3 + 3*z + 3. Let q be a(-2). Let c(x) = -3*x**2 + 4*x**2 + 13*x - 13*x - 4*x - 3. Let i be c(q). Is 7/4 equal to i?
False
Suppose -3*u - 2*z + 11 = 0, -4*z + 9 + 2 = -5*u. Do -2/1065 and u have different values?
True
Let w(s) = s + 2. Suppose 0 = -6*x + 6 + 6. Suppose -x*q = q + 27. Let f be w(q). Is f at most -5?
True
Let s be 35/((1*-1)/(-1)). Let t be (37/s - 1) + 0. Suppose -4*o = -5*c - 14, -12*c + 7*c - 7 = 3*o. Which is greater: t or o?
o
Let s = -561 + 2893/4. Let d = 163 - s. Which is greater: 1/2 or d?
d
Let r(o) = 25*o + 121. Let h be r(-5). Which is smaller: h or -3?
h
Let f = 1211 + -1211. Which is bigger: f or 26/37?
26/37
Let q = -31 + 30. Suppose -5*w = -36 - 99. Let f be 6/w - (-2)/(-63). Which is smaller: q or f?
q
Let o = -89123/115 - -775. Is o < 1?
True
Let s be 12*(-9)/12*4/(-210). Is s < 0?
False
Let n(z) = 3*z**3 - 196*z**2 + 68*z + 53. Let y be n(65). Do y and 251 have different values?
True
Let x = -74 + -15. Let j = x + 51. Let b = j - -34. Which is smaller: b or 1/3?
b
Let o be (4/(-16))/(9/8). Let d = -789529/9 - -87892. Let z = 167 - d. Are z and o non-equal?
True
Suppose -31 = 3*x + 32. Let q be 130/(-7) - x/(-49). Is q at least -1/3?
False
Suppose 0 = -4*k + 6 + 26. Let r be (-11)/(-20) + (-4)/k. Let o = 46 + -46.2. Is o != r?
True
Let f = -31 - -50. Let a = f + -9. Suppose 2*v = v - a. Is v smaller than -8?
True
Suppose 21 = -5*a + 3*v + 4, -3*v + 13 = -a. Is 1/3320 bigger than a?
True
Let u be -3 + -14 + 12 + 5. Is -9/7 smaller than u?
True
Let o = -28 - -46. Suppose -o*m + 15*m = 6. Is m less than -2?
False
Let j = -27.8 + 27.9. Is j smaller than -505?
False
Let x = 0 - 0. Let g be 38/5 - 32/(-80). Suppose 0 = -p - 5*m, 3*p - 5*p - 2*m - g = 0. Which is bigger: x or p?
x
Suppose -2*z = y + 41, -14 = -3*y + 3*z - 101. Do y and -63/2 have different values?
True
Let v = -4.8443 - -0.0443. Is -8 at least as big as v?
False
Let b(h) = h**2 + 6*h + 7. Let g be b(-6). Let z be g*(1 - (-8)/(-4)). Let j(u) = -u**2 - 8*u - 7. Let x be j(z). Is x at least as big as 1/7?
False
Suppose 13*p + 50 = -15. Let j = -3 + 5. Suppose -j*l = n + 15, -2*n - 3*l = 30 - 5. Is n greater than p?
False
Let u(m) = 2*m**2 + 10*m + 12. Let a be u(-6). Let v = a + -97/4. Which is bigger: v or 13?
13
Let y be -13 - (-1974)/154 - 690/(-3674). Which is smaller: y or -1?
-1
Let r be 138/(-56) + 2/32*-4. Which is bigger: r or 0.1?
0.1
Let z(u) = u**2 + 20*u + 67. Let g be z(-14). Which is smaller: g or 10?
g
Let f be (-5)/6 + -2 + 2408/912. Are 1 and f unequal?
True
Suppose -8*v = -33 + 1. Suppose -l + v*l + 24 = 0. Suppose -2*p = -2*r - 7 + 1, 3*p - 17 = 4*r. Is r greater than l?
False
Let m = 66.61 + -72. Let t = m - -4.9. Let q = -0.09 - t. Is q > -1/3?
True
Let b be 195 - 0*(-1)/4. Let g be (-3 + b/63)*-3. Let u = 16 + -12. Is g at least as big as u?
False
Let r(d) = 33*d - 354. Let i be r(9). Which is bigger: -62 or i?
i
Let w(f) = 5*f**2 + f - 1. Let y be w(1). Let s = -19 - -34. Suppose 0 = -y*z - s. Which is smaller: z or -4?
-4
Let g be 5/50*244 - 4. Let u = g - 801/40. Let z = -0.2 + -0.8. Is z less than u?
True
Suppose -4*n = -n. Suppose 0 = -3*m + 5*i - 5 - 16, -2*m - 1 = i. Which is greater: n or m?
n
Let q be ((-4)/3188)/(3/6). Is q > 0?
False
Let v = 286 - 295.14. Let c = v - -9.1. Let o = 2/37 + -45/148. Which is greater: c or o?
c
Suppose 2*n - 13 + 1 = 0. Let s be n/(-21) + 9/7. Let l be (9 + -8)*s/3. Are l and 0 non-equal?
True
Let l = 59 - 66.4. Let w = -7.4 - l. Which is bigger: w or 