 5*t - t - x - 7 = 0. Let c be (-3 + (-8)/(-12))*-2. Let y = c - 29/6. Do y and t have the same value?
False
Let o = -1 + 0. Let g = -34 + 25. Which is smaller: g or o?
g
Let h = -1.97 + -0.03. Let l = h + 3. Which is greater: l or -0.2?
l
Let w be -9*2/(-2) - 1. Let y = w - 11. Which is bigger: y or -3/2?
-3/2
Let c(w) be the third derivative of -w**6/120 + w**4/24 + w**3/3 + w**2. Let p be c(2). Let n be 1*p/((-4)/3). Is n < 3?
False
Let k = 211/3 - 71. Suppose -51 + 11 = -4*y. Suppose 4*x + y = -x. Is k at most as big as x?
False
Let i be (-2)/8*4*-1. Let x = i + -4. Let h = 0.3 + 0.7. Which is greater: x or h?
h
Suppose 2*y = -0*y. Let f = -21 - -25. Suppose y = -2*l + f*c + 18, 4*c + 22 = 2*l - 4*l. Which is bigger: l or -1/6?
-1/6
Let q be (-4 - -6) + (-54)/25. Which is smaller: -1 or q?
-1
Let t be ((-10)/4 - -3)*-2. Let d = t + 1. Is -1 at least as big as d?
False
Let i(q) = -q**3 - 6*q**2 - 7*q - 4. Let a be i(-4). Let m(g) = -g - 7. Let o be m(a). Let z be 27/9 - (o - -4). Is z > -2?
False
Let k = -1/17 + 21/68. Let u be 15/(-21) + (0 - -1). Which is smaller: u or k?
k
Let g(d) be the second derivative of d**3/6 - d**2/2 - 2*d. Let x be g(0). Let n = -1 + 0.9. Is x >= n?
False
Let r = 7 - 6.8. Let z = r + -0.3. Let t = -1.9 + 2. Which is smaller: z or t?
z
Let v(g) = 2*g - 2. Let i be v(4). Let l be 11/3 + i/(-9). Suppose q = -0 + l. Is q greater than or equal to 3?
True
Let o = -2/37 + 189/74. Are 4 and o equal?
False
Let g = -7 + 5. Let m = g - -2. Let y = 2.5 - 2.6. Which is greater: m or y?
m
Let g = -2.98 - 0.02. Let q = 2.97 + g. Let l = 7.03 + q. Which is smaller: 0 or l?
0
Suppose x = -2*d + 2, -x + d - 19 = -4*d. Let h be -4 + (-3 - x) - -3. Which is greater: 1/3 or h?
1/3
Let g be (-6)/(-3) - (5 - 4). Let v be 5/30 + g/(-2). Are 3/7 and v unequal?
True
Let w = 5.02 - 5. Let p = w + -1.02. Let v(b) = b**2 + 2*b + 1. Let c be v(-2). Which is bigger: p or c?
c
Let q(s) = s**3 - s**2 + s - 3. Let d = 4 + -6. Let z be 0/(2*d/(-4)). Let j be q(z). Which is greater: j or -5?
j
Let w = -22.89 + 23. Let l = w + 0.89. Which is smaller: -0.02 or l?
-0.02
Let l be 3/(-9)*-3*10. Let p(b) = -b**2 + 11*b - 19. Let u be p(7). Is u less than l?
True
Let q(s) = 2*s**3 + 7*s**2 + 5*s + 6. Let b be q(-3). Which is smaller: -1/67 or b?
-1/67
Let m = 41 + -22. Let l = -22 + m. Let b = -0.2 + 0. Is b at least as big as l?
True
Let k = 0.8 + -0.1. Let m = 0.5 - k. Let a = m + -0.8. Is a > 0?
False
Let m be -1 + (-1 - (-20)/14). Let c(z) = z**2 + 5*z - 6. Let r be c(-6). Is m not equal to r?
True
Let v = 34 + 9. Suppose -4*n + v = 155. Let g be (-4)/14 + (-36)/n. Are g and -2/11 equal?
False
Let a = 2.1 + -2.1. Which is smaller: -1 or a?
-1
Let a be (14 + -4)*-1*2. Is -19 <= a?
False
Let u be 3/6 + (-6)/(-4). Suppose 5*x + 24 = 13*x. Which is greater: u or x?
x
Let p(s) = -2*s + 4. Let j be p(4). Let h(o) = -o**3 - 5*o**2 + 4*o + 4. Let f be h(j). Let q be (-8)/(-6)*(-6)/f. Do q and 1 have the same value?
False
Let a = -4 - -3. Let d = -192 - -3841/20. Is d bigger than a?
True
Let j = -1.05 - -0.05. Let h = j - 0. Is 1 greater than or equal to h?
True
Let q = 1 - -3. Let g = -3.7 + q. Let b = g + -0.4. Is b > 2/7?
False
Suppose -3*n = -3*g + 9, g - 12 = 4*n + 5*g. Which is greater: 2 or n?
2
Let k be (-5 + 4)*(2 - 1). Is k at most 4/29?
True
Let t be (1/((-18)/12))/(2/3). Let v(l) = l**2 - 7*l + 4. Let x be v(6). Is x bigger than t?
False
Suppose -5 = -3*f - 2. Let q be f/(-10) + (-1)/(-2). Is 17 at least as big as q?
True
Let x be (6/(-12))/(8/(-12)). Suppose 3*d = d + 2. Is x at least d?
False
Let x = 52 - 48. Which is smaller: 8/3 or x?
8/3
Let b = -200 - -193. Is b equal to 0?
False
Let a(i) = 2*i**3 - 2*i**2 - i - 2. Let q be a(2). Suppose -3*l = -0*l + q*d - 3, 3*l = -3*d + 6. Which is smaller: l or 4?
4
Let z = 4 + -2. Let f = 3.04 - 0.04. Let q = f + -4. Which is greater: z or q?
z
Suppose -4*t + 8 = -0*t. Let n be (-3)/(-1) - (t - 0). Let o be (2 - (-3)/(-3))/n. Which is smaller: -2/19 or o?
-2/19
Let f be ((-4)/6)/(6/(-9)). Suppose 4*w + 3 - 6 = -5*p, w - 4*p = -15. Let s = 5 + w. Which is smaller: s or f?
f
Let c be 2 - 5/((-105)/(-39)). Is 2 greater than c?
True
Let p = 217/4 + -7587/140. Let f = p - 16/35. Is 1 at most as big as f?
False
Suppose -9*w = -8*w - 4. Suppose -w*o = -5*o - 4. Is -4 at least as big as o?
True
Let j be 10*(8/(-20) - -1). Suppose 0 = 4*u + 14 + j. Which is smaller: u or -6?
-6
Suppose 5*o + 16 = 3*i, -i + o + 2 = -0. Let a be ((-2)/6)/((-4)/24). Suppose -4 - a = 2*s. Is s greater than or equal to i?
True
Let t = 4788 + -1201790/251. Let n = 7814732378/1757 - 4447770. Let y = t - n. Which is smaller: y or -1?
-1
Suppose -5*w + 4*s - 28 = -w, 4*w - 3*s = -30. Is w smaller than -10?
False
Suppose 8*u - 13*u = -20. Is u less than or equal to -1?
False
Let k = 3 - 1. Let q(a) = 2*a**2 + 2*a - 1. Let v be q(-2). Is v smaller than k?
False
Suppose 0 = -6*j + 52 + 2. Let u = -362 + 739/2. Is j smaller than u?
False
Let o = 5.9 - -3.1. Is -2 greater than or equal to o?
False
Suppose q = -2*q - 9. Let u(f) = -f**3 - 4*f**2 - 2*f + 3. Let p be u(q). Is p less than 2/7?
True
Suppose 20*s - 15*s = 0. Is s <= 0.3?
True
Let n = -5 - -5.1. Let u = 0.2 + -0.1. Is u <= n?
True
Let d be 8/8 + 2/(-8). Is 0.1 less than or equal to d?
True
Let o = -1 + 7. Suppose 3 = h + o. Let w = 6 + -8. Which is greater: h or w?
w
Suppose -2*j - 1 = v, 3*j + 12 - 33 = 3*v. Let r(q) = -3 - 3 + j*q - 3. Let z be r(6). Is 2 smaller than z?
True
Let h(t) = -t + 1. Let f = 8 + -5. Let w be h(f). Let s be 4/15*3/w. Is s >= -1?
True
Suppose 0*a = a - 15. Suppose 3*c = -2*c - a. Let q(z) = z**2 + 2*z. Let r be q(c). Do 3 and r have the same value?
True
Let p(s) = 2*s**3 - 8*s**2 + 9*s + 1. Let i be p(3). Which is bigger: 9 or i?
i
Let i be (-1)/((-4)/(16/4)). Let r = 8 - 49/6. Which is greater: r or i?
i
Suppose 5*d - 17 = -2*o, -2*d - 1 = -2*o - 5. Let b = -1 - 2. Let z be b/(-6)*(4 - 2). Is z at least o?
True
Let x(t) = -4*t - 8. Let h be x(-3). Are h and 4 non-equal?
False
Let f(c) = -c**2 + 5*c + 2. Let x be f(5). Let h be x + 34/(-10) + 1. Which is smaller: 1 or h?
h
Let i = 0.03 + -0.13. Let m = 0.08 + -0.78. Is m >= i?
False
Suppose 4*k - 3*n + 0 = 1, 2*k = n + 1. Suppose -h = -k + 3. Is -2 bigger than h?
False
Let j = 28 - 40. Let g = -18 - j. Which is smaller: g or -1?
g
Let v(d) = 3*d + 2*d**2 + 2 - 2. Let n be v(-2). Let c be 10/45 - 16/(-9). Is c at most as big as n?
True
Let r = -9 + 11. Let t be 1*(-4)/(-16)*r. Let m(y) = -y**3 - 3*y**2 - 2*y + 1. Let g be m(-2). Do t and g have different values?
True
Suppose -f - 3*f = 0. Suppose -3*i = 5*d + i + 10, f = -3*d - i - 6. Let t(q) = -q**3 + 8*q**2 - 8*q + 5. Let x be t(7). Is d bigger than x?
False
Let d = 10 + -15. Let f be ((-16)/(-20))/((-1)/5). Which is bigger: d or f?
f
Let q(m) = -m**2 + 2*m. Let t be q(5). Let d be (-6)/t + 24/(-10). Which is smaller: d or -1?
d
Let i be 18/(-4)*(-8)/(-3). Let q be ((-6)/i)/((-1)/18). Which is greater: -10 or q?
q
Let p = -23 - -17. Is p < 1/2?
True
Suppose -15 = -4*k + 4*h - 95, -k + 4*h - 17 = 0. Let z = 64/3 + k. Let m(d) = -d**3 + d**2 + d - 1. Let b be m(2). Which is bigger: b or z?
z
Suppose 11*h + 5 = -6. Is -1/21 bigger than h?
True
Let o be 8/(-12) + (-98)/(-192). Let v = o - -119/352. Suppose 3*u + 2*j + 3 - 2 = 0, -4*j = 3*u - 1. Which is greater: u or v?
v
Suppose -55 = -s - 54. Are s and 2/3 non-equal?
True
Let v = 5/6 - 1/6. Let b be (0/5)/(-3 + 1). Which is bigger: b or v?
v
Let t = 0.8 - -0.2. Let l be ((-31)/(-155))/((-26)/10 - -2). Is t equal to l?
False
Suppose 12*a = 7*a + 5. Which is smaller: a or 16/13?
a
Let v be 2/5 - 18/(-5). Suppose 4 = 2*f, 13 - 5 = -3*o + v*f. Which is bigger: -1/10 or o?
o
Suppose 0 = -5*u - 0*u + 20. Suppose -y - 10 = -u*t, -2*t + 16 = 3*y + 2*y. Suppose 2*s = 4*i + y, -i - 4*s = i + 6. Is i greater than or equal to -1?
True
Let k = -2.91 + -0.09. Let o = -2 - k. Is 0.2 at most as big as o?
True
Let f(r) = -r**3 + 4*r**2 - 2*r + 3. Let q be f(2). Suppose 0*w = 4*w - 24. Let t = w - q. Is t at least as big as -1?
True
Let u be 27/2*4/(-3). Let v be u/(-14)*6/(-26). Let h = -2/13 - v. Which is greater: h or 0?
h
Let k(n) = n**3 - 5*n**2 - 6*n - 2. Let s be k(6). Let p = -2 - -1. Let f = p + 0. Which is b