. Let x = 4 + c. Let y = 2 - x. Is y at least as big as 0?
True
Let i = -20 + 20.04. Let p = -0.06 - i. Is p less than -1/10?
False
Let s = 6.8 + -8. Let r = s - 0.8. Are -4 and r unequal?
True
Suppose u - 1 = -4. Which is greater: 2 or u?
2
Suppose 4*k - 47 = 5*a, 0 = -5*k - a + 4*a + 75. Let y = k + -58/3. Which is smaller: y or -2?
-2
Let b = 316/3 + -116. Is 1 not equal to b?
True
Let p = 49 - 49.047. Is 1 bigger than p?
True
Let v(n) = n**3 + n**2. Let h be v(-1). Let m be 12/6 + h + -2. Which is bigger: -4/7 or m?
m
Let r be 3 + 168 + 1 + 0. Let n be 3/((-6)/r) - -2. Let t = n + 422/5. Which is greater: t or 3?
3
Let q be (-6)/28 + 4/(-14). Let p(s) = -s**2 - 6*s - 8. Let v be p(-6). Let h = 8 + v. Is q != h?
True
Suppose -3*t = s + 3, t = -t - 2*s + 2. Suppose -5*u - 19 = -4. Are u and t equal?
False
Let y be -1 + (9/3)/1. Suppose -3*r + 1 = -y*r. Is 3 <= r?
False
Let r(h) = -h**2 + 3*h + 7. Let g be r(5). Let v be -3*(86/30 + g). Let d = 2 + -2. Is d greater than v?
False
Let j be -1 - -1*(3 + 0). Suppose 3*w - j*h = -7*h - 1, 0 = -5*h - 10. Is w greater than 2?
True
Let d = -209/4 - -52. Let z = -46/147 - 1/49. Which is bigger: z or d?
d
Let s = -1 - 9. Is s at least as big as -10?
True
Let t be (-4)/14 + 32/14. Let d(r) = -r**3 - 3*r**2 - 3*r - 3. Let k be d(-2). Let o be (t - 1)*k/4. Which is smaller: 0.2 or o?
o
Suppose -2 = 4*m - 2*k, -4*m - 4*k + 30 = m. Suppose -3 - m = d. Is d <= -5?
True
Let x(t) = t**3 - t**2 + 2*t - 63. Let y be x(0). Is -63 <= y?
True
Let m = -8 + 26.4. Let k = m - 20. Let w = k - -0.6. Are w and 1/4 non-equal?
True
Let w = -7478 + 4045600/541. Which is smaller: 1 or w?
w
Suppose 2*n = -x + 12, -x - 4*n = -3 - 11. Let q be (4/(-30))/((-6)/x). Let w = 0.12 - 0.42. Is q < w?
False
Let h = 11 + -7. Suppose h = 3*d + 19. Which is smaller: -4 or d?
d
Let k(q) = -q**3 + 12 + 7*q**2 + 7*q + 2*q**3 - 5 + q. Let r be k(-6). Is -5 at most as big as r?
True
Let c(x) = -x**2 + 12*x + 15. Let d be c(13). Suppose -2*v + 3*i + 4 = 0, 9 = -5*v + d*i - 4*i. Let w = 128 - 1153/9. Which is smaller: w or v?
v
Let r = -4 + 2. Let y(k) = -k + 2. Let t be y(r). Let c be 0 - (t/(-3))/(-4). Is c smaller than 0?
True
Let b be 2/8 - (-45)/20. Let x = -2 + b. Which is greater: x or -0.2?
x
Suppose 5*g = 9*g - 4. Which is smaller: -15 or g?
-15
Let z = 6 + -4. Let c = z + -3. Suppose -2*w - 2*w - 4 = 0. Is w at least as big as c?
True
Suppose -3*h + 2*y = -32, -2*h - 4*y = 3*h - 68. Suppose 5*z - 46 = -1. Let f = z - h. Is -3 equal to f?
True
Suppose 2*h = 8, -3*c - 2*h = -c - 6. Let u be 10/4 + (-1134)/476. Is c > u?
False
Suppose -3*l + 17 = -112. Is l > 42?
True
Let h = -159/7 - -409/14. Let y = h - 25/4. Which is smaller: -4 or y?
-4
Let d(k) be the first derivative of k**4/4 + 8*k**3/3 + 3*k**2 - 7*k - 2. Let t be d(-7). Is t equal to -1/2?
False
Let d(w) = w**2 - 9*w - 13. Let f be d(10). Let p be (-4)/f*6/4. Let i(q) = q**3 - 2*q**2 - q. Let v be i(p). Which is greater: v or -2/3?
-2/3
Let i = -0.08 + 0.48. Let y = -293 + 14942/51. Let p = -95/357 + y. Is p less than or equal to i?
True
Suppose -2*r - 2 = -0*r. Which is smaller: r or -1/4?
r
Let a be (-4)/6 + (-34)/(-51). Which is bigger: 7/8 or a?
7/8
Let d(k) = -k**3 - 7*k**2 + 19*k + 12. Let o be d(-9). Let n = 7/3 - 17/6. Which is smaller: n or o?
n
Suppose 2*z - 5*s = 4, 4*s = -3*z + 3*s - 11. Which is smaller: -5/3 or z?
z
Let f = 14 - 13.5. Suppose 2*g + 3 = 1. Which is smaller: g or f?
g
Let v(n) = n**3 - 7*n**2 + 4*n + 8. Let y be v(6). Let s be (y - -3)/(-2 + 1). Is 3 smaller than s?
False
Let c(v) = -v**3 - 6*v**2 - 6*v - 3. Let s be c(-5). Suppose 3*t = -2*h, 5*h - s*t = -6*t. Let x be (36/24)/(10/(-4)). Is x >= h?
False
Let k = -2.8 + 2.8. Let t = -1 - -5/3. Is k != t?
True
Let h = -6.1 + 7. Let t = -0.9 + h. Is t at least 3?
False
Let o(s) = -s**2 + 3*s - 1. Let d be o(3). Let g = d - -3. Let m = 1 + g. Which is bigger: m or 2?
m
Let a be ((-4)/(-6))/(2/3). Let k = 987 + -85871/87. Which is smaller: a or k?
k
Let i = 2/805 + -23353/3220. Let r = i - -15/2. Which is bigger: r or 0.4?
0.4
Let b be -24*((-2)/4)/1. Suppose -3*n = -0*n - b. Suppose o - 24 = -n*f - 0, 3*f = 15. Which is bigger: 3 or o?
o
Let a(z) be the third derivative of z**5/60 + 7*z**4/24 + z**3 + 7*z**2. Let v(m) = -m - 14. Let f be v(-8). Let w be a(f). Is w smaller than -2/17?
False
Let r = -1222 + 10982/9. Which is greater: r or 0?
0
Let k(b) = -b**2 - 7*b + 17. Let l be k(-7). Does l = 15?
False
Let g = -14 - -9. Let r = -7 - g. Let z = 16/15 - 2/5. Is z < r?
False
Let d be ((-8)/10 - -1)/((-38)/15). Which is greater: -1 or d?
d
Let j = 155 + -158.095. Let y = j + 0.135. Let a = y + -0.04. Is 2/3 less than a?
False
Let j = -104 - -102. Which is smaller: j or 3?
j
Let m be (-1 - -2) + (0 - -4). Is 7 bigger than m?
True
Let g = -10.82 + 11. Let h = g + 0.02. Is -1/4 less than or equal to h?
True
Suppose 5*p - 193 = 7. Let z be p/(-24) + 3/2. Is -2/3 <= z?
True
Let s = 1.646 - 0.236. Let o = -0.11 + s. Is o smaller than 0.1?
False
Suppose 3*o = 3*p + 2*p - 28, 29 = 5*p - 4*o. Suppose n + 3*n - 2*y - 12 = 0, 2*n - 8 = 2*y. Suppose 5*r - 4*l = 2*r + 28, -12 = -n*r + l. Is r equal to p?
False
Let v = 22/13 - 215/104. Let t be ((-1)/1)/(0 + -1). Which is greater: v or t?
t
Suppose -7*z - 214 = -60. Is -3 at least z?
True
Let s = 6 + -5. Let p be 14 - 1/(1 + -2). Let l be 18/p*(-2)/(-6). Which is smaller: l or s?
l
Let q = 10 + -3. Suppose -i + 2*n + q = 0, 3*n + 14 = i + 4*i. Let h = 2 - 2. Is h at most i?
True
Let m = -16 - -15. Are m and 0 unequal?
True
Let u(w) = -w**3 - 2*w**2 - 5*w - 3. Let k be u(-3). Let d be (k/8 + -2)*4. Is d less than 4?
True
Let y = 3.6 - -2.4. Which is greater: y or 0?
y
Let z = 5/12 - 2/3. Let i = -2 - -4. Is z > i?
False
Suppose -4*i + 22 = -o, 4*o - 4*i - 1 = -29. Is -2 greater than or equal to o?
True
Let u(t) = -t**2 - 4*t - 2. Let p be u(-4). Which is smaller: -18 or p?
-18
Let z = 14 + -32. Which is greater: z or 0?
0
Let h = -28 + 30. Which is smaller: -15 or h?
-15
Let v be (-80)/14 + (-6)/21. Is -6 smaller than v?
False
Let s = 0 - -11. Let d be 2/6 - s/(-3). Which is smaller: 3 or d?
3
Let y(m) = m + 1 - 2 - 1. Let u = -5 + 5. Let t be y(u). Are t and -2 equal?
True
Let n(d) = -d - 2. Let a be n(-2). Let x = -13102682/119581 + 3/17083. Let j = x - -110. Is j greater than a?
True
Let z = -0.4 - 0.6. Let g = 1 + -2. Let v = g - -0.7. Which is smaller: v or z?
z
Suppose 2*y + 5*w - 25 = 0, -y - 5*w + 25 = -0*y. Suppose -2*d = -0*d - 4. Which is greater: y or d?
d
Suppose 0 = -11*g + 12*g + 1. Which is greater: g or -17/9?
g
Suppose 5*h + 5*n + 15 = 0, -h + 3*n = h + 11. Which is smaller: h or 3?
h
Let d be (-95378)/246 - (-5)/(-15). Let y = 388 + d. Is -1 bigger than y?
False
Let x(h) = 5*h**2 - 3*h. Let s be x(2). Does 14 = s?
True
Let x be (((-6)/3)/2)/(-1). Let i(c) = -4*c**3 + c**2 - 1. Let r be i(x). Let n be -4*(2/r - -1). Is n less than or equal to -2?
True
Suppose 2*h + 10 = 2*s, 0 = -2*s + s - 5*h - 25. Suppose -f - 4*g = -2, 0 = -f + 5*g - 0*g + 2. Suppose f = -s*b + b. Which is smaller: 1 or b?
1
Let u be -3*1 - 9/2. Let a(h) = 2*h**3 + 2*h**2 - 1. Let k be a(-2). Do u and k have the same value?
False
Suppose 106 = 4*i - 2*a, -3*i + 134 = 2*i - 2*a. Which is smaller: i or 0.3?
0.3
Let o be (-1)/(-3) - 19/21. Suppose 5*s = -3*r + 21, -2*s + 7*s = 3*r + 39. Let m = 4 - s. Is o < m?
False
Let u(l) = l + 1. Let y be u(4). Suppose 0*n + 20 = y*n. Let g = 0 - -3. Is g <= n?
True
Let q = 18 - 13. Let k = -1 - -4. Let i = k - q. Which is smaller: -2/9 or i?
i
Suppose 5*y - 35 = 35. Let m be 4/y - 32/14. Let i be (-6)/(-27) + 35/(-36). Is m less than or equal to i?
True
Let d = -1 - -1. Let y be 45/(-27)*(-6)/(-8). Which is bigger: d or y?
d
Let l = -6.4 + 7.4. Let h = 0 - -1. Let f be (h/(-3))/(1/2). Is f >= l?
False
Let y = -5.91 + -0.09. Let r = -6.3 - y. Are 2 and r nonequal?
True
Let o(n) be the second derivative of -n**5/20 - n**4/12 - n**3/6 - n**2 - n. Let g be o(-2). Suppose y + g*y = 15. Is 2 at least y?
False
Let x be 3/(-3) - (0 - -1). Let f = x + 1. Which is greater: f or -1/5?
-1/5
Let a = -10 + 9. Is 1/12 greater than or equal to a?
True
Suppose 0 = -4*l - 1 - 19. Let d be ((-2)/20)/((-18)/(-45)). Let q = d - -11/12. Which is smaller: q or l?
l