2*y. Is -1 < y?
False
Let g(x) = -2*x**3 - 10*x**2 + 10*x + 7. Let l be g(-6). Which is smaller: 20 or l?
l
Let y be (-11)/(-5) - 12/30. Is 1 greater than y?
False
Suppose 0*z + 3*z - 2*b + 46 = 0, 5*z = 3*b - 77. Which is bigger: z or -15?
-15
Let k be 0*(-4)/(-20) + 3/1. Let q = -0.2 + 0.3. Which is greater: q or k?
k
Let g = -8 + 7. Which is smaller: g or 0?
g
Suppose 0 = 2*d - 2*i - 28, 2*i + 2*i = 2*d - 30. Let r = -13 + d. Do 0 and r have different values?
False
Let r = -21 + 15. Let a = r + 8. Is a less than 2?
False
Let o(f) = -2*f**3 - 2*f**2 - f. Let a be o(-1). Suppose m = -0*d - 4*d + 6, -m = 2*d - 2. Let s be (-34)/(-22) + 2/m. Which is greater: a or s?
a
Suppose 3 - 14 = -5*l + w, 0 = -4*l + 3*w + 11. Is 13/5 smaller than l?
False
Suppose -3*c + 10 = 2*r, c - 3 + 5 = 0. Suppose -3*j = -2*u - 3*u - r, -u + 16 = -5*j. Suppose -6 + 3 = l. Is l equal to j?
False
Let a = -3 + 5. Let k be 1 + 4 - (1 - 0). Let x = k + -1. Which is bigger: x or a?
x
Let h be (-10)/(-6) - 1/2. Let c be 1 - 1 - -1 - -1. Which is greater: c or h?
c
Let w be 1 - (16/10 - 1). Let s = 0.8 + 2.2. Let c = s + 2. Is w not equal to c?
True
Let c be 80*(-2 - 15/(-6)). Is c bigger than 41?
False
Suppose 6 + 18 = -4*r. Let i(d) = 11*d + 59. Let x be i(-6). Which is bigger: r or x?
r
Let c = 9.7 + -2.7. Let y = -122.1 + 129. Let t = y - c. Which is smaller: t or -2/19?
-2/19
Let v = 58/7 - 137/14. Is 14 smaller than v?
False
Let m = -38 + 58. Suppose 0 = -0*q - 5*q + m. Suppose g + 5 = -3*i, 5*i - q*g + 8*g + 6 = 0. Are i and -3/2 non-equal?
True
Let a = 3/161 - 1375/4669. Let p be (2 + (-535)/261)*10. Let w = p - a. Which is bigger: w or 0?
0
Let k be (6/(-16))/((-1)/(12/93)). Is 1 greater than k?
True
Let j = 31/53 - 1739/2067. Let m = j - 8/273. Let b = 0.2 + 0.8. Which is smaller: m or b?
m
Suppose 3*b - 15 = m, -4*m + 20 = b + 3*b. Suppose 0 = 5*d - d - b*o + 23, -5*d - 4*o + 2 = 0. Is -2/3 greater than or equal to d?
True
Suppose 5*v + 48 = -17. Which is smaller: 0.1 or v?
v
Suppose 0 = -5*v + 8 + 2. Suppose 5*b - 6 - 9 = 0. Suppose b*m + 6 = m, -v*f - 3*m - 11 = 0. Is 2/15 smaller than f?
False
Let w(a) = -a**3 - 2*a**2 + 4*a + 3. Let j be w(-3). Let n(h) be the first derivative of -h**3/3 + 2*h - 3. Let z be n(j). Which is greater: 0 or z?
z
Let s be (5/(-6) + 1)*-2. Suppose -4*w = 4*d - 0*d - 20, 2*d + w - 10 = 0. Suppose -9*u = -4*u + d. Are u and s non-equal?
True
Let y(j) be the first derivative of -j**2/2 - 2*j + 5. Let g be y(-9). Is g <= 7?
True
Let r = 1.6 - 1.9. Which is smaller: r or -2/15?
r
Suppose b + 24 = -3*s - 3*b, -4*s - 4*b = 32. Let o be (-3)/(-36)*s/(-18). Let h = 10/27 - o. Is h bigger than -1/2?
True
Let i be (-9)/(-27) - (-31)/(-21). Are 0 and i equal?
False
Let f = -4685/4 - -1564793/1336. Let r = f + -3065/175016. Let t = 240/1441 - r. Is t equal to 1?
False
Let y be 2/(-8) - 228/48. Let c be (0 - 1)*(4 + y). Suppose 2*x + w - 4 = 3*w, -5 = -5*w. Is x at least c?
True
Suppose 5*o - 3*b - 51 = 0, o = 3*b + 12 + 3. Suppose -k + 5*k - d = 7, -o = 3*k + 4*d. Is 2 > k?
True
Let d = 1 - -1. Let o = -353/840 + -1/120. Are o and d equal?
False
Let h = 4 - 6. Let u be 0/5 - h/(-2). Which is bigger: u or 1?
1
Suppose 4*o + 21 = 7*o. Is 5 smaller than o?
True
Let o = -4/7 + 85/161. Which is smaller: 0 or o?
o
Let g = -137/20 + 33/5. Let i = -2 + -3. Is g less than i?
False
Let a = -2 - -3. Let n be 5/35 - 40/(-210). Is n < a?
True
Suppose -3*a = -5*y + 21, -4 = y - 5*y - 4*a. Let x be 1 - (0 + 1)/(-1). Let w = 6 - x. Are w and y non-equal?
True
Let x(z) = z**3 - 6*z**2 - 2. Let u be x(6). Let y = 11 + u. Suppose -4*v = -y - 3. Are v and 4 equal?
False
Let t be ((-8)/(-28))/((-2)/(-14)). Suppose -z + t + 2 = 0. Suppose l - z = -3*l. Is 0 equal to l?
False
Let h be -5*((-384)/(-20))/3. Let p be -1 + (h/(-14) - 1). Let q = -692/5 - -138. Which is bigger: p or q?
p
Suppose -15 = 4*n - w, 0 = -4*n + 4*w - 9 - 3. Is n >= -4?
True
Let d be 2 + (-3)/(-6)*6. Let p = d + -2. Suppose 0 = -p*y + 4 + 2. Is 2 less than or equal to y?
True
Suppose -5*m = -3*q + 17, 2*m - 4*m - 6 = -q. Which is smaller: 2/53 or m?
m
Let v = 0.06 - 0. Let g = -0.017 + 0.117. Is v greater than g?
False
Let s = 1 - 2. Let f = -1 - 7. Let n = -10 - f. Is n less than s?
True
Let u(l) = l - 3*l + 2 - 1. Let d = 2 + -1. Let j be u(d). Which is greater: -2 or j?
j
Let y = 0 + 0.08. Let l = 0 + -1. Is l at most as big as y?
True
Suppose -c + 3*d - 10 = -d, -4*d = 4*c - 60. Let x be (c/930)/((-1)/(-6)). Which is greater: x or -1?
x
Let z(y) = 2*y + 10. Let n be z(-10). Let g = n + 9. Which is greater: g or 0?
0
Let q be (-2)/7*(-2)/(8/6). Let g(l) = -l**3 + l. Let u be g(-1). Which is smaller: q or u?
u
Let o = -16 - -19. Suppose -o*k + 8*k = 25, 5*h + k = 5. Is -7 at least h?
False
Let h(b) = 6*b. Suppose 12*c + 4 = 16*c. Let k be h(c). Which is greater: 13/2 or k?
13/2
Let p(h) = -h**2 - h - 1. Let q(v) = 3*v**2 + 5*v + 2. Let b(k) = -2*p(k) - q(k). Suppose -2*m - 6 = -0*m. Let a be b(m). Is -6 >= a?
False
Let p = -0.28 - -0.68. Which is greater: -0.01 or p?
p
Let m = 701/25194 + -1/663. Does 1 = m?
False
Suppose -4*c + 2*p = -14, -3*c = -4*p + 5 - 3. Which is greater: 1 or c?
c
Suppose -w + 4*w = 0. Let t be (-16)/(-396) + 2/11. Are t and w nonequal?
True
Suppose 3*y - 3*d = -8 + 5, -4*d + 20 = 0. Let t(h) = 3*h**2. Let l be t(-1). Is l less than or equal to y?
True
Let n(w) be the third derivative of w**6/120 - w**5/15 - w**4/12 - 2*w**3 + 2*w**2. Let t be n(5). Which is bigger: 2 or t?
t
Let d = 383/11 + -35. Suppose 7 = w - 3*z, -3*w + 39 = -5*z + 2*z. Let k be (-1)/(12/w) + 1. Which is smaller: d or k?
k
Suppose 0 = -s - 1 - 2. Let h = -292 - -288. Is s >= h?
True
Let c be 3 + ((-42)/(-4))/(-7). Do c and 0.9 have different values?
True
Let u(t) = -t**3 + 4*t**2 - 3*t + 1. Let w be u(5). Let f = w - -233/6. Suppose 0 = 4*c + 4*x - 16, 4*x = -c - 0*c + 13. Which is greater: f or c?
c
Suppose -2*v - 13 = -n, 14 = -0*n + n - 3*v. Let r(f) = 0*f + f + n - 2*f. Let h be r(9). Which is smaller: 0.1 or h?
0.1
Let z = -18 + 11. Is z bigger than -7?
False
Let u = 0.11 + -4.11. Let f = 6 + u. Which is bigger: 0.1 or f?
f
Suppose 3*k + 2 = 5. Suppose -5*j = -5*v - 165, v + 2*j - 7*j + 45 = 0. Let m be (v/13)/(-2) - 1. Which is greater: m or k?
k
Let u be (59 + 1)/5*(-32)/(-6). Is u greater than 63?
True
Suppose -l = -2*l - 16. Let r = -8 + 0. Let t be (-4)/l + (-2)/r. Which is greater: 1 or t?
1
Let v(x) = 15*x - 1. Let o be v(1). Suppose 0 = 2*s + 2*s - 16. Suppose 2*t + 10 = 4*y, -s*t + 2 + o = 4*y. Which is greater: y or -2?
y
Suppose -37 = -4*m - 193. Let b be 6/(-5)*10/m. Is 1 bigger than b?
True
Let z be -27*((-1)/((-15)/(-50)) + 2). Is 34 > z?
False
Let c = 77.14 - 77. Does c = 4?
False
Let w(m) = -m**3 + m + 2. Let r be w(2). Let c be -2 - r/((-12)/(-9)). Does c = 1/3?
False
Suppose -f - 3*c = 5, 3*c - 2*c - 1 = -3*f. Is 6/55 != f?
True
Suppose -23*z = -28*z + 5. Is -3/13 smaller than z?
True
Let v = -0.5 + -0.9. Let b = 1.5 + v. Which is smaller: b or -1/5?
-1/5
Let t(m) = -5*m**2 - m + 1. Let k be t(1). Let u = -12 - -24. Suppose -7*j = -5*j + u. Is k at least as big as j?
True
Let d(c) = -c**2 + 2*c + 2. Let j be d(7). Which is greater: -34 or j?
j
Let i = 11/7 + -1/14. Let t(y) = y**2 + y + 7. Let v be t(0). Suppose -v*o = -2*o - 5. Are o and i non-equal?
True
Suppose 0 = 6*m + 2*m - 8. Let h be 6/20*(-8)/(-6). Is m less than or equal to h?
False
Let m be 104/32 + (-2)/8. Which is bigger: m or 4?
4
Let x = 10 + -9. Let a = x + 4. Let o = a + 0. Which is greater: o or -1?
o
Let c = 3235 - 9577/3. Let b = 43 - c. Which is smaller: b or 1?
b
Suppose -d + 6*a - 2*a - 5 = 0, -1 = -3*d + 4*a. Suppose 0*y + 9 = d*y. Suppose -y*z + 4 = -z. Which is greater: z or 2/3?
z
Let v(y) = -y**2 - 9*y - 12. Let q be v(-8). Let n be (9 + -8)/(2/(-6)). Is q greater than or equal to n?
False
Suppose 11*m + 42 = 8*m. Let s be 3 + 72/m - -3. Let r be (0 + 0)*2/4. Does s = r?
False
Suppose 3*j - 2*y + 4*y = -11, -4 = 4*y. Suppose 0 = 3*n - 62 + 8. Let i be n/(-8) + (-1)/(-4). Is i smaller than j?
False
Let p be 5 + -4 + (-20)/14. Let k(l) = l**2 + 4*l - 5. Let m be k(-5). Suppose m = -4*c - 0*c. Is p != c?
True
Let y = 10743 - 218579/20. Let n = -186 - y. Is n at least as big as 0?
False
Let x = 17 -