) = -z**2 + z. Let o(a) = 2*g(a) + p(a). Let u be o(0). Which is greater: u or 0?
u
Let h(a) = a**2 - 17*a + 58. Let r be h(4). Is 90/13 greater than r?
True
Let u = 18 - 15. Let q be (-9)/36 + u/28. Which is smaller: -1 or q?
-1
Let g be -2 - 5 - (8 + (-11 - -7)). Is -47 less than or equal to g?
True
Let w = -42 + 16. Let x = -24 - w. Is x greater than or equal to 24/11?
False
Let j = -2205.69 + 2196. Let n = 0.31 - j. Let v = n + -21. Is v > 1?
False
Suppose 2*c + 2*c + 8 = 0. Let o = -81 + -56. Let y = 2601/19 + o. Is c less than y?
True
Let t be (-598)/14274 + 4/18. Which is greater: t or 0?
t
Let d = 79.54 - 0.54. Let q = -79.03 + d. Which is greater: -6 or q?
q
Let k = -1.606 + 20.606. Which is smaller: k or -22?
-22
Let m(t) = t**3 - 7*t**2 - 3*t + 4. Let y be 5 + 0 - (4 + -6). Let v be m(y). Is -17 > v?
False
Let f = 3/284 + 985/852. Let m be (-32)/(-48)*(-1 + 6/4). Which is bigger: f or m?
f
Suppose 3*x + 5*m = -8, -2*x - x - 2*m - 5 = 0. Let s be ((-1)/5)/(2/14). Let o = x - s. Are -2 and o equal?
False
Let t be (9/(-30))/((-6)/(-16)). Let m = 20 - 18.4. Let o = m + -1.5. Is o > t?
True
Let l = 20 + -29. Let t = -8.93 - l. Let n(p) = p**2 - 18*p. Let b be n(18). Is b less than t?
True
Let y = -0.85 - 0.15. Let c = 3 + y. Is -2/17 bigger than c?
False
Let v = -35 - -79. Let f = v + -133/3. Is f <= 2?
True
Suppose -6 = -r + 4. Let g = 31 + -28. Suppose -f + 2 = -3*j - 19, 2*j - 19 = -g*f. Which is bigger: f or r?
r
Let d be (-1)/3 + (-2)/((-12)/(-3778)). Let w = -8182/13 - d. Are w and 0.1 non-equal?
True
Let d(h) = -3*h + 4*h - 2*h - h**2 + 5 + 0*h. Let o be d(-5). Let i = o + 9. Which is smaller: -7 or i?
-7
Let c(t) be the second derivative of 0 + 4*t + 1/3*t**3 - 9/2*t**2. Let p be c(12). Is p at most 14?
False
Let s = 3058/5 + -612. Are s and 956/3 unequal?
True
Let h be (-9289)/(-105) - ((-8)/6 - 0). Which is smaller: h or 89?
89
Let w(l) = -11 - 8 + 2*l**3 + 11*l**2 - l**3 + 9 + 17*l. Let j be w(-9). Which is smaller: -5 or j?
-5
Let r be (2/2)/(1/(-6)). Let a be (r/4)/((-3)/6). Suppose -z - 1 = -2*v + 2, -z + v = a. Is -3 at least as big as z?
True
Let l be (40/1460)/((-4)/(-8)). Which is bigger: 1 or l?
1
Let n be (4/6*21 - 4) + 2. Suppose g - n = 13*g. Does g = -7/4?
False
Suppose 28*b = 4*b. Which is bigger: b or 9/7?
9/7
Let t be -1 - 1*-1 - -13. Let x(h) be the second derivative of 13*h**5/20 + h**4/12 - h**3/6 + h**2/2 - 24*h. Let s be x(1). Is t != s?
True
Let g = -3.42 + 0.02. Let c = -9.6 + g. Let l = 12.7 + c. Which is greater: l or -1/2?
l
Let p = -223 - -222. Is p < -2?
False
Let h be (-236)/(-440) - 2/5. Let s be (-24)/36*(-2)/(-4). Is h at most s?
False
Suppose -10 = -3*c + 2. Suppose i = c*a + 2*i - 35, -4*i - 50 = -3*a. Is 10 < a?
False
Let b(a) = 2*a - 18. Let m be b(8). Let j = 0 + m. Is -2 at most j?
True
Let b = -755 + 753. Which is smaller: b or -5?
-5
Let f be 3308/540 + 18/(-3). Which is bigger: 0 or f?
f
Let n = -1042 - -3115/3. Let i(p) = -p**2 - 3*p + 5. Let m be i(-5). Do n and m have different values?
True
Let h(j) = j**3 - 6*j**2 + 6*j - 3. Let z be h(5). Suppose 4*n - 3*n - z = 0. Let m be (n/(-5) + 0)*-20. Is m at least as big as 8?
True
Let t(w) = -4*w + 4. Let r be t(5). Let n be (27/(486/(-12)))/((-4)/(-102)). Are n and r equal?
False
Suppose 4*i = 35 - 391. Let r = 805/9 + i. Is r greater than or equal to -1?
True
Let g(x) = 5*x**2 - x + 55. Let q be g(-8). Is q at most 383?
True
Let s(b) = 5*b**2 + 3*b + 3. Let r be s(-2). Let m = r + -19. Let t be (3/(-5))/(28/35). Which is smaller: m or t?
m
Let q be -3*(2/(-12))/((-2)/(-104)). Is q != 24?
True
Suppose -4*q - 73 = 5*k, -8*k - 91 = -3*k - 2*q. Which is smaller: k or -21?
-21
Let v = 646066/315 + -2051. Which is greater: 1 or v?
1
Let i(x) be the third derivative of x**5/60 + x**4/8 + 3*x**2. Let g be i(-3). Is -3/13 smaller than g?
True
Let b = 43 + -24. Let h = -23 + b. Which is bigger: -5 or h?
h
Suppose -24*r + 22*r - 3*m = -290, 2*m = -4*r + 596. Which is smaller: 152 or r?
r
Let p = 460 - 443. Is -2/3 >= p?
False
Let l = 42 - 42.54. Let m = l + 6.54. Which is smaller: m or -0.1?
-0.1
Suppose 6*g = 3*g. Suppose 0*q = -4*x + 2*q - 2, g = -4*x - 3*q + 3. Let r = -70/11 + 1168/187. Which is greater: r or x?
x
Let p be (-5576)/(-714) - (0 + 6). Is p >= 3?
False
Let y be (-100)/15 - -7 - (-502)/(-3). Which is smaller: -166 or y?
y
Suppose -2*r - 4*x = r - 210, 350 = 5*r + x. Which is bigger: 71 or r?
71
Suppose -1 = -5*s + 3*u, 0 = -5*s + 3*u + 2*u - 5. Suppose -4*l = 5*x + l - 130, 4*x - s*l = 74. Let g be (4/6)/((-14)/x). Is -5/9 greater than g?
True
Let s(n) = -9*n + 70. Let g be s(8). Is -35/27 at least as big as g?
True
Let w = -49 - -47.2. Let q = w - -2. Are q and 0 equal?
False
Let x be 140/65 + 4/(-26). Suppose -x + 6 = -5*c - d, 2*c - d - 4 = 0. Which is bigger: -3/38 or c?
c
Let x be (30/(-4))/(2 + 55/(-20)). Let s be 4/(-18) - 68/18. Let r be x - (3 + (-3 - s)). Is 3 <= r?
True
Suppose 0 = 3*p - 0*y - y - 9, -y + 9 = 3*p. Suppose u - 42 = p*u. Let h = u - -20. Which is greater: h or 3/19?
3/19
Let t = -324 + 351. Which is smaller: 23 or t?
23
Let v be (3/(-4))/(((-441855)/(-72))/15). Which is smaller: v or -1?
-1
Let z = 0 - 21. Let q be ((-4)/(-6))/((-56)/z). Is -0.1 >= q?
False
Let q be (-4)/14 - (-10 - 8208/112). Which is smaller: 79 or q?
79
Let j be (2/(-3))/(-1 - (-8)/12). Suppose j*t - 6 = 8. Which is smaller: t or 19/3?
19/3
Let n be (2785/10)/(26/(-10)). Let i = 213/2 + n. Is 0 greater than or equal to i?
True
Let i = -75397/6 - -12595. Which is bigger: 30 or i?
30
Let n = -120.12 + 22.12. Is 8 less than n?
False
Let k be 2/10*(-4 - -29). Let v be (16/(-160))/(8/k). Let h be 1/2*(1 - 3). Is v less than or equal to h?
False
Let x(n) = -n + 4. Suppose 3*l = 6 + 6. Let a be x(l). Let t be -4 + -1 + 2/((-80)/(-202)). Is a greater than t?
False
Let t be ((-2185)/399)/(5/(-18)). Which is smaller: t or 1/4?
1/4
Let s(u) = -3*u - 7. Let t(a) = 2*a + 4. Let x(y) = -3*s(y) - 5*t(y). Let z be x(0). Which is greater: z or 3?
3
Let m(s) = -s**2 - s - 2. Let n = 0 + 0. Let k be m(n). Let d = 3 + -6. Is k <= d?
False
Let p be (18/(-20)*2)/(27/(-153)). Which is bigger: p or 10?
p
Let l be 308/26 + 4/26. Suppose 0 = -p + l. Let t = -15 + p. Does t = -3?
True
Let g = -293 + 2641/9. Suppose -o = -2*a + 6, 3*o = -2*a - 7 - 3. Suppose t = -a + 2. Is t at most g?
False
Let v = 14/195 - 121/780. Which is bigger: v or 1?
1
Let f = -10 - -13. Suppose 0 = h + 5, -4*k - f = -h + 36. Is k greater than or equal to -11?
True
Let o = -167 - -169. Which is smaller: o or 19?
o
Let u be ((-2)/(-10))/((9/5)/(-9)). Is 2/47 at least as big as u?
True
Let n = 73.7 + -37.7. Are 0.2 and n equal?
False
Let v(y) = 2*y**2 - 5*y + 5. Let q be v(3). Let l = q - 2. Is 19/3 at least as big as l?
True
Let k = 194 - 198. Is 59/4 at least k?
True
Let r be (12/(-18))/(2/(-12)). Suppose -l - 2*p + 5 = 4, -3 = r*l + p. Is -1/119 bigger than l?
True
Let k = 9205057/1050 - 8767. Let n = -1/150 + k. Which is greater: 1 or n?
1
Let l = -1241 - -1258. Which is smaller: l or -12?
-12
Let m be (-4 - (-11468)/120) + (-3)/18. Which is bigger: 90 or m?
m
Let p = -11.7 + -3.3. Let n = p - -12. Which is smaller: n or 1/6?
n
Suppose -3*c + 10 = 2*s, -82*s - 4 = -79*s - 5*c. Which is bigger: 32/63 or s?
s
Let z be (-1716)/(-10)*(-250)/525. Which is smaller: z or -83?
-83
Let l be (-1)/123 - (-10 - -10). Let a = 253/861 + l. Let f(j) = -4*j - 3. Let t be f(-3). Which is smaller: a or t?
a
Suppose -3*c = -6*c + 18. Let x be (550/9)/(136/c). Let i = 26/17 - x. Which is smaller: i or 0.1?
i
Let f = -123 - -618. Is f greater than or equal to 495?
True
Let t = -28865767/52 - -555088. Let s = t - -91/4. Which is smaller: s or 1?
s
Let a = -2.8 - -0.8. Let z be -3*(-3)/9 - 0. Let d be -1 + ((-4)/(-12))/z - -1. Is a at least as big as d?
False
Let y be (-10254)/10*(-3)/9. Let q = 343 - y. Suppose 0 = -5*b - 25, -r - 3*r - 2*b - 6 = 0. Does r = q?
False
Let g be ((-27)/(-3276))/((-2)/8). Which is smaller: -1 or g?
-1
Let g = -37 + 37. Let m(o) = 14*o**2 + 1. Let z be m(1). Is z greater than or equal to g?
True
Let q(n) = -15*n + 14. Let c be q(5). Suppose j = -3*w - 59, 7*w = 4*w + 3. Which is smaller: j or c?
j
Let h(b) = -2*b + 29. Let l be h(13). Suppose -p = 2*p + l. Are p and -2/329 equa