c = -18 + 14. Is c at most o?
True
Let j = 29/2 - 199/14. Which is smaller: -1 or j?
-1
Let q(x) = 2*x - 3. Let t be q(1). Let v(n) = -n**3 - 7*n + 0*n**3 - n**2 + 9*n**2. Let y be v(7). Is y >= t?
True
Suppose 2*p = -3*l - 2, -4*l + p - 17 = -l. Let o = l - -5. Let m be o/3 + (-8)/6. Is -2 at least m?
False
Let o = -7.77 - 0.43. Let t = o + 8. Is t greater than or equal to -2?
True
Let n be (60/250)/((-2)/(-5)). Which is smaller: 0 or n?
0
Suppose -1 + 3 = -c. Is -2 >= c?
True
Let k = 0.07 - 0.17. Is k > -0.2?
True
Suppose 2*w + 4*m + 8 = -0*m, -9 = 4*w + m. Is -1/2 equal to w?
False
Suppose -6*t - 6 = -3*t - 3*b, 0 = -b + 1. Which is smaller: t or 0?
t
Let y = 19 - -1. Which is smaller: -1 or y?
-1
Let c(g) = 2*g**3 + g**2 - g + 1. Let q be c(-2). Let u be (-2 - -1)/(q/36). Let t(d) = -d + 2. Let a be t(-2). Are u and a non-equal?
False
Let y be -6*1/4 + 2. Let o = -92 - -919/10. Is o greater than y?
False
Let r = -2/129 - -245/86. Which is greater: 0.1 or r?
r
Suppose -m - 12 = l, 9 - 49 = 3*m + 2*l. Let d be ((-12)/m)/(52/(-32)). Does d = 1?
False
Let t(o) = o + 2. Let w(b) = -b - 3. Let g(v) = 2*t(v) + 3*w(v). Let q be g(-6). Let a(i) = -2*i**3 - i**2 - i - 1. Let l be a(-1). Are q and l unequal?
False
Let w(x) = x**2 - 3*x - 1. Let y be w(2). Let d = 3 + y. Is 1 smaller than d?
False
Let t = 11 + -11. Which is smaller: t or 0.1?
t
Let q = -0.47 + 0.17. Let x be 0 + -2*(-3)/(-18). Is x at least q?
False
Let g(f) be the second derivative of f**3/6 + f**2/2 - 8*f. Let o be g(5). Let t be 23/3 - 4/6. Which is bigger: o or t?
t
Suppose -3*f = -3*y - 4*f + 35, 3*y - 4*f = 25. Is 11 less than y?
False
Let i be -1 + 278/238 + 34/(-119). Is i < -1?
False
Let v = 3 + -3.1. Let i = 0.7 - 1. Let h = v - i. Is 2 at most h?
False
Let g(o) = o**3 - 8*o**2 - 11*o + 10. Let c be g(9). Let f be (3/2)/((-4)/c). Let a = f + -2. Do a and 0 have the same value?
False
Let k = 1 + 0. Suppose -96 = -4*b - 4*o + 132, 3*b - 3*o - 141 = 0. Let p be b/48 + (-6)/8. Is p smaller than k?
True
Suppose -5*w + 31 = -9. Let u = w + -12. Let g be 2 + (u/1 - -3). Which is smaller: g or -2/13?
-2/13
Let t be (-2)/(-7) - 466/14. Is t >= -33?
True
Let d = -551/7 - -81. Suppose -17 + 55 = 19*t. Do t and d have the same value?
False
Let z be (-1)/((-27)/15 + 2). Let x(n) = -3*n**2 - 6*n - 2*n**2 + 7*n**2 - 3*n**2. Let m be x(z). Is 4 greater than m?
False
Let z(c) = 2*c - 3. Let i be z(7). Let y be 3 + 1 + (3 - i). Is y < 0?
True
Let f(g) = g**2 + 5*g - 7. Let j be f(-6). Let d be 6/(-33) - 5/33. Do j and d have the same value?
False
Suppose 0 = -12*x + 9*x. Which is bigger: x or -1?
x
Let s be 1 - -3 - (-2 + 1). Let o be (-2)/8 + s/52. Let p = -2077 - -4153/2. Which is bigger: p or o?
o
Let u(g) = g**2 - g + 1. Suppose 0 = -h + l, h - 4*l = 4*h. Let n be u(h). Suppose -1 = x + 4*p, 2*x - 4 = 6*x + p. Is x greater than or equal to n?
False
Let r = -3.3 - -22.3. Let o = -25 + r. Let c = -1.9 + 2. Which is smaller: o or c?
o
Let f be (4/2 + 5)/1. Is 42/5 not equal to f?
True
Let c = -5 - -7. Suppose 0 = c*x - 2, -3*x = -2*k + x - 4. Is k at most -1/3?
False
Let z be (5/25)/((-4)/(-5)). Let b(x) = x + 3. Let n be b(-4). Is z not equal to n?
True
Suppose -2*t + 5*t = 9. Suppose 0 = 2*f + t + 1. Which is greater: f or -1?
-1
Suppose v = -9 + 3. Let i be (6 + -5)*2/v. Does 2 = i?
False
Let f = 58 - 34. Let t = -23 + f. Is 3 at least t?
True
Let b be 1 + (-3 + -8 - 2). Let a be 267/(-21) + 6/(-21). Is b at most as big as a?
False
Let j(o) = o**3 - 17*o**2 + 15*o + 15. Let x be j(16). Let n be (2/(-2 + 0))/11. Which is bigger: n or x?
n
Let h be (-6)/216*3/(-1). Let v = 3 + -3. Is v less than h?
True
Let y = -0.03 + -0.97. Let a = -5 + 4.7. Let v = -0.3 - a. Which is greater: v or y?
v
Let w be 4/6 - (0 + 0). Suppose -g + 7 - 3 = 0. Suppose 0 = -g*r + d + 7, 1 = -2*r + d - 2*d. Is r greater than or equal to w?
True
Suppose -3*m - 10 + 28 = -4*f, -m + 6 = 4*f. Is 6 < m?
False
Let k be 24/27 - 4/6. Let y be (-5)/6 + 2/(-12). Which is smaller: y or k?
y
Let v be ((-12)/(-9))/((-6)/(-9)). Suppose m + 4*m = -v*n + 20, -4*m + 4 = 4*n. Is 4 equal to m?
False
Let l = -25/58 + -2/29. Let d(r) = -r**3 - 6*r**2 + 8*r + 7. Let v be d(-7). Which is greater: v or l?
v
Let l = 101.9 + -109. Let m = -1.1 - l. Let v = m - 5. Does v = 4?
False
Let x be (-2)/4*6/135. Is x >= 0?
False
Let n(m) = -m + 2. Let t be n(-5). Suppose i + 2 = -2*h - t, -4*i = -4*h. Let f be (4/(-6))/(1/3). Is f bigger than i?
True
Suppose -3*b + 5 = 3*h + 2*b, -9 = h - b. Let q = h + 4. Is q less than -1/3?
True
Let x = -6 - -11/2. Which is smaller: -2 or x?
-2
Let z = 9846/5 - 1978. Let o = 42/5 + z. Let n = -98/3 + 33. Is n < o?
False
Let x be 3 + (1 - 0 - 0). Let s(k) = -2*k**2 - 2*k. Let j be s(2). Let r be (-2)/(-4) - (-6)/j. Which is greater: x or r?
x
Let n(t) = -t**3 - 5*t**2 - 8*t - 13. Let i be n(-4). Which is greater: i or -1?
i
Let x(t) = -2*t**3 + t**3 - 2 + 2*t**2 + 0*t**2. Suppose -8*r - 4 = -10*r. Let b be x(r). Is b > -2?
False
Suppose 0*q - q - 29 = 0. Let h be 3/2 - q/(-22). Is -1 < h?
True
Let r(h) = 3*h**2 - 4*h - 4. Let c(d) = 7*d**2 - 7*d - 9. Let q(m) = 2*c(m) - 5*r(m). Let y be q(6). Let j = -16 + 17. Which is bigger: y or j?
y
Let u(c) = -c**3 + 6*c**2 + 7*c + 1. Let b be u(7). Suppose -z + 1 = -b. Let a be 8/3 - (-2)/(-6). Is a <= z?
False
Let o be ((-6)/9)/((-2)/89). Let b = o - 29. Which is bigger: 0 or b?
b
Let g be (-2)/((-8)/(-4))*-11. Let k = g - 15. Is -1/3 equal to k?
False
Let j = 8867/16 - 554. Is j >= 0?
True
Let h(q) = -q**2 + 8*q + 4. Let s be h(9). Let w be (s/4)/((-2)/64). Let o be 24/w - (-16)/(-10). Is 1 at most o?
False
Let y be (-1 + -6)*(2 + -3). Which is bigger: y or 23/4?
y
Let a = 7.2 - 4.2. Which is bigger: 0.21 or a?
a
Let n = 5.1 + -3.1. Is n greater than -1/6?
True
Let q = 119 - 119. Is 37 bigger than q?
True
Let a(d) be the first derivative of d**3/3 - 2*d**2 + d - 3. Let y be a(4). Do 8 and y have different values?
True
Let c be ((-3)/(-5))/((-4)/(-10)). Suppose 7 = y + 8. Let k = 0 - y. Which is smaller: k or c?
k
Let y be 1/(-4) + 111/(-4). Let f be (-7)/28 - 114/(-4). Let l = y + f. Is l bigger than -1?
True
Suppose -4*k = 5*w - 22, -3*w - 10 = 2*w. Let x = 2 - k. Which is greater: x or -5?
-5
Let l = 97 - 1065/11. Suppose 7 + 5 = 4*y. Let x = y - 3. Is x greater than l?
False
Suppose -k - 10 = -6*k. Suppose 5 = d + 4*d + k*v, -5*v = -d + 28. Which is smaller: d or 2?
2
Suppose -5*w - 20 = 0, -2*k - 3*w - 5 = 3. Let q(l) = l + 1. Let s be q(2). Is s > k?
True
Let r be -4*(2 + 10/(-4)). Suppose 0 = -5*l - 7 + r. Let w = -43 + 44. Is l greater than w?
False
Let z(q) = -2*q + 6. Let n be z(-3). Suppose 6*g - n = -0*g. Which is smaller: g or 1?
1
Let a(j) = -j**2 - 4*j. Let h be a(-2). Let u be 4/(h - (-1 - -3)). Let v = -10 + 12. Is v != u?
False
Suppose 0 = -4*c - 24 + 20. Is c >= -10?
True
Let m(q) = 3*q**2 - 1. Let l be m(1). Suppose -l*d + 2 = -2*o - 4, -5*d = -10. Which is bigger: o or -1/4?
-1/4
Let q be (-2 - 1) + 26/12. Is q greater than or equal to 0?
False
Let v = 20 + -1. Let j be (-1 + v)*(-8)/(-24). Is 13/2 < j?
False
Let g = 0.89 + -0.43. Let r = g - -0.04. Let b = 0.7 - r. Is 0 <= b?
True
Let x = 945/8 + -118. Let b be 0 + 2 + 0 + -2. Is b greater than x?
False
Let g = -8 - -8. Let j = -20863 - -103971/5. Let o = 69 + j. Which is smaller: g or o?
g
Let x(l) = l**2 + 7*l - 9. Let j be x(-8). Which is smaller: j or -2/45?
j
Let y = -0.5 + 0.52. Let b = 2.02 - y. Let o = b + -3. Which is smaller: 0 or o?
o
Let y(w) = -w + 3. Let f be y(6). Let z(h) be the first derivative of h**2/2 + 2. Let x be z(-4). Which is smaller: x or f?
x
Let x = 194/35 + -36/7. Let r be (-3 + 2)*(1 + 0). Which is bigger: x or r?
x
Let v be ((-4)/8 - -1)*0. Let i(k) = k**3 + k**2 - k - 1. Let l be i(v). Is -7/4 at least l?
False
Let p(x) be the first derivative of x**4/4 + x**3 + 3*x**2/2 + 3*x - 1. Let b be p(-2). Which is greater: b or -1/4?
b
Let q(x) = -5 + 0*x**2 - 2*x**2 + 2*x + 4 + 0*x**2 + 4*x**3. Let y be q(1). Let z = -3 + y. Which is smaller: z or 1/14?
z
Suppose 4*v - 3 = 1. Let d be (2/(-65))/(v/(-5)). Let z = 31 + -32. Which is greater: z or d?
d
Suppose 5*l - 7 = 8. Suppose -p + l*p - s + 1 = 0, p = -4*s + 4. Is -0.2 != p?
True
Let s = 0.66 - -21.34. Which is greater: s 