3 - f. Is r at least as big as -1?
True
Suppose -f + 52 = f. Suppose 4*k + f = 6. Is -5 at least k?
True
Let s = -755/6 + 3973/30. Let x = s - 7. Is -0.06 <= x?
False
Suppose -5*a + 41 = -4*y, -11 = -a - 2*a - y. Suppose -4*x + 2*j + 2*j + 16 = 0, -a*x = -j - 4. Let p = -4/63 - -88/63. Which is greater: x or p?
p
Let c(r) be the first derivative of -r**4/4 + r**3/3 + r**2 + r + 2. Let x be c(2). Let w(b) = b**2 + 1. Let g be w(x). Does -0.1 = g?
False
Let j = 0 + 3. Suppose -r + 0*v = -j*v + 6, -4*r = 2*v + 24. Let f = r + 7. Are f and -5 unequal?
True
Let h = 35.05 + -35. Is h at least as big as 1?
False
Suppose -3*x + 3 = -2*x, -x = -3*i + 6. Let t be (-3 - -12 - i) + -2. Which is smaller: t or 5?
t
Let u be ((-35)/15)/((-1)/6). Which is smaller: 13 or u?
13
Let l(v) = -v**2 - 6*v + 8. Let k be l(-6). Let b = -10 + 13. Let g = b - k. Is -7/2 greater than or equal to g?
True
Let f = 2/175 + 159/1400. Is -19 <= f?
True
Let h(z) = -4*z + 1. Let v(c) = -7*c + 1. Let k(x) = -5*h(x) + 3*v(x). Let a be k(-3). Do 8/7 and a have different values?
True
Suppose -4*m + 4*v + 84 = 0, -m + 6*v + 21 = v. Do 20 and m have the same value?
False
Let c = 9 - 10. Let y be -7*(-2)/(-2) + c. Is y > -7?
False
Let n = -0.085 - -9.185. Let p = -9 + n. Which is bigger: p or -4/5?
p
Let a be (1/3)/(1/12). Suppose 2*r - 2*j - 25 = -3*r, a*r + 13 = -5*j. Suppose r*h + 5*i = -18, 5*h + i + 9 - 1 = 0. Which is smaller: 0 or h?
h
Suppose 3*u = 2*i + 15, -3*u + 1 - 16 = 3*i. Suppose -g - 49 = 3*n, -7 = -n + 5*g - 2. Let y be 1 - (i/n - -1). Is y <= 1?
True
Suppose 3*k + 16 = -17. Is -10 greater than k?
True
Let a = 22 - 21.89. Let x = -0.89 - a. Is x smaller than -3/5?
True
Let x(z) = -5*z**2 + 2*z - 6. Let k(m) = 6*m**2 - m + 7. Let g(f) = 6*k(f) + 7*x(f). Let r be g(-9). Let l be ((-3)/r)/(2/6). Is 2/13 less than or equal to l?
False
Suppose -7*l = -2*l - 525. Are 105 and l non-equal?
False
Let g be 252/27 - (-2)/(-6). Let j = g - 6. Is 3 != j?
False
Suppose -10 = -2*l + 2*z, -5*l - 3 = 4*z + 8. Let n = l + 1. Is 10/3 bigger than n?
True
Let d be ((-9)/(-20))/(6/(-5)). Which is smaller: d or 1?
d
Suppose -4 = r - 1. Which is smaller: r or -3/2?
r
Let s be -3 - ((-216)/15)/4. Is s at least as big as 0?
True
Let b = 7 + -6.9. Let n be -4 + 6 + (-1 - 0). Which is smaller: b or n?
b
Suppose k = -3*k + 8. Suppose 0*l + 1 = k*l + v, 4*l - 17 = v. Let q be (-6)/(-33)*l/3. Which is smaller: -1 or q?
-1
Let v = 22 - 22. Let g = 3.5 - 4. Let y = g - 1.5. Which is bigger: y or v?
v
Suppose 42 = 4*t - 10*t. Let b(f) = 3*f + 4. Let v be b(-3). Is t greater than v?
False
Let l = -2.92 + 3. Let m = 0.18 - l. Is 0.2 at most as big as m?
False
Let d(q) = -q**2 + 2. Let t(a) = -a**2 - a + 2. Let u be t(0). Let l be d(u). Which is smaller: -3 or l?
-3
Suppose 4*b + 5*f = 2*b - 22, 5*f = -5*b - 25. Which is smaller: b or 4?
b
Suppose 5*v + 2*a + a = 84, 5*a = 15. Let i be 1/(-3) - (-80)/v. Suppose -n + 6*n = -i. Is n <= -1?
True
Let f = -284 - -2261/8. Is -2 equal to f?
False
Let h = 0.29 - -11.71. Which is greater: 0 or h?
h
Let g(r) = 5*r**3 + 10*r**2 + 0*r - 4*r**3 - r - 10. Let s be g(-10). Is 1/7 less than or equal to s?
False
Let z(c) be the third derivative of 5*c**4/24 + 4*c**2. Let k be z(-2). Let j = -9 - k. Which is smaller: 0 or j?
0
Let o(p) = -p**2 + 0*p**3 + 11*p**3 - 5 - p**2 + 6. Let t be o(1). Is t < 10?
False
Let h = -0.6 + 0.8. Let t = 0 - h. Is t >= -0.2?
True
Let b be (10/(-14))/(-6 + 7). Which is smaller: b or -1?
-1
Let n = -6 - -4. Let x be (1 - n - 1) + -16. Let h be 1 - x*(-1)/16. Is 1 < h?
False
Let a be 5/5 + -3 + -1 + 3. Which is smaller: a or 4/11?
a
Let i be (-50)/(0 - (-2 + (3 - 0))). Is i > 48?
True
Let m be -2 + -2 + 3 + -2. Which is greater: m or -1?
-1
Let x be (6 + 0)/(15/(-10)) - -5. Let s = -1.5 - -1. Which is smaller: x or s?
s
Let t = 91830989/615 + -746599/5. Let d = t - 10/123. Which is smaller: d or -1?
d
Let l = 1.4 + 0.7. Let o = 3.1 - l. Do 2 and o have the same value?
False
Suppose 4*u - 1 = -y, -3*u + 11 + 4 = -4*y. Let w = 17/120 - 383/840. Let i = w + 5/7. Which is smaller: u or i?
i
Let f be 1/4*64/28. Let u = f - 25/56. Which is smaller: u or 0?
0
Suppose -7*l = -19*l - 12. Which is smaller: l or -5/9?
l
Let z be 30/108 - 2/4. Let b(p) = -p**3 - 3*p**2 - p + 1. Let a be b(-3). Suppose 0 = 2*q - 6*q - a. Is q less than or equal to z?
True
Let k(j) = j**3 + 7*j**3 + 1 - 7*j**3. Let g be (0 - (-2 + 2))/(-2). Let n be k(g). Is 4 bigger than n?
True
Suppose -3*v + v = 4. Let x = 1 - 1. Is v equal to x?
False
Let a = -1.154 - -1.054. Let u be (-3)/2 - (-2)/(-4). Let c(k) = -k + 1. Let i be c(u). Which is bigger: i or a?
i
Let a = -17 + 17. Let k = 1.94 + 0.06. Let j = k - 1.9. Which is bigger: a or j?
j
Let f(y) = -6*y + 1. Let b be (2/(1 + -2))/(-2). Let x be f(b). Is -4 smaller than x?
False
Let f(n) = 4*n - 8. Let z be f(7). Let p be 24/z - (1 - -1). Which is bigger: 0 or p?
0
Let j = 5 + -7. Let q = j - -2. Which is bigger: q or -0.2?
q
Let h = 0 + 3. Suppose h*q = 2*q. Which is bigger: -5/4 or q?
q
Let s(p) = -p**2 + 2*p + 2. Let m be s(3). Let h be 3 - m/(8/(-26)). Is h < 0?
True
Suppose -9 = 2*t - 1, 4 = -3*p - t. Let d(q) = -2*q - 5 + 3*q + p*q + 0*q. Let v be d(7). Which is greater: 4/3 or v?
v
Let d = 0 + 0. Suppose 2*j + 5*h - 9 = d, -1 = 2*j - 5*h - 0. Let o = 6 + -14/3. Which is smaller: j or o?
o
Let q = 91 - 90. Is 3/11 at most q?
True
Let z be (24/(-280))/(3/(-2)). Do z and 1/2 have the same value?
False
Let q = 2/25 + 721/50. Which is greater: q or 15?
15
Let o = -1 + 0.26. Let t = 0.8 + o. Let n = t + -1.06. Which is smaller: n or -0.3?
n
Let l = 3.009 + -0.299. Let a = -0.31 + l. Let b = 2 - a. Which is bigger: b or 0.1?
0.1
Let u(w) = -8*w - 12. Let r be u(-2). Which is greater: r or 27/7?
r
Let r = 2 - -2. Suppose 12 = -v + r*v. Let k be v/10 + 4/15. Is -1/2 at most as big as k?
True
Suppose 3*o = 2*a + 4 - 1, -5*o + 3 = -4*a. Suppose 5*u - 12 = a*u. Let y be u/(-10) - 4/10. Is y smaller than -3?
False
Let q = -7 + -6. Let p = -1 - q. Let w be ((-9)/(-30))/(p/10). Is w smaller than 1?
True
Let j be 2/(-5)*(-5)/2. Suppose 0 = u - 4 + j. Suppose 0*s - 12 = u*s. Are -4 and s unequal?
False
Let m = -42 - -212. Do m and 169 have different values?
True
Let j(o) = 2*o - 11. Let r be j(5). Let a be (-3)/(-5)*2/4. Is a smaller than r?
False
Let t(l) = -l + 5. Suppose -4*m = -5*z - 8, 3*m + z = -20 + 7. Let v(b) = -b**3 - 3*b**2 + 4. Let p be v(m). Let d be t(p). Which is greater: d or -3?
d
Suppose m - 104 + 16 = 3*k, -47 = 2*k - 3*m. Let r = k + 61/2. Is -1 smaller than r?
True
Suppose 5*v - 2*d + 2 = -d, -3*v = -5*d - 12. Is -1 equal to v?
True
Let a = 7/65 + -866/195. Which is smaller: a or -4?
a
Let j = -6.2 - -6. Let o = j + 0.5. Is o less than or equal to -2/3?
False
Let z(p) = -16*p + 2. Let h be z(-2). Let y be 1 + 2 + h/(-10). Are y and 1 non-equal?
True
Let o = -1 + 0. Suppose 4 = 2*g - 6. Suppose -2*b = g*t - 4 - 25, -t = 3*b - 11. Is b greater than or equal to o?
True
Let z(s) = 12*s - 1. Let j be z(1). Suppose 2*m - j = -31. Let d be 26/m + 2/(-5). Does 0 = d?
False
Let k = -3 - -5. Let h = -7/2 + k. Which is smaller: 1/4 or h?
h
Suppose n + 21 = 6. Let z be (27/n)/((-6)/20). Which is smaller: 5 or z?
5
Let t = -2 + 3. Let i = 0.02 + 0.01. Let r = i - 1.03. Is t > r?
True
Let w = 3/34 + 53/170. Let l(x) = x**3 + 1. Let v be l(-1). Is v at most w?
True
Suppose -210 = -5*k - 2*y, 3*y - 37 = 3*k - 163. Which is smaller: k or 1?
1
Suppose 15 = 2*j + j. Suppose -4*l - j = l. Let d = -9 - -35/4. Is l less than d?
True
Let m = -118344/2947 - 54/421. Let r = -40 - m. Which is greater: r or -1?
r
Suppose 0 = -14*t + 2 - 2. Which is smaller: t or 2/121?
t
Let q = -1 + 2. Which is greater: q or 0.01?
q
Let m = 0.32 + 0.68. Let c = -0.2 + 0.2. Let i = -1 + c. Which is smaller: m or i?
i
Let i be 2 - (114/(-21))/(-2). Suppose -w + 5*w + 3*l + 17 = 0, -2*w = 4*l + 16. Which is greater: i or w?
i
Let n(o) = -o**2 + 8*o + 1. Let v be n(7). Which is smaller: 9 or v?
v
Let x = 8 + -6. Suppose 3*t - x*i = 3, -2*t - 3*i + 3 = t. Is 1 at most as big as t?
True
Let f(v) = -v**2 - 6*v - 1. Let o be f(-5). Suppose 0 = o*m - 1 - 3. Let g = 198/5 - 2584/65. Is g at most m?
True
Let q = -12 - -14. Suppose 0 = -6*j + q*j. Which is smaller: -2