.6?
False
Let f(r) = r**2 - 2*r - 1. Let s be f(4). Let k(z) = -z + 7. Let a = 59 - 57. Let o be k(a). Which is greater: s or o?
s
Let l = -7.17 - -0.17. Let d = 5 + l. Let m = -5 - d. Which is smaller: m or -0.1?
m
Let m = 6859 - 75819/11. Let v = -34 - m. Is 0 >= v?
True
Suppose -4*d - 6*x = -5*x - 5, 3*d = -3*x + 15. Is -2/45 > d?
False
Let y(g) = -5*g**2 - 47*g + 162. Let k be y(3). Which is smaller: -54 or k?
-54
Let k be (-50)/225 - (-13)/(-72)*122. Is -23 at most as big as k?
True
Let h = -675 + 677. Which is smaller: -95 or h?
-95
Let k(y) = -y**2 - 15*y - 2. Let f be k(-15). Suppose 0 = l + 2*u + 17 - 49, -3*u + 30 = l. Let i be ((-3)/(-9))/((-22)/l). Are i and f equal?
False
Let b = -29 + 53. Let s(u) = -u**3 - 5*u**2 - 4*u. Let f be s(-4). Let n be b/(-10) - (-2 - f). Which is greater: -3/8 or n?
-3/8
Let s(x) = x**3 + 7*x**2 + 12*x + 8. Let h(n) = -n**3 - 4*n**2 - 5. Let z be h(-4). Let w be s(z). Let y be -10 + w + 8/2. Is y less than or equal to -8?
True
Let j be -3*3*(-40)/(-1395). Which is smaller: j or 3?
j
Let t = -373 + 10443/28. Suppose -88 = 14*s - 74. Is s equal to t?
False
Suppose 0 = n + 1 - 5. Suppose 4*c = 3*c - 3*z + 7, 0 = -n*c + z - 24. Let h be (-10)/c - 50/24. Is h greater than or equal to 0?
False
Let b = -2/575 - -46597/6325. Let j = b - 3181/429. Which is smaller: 0 or j?
j
Let d = 0.3 + -0.4. Let y be (-1)/(6/4) + 4760/6825. Which is smaller: y or d?
d
Let g be 4 + -3*(-48)/9. Suppose 0 = -i + 2*i + g. Is i > -21?
True
Let r(l) be the first derivative of -l**4/4 - 2*l**3 - l**2/2 - 3*l + 2. Let y be r(-6). Suppose 2*v - 5 = y*v. Are -4 and v nonequal?
True
Let c = -19121/6042 - 2/1007. Let v(r) = -424*r - 6362. Let b be v(-15). Which is smaller: b or c?
c
Let j be ((-10)/(-6))/(125/75). Which is greater: j or -3/823?
j
Let b be (0 - -1)/(3/(-18)). Let p = -451.99 + 452. Is b at most p?
True
Let k(a) = 2*a + 5. Let m = 12 - 4. Let l be k(m). Let j be (-2)/(-7) + (-111)/l. Which is bigger: -16/3 or j?
j
Let s(a) = -93*a + 1200. Let f be s(13). Let o be ((-1)/2)/((-1)/(-14)). Which is bigger: f or o?
o
Suppose -55 = 4*t - 3*l, 3*t - 13*l = -16*l - 15. Let c = 13 + -7. Let w be (t/c)/(10/(-4)). Is 0.1 not equal to w?
True
Let t be (-126)/72*(-2874)/(-21). Which is bigger: -240 or t?
t
Let q = 1.05 - -0.15. Which is bigger: 2 or q?
2
Suppose -552 = -4*s + 12*s. Let b = -49 - s. Which is smaller: b or 18?
18
Suppose 5*g + 0*w = 4*w - 3, -w - 15 = 4*g. Let z be g + (9 - 0/2). Suppose -x - 31 = -z*x - i, -2*i - 16 = -3*x. Is 6 != x?
False
Suppose 4*o = -5*w - 22 + 197, 3*w - o - 88 = 0. Suppose 0*i + 4*p = 5*i + 36, -4*i = -p + w. Which is greater: i or -9?
i
Let c = -27.19 + 27.24. Which is bigger: -0.123 or c?
c
Suppose 3*h - 4 - 5 = 0. Suppose 2 - 14 = -h*u. Suppose -3*g + 2*c = -41, 3*c + 5 = -g + u. Does 11 = g?
True
Suppose 5 = -3*s + g, 5*g = s - 5*s + 25. Let a = 14 - 34. Let i be (1/(-5))/(12/a). Is i less than or equal to s?
False
Let v = -8.17 - -8. Is v smaller than -24?
False
Let h(v) = v**3 - 7*v**2 + 12*v - 159. Let k be h(8). Which is smaller: k or -2/3143?
-2/3143
Suppose 0 = 5*c + 3*n - 91, 19 - 5 = c + 2*n. Let b be (1/35)/(c/(-25)). Is b not equal to -1?
True
Let w be (20/16)/(1/(-4)). Let z(y) = y + 7. Let d be z(w). Suppose f = -d*f. Which is bigger: 4/7 or f?
4/7
Let f be (-840)/112*112/78. Which is greater: -11 or f?
f
Let i be ((-24)/20)/((-2)/30). Let s be (-4)/i - 4/(-18). Let v = -1505.2 - -1505. Which is smaller: v or s?
v
Suppose -c - 8 = 5*q - 2, -2*q = -3*c - 18. Let z = 44 + c. Suppose -z - 4 = 6*b. Which is bigger: b or -15/2?
b
Let m = 7 - -5. Let o = -5 + m. Suppose 9*b = o*b - 2. Which is bigger: b or 3?
3
Let a(r) = -r**3 - 26*r**2 + 30*r + 72. Let h be a(-27). Let l = 7 + -15. Which is smaller: l or h?
h
Let c = 1.7 + -5. Let a = c + 1.3. Suppose 3*o = 5*s + 34, 0 = -4*o - 4*s - 0*s - 8. Which is bigger: a or o?
o
Let v = 0.41 - 186.41. Do v and 2/3 have the same value?
False
Suppose 20 = -2*l + 50. Which is smaller: 1/3 or l?
1/3
Let d = 2774743/703 + -3947. Which is smaller: -1 or d?
-1
Let b be ((-6349)/21)/(-4 - (-52)/12). Which is smaller: -908 or b?
-908
Let k be (-2)/(93/(-33) + 3). Let h = k + 11. Let w = -2689/11 + 245. Which is bigger: w or h?
w
Let u = -9 - -136/15. Let n(y) = -2*y**3 - 8*y**2 - 5*y - 5. Let c be n(-3). Let g be 1*((-4 - c) + -3). Which is smaller: u or g?
u
Let g = -2.062 + 0.062. Is -12 at most as big as g?
True
Let y = 133 + -325. Let v = y + 196.98. Let d = -5 + v. Is d <= 0.2?
True
Let f be -2 + (240/(-14))/(-4). Let n(z) = -7*z - 10*z**2 - 4 + 9*z**2 + 1. Let k be n(-6). Which is bigger: f or k?
k
Let i(m) = -m**3 - 6*m**2. Let n be (-12)/6*(-1 - 1). Suppose -h - 2*d = 0, n*h = -2*d - 19 + 1. Let u be i(h). Are u and -3/4 equal?
False
Let n = 636 + -3162/5. Let k = 17 - 12. Is n >= k?
False
Let k = 0.187 + -0.287. Which is smaller: -723 or k?
-723
Let u be (0 + 1)/(-1 - 0). Let l be (4 - 6)*u*10. Let w be 1/(-3) - l/(-6). Is 7 greater than or equal to w?
True
Let o = 8/3 - 107/39. Let m = -74 + 75. Which is smaller: o or m?
o
Let x = 81.894 - -0.106. Let p = -84 + x. Which is smaller: 1/3 or p?
p
Suppose -104 = -95*o + 87*o. Which is greater: o or 3?
o
Suppose 453*p - 451*p - 148 = 0. Do p and 74 have different values?
False
Let w = 91.9 + -97. Let o = -4.1 - w. Is o < -15?
False
Suppose 3*r = 3*m - 3, -5*m + 2*m = -4*r - 3. Is -30.7 smaller than r?
True
Suppose 191 - 515 = -3*j. Let b be 12/21*42/j. Is b less than or equal to 0.1?
False
Suppose 2*p - 3*p - 4*l = -90, 546 = 5*p - 4*l. Let w = p + -180. Is w bigger than -74?
False
Let n = -301 - -507. Which is smaller: n or 208?
n
Let m be (1 + 2/(-3))*15. Suppose 2*c = 6*p - p - 6, 5*p = m*c. Suppose -6 = 4*i - c. Is -1 at most as big as i?
True
Let m(j) = j**2 - 38*j - 180. Let n be m(-6). Is 83 bigger than n?
False
Let o(t) = t**3 + 7*t**2 - t - 6. Let c be o(-7). Let i be 10/10*(1 - c). Suppose 5*y + d + 3 - 6 = i, 0 = 3*d + 6. Which is smaller: y or 9/5?
y
Suppose 0*j - 1 = 3*j + m, 0 = j - 5*m + 27. Let k be j/(-5) + 453/105. Let d = -101/14 + k. Is d greater than -2?
False
Let w be 27/6 + 1/(-2). Let r be 0/(4*1/w). Is 1/99 bigger than r?
True
Suppose m - 2*z - 45 = 6, 4*z - 102 = -2*m. Suppose -2*p - 55 = -m. Which is greater: p or 0?
0
Let k = 2272.57 - 2261. Let q = -11.6 + k. Which is greater: -1/4 or q?
q
Let f(n) = -n - 13. Let m(w) = -w - 12. Let t(p) = -4*f(p) + 3*m(p). Let j be t(-14). Suppose 0 = -5*o + j + 3, 3*x - 40 = -4*o. Are x and 11 non-equal?
True
Suppose m + 153 = -3*u - 0*m, 3*u + 2*m = -153. Suppose -4*h - 138 = 3*r - h, r = 4*h - 66. Which is smaller: r or u?
u
Let w = 233.9 - 221. Let s = -10.9 + w. Is -0.5 less than or equal to s?
True
Let y(i) = -i**3 + 5*i**2 + 9*i - 8. Let r be y(6). Let h be r/56 + (-9)/21. Which is smaller: h or -8?
-8
Let q(m) = m**3 - 6*m**2 - 3*m + 5. Let a be q(6). Suppose -210 = 335*r - 321*r. Is r smaller than a?
True
Let c = 2191/4 + -520. Which is smaller: c or 29?
c
Let c(m) = 32*m - 169. Let q be c(7). Let s(b) = -b**3 - 7*b**2 - 8*b - 2. Let d be s(-7). Which is greater: d or q?
q
Let r(k) = -k**2 - k + 4. Let o be r(0). Let l be o - 2 - (-2 + -69). Suppose -5*y = 13 - l. Which is smaller: 11 or y?
11
Let o = 1.548 - 4.548. Do o and -131 have different values?
True
Let a = 3231/52 + -255/4. Which is bigger: -2 or a?
a
Let m(b) = -b**2 + 43*b + 137. Let g be m(-3). Which is greater: -1/301 or g?
-1/301
Let m = 492 - 469. Which is smaller: m or 19?
19
Let p be (-2)/(-10) - (-4484)/30. Suppose 0 = 17*q + 2*q - 2812. Let b = q - p. Which is bigger: -1 or b?
-1
Suppose 14 = -66*d + 68*d + 4*n, -7 = -4*d - n. Let w = -23/3 - -9. Which is smaller: w or d?
d
Let h(i) = -7*i + 216. Let n be h(31). Let j = -254/3 - -84. Is n >= j?
False
Let k be (43/(-12) - -4)*20. Which is smaller: 8 or k?
8
Suppose 2*f = -5*y + 3, y - 32*f + 36*f = -3. Is -2/181 bigger than y?
False
Let i = 164089/29 + -5657. Is i > 2?
False
Suppose 3*h + 10 = -4*c - 2*h, -h - 8 = 2*c. Let r = -11 - c. Let m(d) = d**2 + 5*d + 5. Let v be m(-4). Is v at least r?
True
Let q(t) = t**3 + 19*t**2 - 15*t + 10. Let o be q(-20). Let c = 89 + o. Are 4 and c non-equal?
True
Let q = 129 - 1293/10. Is 1 smaller than q?
False
Suppose -3 = -a + 4*h, -4*a + 62 = 5*h + 8. Suppose -12*u