)). Let h = 9 - 16. Is h less than or equal to v?
True
Let x = -1.53 - -1. Is 0.1 >= x?
True
Let w(m) = m**2 + 4*m - 4. Let t be w(-5). Let l be (-16)/66*3/4. Is t less than l?
False
Let g(k) be the third derivative of -k**4/12 + k**3/2 + 4*k**2. Let b be g(3). Is -2 greater than or equal to b?
True
Suppose 0 = -3*w - 4*u - 17, -w - 2*u = 3*u + 24. Let l be 30/4 + w/(-2). Suppose -7*r + 2*r + 23 = 3*d, -2*r = -d - l. Which is greater: d or 3?
3
Let n = -1 - -1. Suppose n = -5*g - 5*f - 30, 0*g + g = 5*f + 18. Is g at least 1?
False
Let l(t) = t**3 + 14*t**2 + 12*t - 14. Suppose -2*j + 6 = 32. Let u be l(j). Let a be -1*(-1)/2 + -1. Is a not equal to u?
True
Let p = -2.42 + 0.42. Is -1/28 not equal to p?
True
Let d = 55 - 61. Which is bigger: -7 or d?
d
Let k = 0.2 - 0.3. Let r = 14 - 14.9. Let m = r - 1.1. Which is smaller: m or k?
m
Let t(l) = -l**3 - 7*l**2 - 12*l + 3. Let d(p) = -p**3 + p**2 - p + 1. Let o(w) = 2*d(w) - t(w). Let b = 4 + 6. Let y be o(b). Which is bigger: -2/3 or y?
-2/3
Let s be (-1 - -1) + -1 + 338698. Let p = s + -115156839/340. Let r = p + -1/68. Which is smaller: 3 or r?
r
Suppose -4*o = 4*l - 28, -3*o = -3*l + o + 7. Suppose 21 - 1 = l*z. Let x be z/12 + (-4)/(-6). Which is greater: x or 2?
2
Let j = 273/44 + -77893/12540. Which is greater: -1 or j?
j
Let q be ((-3)/(-6))/((-3)/(-2)). Let x = -9 - -25. Suppose -x = -3*b - b. Is q greater than or equal to b?
False
Let g be (-6)/(-36) + (-2)/12. Suppose g = 4*n + n - 65. Let l = 18 - n. Is l greater than 4?
True
Let a(t) = 0*t**3 + 9*t**2 - 7*t - t**3 - 6 - 1. Let h be a(8). Which is bigger: h or 2/23?
h
Let j = -68 - -69. Which is greater: j or -46?
j
Let t be 96/18*(-1)/6. Which is greater: t or -2?
t
Suppose -4*z + 34 = 238. Are -51 and z nonequal?
False
Let r(b) = -b**3 + 2*b - 1. Let k be r(-3). Suppose -3*t - k = -8*t. Which is smaller: 3 or t?
3
Let s(y) = y**2 + 3*y - 4 + 4*y - y. Let f be s(-6). Is -4 != f?
False
Let m = -0.15 + 0.15. Is m at least -2.1?
True
Let t = -2 - -11. Let n = -6 + t. Which is smaller: 2/5 or n?
2/5
Let o = -8 - -6. Let l be 0/(-3)*-1*2/6. Do l and o have different values?
True
Suppose -c + 2 + 0 = 0. Let w be (-1 - -2)/1*c. Suppose -t + w*t + 2 = 0. Is -3 at least t?
False
Let s(f) = -11*f - 1. Suppose 2*u = -y - 3, -2*u - u - 5 = y. Let a be s(u). Let z be (-6)/a - (-6)/21. Which is smaller: -2/7 or z?
-2/7
Let x = 0.02 - 2.02. Let r be 26/(-2) + 10/(-15). Let n = r + 13. Is n greater than or equal to x?
True
Let n = 2315/6 + -385. Suppose 0 = -g - 2 + 4. Is g greater than n?
True
Let t = -38 - -38.2. Does -0.07 = t?
False
Suppose -b = -4 + 1. Let o = -1 + b. Suppose -o*p + 6 = -5*p. Which is greater: -1/2 or p?
-1/2
Let f be (36/(-15) - -2) + 2/5. Which is greater: f or -2/129?
f
Let s = -12 + 6. Let z = 5.2 + s. Let n = 0.2 - z. Which is smaller: 0 or n?
0
Let n be 2/(1 - 3/2). Let p be (-2 - n)*(-7)/(-14). Is -2/39 smaller than p?
True
Let d(l) = 3*l**3 - l + 1. Let h be d(1). Suppose h*i - 7*i = 12. Which is bigger: -5 or i?
i
Let c be ((5 - 3) + -2)/(-2). Let j(v) = v**3 - 5*v**2 - 4. Let n be j(5). Let b be n/22 + 0 + 0. Is b <= c?
True
Let c = -1.16 - -1.26. Which is smaller: c or -2/23?
-2/23
Suppose y + 5 = -u - 0, 5*u = -3*y - 19. Let x be u/(2/((-24)/(-21))). Is x smaller than 0?
True
Let p = 98274/7 + -14010. Let w = 29 - p. Which is smaller: w or 1?
w
Suppose -5*c - 58 = -c + 2*t, 5 = 5*t. Which is greater: -72/5 or c?
-72/5
Let o = 14 + -30. Let v = -15.83 - o. Is v equal to -1?
False
Suppose -n = -3*d + 11, 5*n = -2*d - 17 - 21. Let w = n - -6. Let c be (-18)/10 - (-3 - -2). Is c less than w?
False
Suppose 3*v + 4*z + 40 = -0*v, 2*v = -z - 20. Let d(j) be the third derivative of -j**4/24 - 5*j**3/2 + 9*j**2. Let y be d(-8). Does y = v?
False
Let y(z) = z + 3. Suppose a = -4*q + 36, -3*q = q - 2*a - 24. Let p be (-2)/q + 2/8. Let l be y(p). Which is smaller: l or 1?
1
Let h(v) = -2*v - 2. Let s(f) = -f - 2. Let c(k) = 2*h(k) - 3*s(k). Let x be c(6). Let p = x - -2. Which is greater: 1/3 or p?
1/3
Let v = -4 - -15/4. Which is smaller: 4 or v?
v
Let f be (22/(-6))/((-13)/39). Which is greater: 48/5 or f?
f
Suppose -4*n - 30 = -5*n + 5*q, 3*q = -3*n. Suppose -5*f = 10 - n. Is 1/2 less than f?
False
Let r(x) = x**3 + 7*x**2 + 5*x + 6. Let q be r(-6). Let j be (-4)/q + 1/2. Which is bigger: j or 0?
j
Suppose -2*y + 4 = -5*r, -2*r + 0*y - 3*y - 13 = 0. Let u = -173/5 + 34. Which is smaller: u or r?
r
Let y be (1/3)/((-1)/(-3)). Suppose k + 4 - 11 = -4*g, 3*g = 6. Which is smaller: k or y?
k
Let d(c) = 2*c - 3 + 7*c + c**2 - 4. Let a(o) = 3*o + 5. Let n be a(-5). Let t be d(n). Which is bigger: 2 or t?
t
Let d be (-1)/(-3) + 1801/15. Let i = d - 120. Which is smaller: i or 0.3?
0.3
Let r(y) = -y + 17. Let u be r(9). Which is greater: u or 7?
u
Let h be 490/(-75)*(-3)/380. Let y = h - 5/38. Let t(d) = -d - 4. Let a be t(-4). Which is greater: y or a?
a
Suppose -4*m - 16 = -3*m + 5*s, 2*m + 5*s + 17 = 0. Let t = m + 0. Which is greater: 0 or t?
0
Let z(x) = -x**3 + 7*x**2 + 8*x + 2. Let f be z(8). Suppose -2*n = f*n - 216. Let p = n - 160/3. Which is smaller: p or 0?
0
Let h be (-1)/(2*1/(-18)). Let a be 23/3 + (-1)/(-3). Let f = a - h. Which is greater: 0.07 or f?
0.07
Let j be 10/(-55) - (-39746270)/21494. Let k = j - 1849. Let a = -1900/26379 + k. Is a at most 0?
True
Let j be 2 - ((-20)/35 - -3). Is 1/5 < j?
False
Let q = 9 - 9. Is q greater than or equal to -2/25?
True
Let w = -4 - -4. Let u = w - -0.1. Let z = 0.1 + 0. Does u = z?
True
Let j(v) = -5*v + 7. Let x be j(5). Let o(a) = -4*a + 1. Let q be o(1). Let i be (-4)/x*q + 0. Is -1 at most as big as i?
True
Let i(f) = f + 1 + 6*f**2 - 3*f + 0. Let t be i(1). Let v(p) = -p**3 + 6*p**2 - 6*p + 3. Let z be v(t). Is -2 less than or equal to z?
True
Let o = -704/5 - -140. Let z(m) = m**3 - m**2 + m - 1. Let g be z(0). Which is smaller: o or g?
g
Suppose -4*p = -5 - 3. Suppose -p*h - h = -15. Suppose -h*t = -3*t - 2. Which is smaller: t or 1/3?
1/3
Let d = -1 - 0. Let b be (-3)/(-30)*(-134 + -2). Let v = -14 - b. Which is greater: v or d?
v
Suppose 0 = 4*v - n - 25, -2*n = 4*v - 4*n - 30. Is v smaller than 4?
False
Suppose 88 = -5*m + 3*j, 5*m + 80 + 0 = -5*j. Let t be (-1 + 3)/(m/(-1)). Which is greater: 0 or t?
t
Suppose 2*u + 1 = -3*p, 0*u - 4*u = -3*p + 11. Which is smaller: u or -3?
-3
Let k = -89.4 - -87. Is 3 equal to k?
False
Let d = -9 + 8.84. Let v = d + 4.16. Is 0 less than or equal to v?
True
Let r = 0.1 + -0.3. Let x = 0 + 0.2. Let c = -0.1 + x. Which is smaller: c or r?
r
Let v(s) = -s**2 - 17*s - 14. Let y be v(-17). Which is smaller: -13 or y?
y
Let t be ((-4)/(-6))/(2/(-6)). Suppose -v + 7 = 9. Is v greater than or equal to t?
True
Let s = -21.1 - -23. Which is greater: 2/3 or s?
s
Suppose -5*p + 2*g + 96 = 24, -5*g = -4*p + 61. Let v = -10 + p. Suppose -2*b + b = -4*l - v, -5*b + 3*l + 20 = 0. Is b greater than 4?
False
Let f(a) = -a**2 - 5*a + 3. Let v be f(-5). Let d be (6 - v) + 16/(-5). Is d bigger than 1/4?
False
Suppose -9 = 2*p + 2*c + 21, 4*c + 36 = -2*p. Which is bigger: p or -13?
p
Let z = -8 + 10. Suppose 5*s = z*f - 5, -2*s - 23 = -5*f - 0*f. Is 2/9 >= s?
False
Suppose a + 2*a - 18 = -3*k, 0 = -4*k + 4*a + 16. Which is greater: k or 0?
k
Suppose -o - 17 + 1 = 0. Let d be (1/o)/((-1)/2). Let w be ((-1)/3)/(1/(-3)). Which is greater: d or w?
w
Let p be (-4)/(-14) - 24/(-14). Let z = -25 + 35. Suppose -r - z = -5*j, p*j - 10 = -3*j - r. Are j and 1 nonequal?
True
Let s(t) be the second derivative of t**5/20 - 5*t**4/6 - 2*t**3 + 13*t**2/2 - 5*t. Let z be s(11). Which is smaller: z or 7/3?
z
Let j = -1.4 - -2.6. Let s = j - 0.6. Let y = -0.4 - s. Is -1 smaller than y?
False
Suppose -13 = 5*q - 2*g + 3, 3*g - 7 = -q. Let w be (q/(-5))/((-1)/1). Which is smaller: 0.7 or w?
w
Let f = -30 - -29. Which is smaller: f or 2/13?
f
Suppose -2*r + 20 = -r. Let p be 15/r*(-2)/3. Which is smaller: -3 or p?
-3
Let d = 2.06 + -0.06. Let n = d + -3. Let x be (-20)/12*(0 - (-2)/10). Is x smaller than n?
False
Suppose -2*r - 48 = 52. Let j be (36/10)/((-285)/r). Let y = -67/76 + j. Which is bigger: 1 or y?
1
Suppose 0 = n - 0*n - 1. Let x(r) = -96*r - 2. Let y be x(-2). Let f = y + -1712/9. Is n less than or equal to f?
False
Suppose 5*w + 0 = -10. Let h = -4 + w.