n or equal to -1?
True
Let q(y) = -20*y**2 - 5*y + 5. Let v be q(1). Is -21 >= v?
False
Let l = 10 + -13. Let w = 6 - 8. Which is smaller: l or w?
l
Suppose -5*a + 25 = k, -5 = -2*a + a - 4*k. Suppose g = a - 2. Which is bigger: g or 1?
g
Suppose -3*n - 2*h - 10 = 0, n + 0*n + 5*h - 14 = 0. Which is bigger: n or -5?
-5
Suppose -16 = -2*y + 2*n - 6, -3*y + 2*n = -14. Which is bigger: y or 6?
6
Let s = 0.1 - 0.13. Let r = 1.03 + s. Let j = r - 1.1. Is 0 <= j?
False
Let u(q) be the first derivative of q**4/4 + 2*q**3/3 - 3*q**2/2 + 5. Let f(g) = -g**3 - 4*g**2 - 3. Let l be f(-4). Let c be u(l). Which is smaller: c or 2/27?
c
Let h be -1*1*0/(-3) - -1. Is 4/9 less than h?
True
Suppose -5*o - 5*m + m = -15, -2*o + 4*m = 22. Which is bigger: o or -1/9?
-1/9
Let x be (1 + 3)*63/(-12). Let o = x - -33. Suppose 3*s + 0*s = o. Is 1 less than or equal to s?
True
Let g(b) = -2*b + 34. Let k be g(16). Is k at least as big as 5/4?
True
Let t = 24 + -43. Let s = t + 12. Let c = 8 + s. Which is bigger: -2 or c?
c
Let f be (0 + 1 + -2)/1. Let w be (-6)/(-8) + (-2)/(-8). Let j be 4/w*(-3)/(-114). Which is bigger: j or f?
j
Let w be 7/2 + 5/10. Is w at least as big as 4?
True
Let o = 6 - 7. Which is greater: o or -3?
o
Let i = 3 - 0. Suppose 0 = i*o + 20 - 8. Let a = 3 + o. Is a not equal to -2/11?
True
Suppose 0*h + 10 = 2*h + 2*c, 4*h = -c + 17. Let f = 4 - h. Which is bigger: 1 or f?
1
Let o = -27/4 + 127/20. Let u be 10*-1*(-46)/4. Let s = u + -573/5. Which is smaller: s or o?
o
Let d be (9/27)/(2/18). Suppose 5*g - 2*s + 18 - 3 = 0, 2*g + 17 = d*s. Is 1/4 less than or equal to g?
False
Let l = 5 + -21. Let b be (10/l)/(3/(-4)). Is 1 >= b?
True
Let j be (-424)/280 - 1/5. Which is smaller: -3 or j?
-3
Let t(n) = n**3 - 6*n**2 + 4*n + 5. Let w be t(3). Are w and -29/3 unequal?
True
Let k(i) = i**2 - 10*i - 1. Let g be k(10). Suppose -d = 3*d + 3*c - 12, -c + 15 = 5*d. Let p be 15/d*2/(-5). Does g = p?
False
Let t be (-9)/(-1) + 0 + -2. Suppose -4*f - 2 = 3*z, -3*f - t*z = -2*z + 7. Suppose 6 = -k + 8. Is f at most k?
True
Let k be (-8*(-3)/72)/((-17)/42). Which is smaller: -2 or k?
-2
Let o be 4/8 + (-50)/12. Let x = o - -3. Is x != 1?
True
Let j(o) = -o**3 - 8*o**2 + 3*o - 1. Let u be j(-7). Is u < -70?
True
Let u(n) be the third derivative of n**5/30 + n**3/6 - n**2. Let r be u(1). Let d = r + -3. Do d and 1 have different values?
True
Suppose 0 = 2*y - 4*y - 4. Let u = -6 + 5. Which is greater: u or y?
u
Let c = 13/9 - 10/9. Let w = 9.2 - 0.2. Let h = w - 15. Is h equal to c?
False
Let v be (-134)/12 - 3/(-18). Let s = v + 23. Which is smaller: 10 or s?
10
Let t be -1*(0 + 1)*-1. Let w = -93/245 + -1/49. Do w and t have different values?
True
Let l = 0.004 + 0.996. Does -2 = l?
False
Suppose 2*x - 5*x + 90 = 0. Let c be ((-1)/(-3))/(10/x). Which is smaller: c or 1/3?
1/3
Let v(n) = n**2 + 2*n - 5. Let d be v(-4). Suppose 4*c - 6*c - 3*g + 21 = 0, g - 11 = -2*c. Is d >= c?
True
Let j be 45/35 + 4/(-14). Let r be j/(-6)*(-1 - 1). Let g = 27/55 - 1/11. Which is smaller: r or g?
r
Let i = -5 - -4.7. Let h = i - -0.38. Let r = 0.38 - h. Which is smaller: r or -0.1?
-0.1
Suppose 0 = -3*x + 5*x + 8. Let p be 3/(-20)*(-16)/x. Let t be -2 - (-1)/((-2)/(-2)). Which is smaller: t or p?
t
Let m be -2*(21/(-6) + 2). Suppose 0*g - 4*g = m*v - 92, -g - 2*v + 23 = 0. Suppose 2*f = 10, 4*q - 5*f + g = -2. Which is greater: -2 or q?
q
Suppose 18 = 5*q - 2. Let f be 0 - -3 - (-3 + q). Suppose -d + f + 1 = 0. Do d and 5 have the same value?
False
Suppose 2*t - 5*x + 53 = 0, 4*x - 62 = 3*t - 0*x. Let m = t + 20. Is 6 bigger than m?
False
Suppose 4*r + 17 = -5*p, r + 14 = 3*p - 3. Is r equal to -7?
False
Suppose -4*o - 23 = 57. Are -19 and o non-equal?
True
Let o be 1/7 + 145/(-35). Is o != -4?
False
Let a = -0.04 - -0.14. Which is smaller: a or 1?
a
Suppose 2*n + 0*n - 6 = 0. Is n at least 3?
True
Let u = -0.2 - -0.2. Let p = -1 + u. Let r(t) = t**2 - 9*t + 6. Let b be r(8). Is b at least p?
False
Suppose -3*v - 15 = -3*x, 7 = 3*x - 3*v - 2*v. Let b be (7 + 2)/(x/(-12)). Does -11 = b?
False
Suppose -9*u + 7*u = 7*u. Which is greater: u or -45?
u
Suppose 5*j - 25 = 0, 6*s + 2*j = s + 35. Suppose -b = -s*b + 12, 3*v = -3*b + 18. Is v >= 5?
False
Let s = -8 - -7. Is 0.9 at least as big as s?
True
Let p = 0.02 - -4.18. Let a = -0.8 - p. Let g = a - -3. Which is greater: g or 0?
0
Let n be (-3 - 0)/33*-2. Is 0.2 <= n?
False
Suppose -10 = r - 3*f, 8 = -r + 2*f + 1. Which is greater: r or 1/3?
1/3
Suppose -3*v - 35 = 5*z - 16, -2*v - 1 = z. Let y(j) = -j**2 + 3*j - 2. Let u be y(2). Suppose -2 = -u*t - v*t. Is -1/4 at most as big as t?
True
Let o = -867/2 + 442. Let d(l) = l**2 - 15*l + 10. Let h be d(15). Which is smaller: o or h?
o
Let d(r) = -r**3 - 6*r**2 + 7*r. Let u be d(-7). Suppose u = 4*l - l. Suppose 3*z + 6*b + 14 = b, -z = 3*b + 10. Is z <= l?
False
Let l = 49463 + -345298/7. Let b be (43 - (-14)/7)/(1/3). Let i = b - l. Is i greater than -3?
True
Let t = -0.18 - 0.02. Are -5 and t equal?
False
Let n(v) = 0*v**2 + 0*v**2 - 1 - 2*v**2. Let d be n(1). Is d >= -3?
True
Let u = -10 + 16. Which is bigger: 1 or u?
u
Let h(x) be the second derivative of -x**4/12 - x**3 - 3*x**2 + x. Let t be 0 - (-2)/4*(-1 + -7). Let z be h(t). Is z >= 2?
True
Let s be 10*(-6)/(-75)*10/(-14). Is -2 > s?
False
Suppose -2*k - 48 = 2*k. Let r(q) = -q - 13. Let f be r(k). Is 1/12 <= f?
False
Let d be 2 - 4/((-64)/(-42)). Is d greater than 0?
False
Let r = 6.5 + -6.4. Which is bigger: 0.07 or r?
r
Let b = -0.18 + 0.36. Let s = 0.08 - b. Are -0.02 and s unequal?
True
Suppose -3 = 5*n - 33. Suppose -n*i + 2*i - 20 = -5*a, -a + 4 = -3*i. Which is greater: a or 6?
6
Let m(y) = y**3 - 5*y**2 + 5*y - 2. Let l be m(4). Suppose -2*b - 14 = 5*c, -c + 2*b = -0*c - l. Let a = 3 + c. Which is bigger: a or -3/7?
a
Let p(r) = r**3 - r**2 - r - 2. Let q be p(3). Let v = 16 - q. Which is greater: v or -0.1?
v
Let f = -0.0114 - 12.9486. Let u = f + 11. Let x = u - 0.04. Which is greater: x or 0?
0
Let l(y) = -2*y**3 + 20*y**2 - 20*y + 18. Let s be l(9). Is s bigger than 8/5?
False
Let j(m) = m**2 + 18*m + 22. Let z be j(-17). Suppose 5*l = -4*a + 29, -4 = -3*a + z*l + 9. Suppose 2*k - 6*k = -5*x + 16, -x + 3*k = -1. Is a equal to x?
False
Suppose -3*p + t = -3*t - 21, 15 = 4*p - t. Let h = 4 - p. Which is smaller: -2/9 or h?
-2/9
Let l(d) = d**2 + 10*d - 4. Let t be l(-9). Do t and -16 have the same value?
False
Let p(j) = 8*j**2 - j + 1. Let s be p(1). Suppose 0 = n + n - s. Let z(d) = 3*d - 3. Let k be z(2). Are n and k equal?
False
Let k(o) = -3*o - 1 + o + 3*o - 4. Let i be k(0). Let l be (-1)/i + 48/(-140). Which is smaller: 1 or l?
l
Let j be 4 - (-3 + (-215)/(-25)). Is j less than or equal to -1?
True
Let r = -0.01 - -1.11. Let t = -0.1 - -1.1. Let w = t - r. Which is smaller: -1 or w?
-1
Let d be (-79)/6 + (-1 - (-6)/9). Which is smaller: -13 or d?
d
Suppose 0 = -2*g - g. Which is greater: -1/10 or g?
g
Suppose 0 = b + b - 2. Suppose -4*m = b + 3. Let r = 209/6 - 35. Is m <= r?
True
Suppose 2*y = -3*y + 60. Suppose 3*h - 2*m + 28 = -2*h, -15 = 2*h + 3*m. Let a be (-2)/h*(-9)/y. Which is bigger: a or 0.1?
0.1
Let i = -0.3 - -0.33. Let h = -1.03 + i. Which is smaller: 1/8 or h?
h
Let h = -73 + 66. Is -6 smaller than h?
False
Let h be 0/22 + (-26)/(-8). Which is smaller: h or 4?
h
Let r = 1 + -0.9. Let g = 1.1 - r. Let i = -1 - g. Which is smaller: i or 1?
i
Suppose -3*f - 9 = -45. Let d(l) = 2*l**2 + 8*l + 13. Let z be d(-4). Which is greater: f or z?
z
Suppose b = -2*a + a + 2, 3*b = 9. Is a > -5/7?
False
Suppose -3*c - 3*j - 33 = 0, -2*c - 3*c = -5*j + 25. Let i = 6 + c. Let r = i + 7. Which is greater: 4 or r?
r
Let u = -9193 - -82657/9. Is u > -9?
True
Suppose 0 = -a + 2*a. Suppose -5*j - 5 - 5 = 0. Let v be 4/(-3)*1/j. Is v > a?
True
Let r = 3 - 4. Suppose 2*c + 25 = 3*o + c, -5*o = c - 47. Let t = 7 - o. Is t != r?
True
Let o be (-6 + 3)/3*-3. Suppose 2*f - 2 + 5 = -o*p, 2*p = 5*f - 2. Let j be p + 2 + (2 - 5). Which is bigger: -4/5 or j?
-4/5
Let g(b) = b + 5. Let y be 4/(-14) + (-52)/14. Let j be g(y). Which is smaller: j or 3?
j
Let n = -48 - -46. Is 7/2 at most n?
False
Let y(r) be the second derivative of -r**5/20 - 7*r**4/6 - 7*r**3/3 - 6*r**2 + 7*r. Let i be 13/(-1) + (2 - 2). Let s be y(i). I