 -8 - n. Let r(v) = -v**2 - 5*v + 7. Let t be r(-6). Is t at most l?
True
Let z(n) = -n**2 + 4*n - 8. Let t be z(6). Let w be (-2 + (-56)/t)*5. Suppose 0 = -2*f + 4*i, 6*f - 4*f + 2*i - 18 = 0. Is w less than f?
True
Let n = -6 + 6. Suppose n = -0*h - 3*h - 9. Are -2 and h non-equal?
True
Let c be (1 - -7)/(-2) - 37468/(-9396). Is c at least -1?
True
Let w(j) = -j**2 + 6*j - 6. Let f be w(5). Let t(v) = -356*v + 1. Let p be t(1). Let n = p - -4617/13. Is f greater than n?
False
Let s = -0.7 - 0.34. Let h = s - -0.04. Which is greater: h or 0?
0
Let w = -5 - -4.98. Let f = 0.98 - w. Let g be (-1)/(-3) - 35/60. Which is greater: g or f?
f
Let l(d) be the first derivative of d**2/2 + 5*d + 1. Let p be l(-7). Let u be (12/15)/((-1)/5). Is u greater than p?
False
Let y be (-1287905)/3568*4/70. Let j = y + 2/1561. Let h = j - -497/24. Which is smaller: 1 or h?
h
Suppose 0 = 3*l + 4*k + 4, 0*k = 4*l - 4*k + 24. Are -2/11 and l equal?
False
Suppose 0*m + m - 2 = 0. Suppose 0 = -5*t - 5*b + 35, t - 4*b - m = -t. Suppose -1 = 2*l - 13. Is t less than l?
True
Suppose -4*g + 4*c - 8 = 0, 3 = -4*g - 2*c + c. Let a be 1/2 - 38/28. Which is greater: a or g?
a
Let v = 13 + -8. Suppose -u = -v*a - 30, a + 4*u = -u - 6. Is -8 < a?
True
Let d = 5 - 0. Suppose -17 - 13 = -5*g. Is d at least g?
False
Let m(r) = 9*r**2 - 2*r - 1. Let k be m(-1). Let l = k + -2. Suppose 0 = -5*o + 20, l + 6 = -a + 3*o. Is -3/4 >= a?
True
Let f = 88/7 - 1401/112. Let z = f + -19/48. Let o be 0 + (-2)/4*0. Is o greater than z?
True
Let v be 1/2*(47 - -5). Let c be (-18)/(-12) + v/4. Which is bigger: c or 6?
c
Let r = -115/396 + 3/44. Suppose 0 = -3*z - z. Is z bigger than r?
True
Let t = 18.8 + -18. Which is greater: 0 or t?
t
Suppose -5*d - 9*d - 126 = 0. Let k = -15 + 5. Which is bigger: k or d?
d
Let g = -28 + 19. Are g and -0.1 equal?
False
Let w = -5 - -4. Which is greater: 0.1 or w?
0.1
Let d be ((-27)/(-39))/((-9)/(-6)). Let p(t) = -t**2 + 4*t + 5. Let z be p(5). Is d bigger than z?
True
Let n = -17 + 24. Let q = 9 - n. Let x = -1 + q. Is 1/4 at most x?
True
Let p be 8/(-6)*(-27)/6. Suppose 0 = 4*q - 0 + 8. Let h be q/6 + 2/p. Is 0 >= h?
True
Let f = 1 + 1. Let s = 57 + -25. Let a be f/3 + s/(-12). Which is greater: 0 or a?
0
Let x be 0 - ((-6)/(-3))/1. Let r be x/4 - 19/(-14). Let o = -0.1 + 0.1. Is r greater than or equal to o?
True
Let f(k) = k + 1. Let p be f(0). Let u = 17 + -22.8. Let q = 6 + u. Which is smaller: p or q?
q
Let m = 102 + -106. Which is smaller: m or 7?
m
Let d(o) = 2*o + 10. Let h be d(-7). Let k = 0.22 - 0.32. Is k bigger than h?
True
Suppose 5 = 2*x + 7. Let f = 6 - 8. Let p be f/2 + 3/(-9). Which is smaller: x or p?
p
Suppose -5*i + 14 = 2*j, 4*i - 6 = 2*i - j. Which is smaller: i or 1/3?
1/3
Let p = 3 - 6. Let j(b) = -b**2 - b + 4. Let g be j(-3). Let z = g - p. Does 5/3 = z?
False
Let s = 156 + -137. Which is smaller: s or 20?
s
Let o(f) = f**2 + 2*f - 1. Let z be o(-2). Let m = -853/1683 - -8/153. Is z equal to m?
False
Let z = 13 - 11. Let n = z + -2. Let d = 0.5 - 2.5. Is d at most as big as n?
True
Let k(d) be the first derivative of -3*d**4/4 - d**3/3 + 2*d**2 + 3*d - 2. Let b be k(-2). Let i = -11 + b. Which is greater: 0 or i?
i
Let w = 13 - 12.9. Let r = -0.3 - 0.7. Are w and r equal?
False
Let o = 9 + -6. Let a = o - 2.8. Which is greater: 1/7 or a?
a
Let h be 4/(-3)*27/(-9). Is h bigger than 6?
False
Let u = 107/350 - 1/50. Let f = 7 - 6.7. Let w = f - 0.2. Which is smaller: u or w?
w
Let x be 1 + -7 - (-46)/8. Let i = -2 - -1.8. Is x equal to i?
False
Let r = -39 + 155/4. Let t = -16 + 18. Is r at least as big as t?
False
Suppose 4*t + 5*z = 5, 2*t - 3*z = -3 - 0. Let v = 2 + t. Is v smaller than 12/11?
False
Let j = 12 + 4. Is 17 < j?
False
Let y(b) = -4*b**2 + 3*b + 1. Let a be y(-2). Let j be 1*(a/(-6) - 3). Is -1/8 greater than or equal to j?
False
Let u(c) = -9*c**3 + 12*c**2 + 21*c + 9. Let r(x) = -4*x**3 + 6*x**2 + 10*x + 4. Let f(w) = -7*r(w) + 3*u(w). Let m = 4 - -3. Let v be f(m). Is 2 at most v?
False
Let l be (-33)/(3 + -1 - 1). Does -33 = l?
True
Let g = -0.3 - -0.34. Let h = g + -0.14. Is h smaller than 1?
True
Let b = 2 - 2. Let n be (b - -1) + 2/(-1). Which is smaller: -2/11 or n?
n
Let b = -4 - -12. Let v = 7 - b. Let z = -0.3 + 0.5. Which is bigger: v or z?
z
Let y(o) = 3*o**2 - 24*o + 8. Let i be y(7). Which is smaller: i or -3?
i
Let k = 6 - 3. Suppose -3*w + 2*w - k*m = 2, 0 = 3*w + 3*m. Is 1 equal to w?
True
Let j = -4.03 - -0.23. Let t = j - -4. Which is smaller: t or 2/7?
t
Let w(u) = u**2 - 3*u - 2. Let k be w(-2). Suppose -2*o - k = -0. Let a = o - -10. Which is smaller: a or 5?
5
Let m = -5.09 - 0.91. Which is greater: 1/15 or m?
1/15
Suppose 0 = k + 7*r - 2*r + 34, -3*k = 5*r + 52. Suppose -b = -3*b. Let g be (-3)/k*3 - b. Which is bigger: -2/7 or g?
g
Suppose 5*q = 5*w + 1305, q + 5*w - 271 = w. Let a = 6048/23 - q. Is a bigger than 0?
False
Let r = 0.3 - 17.3. Let l = 16 + r. Which is bigger: -1/18 or l?
-1/18
Suppose 3*h = -2*h. Suppose h = -0*m - 5*m - 5. Let l be (-2)/(-56) + (-6)/21. Which is smaller: m or l?
m
Suppose -4*o - 4*i - 26 = -7*o, 0 = -o - 5*i + 34. Does 14 = o?
True
Let x = -9.02 + 0.12. Let b = -9 - x. Is b > 2/9?
False
Let i = -20.7 + 3.7. Is i at least as big as 0.1?
False
Let q be (42/(-28))/(3/(-10)). Which is smaller: 7 or q?
q
Suppose 0 = -3*q + 25*q - 264. Is 57/5 equal to q?
False
Let h be 18/(-99) - (-35)/11. Suppose 7 = 3*j + h*f - 5*f, 0 = 3*j - 5*f - 22. Is j > -2/7?
False
Let k(n) = -n**3 - 4*n**2 + 4. Let f be k(-4). Let w be 1/(f/10) + -2. Let l(j) = -j**3 - 5*j**2 + j + 5. Let q be l(-5). Which is smaller: w or q?
q
Let s(n) = -n**3 - 2*n**2 + 6*n + 7. Let y be s(-2). Is -7/2 at most as big as y?
False
Let v = 0.18 + -1.18. Is v at most 2?
True
Let s be (3 - 7 - -2) + 3. Are -8/17 and s equal?
False
Let o(p) = p**3 + 5. Let m be o(0). Suppose 6*g = -m*h + 4*g - 14, 0 = -5*h + 5*g. Suppose 0 = -5*v - 10 - 0. Do h and v have the same value?
True
Let j = -21/1249 - -1676305/8743. Let y = -192 + j. Is 1 less than y?
False
Let a = 2 + -5. Let g = a + 2.9. Let n = -15/34 - 1/17. Which is smaller: n or g?
n
Let k = 15 + -21. Let g = -22/39 + 16/13. Do k and g have different values?
True
Let w be 3/(-2)*(-12)/9. Let q be (w - 2)/((-8)/4). Which is greater: q or -2/21?
q
Let t(i) = i**2 - 6*i - 1. Let q be t(6). Is -2/49 at least q?
True
Let z be (-54)/120*10/(-12). Let m be 3/(-2) - (-3)/6. Which is smaller: z or m?
m
Let a(n) = -2*n**3 + 1. Let o be a(-1). Suppose -4*q + 7 = 3. Suppose -3*p + q = -5*w + p, 4*p - 16 = 0. Is o > w?
False
Suppose -2*m = m + 4*y - 23, 23 = -2*m + 5*y. Let k = 3 - m. Suppose -q + 6 = k. Which is bigger: 5 or q?
5
Let m be (1/5)/(36/40). Which is smaller: m or 4/3?
m
Let s(w) = -7*w**2 - 4*w - 1. Let h(o) = 13*o**2 + 8*o + 1. Let t(r) = 6*h(r) + 11*s(r). Let j be t(-5). Let b = 2 + -2. Are b and j nonequal?
False
Let o be 6/(-8)*(-1 + 3). Let v = -5 - -3. Let c = 1 + v. Which is smaller: o or c?
o
Let j = -4 + 22. Suppose 2*u + 0 = j. Let f be (-3)/(0 + u/6). Which is smaller: f or -0.1?
f
Suppose 0 = 4*l + 5*g - 71, -31 = -2*l - 0*g - g. Is 16 at least as big as l?
True
Let v = -3.99 - 0.01. Suppose -9 = 5*f + i, 5 = -3*f + 3*i - 4. Is v not equal to f?
True
Let n = 0.04 - -0.36. Let o be 3/2*(-4)/(-12). Which is greater: o or n?
o
Let c = 109.055 - 109. Which is greater: c or -1/4?
c
Suppose 3*x = -x - 8. Let o be (-1 - x)*-3 - 0. Let i be -1*((-9)/1)/o. Is i > 0?
False
Let q be (-2)/7 + 6/21. Let b be q/(4/(-6)*-3). Let f be (-4)/7*1/2. Is f smaller than b?
True
Let t = 4543/15 - 303. Suppose 0*s - 3*s + 9 = 3*f, -4*f + 5 = -3*s. Let v = -2 + s. Which is greater: t or v?
t
Suppose -2*q + 5*f + 35 = 3*q, 3*q = 2*f + 17. Suppose 12 = -q*c - 12. Is -6 at least c?
True
Suppose 0 = 4*u - 2 + 6. Let h = 1 - u. Let x be ((-1)/(-5) + 0)*h. Which is bigger: x or 0.2?
x
Let j = 30 + -40. Which is smaller: -8 or j?
j
Let y = 0.28 + 1.72. Let m(u) = 2*u + 1. Let p be m(-1). Is y greater than or equal to p?
True
Let t = -10 - -9. Which is bigger: -4 or t?
t
Suppose 4*d + 5*y = 15, 3*d + 5*y = 9 + 6. Is 0 >= d?
True
Let d be ((-33)/(-55))/((-4)/(-75)*1). Which is bigger: 1/4 or d?
d
Let k = 2 + -2. Let g = 367/930 + 1/186. Is g less than k?
False
Suppose 9 = 2*d 