+ 16.2. Is -2/159 equal to x?
False
Let x(m) = 7*m**2 - 2*m + 1. Let o be x(1). Let n be o/(-4) + 14/4. Suppose -2 + 5 = -3*k - 3*h, 0 = -4*k - 3*h - n. Which is greater: k or 2?
2
Let j = 455.05 - 455. Which is bigger: 3/2 or j?
3/2
Let k = 20 + -27. Let q = k - -7.3. Suppose 0 = -5*w - o - 9, o + 0 + 2 = 2*w. Which is greater: q or w?
q
Let s = -119.554 - 0.746. Let q = s - -120. Is q < 0.36?
True
Suppose -5*d = -3 - 17. Let o be ((-13728)/(-306))/13 + 4/(-34). Is o greater than d?
False
Let b(l) be the third derivative of -l**4/24 - 7*l**3/3 + 7*l**2. Let n be b(-16). Suppose 2*k - 32 = -n*k. Is 7 <= k?
True
Let a = 4 + -2. Suppose 3*f - a = 4. Let k = 31/2 + -14. Is k greater than f?
False
Let g(d) = -1 - 3*d + d**2 + 2*d + 3*d + 0*d. Let p be g(-3). Suppose n = -p*n. Which is smaller: -10/7 or n?
-10/7
Let l = -68.8 + 68.7. Is -395 <= l?
True
Let m = -4517/292 + 1315343/3796. Let r = m - 331. Is r >= 1?
False
Let b = -611/5 - -121. Suppose -z + 0 = -4. Suppose -5*l = d - l - z, 5*l = -4*d + 5. Which is greater: b or d?
d
Let h(f) = -62*f - 5. Let n be h(-2). Which is smaller: n or 116?
116
Let g be (3/5)/((17/(-5))/17). Is g greater than or equal to 5?
False
Suppose -15*w - 44 = -4*m - 11*w, -2*m = 3*w - 32. Let z = 11 + -7. Are z and m nonequal?
True
Let p = -8799/80 + 110. Which is greater: p or -1?
p
Suppose -4*c + 120 = -3*c. Let s be c/21 + (-6)/(-21). Is 3 > s?
False
Let g(r) = -8*r. Let n(c) = -6*c + 3. Let d be n(1). Let l be g(d). Suppose q - k = 4, -q - 2*k + l = 2*k. Is 2/5 < q?
True
Let b be (2 - 4)*(-10 + 9). Let h be (-2)/(-4) + 2/(-4) + 0. Is h at least as big as b?
False
Let r be 2 + 9 + (-12)/4. Let f be (-2 + 55/10)*r. Which is greater: f or 29?
29
Let d = -155 - -169. Let c be (-2 - (-25)/d)*76/57. Which is bigger: c or 0?
0
Let p(a) = -7*a + 316. Let r be p(40). Which is greater: r or -14?
r
Let g = 639/2 - 232. Which is bigger: 88 or g?
88
Let t = -337 + 337. Which is smaller: t or -10/57?
-10/57
Let t(x) = 16*x + 132. Let z be t(-17). Which is greater: -143 or z?
z
Let s(b) = 3*b - 13. Let j be s(4). Let r be 36/(j + 5) - (5 + -1). Let i be (2/(-2))/((-2)/10). Do i and r have different values?
False
Let q(b) = 2*b + 3 + 0 - 3 - 2. Let k be q(-1). Let i be 25/20 - (-2)/k. Is i less than or equal to 2?
True
Suppose -n - 1345 = 2*n - f, 5*n - 3*f = -2243. Is n at least as big as -450?
True
Let z = -197/40 - -37/8. Let c = -1.0024 + 0.0024. Is c at most z?
True
Suppose 9*g - 39*g + 120 = 0. Which is smaller: 175 or g?
g
Let x = 83222 - 445320924/5351. Which is smaller: -1 or x?
-1
Let w be (-1*2)/((-8)/2)*2. Which is smaller: -2/995 or w?
-2/995
Let d be ((-6)/(-8))/((-12)/(-32)). Let f be 9/(-189) + d/14. Suppose -3*w + 4 = w. Is w greater than or equal to f?
True
Let s = 8.52 + -10.52. Which is smaller: -21/16 or s?
s
Suppose -432 = -6*i - 4*z, 0 = 2*z - 4*z + 6. Which is smaller: i or 5?
5
Let d = 174 + -104. Let w = 69.9 - d. Suppose -70 = 5*c + 35. Is w smaller than c?
False
Suppose 0 = -4*m - 5*w + 24 + 3, 2*w = 5*m - 9. Suppose 5*q + 5*t = 34 + 6, -q + 12 = -m*t. Let c be (-1 - q/(-6))*0. Is -1/8 at most c?
True
Let p be ((-1)/3)/(49/(7/7)). Which is bigger: 0 or p?
0
Let c = 14 - 30. Let p = c - -18. Let t = p - 2. Are t and -1 nonequal?
True
Suppose 0 = 2*c, -5*o + 2*c - c + 345 = 0. Let w = 17/11 + 2248/33. Let h = w - o. Is h greater than or equal to 0?
True
Let r = 58474/5 + -11655. Is r less than 39?
False
Suppose 5*j - 2*j = 0. Suppose -2*s + j*s - 11 = 5*p, 2*s + 4 = 2*p. Which is smaller: p or 0?
p
Let r be 718/(-208) - (-6)/78. Are r and -2 equal?
False
Let n be (-18)/(-4) - ((9 - -2) + -7). Which is bigger: 36.3 or n?
36.3
Let z(t) = t**3 - 17*t**2 - 39*t + 20. Let i be z(19). Is 3/188 <= i?
True
Let a = 1636/33 + -152/3. Is -0.3 less than a?
False
Let z = -1.92 - 0.08. Which is greater: -0.099 or z?
-0.099
Let c(p) = p**2 - 10*p + 6. Let w = 0 + 9. Let u be c(w). Let h be (u - 3/(-1))*1. Is h less than -1?
False
Let n = 1.5 - 1.62. Let a = -0.01 - -0.23. Let k = n + a. Which is smaller: 0.3 or k?
k
Let y be (3943/3035)/(16/32). Let w = 1/607 + y. Which is bigger: 2 or w?
w
Let m be 34/(-510) - (4/(-3))/(-4). Let t = -2 - -1.9. Are m and t unequal?
True
Let x(g) = -g**3 + 35*g**2 - 40*g + 203. Let o be x(34). Do -6/209 and o have different values?
True
Let u = -0.111 + -2.969. Let a = u - -1.08. Which is bigger: a or -2/43?
-2/43
Let m = 68 + -82. Let k be 3*(-2)/4*m/(-714). Which is smaller: 1 or k?
k
Suppose -6 = 2*d - 0*v + 2*v, -5*v = -3*d - 49. Suppose -4*c = 4, 2*h + 21 + 0 = -c. Which is smaller: h or d?
h
Let q(t) = -t - 9. Suppose -4*l - 2*k - 9 = 31, 0 = -4*l + k - 40. Let c be q(l). Is -1/42 > c?
False
Let c be (-6)/((-36)/(-1959))*(5 + -3). Is c bigger than -653?
False
Let p = -3179/9 - -353. Do p and 0.5 have the same value?
False
Let d = 506 + -893. Which is smaller: d or -388?
-388
Suppose -5*k + 18*k = 10*k. Is k at least as big as -7/85?
True
Suppose 0 = 2*x, -18*v + 20 = -22*v - 4*x. Is -52/11 < v?
False
Let l = -6 + 10. Let y be 7 - (9 - 5) - (-2)/2. Are y and l equal?
True
Let u = -2110.1 + 2110. Which is greater: u or -10.52?
u
Let r = 463/21 + -194/7. Are r and -6 nonequal?
True
Let h(n) = n**3 - 2*n**2 - 5*n + 2. Let l be h(3). Let s = l - -22. Suppose -17*z + s*z = 0. Which is smaller: -2/31 or z?
-2/31
Suppose 5*p = -3*l + 6042, -5*p + 3758 + 2290 = -3*l. Which is smaller: p or 1208?
1208
Let h = -45 + 72. Suppose 4 = q - h. Suppose 4*b - 20 = 5*i, 5*b - i = q + 15. Are b and 11 unequal?
True
Let l(f) = f**2 - 19*f + 19. Let i be l(18). Let w be 4*(i - (-3 - (-3)/(-1))). Is 28 != w?
False
Let q = 21 - 13. Let a be 2/4*q/4. Suppose 5*g - a = -11. Which is greater: -5 or g?
g
Suppose -2*p + 4 = 6. Let w be (39/(-52))/(p - -4). Suppose 0 = -2*v - 4*m + 12 - 2, -3*v - 15 = -4*m. Which is smaller: v or w?
v
Let m be 3*(1 + 44/(-54)). Let i = -2002 - -10012/5. Is m at least i?
True
Suppose -p - 5*o = 185 + 169, 4*p + 2*o = -1416. Let y be 1/3 - (-145600)/p. Let c = -411 - y. Is 1 bigger than c?
True
Suppose 10 = -5*v + 2*v - 2*h, 3*v + 5*h = 2. Let c be (-4)/(-6) - 208/24. Which is bigger: c or v?
v
Let c = 2291/3 + -763. Which is smaller: -0.115 or c?
-0.115
Suppose -10*j - 40 = -6*j. Let w be 1 + -7 + 4 - (-96)/(-14). Which is smaller: w or j?
j
Let c = -321/5 - -323/5. Which is greater: c or 0.0236?
c
Let c = -5 + 3. Let d be -2*c/(-4)*0. Which is greater: 1/8 or d?
1/8
Let f be (-477)/198 - 2/22. Is -1/14 at most as big as f?
False
Let y be (-51)/(15 + -32) - (428 + 1). Are y and -426 non-equal?
False
Let x = 14 + -26. Let h = x + 16. Let d be (2/5)/(h/(-20)). Is d >= -2?
True
Let o(r) = r**3 - 15*r**2 - 16*r + 52. Let i be o(15). Is -187 at most i?
False
Let m = -177 + 538/3. Suppose 0 = 2*t - 0*t - 20. Suppose 5*j - 5 = t. Which is smaller: j or m?
m
Let h be 4/(-14) - (-12)/(-7). Suppose 35 = -3*w - 4*r, -40 = 64*w - 60*w + 4*r. Is w <= h?
True
Suppose 2*y + 4 = -2*y, -3*r + 2*y - 7 = 0. Let t(q) = q**2 - 3*q. Let k be t(r). Suppose k = 5*u - 12. Are u and 6 nonequal?
False
Let c(u) = u**3 + 4*u**2 + 3*u + 4. Let a be c(-3). Suppose 0 = 3*b - a*i + 61, 25 = -3*b - i - 46. Let s be 3 + (2 - b/(-7)). Which is smaller: s or 3?
s
Let z be (-4)/14 - 8/(-7). Suppose 2*x + 1 = -k - 2, x + 3*k + 14 = 0. Suppose 3*p + 6 = -3*f, 5*f + 17 = -2*p + x. Which is smaller: z or p?
z
Let c = -205 - -204.94. Which is smaller: c or 0.155?
c
Suppose -r = 2*m - 4, 2*m - 9*r + 14*r - 12 = 0. Is -18 less than or equal to m?
True
Let z(v) = v**3 - 8*v**2 + 11*v - 3. Let w be z(5). Which is bigger: w or -22?
-22
Suppose -4*p = -2*p - 56. Let c = p - -2. Let f be 50/c*(0 - 3). Which is bigger: -4 or f?
-4
Let s be 1 - 8/12*-6. Suppose 6*t = 7*t - s. Which is smaller: 3 or t?
3
Suppose 2*t + 72 = -0*g - 4*g, 76 = -4*g - 3*t. Is g less than or equal to -17?
False
Suppose 4*v = -2*u - 3238, -v = -0*v - 4*u + 787. Let c = v + 26629/33. Is -3 at most c?
True
Let y be ((-316)/12)/((-14)/(-504)). Which is smaller: y or -950?
-950
Suppose -5*o - 5*b + 245 = 0, -4*o = -0*b + 3*b - 196. Let y = 24 - o. Let q be (-5)/y + (1 - 1). Is -1 >= q?
False
Suppose -3*c + 2*y - y = -90, -37 = -c - 2*y. Let p be 8*2*9/(-18)*-4. Is p less than or equal to c?
False
Let l(d) = -d**2 + 3*d + 2. Let g = 4 + -1. Let z be l(g)