75 + -75.1. Which is smaller: s or d?
d
Let f = 20 - 19. Let u = 8 + -6. Are f and u equal?
False
Let u(l) = l**3 - 9*l**2 - 9*l - 10. Let f be u(10). Let y be (-12)/(-4) - (5 + f). Which is greater: y or -5?
y
Suppose 4*f = -1 + 25. Let i = f + -11. Suppose -3*q - 10 - 8 = 0. Is i equal to q?
False
Let q = -0.37 + -0.03. Let r = q - -0.3. Is r equal to -2/9?
False
Suppose -24*v + 21*v - 6 = 0. Which is smaller: v or -5?
-5
Let y be ((-2)/(-3))/(10/3). Let n = 4 - 7. Let v be 5 + -2 + (n - 0). Is v at most as big as y?
True
Let j = 90 - 102. Which is bigger: -25/2 or j?
j
Let s(q) = -q - 2. Let j be s(-2). Suppose -2*g + j*g + 6 = 0. Suppose 3 = g*z - 6*z + 3*p, 0 = 4*p - 4. Which is smaller: -2/5 or z?
-2/5
Let z(q) = -q**3 - 7*q**2 - 8*q - 12. Let j be z(-6). Which is greater: j or 1/4?
1/4
Let k be (2/(-14))/(1/3). Suppose -3*f = -2*f + 10. Let a = 11 + f. Which is greater: a or k?
a
Let w = 26 - 26.2. Do w and -32 have different values?
True
Let d(o) = -3*o**3 - 2*o**2 - 2*o - 1. Let k be d(-1). Suppose -k*v + 12 = -4*z, 0*v + 3*z = 4*v - 19. Which is bigger: v or 3?
v
Let i = -17 + 18. Let k = 0.3 + -0.2. Which is smaller: i or k?
k
Let n = 14 - 14. Suppose 3*l = -0*l + 6. Is n smaller than l?
True
Let v be ((-13)/(-13))/((-2)/2). Let p be (22/(-13))/2 + 1. Which is bigger: p or v?
p
Let z = -6.8 - 0.2. Let h = z + 2. Let v = h - -9. Is v not equal to 2/5?
True
Let q(r) = r**3 - 8*r**2 + 10*r - 6. Let b be (-44)/(-7) - 2/7. Let l be q(b). Is l at most -17?
True
Let v be (4/(-10))/((-42)/150). Is v at least 2?
False
Let w = 15 + 2. Suppose w = -2*l - 3*m, 3*m + 5 = l - 0. Is -3 smaller than l?
False
Let l = 4/9 + -1/9. Let i = -57 + 56.9. Is l smaller than i?
False
Let n = -30.2 + 14.2. Let r = -60 - -241/4. Is r bigger than n?
True
Suppose 2*y - 5 + 1 = 0. Let o be y/(-90) + (-2)/(-9). Are 0 and o unequal?
True
Let h = -1.2 + -0.8. Which is greater: 15 or h?
15
Let m = -3.91 + -0.09. Let k = -8 - m. Let t = -4.3 - k. Is -0.1 greater than t?
True
Suppose 0 = -4*h - 10 - 18. Do 3 and h have the same value?
False
Let t = -1 - -2. Let o(m) = -m + 1. Let d be o(1). Which is smaller: t or d?
d
Suppose 3*q + 3*g = -0*q - 3, 4*q + 2 = -2*g. Let x(n) = n - 1. Suppose 5*u = 4*u. Let j be x(u). Is q less than j?
False
Let y be (0 - -2) + 25 - 0. Suppose y - 5 = 2*x. Suppose 2*t = n + 4, n + x = 5*t - n. Is t <= 3?
True
Suppose -b - 23 = -2*b - i, 20 = 4*i. Which is greater: 19 or b?
19
Let v = 5 + -1. Let i = v - 5. Is 0.1 at least i?
True
Suppose -q + 2*q + 2 = 0. Let w(z) = z**3 + 3*z**2 + z. Let d be w(q). Is 2 < d?
False
Suppose 0 = -3*i + 15, -3*c - c = 3*i - 27. Is 5 at most c?
False
Suppose 4*z = -2*m + 6*z - 10, -5*z + 21 = -3*m. Which is bigger: -38/11 or m?
m
Suppose 2 = -3*o + o. Let k = -181 - -177.98. Let t = k + 0.02. Which is smaller: t or o?
t
Let h = 0.34 - -0.66. Which is greater: h or 2/15?
h
Let u = -1 - -1.1. Suppose 5*x = -3*s + 43, -3*s - 4*x = -4*s - 14. Suppose -s = 3*q + 3. Which is smaller: q or u?
q
Let p be ((-4)/3)/(2 - 28/12). Is 1 >= p?
False
Let m(y) = 2*y**3 - y**2 + 1. Let x be m(-1). Let b(w) = -w**3 - 3*w**2 + 3*w + 3. Let s be b(-2). Let t be 7/s - 1/1. Are t and x non-equal?
False
Let r = 0.4 - -0.6. Let q = r - -1. Is q at least -0.5?
True
Let q = -137 - -128. Is q != -12?
True
Let f(a) = a**2 - a + 1. Let i be f(2). Is i >= -0.06?
True
Suppose 3*i + 21 = 3. Is i bigger than 2?
False
Let l = -3 - -2.98. Let a = l - 2.98. Let n = a - -4. Which is bigger: n or -2/7?
n
Let q(l) = -l**2 - 6*l + 21. Let k = -10 + 1. Let u be q(k). Is -8 smaller than u?
True
Suppose h + 3*h = 0, -10 = -5*l - 3*h. Suppose 2 + 0 = l*k. Is -2/9 less than or equal to k?
True
Let c(h) = -h + 2. Let b be c(0). Suppose 0*d = d. Which is greater: b or d?
b
Let z = 7 + -8. Which is smaller: -5/8 or z?
z
Let y be (3 + -1)*-2 - -1. Suppose 2 = 2*s + 4. Let u = 0 + s. Which is greater: y or u?
u
Let z = 35 - 139/4. Let n = 2/51 - 12/17. Which is bigger: z or n?
z
Let r(g) = -4*g + 1. Let z be r(1). Suppose -5*s + 4*y = -1, s + 3 = -2*y + 6. Suppose -4*l + 4 = -5*c, -5 = c - s. Is l smaller than z?
True
Let n(m) = m**2 - m - 3. Let r be n(3). Let t be r/6*4/2. Do -1 and t have the same value?
False
Let m = -0.6 - 0.1. Let w = -0.4 - m. Which is greater: 4 or w?
4
Let z = 16.3 + -13.3. Does 11 = z?
False
Suppose 4*n - 5 + 2 = 5*q, -14 = -4*q - 5*n. Is q at most as big as -3/49?
False
Let r(s) = s**2 - 10*s - 8. Let i be r(10). Let x be 2/i*2*8. Which is smaller: -5 or x?
-5
Let w(k) = -k**2 + 6*k + 6. Let j be w(6). Suppose 6*c + 24 - j = 0. Is -3 != c?
False
Let p = 9 - 0. Let v be (p/6)/(9/12). Are 2 and v non-equal?
False
Suppose -n + 5 = 0, 10*n - 5*n = 3*f + 157. Which is greater: f or -43?
-43
Let u be ((-2)/(-4))/(3/2). Let y = -0.11 - -0.06. Let f = -0.95 + y. Is u not equal to f?
True
Suppose 47 = -7*q - 51. Is -2 less than or equal to q?
False
Suppose -3*q - 21 = 5*k, 5*q - k + 81 - 18 = 0. Let v = 0.7 - -0.3. Which is smaller: v or q?
q
Let m = 13 + -4. Let l = -61/7 + m. Let h = -3 - -2. Do l and h have different values?
True
Suppose 0 = 5*c + q + 2, 4*c + 2*q - 1 - 1 = 0. Which is smaller: c or -2/39?
c
Suppose 3*f - 3*w + 28 = w, 2*w = -4. Is f > -13?
True
Let p = 0 - -3. Suppose 2 = -w + p. Which is bigger: w or -8?
w
Let m be 14/7 + 75/(-32). Let a = m + 3/32. Let f(n) = n + 6. Let i be f(-6). Which is greater: a or i?
i
Let h = 30 - 27. Is 12/7 < h?
True
Let z be 13/11 - (2 - 1). Suppose -r - 1 = -2. Which is greater: z or r?
r
Let f be 8/6*385/10. Let n = f + -52. Is n < -1?
False
Let j = 0.1 - 0.1. Let k = -0.14 - -0.04. Let y = k - j. Which is smaller: 1/4 or y?
y
Let k be 18/2 - (2 + -1). Are k and 8 nonequal?
False
Let m = -5 - -3. Let y be (-24)/14 + 4/(-14). Let d(b) = b + 2. Let o be d(y). Which is greater: o or m?
o
Suppose 2*i - 8 = -2*m, -4*i + 7 = m - 0. Let o(b) = b**2 - 5*b + 5. Let c be o(4). Which is greater: m or c?
m
Suppose 3*d + 2*w - 5 = 0, 2*d - 25 = 7*d - 5*w. Let c be d/4 + 217/420. Which is smaller: 0 or c?
0
Let j = 3.1 - 3. Let w = -7/311 + -195273/1555. Let b = w - -126. Which is smaller: b or j?
j
Let b(w) = w**2 + 2*w. Let i be b(-2). Suppose c = -i*c. Which is greater: -2/9 or c?
c
Let h be 20045/(-11655) + 2/(-9). Let p = 19/37 + h. Is -2 != p?
True
Suppose -3*b + 4*b = 4*p + 25, 3*p = 5*b - 40. Let d = -0.3 + 0.4. Let j = d + -0.1. Does b = j?
False
Let z = 3 + -5. Let g be 12/(-165)*5/z. Are 1/4 and g equal?
False
Let y(o) = -o**3 - 3*o**2 - 4*o - 5. Let v be y(-4). Let s = -30 + v. Which is greater: -5 or s?
s
Let a be 9*-1*44/(-55). Is 7 at least as big as a?
False
Let w be ((-8)/(-6))/((-4)/(-6)). Suppose w + 1 = d. Let s be (d/12)/((-6)/(-8)). Is 0 <= s?
True
Let u(b) = -b**2 + 6*b - 18. Let k be u(4). Which is greater: k or -4?
-4
Suppose 30 = -6*f + f. Let h be ((-4)/f)/(138/(-18)). Which is smaller: h or -1?
-1
Suppose b + 2*b - 24 = 0. Let f = -7 + b. Which is greater: f or 1/2?
f
Let y = -0.1 + 0. Let q = 0 + -6. Let d = q - -4. Which is smaller: d or y?
d
Suppose -i - 20 = 4*i. Let z be (3/15)/(i/10). Which is bigger: z or -2?
z
Suppose 0 = -30*r + 27*r + 3. Which is greater: r or 2/23?
r
Let t be 0 + (-16)/(-7 + 3). Let m be 0 - (-4 + 8 - t). Which is smaller: -3/26 or m?
-3/26
Suppose j + 5*y = 4*y, 3*y = -4*j. Let m(o) = o**2 + o. Let t be m(j). Do t and 1 have different values?
True
Let c(a) = -a**2 - 6*a + 3. Let r be c(-6). Let n be (-1)/(-2)*-2 - 2. Are n and r non-equal?
True
Let h = 8 + -3. Suppose h*x + 1 + 4 = 0. Let i = 5 + -7. Which is smaller: i or x?
i
Suppose -11 - 4 = -5*b. Let l be (48/36)/((-4)/6). Let x(y) = 2*y**2 + y - 2. Let p be x(l). Is p greater than or equal to b?
True
Let m = 0.95 + -0.6. Let d = 0.05 + m. Let l = d + -0.5. Is l at least as big as -1/3?
True
Let s(g) be the first derivative of g**4/4 - 5*g**3 - 15*g**2/2 - 15*g - 5. Let c be s(16). Is c < 4?
True
Let m = 229/323 + -9/19. Which is greater: 0.1 or m?
m
Let v(p) = -p + 10. Let k be v(7). Let x(a) = 5*a**2 + a + 1. Let r = -4 + 3. Let w be x(r). Is k >= w?
False
Let f = 1 + -16. Let x = -13 - f. Are 3/4 and x non-equal?
True
Let d be 8 + (-5 - 0) - 2. Which is bigger: d or 3/31?
d
Suppose -4*l = 20, -5*z + 145 = -0*z - 2*l. Let w be 3/(-4) + z/(-12). Do -1 and w have different values?
True
L