et o = 7 - 7.08. Let d = 0.22 - o. Which is smaller: 1 or d?
d
Let t = -8 - -5. Let c = -20 + 18. Let p = c - 0. Do t and p have the same value?
False
Let j = -437 - -541.9. Let o = j + -96. Let d = -9 + o. Are -3 and d equal?
False
Let o = -28 - -31. Is o at most as big as -7?
False
Let z = -578/437 + 28/23. Is z smaller than 1?
True
Let q be (-4 - 2)/(1 - 3). Let t = -1 + q. Is t at least 1?
True
Suppose -4*a + 47 = -5*n, 0*n - 4*n = 5*a + 13. Let v be ((-170)/28)/(n/112). Let o = 97 - v. Which is smaller: 1 or o?
o
Let d be (-3)/4*-1 + (-204)/80. Are d and 1/2 nonequal?
True
Let b be (-4)/(2 - 1) - (-7 - -5). Which is smaller: b or -7/3?
-7/3
Suppose -3*v + 4 = -5. Suppose 2*f + f + 9 = 4*w, 0 = -v*f - 5*w + 18. Are f and -1/4 nonequal?
True
Let s be 9/30*(-8)/18. Let m = -17 + 17. Is s < m?
True
Let p = -4 + 3. Let i be (-12)/4 - (p - 4). Is i >= 2?
True
Suppose 5*t = -2*m - 73, 4*t - 20 = -2*m - 78. Is -16 greater than t?
False
Let z = 36 + -36. Let b = 3 - 2. Let u = b - 1. Is z equal to u?
True
Let v(b) = b + 1. Let x be v(-5). Let w = -5 - x. Which is greater: 0 or w?
0
Suppose -2*c - 8 = t + 7, 0 = 4*t - 4*c. Does t = -2/5?
False
Let w = 22 + -16. Let q be (-5)/(-15) + (-8)/w. Are -1/3 and q non-equal?
True
Suppose -2*b + 18 = 5*x, -5*x + 16 = -b + 5*b. Let c be (b/(-5))/((-1)/(-13)). Which is bigger: -1/2 or c?
c
Let g = -4.7 - -5.7. Are 5/3 and g equal?
False
Let g = -9 + 6. Let i = g + 6. Let h = 2.1 - 2. Are i and h non-equal?
True
Let u = 0.9 - -0.1. Let v = -29.3 - -28. Let z = 1.1 + v. Which is greater: z or u?
u
Let z be 50/88 + ((-480)/(-176))/15. Let a(f) = -2*f - 3. Let u be a(-2). Is u <= z?
False
Suppose -4*v = -v - 9. Suppose -5*y + 5*u - 30 = 0, -3*y + 2*u = -0*y + 15. Let w be y*(-1 + 7/v). Is -2 < w?
False
Let j be (-1 + -2)*(-10)/(-45). Is j less than or equal to 1.5?
True
Let g(y) = -2*y**3 - 12*y**2 - 5*y - 6. Let q be g(-5). Is q < -31?
False
Let h(b) = b**2 - 3*b - 2. Let q = 10 - 7. Suppose 3*i + 0*j = q*j + 24, -2*j = -3*i + 20. Let t be h(i). Does 2 = t?
True
Suppose 0 = -2*x + 2*h + 4, 0 - 6 = 5*x + 3*h. Suppose -p + 4*p = x. Let f(r) = 9*r + 108. Let k be f(-12). Is p bigger than k?
False
Let m = -0.14 - -0.18. Is m >= 1?
False
Suppose h = -4*s, 0 = 5*s - 4*s - h. Let r(b) be the second derivative of b**4/12 + 5*b**3/6 + b**2 + 2*b. Let l be r(-5). Which is smaller: l or s?
s
Suppose 0*d - 18 = 9*d. Let t(a) = a**3 + 4*a**2 - 4*a + 4. Let i be t(-5). Which is greater: i or d?
i
Let c = -1/211 + 1071/3376. Are c and 0 unequal?
True
Let s = 0.13 + -5.73. Let l = -6 - s. Let o = 0.2 + l. Is 0 at most o?
False
Let i = 16155/1114 - 1/557. Which is smaller: i or 15?
i
Let v = -25 - -24. Which is smaller: -1/4 or v?
v
Suppose -5*c = -4*p - 27, 5*c - p - 4*p = 30. Suppose -y + 2*q + 8 = -c*q, 5*y + 5*q = -20. Which is smaller: y or 0?
y
Let x = -1 - 2. Let n = -6 + x. Is -11 < n?
True
Let s(n) = -n**2 - 4*n. Let t be ((-6)/(-4))/(15/(-40)). Let i be s(t). Is 0 not equal to i?
False
Let x = -15 + -2. Is x not equal to -17?
False
Let m be (-2)/3 - (-1 + (-30)/(-94)). Which is greater: 1 or m?
1
Let q(d) = d**2 + 6*d + 2. Let x be q(-2). Which is smaller: x or 4?
x
Let f(q) = -2*q**2 - q. Let z be f(1). Is z > -4?
True
Suppose 2*j - 8 = -4*s, 5*j - 2*s - 88 + 32 = 0. Suppose p - 35 = -5*b, -5*b + p - j = -35. Suppose -5*a - b*d = -2*d + 15, 12 = -4*a + d. Is -4 equal to a?
False
Let r be 1/12*(-16)/(-14). Which is smaller: 1 or r?
r
Let c = 2 + 0.8. Let u = c - 2.86. Is u at least -1/3?
True
Let r = 3.54 + -3.2. Let h = r + 0.06. Let d = h + -0.3. Which is smaller: 1 or d?
d
Let p(i) = -i + 7. Let g be p(5). Suppose -2 = -b + g*b. Let f be (-2)/b*-4 - -1. Is f greater than or equal to -3?
True
Let o = 11 + -12. Is -3/10 at least as big as o?
True
Let b be 6/(-28)*1*6/(-9). Suppose -z = -2*g - 5*z - 2, 8 = 4*g - 4*z. Do b and g have different values?
True
Let s be (11/4)/((-1)/4). Let v(b) = -2*b**2 - 4*b - 5. Let d be v(-3). Is s equal to d?
True
Let g(c) = 5*c**2 + 4*c + 3. Let o be g(-2). Let t = o - 10. Suppose -t*q + u = -10, 3*q - 3*u - 17 = 1. Are -2 and q unequal?
True
Let h = 113 + -113. Is 4/3 <= h?
False
Let x be -5 + 180/25 - (-3)/(-1). Which is smaller: x or -1?
-1
Suppose 0 = 2*a + 3*z - 0*z - 8, 12 = 2*a + 4*z. Let f(s) = -s - 1. Let j be f(0). Which is greater: a or j?
j
Suppose -3*g + 80 = 4*y, -5*g = 3*y + 2*y - 105. Is 16 >= y?
False
Let q = 0.15 - 0.15. Let c = 0 + 0. Is c at least as big as q?
True
Let z be 1*(2 - (6 - (9 + -4))). Let t be 2/(-2) - (-95)/(-4). Let l = 25 + t. Is l bigger than z?
False
Let c = -2 + 3. Let p = -105/4 + 517/20. Is p < c?
True
Let g be 3/((12/(-3))/(-4)). Which is greater: 9 or g?
9
Let n be 3 + 0 - 5/(-5). Suppose c = -4*j + 20, 0*j - 2*j - 8 = -n*c. Does 3 = j?
False
Suppose 8*w - 323 = -19. Is 37 <= w?
True
Let q(h) = -h**3 - 6*h**2 - 4*h + 9. Let n be q(-5). Let u be 32/14 - (-4)/(-14). Is n at least u?
True
Let p(a) = -a**3 - 3*a**2. Let y be p(-4). Let v = -17 + y. Is 5 <= v?
False
Let h = 85 - 80. Is h at least as big as 5?
True
Let f = -8 - -14. Let k = -10 + 17. Let q = f - k. Which is bigger: -1/12 or q?
-1/12
Suppose 233 - 641 = 6*v. Which is greater: -69 or v?
v
Suppose 0 = -5*w - t - 24, 5*t + 12 = 2*w - 0*w. Let v be (-12)/(-5) + w/10. Let j = v - 2. Is 1/2 equal to j?
False
Let r = -54 + 59. Is r less than 3?
False
Let w(i) = 3*i**3 - 3*i**2 + i. Let y be w(2). Which is bigger: y or 13?
y
Let q = -38 - -37.94. Let k = 0.1 + -0.2. Which is bigger: q or k?
q
Let v(b) = b**2 - 3*b - 3. Let g be v(4). Let r be 3*1*(g + -2). Which is greater: r or -0.2?
-0.2
Suppose -4*x + 25 = -5*n - x, -2*n - 5*x + 21 = 0. Let m(u) = -u**2 - 2*u - 1. Let f be m(n). Which is smaller: f or 0?
f
Let g(w) be the second derivative of -w**3/6 + 3*w. Let j be g(-3). Let q = -7 - -10. Are j and q equal?
True
Let h = 2/61 + 116/183. Let o = h + 5/6. Which is bigger: o or 3?
3
Let v be ((-2)/(-3))/((-4)/(-6)). Let z be v - (1 - -4)/(-1). Let r(n) = -n + 10. Let s be r(z). Are 3 and s unequal?
True
Let v be (-2)/(-7) - (-37)/(-7). Let d(u) = u**2 + 4*u - 1. Let j be d(v). Suppose -4*l + 7 = 4*w - 9, -j*w + 2*l = 2. Are w and 3 equal?
False
Let a = 12 - 7. Let n(q) = 5*q**3 + q**2 - q - 1. Let o be n(1). Which is smaller: a or o?
o
Let j = 6 - 5.6. Let c(m) = m**3 + 6*m**2 + 6*m + 4. Let n be c(-5). Is j > n?
True
Suppose 0 = 4*c - t - 73, -5*c + 93 = 2*t - 5*t. Let r be (-18)/(-99) + c/22. Is r smaller than 1/6?
False
Suppose 0 = 5*o - o + 2*f - 40, 6*o + 4*f = 56. Let z = 34 + -23. Which is greater: o or z?
o
Let h(t) = t**2 + 3*t + 12. Let p be h(8). Is 101 at most p?
False
Let p(c) = c**3 - 16*c**2 - 16*c - 17. Let u be p(17). Let o be 1/(-4) + 22/(-24). Which is smaller: o or u?
o
Let n be 4 + (-12)/(-4) - 1. Suppose 0 = g - 5*j + 18, -36 = -3*g - 5*j + 2*j. Which is greater: g or n?
g
Suppose -w = i - 22, -5*w - 40 = -i - 0*i. Suppose 6*l - l = i. Let m be 22/(-2) + -4 + l. Is -11 less than or equal to m?
True
Let j(b) = -b**3 - 3*b**2 + b. Let t be j(-3). Let i be (-1)/t*3/(-4). Let z(w) = -w + 2. Let f be z(2). Are i and f non-equal?
True
Let l be 12 - ((-2 - -2) + 4). Suppose 3*n + 4*k + 16 = 0, 3*n + 0*k = 4*k - l. Are -4 and n non-equal?
False
Suppose -5*q - 8 = -d - 3, 4*q + 4 = 3*d. Suppose -4*n = -0*n + 92. Let x be (0 + (-2)/(-1))/n. Which is smaller: x or q?
q
Let y = -11 + 9. Is y <= 0.06?
True
Let q = -21 + 22.8. Let t = q - -0.2. Is 3 at most as big as t?
False
Suppose 0 = -5*n + 6 + 4. Suppose -4 = n*o + 2*u, -2*o = 3*u + 3 + 1. Let w = o - -3. Which is smaller: 2 or w?
w
Let d = 1225/9 + -136. Let t = 10 - 10. Which is smaller: t or d?
t
Let r be (-3*4/(-18))/((-462)/63). Let v = 7/13 - 23/91. Which is bigger: v or r?
v
Let y = 97 - 96.9. Which is bigger: 0.04 or y?
y
Let m(a) = a**2. Let z be m(-2). Let p(w) = w**2 - 3*w - 5. Let c be p(z). Which is bigger: c or 1/3?
1/3
Let f = -342/5 - -69. Which is smaller: 1 or f?
f
Let s = 0 + -2. Let p be s + 0 + -1 + 1. Is -2 not equal to p?
False
Let f = -1.5 + 2.1. Let l = f + -4.6. Which is smaller: -1 or l?
l
Suppose -4*y + 3*f + 0*f = -22, 2*f + 31 = 5*y. Suppose -2*b + 8 = 4*o, -5*o - y = -4*b - 4*o. Let c be (b - 0)*(-3)/(-6). Which is smaller: c or -4?
-4
Let f be (-6)/(-27) - 2/9. Let j(r) = r - 4. Let y be j(3