0.2 >= z?
True
Let h(o) = o**3 - 5*o**2 - 14*o + 68. Let s be h(5). Let w = 17 + -18.3. Is w greater than or equal to s?
True
Let g = -99 - -79. Suppose 0*v + d - 65 = 3*v, 4*v - 2*d + 90 = 0. Let u = v - g. Are u and 8/11 nonequal?
True
Let w = -2.7362 + 2.9362. Let u = 6 + -12. Is w at least u?
True
Suppose -2*f - 2*a - 28 = 0, 2*a - 5*a = 12. Let n = f - -8. Which is greater: n or -1/2?
-1/2
Let d = -187 + 140. Which is smaller: d or -48?
-48
Let m = -0.388 + 1.388. Which is smaller: m or 1.18?
m
Let k be (10/(-4))/((-1)/(-2)). Let o be (-1)/((-5)/25*k). Which is smaller: -1/15 or o?
o
Let a = -194/7 + 28. Let y be 244/(-84) + 4/(-42). Which is bigger: y or a?
a
Suppose -5*n - 6 = 5*t - 3*n, 5*t - 6 = 2*n. Let f be -1 + 30 + t + -1. Which is bigger: 27 or f?
f
Let u be (-18)/117 - 112/(-52). Suppose -2*k = -2 - 18. Is u smaller than k?
True
Let l(k) = -8 - 12 + 155*k - 154*k - 1. Let p be l(17). Is p at most as big as -4?
True
Let g be (4*6)/(15/8). Which is bigger: 13 or g?
13
Let u be (-7)/(-14) - 2130/(-12). Does 178 = u?
True
Let r(m) = m**2 - 9*m + 13. Let l be r(7). Let v be 238/220 + (-16)/(-88)*l. Suppose -3*b = -4*b + 2. Is v <= b?
True
Let j = -11 + 33. Let o = j + -24. Is -0.4 > o?
True
Let o be (-240)/255 - (-1 + 1 + 1). Which is bigger: -2 or o?
o
Suppose -15 = 4*u + z + 2*z, -4*z - 20 = -4*u. Let h be 3 + u - (13 - 2). Let p = 3 + h. Is p smaller than -6?
False
Let p = -19 - -20. Let c be (p/(-6))/((-8)/48). Which is smaller: 5 or c?
c
Let c(m) = -m**3 - 10*m**2 - 10*m - 1. Let l be c(-8). Let a = -31 - l. Let i = a + -20. Is -11/5 greater than i?
False
Suppose x = 2*g - 2*x - 2, 3*g = -2*x + 16. Let t be (-1 - -1) + -3 + g - 15. Which is smaller: -18 or t?
-18
Let m(n) = -15*n**3 + 2*n**2 + n + 2. Let p be m(-2). Is 130 < p?
False
Let r(y) = -2*y**3 - 6*y + 6. Let d be r(1). Is d at most as big as 5?
True
Let n(a) = -a - 1. Let o be n(5). Suppose q - 5 = -r, -q = 3*q - 4*r - 12. Suppose q*b - 15 = l - 43, -3*b - 21 = 3*l. Is o greater than b?
True
Let j(t) = -t**3 + 34*t**2 + 3*t - 101. Let r be j(34). Are r and 10 unequal?
True
Let h(n) = -4*n**2 + 33*n - 5. Let w be h(8). Suppose -w*g = -2*i + 29, -3*i - 2*g = -4*i + 15. Let q(o) = -5*o - 3. Let x be q(-3). Which is bigger: i or x?
i
Suppose 5*w - l = 3*l + 10, -45 = -5*w - 3*l. Let b(t) = -2*t + 9. Let m be b(w). Let h be (4 + m)*(-1)/(-2). Which is greater: 1 or h?
1
Let a = -4.3 - -4. Let v = 0.2 + a. Let d = -359/20 + 75/4. Which is smaller: d or v?
v
Let i = 179/12 + -12701/852. Let t(m) = m**2. Let d be t(-1). Is i at least d?
False
Let d(p) be the first derivative of p**2/2 + 3*p - 11. Let b be d(-8). Is -32/5 at most as big as b?
True
Suppose 1368 = 11*w + 13*w. Is w equal to 59?
False
Suppose -11*l - 216 = -7*l. Let a be 18/l + (-4)/(-3). Are 4 and a unequal?
True
Let o = -96 - -110.4. Let q = 528 + -512. Let c = q - o. Is c not equal to 1?
True
Suppose 4*t = 2*f - t + 84, -4*f + 2*t - 168 = 0. Let u be 2/5 - f/(-30). Let h be ((-20)/18)/u - 2. Which is smaller: 0 or h?
h
Let y(r) = 3*r - 6 + r**2 - 3*r**2 + 3*r**2. Let m be y(-5). Let k be (-6)/2*130/(-78). Is k less than m?
False
Suppose 310 = 7*r + 86. Suppose -2*z = 3*c - 0*z - r, z + 12 = 2*c. Is c != 8?
False
Suppose -59*q = -64*q + 90. Suppose 2*x + 14 = 5*w, 2*x - 10 = -w - 0*w. Let m be 192/q - w/6. Does m = 11?
False
Let s = -37061893/1209 + 30655. Which is greater: s or 1?
1
Let h = -13 - -15. Suppose 4*o + h = -2. Let w = 11/40 - -1/8. Which is bigger: o or w?
w
Let u be (98/6)/((-1)/(-3)). Let k = -225/394 + 14/197. Which is smaller: k or u?
k
Suppose 3*f - 4*a = 8 + 242, a + 4 = 0. Is f at least 77?
True
Let p(d) = d**3 + d + 1. Let h(l) = -l**3 - 17*l**2 + 6*l - 6. Let v(s) = h(s) + 3*p(s). Let k be v(8). Let i = 0 - -2. Which is greater: k or i?
k
Let n be (-23)/(4508/1155) + 1 + 5. Which is bigger: n or 1?
1
Let a be (-30 - -20)/(1*2). Which is bigger: a or -25/4?
a
Let o = 18 - 16. Let l = o - 3. Is -3/19 smaller than l?
False
Let l = 54 + -112. Let y = l + 52.2. Let m = y - 1.2. Is m at most -2?
True
Let s = 379 - 391. Is s > -9?
False
Let n = -178 + 398. Let d be 106/n + (4 - 138/33). Let s = -4 - -3. Which is smaller: s or d?
s
Let q(j) = 2*j + 37. Let i be q(-17). Let t be i/((-63)/12) - (-17)/(-7). Which is greater: -5/2 or t?
-5/2
Let q = -17 + 42. Let a = q + -101/4. Let x = 7/54 - 319/378. Which is greater: a or x?
a
Let v = -5.892 - 2.178. Let q = -0.05 + 8.05. Let i = v + q. Is 0.1 > i?
True
Suppose 119 = -43*h + 26*h. Let j = 3 + -2. Let o = 1 - j. Is o not equal to h?
True
Let g(i) = -2*i**2 + 5*i - 1. Let v be g(2). Let c(y) = 2*y**2 - 2*y + 1. Let l be c(v). Suppose -2 - l = 2*o + w, -w - 4 = 3*o. Which is smaller: 1/11 or o?
o
Suppose -2*c - 110 = -2*x - 30, x = -c - 30. Let d = c - -31. Are -3 and d nonequal?
True
Let a = -79 - -73. Which is smaller: a or -1?
a
Let c = -492 + 733. Is 241 greater than c?
False
Let w be (-2 + 7 - 6) + -5. Does -62/13 = w?
False
Let y be (20 + 0)/5 + -38. Is -32 at least as big as y?
True
Let d(n) = n**3 - n**2 - 9*n**2 + 2*n + 26 - 31. Let u be d(10). Suppose j = -4*t + u, 5*j - 2 = -t - 3. Which is smaller: t or 5?
t
Let j = 19 - 18.909. Let i = -1.909 - j. Which is smaller: i or 0.6?
i
Let j be 2470/(-25) + 1 - (-2 + 5). Let l = -70 + 170. Let q = j + l. Which is smaller: -1 or q?
-1
Let b = -19 - -20. Let h = -75771/44 - -1722. Is b smaller than h?
False
Let w(q) = q**2 - 4*q - 1. Let d be w(5). Suppose -d*u = -51 + 3. Let c = u - 10. Which is greater: c or 9/5?
c
Let z be (-34)/17*(-1371)/(-2). Let b = 23297/17 + z. Does b = -1?
False
Suppose -2*c = o - c + 88, -2*c + 6 = 0. Let r = o - -638/7. Let n(i) = i + 11. Let l be n(-8). Are r and l nonequal?
True
Suppose -c - 4 = 0, 0 = -6*i + 3*i - 4*c - 19. Let d be ((0 - 1)/i)/(-1). Suppose 4*n - 4*y + 8 = 0, 4*n - 5*y + 9 = -0*y. Is n at most as big as d?
True
Let b(l) = l**2 + l + 2. Let u be 1 + -2 + -2 + 7. Suppose -u*c = -0*c. Let i be b(c). Which is greater: 2/7 or i?
i
Let k be (363/(-6195))/(8/(-10)). Let a = 3753265/21476 - k. Let u = 175 - a. Is u >= 1?
False
Let k = -1403 + 820. Which is smaller: -585 or k?
-585
Let k be (206/(-8))/((-305)/244). Is 22 at most as big as k?
False
Let o(i) be the third derivative of i**5/3 + i**4/24 + i**3/6 - 4*i**2. Let h be o(-1). Suppose 0 = -4*m - 0*m - h. Are m and -3 nonequal?
True
Suppose 0 = 18*u - 19*u + r - 308, -2*u - 2*r - 608 = 0. Is -306 smaller than u?
False
Let r = 0.509 + -2.509. Which is smaller: r or 66?
r
Let o = 3 + -5. Let x be (-4)/(-16) + o/(-56). Let q be 2/(-16)*1/((-6)/(-12)). Do q and x have the same value?
False
Let c be 172/22 - 3 - (-6)/33. Suppose 17 = 2*z + 5*b, z + 2*b = 2*z + c. Which is smaller: z or 1/25?
1/25
Suppose 0*l + 26 = 2*l. Suppose 5*i = k + 2 + l, k + 5 = 0. Suppose -3 + 13 = i*p. Is 4 at least p?
False
Suppose 4*u + 95 = 3*w - u, 2*w = -2*u + 74. Which is bigger: 42 or w?
42
Let q = -3699 - -17819/5. Which is greater: -136 or q?
q
Let b(x) = x**2 + 12*x - 12. Let i be b(-12). Let h be ((-4)/i)/(2/6). Let o be h/4 + 66/120. Which is smaller: 2 or o?
o
Let o = -0.2 - -0.3. Let q be (1/2)/((-96)/768). Is o greater than q?
True
Let q be 14*(-40)/(-350) + (-2 - -1). Is 3.06 <= q?
False
Let b = 90 - 49. Let c be ((-21)/(-14))/(-2 - b/(-10)). Which is greater: 2 or c?
2
Let f = 96/5 - 409/20. Which is greater: f or 0.2?
0.2
Let x = 799.0276 + -0.0276. Which is greater: -1 or x?
x
Suppose -a + 44 = -31. Suppose 0*o = 3*o + a. Suppose -3*d = -12, 5*d = 4*b + 152 - 28. Which is smaller: b or o?
b
Suppose -5*q - 10*q = -90. Let z be (-21)/63 - (-44)/q. Which is smaller: 1 or z?
1
Let l be 3 + 6 + 2 + -5. Suppose -146 = -l*y + 34. Suppose 3*q + 0*q = y. Which is smaller: q or 8?
8
Suppose 3*i + 4*v - 2*v - 570 = 0, 4*i - 760 = -3*v. Let a = -39776 + 199833/5. Let j = i - a. Which is smaller: -1 or j?
-1
Let d = -92 + 96.9. Let i = -5 + d. Let a = -0.09 + -11.91. Is i less than a?
False
Let v(i) = 3*i - 14. Let g be v(5). Let u(d) = d + 11. Let p be u(-5). Suppose -r = -p*r. Which is bigger: g or r?
g
Suppose -5*k + 11 = -4*h, 4*h + 2*k - 19 = -3*k. Let u be h/(4/(-16)) + 12/(-10). Is -6 greater than u?
False
Suppose 0 = -18*t + 88 + 218. Are t and 21 nonequal?
True
Let y(u) = 12*u + 23. Let z be y(21). Suppose -3*k + 