ch is greater: m or -0.6?
-0.6
Suppose -5*k = 3*j - 408, 19*k - 21*k + 2*j + 160 = 0. Which is smaller: 319/4 or k?
319/4
Let x(f) = -f**2 + 20*f - 15. Let l be x(19). Suppose -4*k = 3*g - 12, 0*g + l*g = -5*k + 15. Suppose -3*n - 5 = -8*n, -2*z - 2*n + 2 = g. Is -6/17 at least z?
False
Suppose -2*p + 17 = 5*k, -4*p + 9*p + 7 = 4*k. Let s be p/((-156)/(-150) + -1). Let q(w) = 13*w. Let r be q(2). Which is smaller: s or r?
s
Let r = -7.7496 + -0.2504. Which is bigger: -444 or r?
r
Let h be 52142/(-91273) - -1*(-52)/(-91). Which is bigger: -1 or h?
h
Let k = -109649/28 + 3917. Which is bigger: 0.1 or k?
k
Let y(v) = -518*v + 3465. Let l be y(7). Is l bigger than 9?
False
Suppose 53*a - 42*a = 3465. Suppose 0 = 6*d + d + a. Which is smaller: -42 or d?
d
Let c(f) = -2*f**2 + 8*f + 2. Let w be c(4). Suppose -36*a + 41*a + d = w, 3*d + 8 = -a. Is a less than -1/36?
False
Suppose -9*w + 0*w - 11*w = 20. Is 4/457 <= w?
False
Let c = -21066205/121 - -174099. Which is smaller: c or -2?
-2
Suppose -1152 = 4*h + 2*y, -2*h + 5*y - 318 = 282. Is h at most as big as -1443/5?
True
Suppose 0*y + 2*y + 2 = 0. Let a = 375 + -367. Let l be a/52 + 399/(-312). Is y bigger than l?
True
Let t(m) = 7*m - 86. Let b be t(9). Suppose -3*i + 0*i - 133 = 5*g, 5*g = 3*i - 127. Which is greater: g or b?
b
Suppose -129*p = -126*p - 9. Suppose 3*i + p*y - 6 = 6, -i = -y - 6. Suppose 5*u - 4*j = 46, -u + 2*j = -0*u - 14. Which is greater: u or i?
u
Let j = 0.07344 + -40.41344. Which is greater: j or 0?
0
Suppose -29*m = 23*m - 208. Suppose 0 = 2*c - w + 879, 0 = c + c + m*w + 884. Which is bigger: c or -441?
c
Let i(k) = 11*k**2 + 122*k + 683. Let g be i(-6). Is 336 > g?
False
Let n(b) = 274*b**2 - 148*b + 81. Let v be n(4). Which is smaller: v or 15491/4?
15491/4
Let s(u) = 4*u - 5. Let y(k) = -k**2 - 7*k + 13. Let p be y(-9). Let i be s(p). Suppose 2*x = w - 55, 4*x - 3*x = 4*w - 45. Is i at most x?
True
Let f(l) = 18*l + 25. Let v be f(6). Let p = v + -134. Which is smaller: p or -2?
-2
Let b = 6301 + -5660. Which is greater: -13 or b?
b
Let n = -218 + 223. Suppose 0 = -n*h - 30*h + 280. Which is greater: h or 16?
16
Suppose -x + 12 = -3*u, -2*x + 11*u - 15*u = 16. Is 26/1017 > x?
True
Let h = -17 - -6. Let t be 24 + -22 + (420 - -1). Let m = t + -433. Which is smaller: h or m?
h
Let q = 1207 - 1199. Are 91/10 and q equal?
False
Let i(b) = b**3 - 12*b**2 - 3*b + 12. Let c be i(11). Let s = c - -127. Is -16 smaller than s?
True
Let i = 7450 + -7543. Is i at least as big as 4/5?
False
Let p = 4252/43 + 192053/129. Which is smaller: 1588 or p?
p
Let t = -124 - 226. Let f = -333 - t. Which is smaller: 1/19 or f?
1/19
Let p = 1/4 - -181/28. Let w = 2.5 - 3.5. Which is bigger: p or w?
p
Suppose 74*h - 4326 = 7588. Which is smaller: h or -1.6?
-1.6
Let d be 6/((8/8)/2). Which is bigger: -0.0507 or d?
d
Let r(n) = n**3 + 41*n**2 - 10*n - 35. Let m be r(-41). Let k = 308 - m. Is -67 equal to k?
True
Let u(g) = 2*g**2 + 93*g - 1327. Let m be u(-58). Are m and 177/26 nonequal?
True
Let s(r) = 117*r**2 + 62*r. Let t be s(-4). Is t at least as big as 1622?
True
Let u be ((-16947)/8469 + 2)/((-7)/(-14)). Which is smaller: u or -1/4?
-1/4
Let k = 0.9858 + -0.9708. Do 7/2 and k have the same value?
False
Suppose 7*u - 11814 = -15*u. Is u smaller than 538?
True
Suppose -l + 34 = l. Suppose 20*n = l*n + 186. Suppose -u + n = u. Is u < 31?
False
Let w be (2 - (-9 - -10))/(5/(-5275)). Which is greater: -1054 or w?
-1054
Let l(w) = w**3 - 3*w**2 - 17*w - 5. Let m be 3 + (2 - -4) - (-12)/(-4). Let o be l(m). Let s be 4/5 - (-30)/25. Is o less than or equal to s?
True
Let g(d) = -d**3 + 36*d**2 + 73*d + 84. Let y be g(38). Is -30 less than or equal to y?
True
Suppose 175*c - 325385 = 23*c - 143*c. Are 1105 and c unequal?
True
Let q be (-28)/(-700)*(-270)/4. Which is smaller: q or -4?
-4
Suppose 0 = 5*p - 2*p + 15. Let y = 4 + p. Let z be ((-12)/(-137 - 7))/((-7)/(-8)). Which is smaller: z or y?
y
Suppose -147*f = -156*f - 22266. Let r = 3943134/7 + -565774. Let u = r - f. Which is bigger: 6 or u?
6
Let m(v) be the first derivative of -v**3/3 - 9*v**2 + 21*v - 312. Let h(k) = -20*k**2 + k. Let r be h(1). Let d be m(r). Is d >= 2?
True
Let q(b) = 30*b**3 + b**2 + 11*b - 17. Let k be q(2). Which is bigger: 253 or k?
253
Let y(m) = m**2 + 47*m + 56. Let i be y(-47). Is i < 55?
False
Suppose -543 = -5*h + 4*u, -h + 2*u - 3*u + 105 = 0. Let n = h - 114. Which is bigger: n or -3?
-3
Let u = 0.05179 + 3.24821. Which is bigger: u or 1/6?
u
Let m(n) be the first derivative of -n**3/3 + 7*n - 48. Let z be m(-5). Is z >= -27?
True
Let t = -86 + 44. Let z = t - -77. Let l = z - 37. Is -0.1 at least l?
True
Let v be (-6 + 0)/2*-5. Let q = -10522 - -10538. Is v bigger than q?
False
Let g be (14/18)/((-973)/417). Is 198 greater than g?
True
Let w(v) = -74421*v + 74421. Let g be w(1). Let m = -18600191/3240 - -28704/5. Let u = m + -49/3240. Is u at least as big as g?
False
Let r(k) = k**2 - k - 18. Let s be r(6). Let v be 5 + 0 + (-5 - -8). Suppose 12*m = v*m + s. Which is smaller: m or 0?
0
Let v be 2 + ((-19328)/(-112) - (-6)/14). Let x = v + -877/5. Is 0.28 at most as big as x?
False
Let z = 1 - -1. Suppose -u + 26 = z*b - 55, -5*b + 192 = -u. Let w = -25 + b. Are w and 14 unequal?
False
Let u be ((-4)/(-30))/((-54)/45) + (-23576)/36. Does -654 = u?
False
Let i(h) = 14*h**3 + 1. Suppose -15 = 5*y - 4*w, -y - w = -5*y - 1. Let a be i(y). Let b be (-560)/(-32) + ((-10)/4)/5. Which is smaller: b or a?
a
Let x be -6 - 8/((-448)/(-121)). Let c = x - -63/8. Is 118 bigger than c?
True
Let z = -47651/3 + 15868. Is -16 greater than or equal to z?
False
Let h be 44/55*-5 + 10 + (2 - 4). Let g(o) = 5*o**2 + 2*o + 1. Let w be g(-1). Let v be ((-15)/(-2))/(3/w). Which is bigger: v or h?
v
Let n = 4.6092 - 4.587. Which is greater: n or 1?
1
Let r = -40190 - -6068666/151. Which is greater: r or 0?
0
Suppose 22*b + 16 + 2240 = -648. Which is smaller: -135 or b?
-135
Let o = -86 - -91. Suppose -o*m + 9 + 15 = -2*n, 0 = m + 3*n + 2. Suppose -m*c + 330 - 206 = 0. Which is bigger: c or 32?
32
Suppose 5*j = -2*m + 14, 5*j - 8 = 3*j - 2*m. Suppose 0*a - 12 = j*f + 3*a, -5*f = 2*a + 8. Which is smaller: f or 1/4?
f
Let m be 4 + (-6 - 5490/(-909) - 4). Is -0.4 > m?
False
Suppose 5*g = 2*v - 30, 7*v + g - 45 = 4*v. Let u = -1022/39 - 812/13. Let x = u + 88. Which is smaller: v or x?
x
Let b be 3/(-48) - 846/(-96) - 2. Which is smaller: -1.3 or b?
-1.3
Let o = -6447197 + 1515086627/235. Let n = o + 99/5. Which is smaller: n or -1?
-1
Let w = -1229 - -1186.07. Let o = w + -0.07. Let z = o - -46. Is z less than or equal to 2?
False
Let h(r) = r**3 + 9*r**2 - 39*r - 2. Let v be h(-11). Suppose -189*k + v*k + 76 = 0. Is 71/4 < k?
True
Suppose 0 = 5*t - 31 - 14. Suppose -t*i = -11*i + 8. Suppose -o = -i*o + 27. Is o < 10?
True
Let v(q) = q - 29 - q**3 + 51 - 5 + 9*q + 6*q**2. Suppose 4 - 10 = -z. Let p be v(z). Is 78 smaller than p?
False
Let k = -2618 + 2543. Which is smaller: k or -94?
-94
Suppose 5*q = 227*w - 228*w + 25, 0 = 3*w - 4*q + 20. Let k be 46/782*(-2 + (4 - w)). Suppose 3*s - 2*s = z, 0 = -2*z - 3*s. Is z greater than k?
False
Suppose 56*z - 42*z = -14. Let c be 6/(-2) + 528/178. Is c less than or equal to z?
False
Let k = 1/57154 + 92003/57154. Is 1 not equal to k?
True
Let y(j) = -2*j**3 + j**2 + 21*j + 14. Let l be y(-9). Let w = -2795/2 + l. Is w > -35?
True
Let h = 862157/79438563 + -62/5751. Which is greater: h or 0?
h
Let r(m) = -6*m - 15. Let z be r(-20). Let v be (z/(-42))/(1/(-2)). Is 0 less than v?
True
Let g be (-4537)/(-910) - (-3)/(-45 - -53 - 43/5). Let s = -2 + 2.2. Let u = s + -0.2. Which is bigger: u or g?
u
Let u = -40 + 40. Let l(o) = -5 + u*o + 6 + o + 14. Let z be l(-4). Is -1 at least as big as z?
False
Suppose t = -5*h - 48 - 7, 4*t - 3*h = -151. Let u be (794/(-1290) + (-24)/t)*-6. Is 0 bigger than u?
False
Let v(n) = n**3 - 7*n**2 - 13*n - 4. Let c be v(9). Let y be (-3)/(-12) + 78/(-24) - c. Let o = y - -17. Is -28 equal to o?
False
Let i = -4 + 4. Let l be 1*(-2588)/570 - 11578/(-2481). Is l < i?
False
Suppose 0*w = -5*w - 90. Suppose 0 = -23*c + 19*c + 2*f + 18, 36 = 5*c + 2*f. Let v be c/(-8) + (-9)/w. Which is smaller: v or -1?
-1
Suppose -45833 = 3*w - f, 14 = 185*f - 187*f. Is w equal to -1