s. Is o at most -1/9?
False
Suppose 8 = -4*o - 2*y, 8 = -4*o + 3*y - y. Let i be 39/(-63) + o/(-6). Is -1 less than i?
True
Let p = 1 - -1. Suppose -m = p*m. Let n = 1 + 0. Do n and m have the same value?
False
Suppose -4*d = 2*o + 34, -d = -4*o - 25 - 52. Which is bigger: -20 or o?
o
Let l = -8 - -11. Let i be (l/(-4))/((-2)/8). Let k = i - 5. Which is greater: k or -3?
k
Let i = 43/225 + -2/25. Let k = 512/1233 - -4/137. Let l = i - k. Is l smaller than -2?
False
Suppose -2 = -2*u - 6. Suppose -2*o + o - 1 = 0. Is u less than o?
True
Let o = -103 + 926/9. Let k be 0/(-3 + 0 - -1). Let i be 24/8 - (3 + k). Which is greater: i or o?
i
Let s be (-1)/32*318*(-8)/6. Which is bigger: 14 or s?
14
Let l = -1 + 3. Suppose 2 = l*z - 4. Is z less than 3?
False
Let k = -3.04 + 0.04. Is 3 equal to k?
False
Let c = -43/3 + 14. Let r = 11 + -15.2. Let h = -2.2 - r. Which is greater: c or h?
h
Let z = -31 + 34. Are 13/4 and z nonequal?
True
Let r = 7 + -7. Let s be (r/(-3 - -2))/(-2). Are -1 and s nonequal?
True
Let d = 40 + -239/6. Let x(l) = -4*l + 13. Let j be x(3). Which is smaller: j or d?
d
Suppose 2*b + 3*o = 7, -3*b + 2*b - 4*o + 11 = 0. Is -2/23 at most b?
False
Suppose 3*q - 8 = y, -3*q + 11 = 3*y - 1. Which is bigger: -1/7 or y?
y
Suppose -5*j + 3 = q, q - 2*q - 4*j + 3 = 0. Which is greater: q or 2?
q
Let q be 20/8 - (-2)/(-4). Let s be q/(-5) + (-6)/10. Let j(n) = -n + 8. Let i be j(10). Is i at least as big as s?
False
Let z = 176 - 73. Which is smaller: z or 104?
z
Let l(r) = r**3 - 8*r**2 - 7*r - 12. Let z be l(9). Suppose 2*b + 8 = z*b. Let f be 2*2/4*1. Is b != f?
True
Let c = -2.4 + 3.4. Which is bigger: 8 or c?
8
Let s = -34 - -20. Suppose q - 6 = -19. Which is smaller: q or s?
s
Let q = 83.1 - 83. Which is greater: 58 or q?
58
Let r = 25245/32 + -789. Is -1 smaller than r?
True
Let q = 0.1 + -0.3. Let v = 0 - q. Let z = v - 0.3. Is 2/5 != z?
True
Let d be -1 + 0 + 3 + -2. Which is smaller: d or 2/11?
d
Let p = -0.6 - -0.5. Let i = 0.9 - -0.1. Is p greater than i?
False
Suppose -r + 3 = 0, -4*x - 6*r + 51 = -r. Suppose -2*w = 4*y - x + 3, -3*y - 12 = -4*w. Let k be ((-3)/(-2))/(3 - 9). Is k at least y?
False
Let o(u) = -u - 6. Let t = -16 + 10. Let s be o(t). Let l = 5/28 + 31/140. Which is bigger: s or l?
l
Let b = -14 + 16. Let w = 0 + -1. Let m be 0*1/b + w. Is m < -1/12?
True
Let i = -17.9 - -18. Let q = 7594/183 - 10/61. Let d = 41 - q. Which is smaller: i or d?
d
Let w(h) = -h**3 - 9*h**2 + 10*h. Let k be w(-10). Let d = 8 + -13. Let y = -5.2 - d. Which is smaller: k or y?
y
Let t = 5 + -4. Let l = 3 + t. Suppose -4*i = 4*g + 8, 0 = -2*g - 2*g + l*i - 8. Do -2 and g have different values?
False
Suppose -5*l = 3*z - 45, -2*l - z = -0 - 17. Suppose h = -4*p - 4 - l, -3*h = 3*p + 21. Is h > -0.1?
False
Let c be (-51)/22 + 4/(-22). Which is smaller: c or -4?
-4
Let r(g) = -g**2 + 9*g - 19. Let p be r(3). Is p smaller than -7/15?
True
Let d(b) = b + 3. Let m(y) = -y**2 + 4*y + 1. Let i be m(4). Suppose -i = -c - 5. Let j be d(c). Which is smaller: j or -1/4?
j
Let w(g) = -g**3 - 4*g**2 - 4*g. Let k be w(-3). Suppose -4*c - 17 = -5*j, 0 = 5*c - 0*j - 4*j + 10. Suppose -c*s - s = -k. Which is smaller: 2/11 or s?
2/11
Suppose -5*v = 5*a - 20, a = -a + 6. Suppose 5*t - x - 14 = v, 30 = 5*t - 4*x. Let u be (1 - 2)*(-1)/1. Which is greater: u or t?
t
Let c(d) = -d - 10. Let q be c(-7). Let i = q + 5. Suppose -3*u = 0, i*r + 7 = -4*u + 1. Which is smaller: -4 or r?
-4
Let h(z) be the second derivative of z**5/20 - 5*z**4/12 + 2*z**3/3 - z**2/2 - 4*z. Let l be h(4). Which is bigger: l or -3/2?
l
Suppose 3*a = -a + 24. Let m be (-9)/(-4) - a/24. Let k = -1 - -4. Which is smaller: k or m?
m
Let s(t) = t**2 + 7*t - 8. Let o be s(-8). Which is greater: o or 2/3?
2/3
Let t = -23 + 18. Is t bigger than -9/2?
False
Let v(q) = 2*q - 30. Let j(r) = -r + 15. Let k(f) = -5*j(f) - 2*v(f). Let n be k(10). Which is smaller: -4 or n?
n
Let s(q) = q**3 + 13*q**2 - 8*q - 5. Let x(p) = -3*p**2 + 2*p + 1. Let t(c) = -2*s(c) - 9*x(c). Let j be t(1). Which is smaller: 1/3 or j?
j
Let q = 10 + -9.9. Which is smaller: q or -1?
-1
Let l = -319/427 + 2/61. Do 0 and l have the same value?
False
Suppose 5*y + 7 = 4*o, -6*o - 25 = -o + 5*y. Are o and 1 nonequal?
True
Let l = -949/7 - -135. Which is bigger: 0 or l?
0
Suppose 4*r = 6*r. Let b(v) = v + 1. Let k(t) = 3. Let q(j) = -b(j) + k(j). Let y be q(2). Is y less than or equal to r?
True
Let i be 20/(0/4 - -1). Suppose 3*h - i = -2*h. Suppose 2*m + 2*t = 0, m - 3*t + 0*t - 12 = 0. Is m at most as big as h?
True
Let m(r) = -2*r + 4. Let n be m(5). Is n bigger than -6?
False
Let y = -0.53 + 0.6. Let v = y + 3.93. Let r be (6/4)/(27/12). Which is greater: r or v?
v
Let b be ((-6)/2)/(9/(-6)). Suppose -u - 3 = -b. Are -1 and u equal?
True
Let q = -484/735 - 2/245. Suppose -4 = -5*w + 4*w. Suppose 9 = -w*t + 1. Is q != t?
True
Let r be -18*(-3)/3 - 2. Suppose 2*j - 4*n + 21 = 9, -3*j = -5*n + r. Which is greater: j or -1?
-1
Let l(a) = -6*a**3 - a. Let y be l(-1). Suppose -4*j + 5*z = -29, -4*j + 3*j - z + 5 = 0. Is y smaller than j?
False
Suppose -2*q = 2*q - 2*l + 34, -2*q + 3*l - 27 = 0. Let j be ((-4)/(-12))/((-1)/(-6)). Let y be (j/q)/(3/9). Which is greater: -2 or y?
y
Let b be (-6)/15 + 4/10. Suppose -4*t = -b*t. Is 1/8 <= t?
False
Let q = 39 - 37.97. Let r = -0.13 + q. Let v = r + -1. Is 0.3 greater than or equal to v?
True
Let o be -1*1/(-2 + 1). Which is smaller: 4/5 or o?
4/5
Let i = -118 - -110. Let s(k) = k + 3. Let g be s(-10). Are i and g equal?
False
Let u = 0.3 + -0.4. Let x = -1 - 5. Let b = 4 + x. Which is bigger: b or u?
u
Let l be 27/(-30) - (-1)/2. Let r be 12/10 + (-6)/30. Let s(n) = n**3 - n**2 + 2*n - 1. Let v be s(r). Is l not equal to v?
True
Let q = 163/4 + -40. Which is smaller: q or 2?
q
Suppose 2*w + 4 = u, -2*w - 5*u = -0*u - 20. Let j = -1 + -2. Let h = -2 - j. Which is smaller: h or w?
w
Let x be (-2 + 0)*(-10)/(-5). Which is bigger: x or 2?
2
Let q(t) = -t**2 + 3*t. Let u be q(2). Suppose -3*l - 4*j = u*l - 11, -j = -4*l - 8. Is l smaller than 1/15?
True
Let b = 0.2 - -3.8. Let n = 4 - 11. Let r = n + b. Is r at most as big as 0?
True
Let u = -15 + 54. Is u not equal to 1/3?
True
Let j = 501 + -1481/3. Let w = -17298 + 259357/15. Let s = j + w. Is -1 at most as big as s?
True
Let s be 4/2*1/2. Let x be ((-3)/(-56))/((-8)/(-32)). Let u = 23/238 - x. Are s and u nonequal?
True
Let u be 62/(-2) + -2 + 7. Is 0 not equal to u?
True
Let a be 2 - 9/4*1. Let o be (1/(-2))/(-2*1). Are o and a nonequal?
True
Let n = -2 + -6. Let s be 6/21 - n/(-28). Let u be (0 - (-2)/(-2)) + 3. Are s and u nonequal?
True
Suppose -3*g + 24 = -4*s - s, -4*s = 4*g. Suppose 3*i + 1 = g*q - 8, 0 = -i + 4*q - 15. Suppose 0 = d - 0*d + i. Is 1 at least d?
True
Suppose -10 = -4*z - 34. Let b(k) = -k**2 - 7*k - 5. Let j be b(z). Is j at most 1/10?
False
Let v(q) = q + 2. Let d be v(7). Let o = 14 - d. Which is greater: 3 or o?
o
Suppose 5*h + 13 = -2*p, -18 + 0 = -2*h + 5*p. Which is smaller: h or 0?
h
Let m = 0.856 - -0.124. Let v = -0.22 + 0.2. Let t = v - m. Which is smaller: 0.1 or t?
t
Let h(l) = l - 3. Let d be h(5). Suppose 0 = d*z - 3*r - 13, -z - 2*z + r = -2. Is -2/7 less than z?
False
Suppose 5*l - 4*l + 18 = 5*f, -5*f + 24 = -3*l. Which is smaller: f or 1?
1
Let m(h) = 4*h + 23. Let a be m(-6). Which is smaller: a or 3/49?
a
Suppose -3 - 2 = c. Let x = c + 4. Which is smaller: x or 2/27?
x
Let y = 22 - 22. Let x be 8/10*(-150)/(-1). Let n be 3/(-5) - (-52)/x. Which is smaller: n or y?
n
Let n = -5203853/105 - -49560. Let c = n - -4/7. Is 1 bigger than c?
True
Suppose -2*w = 3*q + 10, 0 = 5*q - w + 6*w + 20. Let z(a) = -3*a - 1. Let c be z(-2). Suppose 0 = 4*j + 2*x + 10, -5*j - 18 = c*x + 7. Which is smaller: q or j?
q
Let f = 5 + -11/2. Are -2 and f equal?
False
Suppose -m + 1 = 3*s - s, 3*s - m + 1 = 0. Let a = 6 - 4. Suppose 3*o - 5 = -a*o. Which is bigger: o or s?
o
Let s = -413 - -596. Let y = 2011/11 - s. Are 4 and y non-equal?
True
Let d(a) = 36*a**2 + 3*a - 2. Let k be d(1). Is 37 < k?
False
Let x = 4.02 - 4. Let m = x + -0.12. Do -4 and m have different values?
True
Let f = -10 - -6. Let n = -1 + f. Which is greater: n or -6?
n
Let p = 1.8 + -2.3. Does p = 0.6?
False
Let x be 0/(-2)*1/2. Suppose 2*a