n or equal to s?
False
Let x be (-576)/(-40)*70/(-2). Let a = x + 5548/11. Is a at least as big as 1?
False
Let j(r) = -4*r - 1. Let x be j(1). Let k = x - -7. Suppose -m - k*m - 3 = 0. Are m and -3 non-equal?
True
Suppose 11*y - 60 = 13*y. Is y bigger than -32?
True
Suppose 0 = -3*u + 20 - 5. Let y be -3 + u + -3*1. Is y at least -1/4?
False
Let s be (-28)/(-33) - 2/3. Let b = -4.59 + 0.69. Let m = b - -4. Are m and s unequal?
True
Let v be ((-9)/6)/(-3)*14. Let j(n) = -n + 9. Let l be j(v). Suppose 4*b + g = -8, 2*g - 4*g = b + l. Which is smaller: 0 or b?
b
Let v = 20 + -15. Do 2 and v have the same value?
False
Let w = -1236/875 + -2/125. Which is bigger: -1 or w?
-1
Let m = 16 - 22. Let f be (1 + 2)*(-14)/6. Which is smaller: m or f?
f
Let y = 115 + -116. Is -3/4 greater than y?
True
Let x be 0 + 21/9 - 0. Let n = x + -23/6. Suppose -4*u + 5*o + 6 - 38 = 0, 2*o = -2*u + 2. Is u at least as big as n?
False
Suppose -3 = -c + 2. Suppose -5*r + 10*r + c = 0. Is r > -1/3?
False
Let n be (-3)/5 + (-233)/(-5). Let t = n + -32. Which is smaller: 13 or t?
13
Let a be (18/(-213))/(-3) + 0. Is -1 < a?
True
Suppose 0 = x + y - 3, 2*y - 9 = -4*x - y. Suppose -6 = 3*l - x*l. Are l and -2/7 non-equal?
True
Let k = -125/4 - -31. Is k at most as big as 1?
True
Let i = -48 - -54. Is i > 21/4?
True
Suppose l - 5 = -2*b, 0 = 4*b - 3*b. Suppose 0 = -l*y - 3 - 2. Which is greater: y or 2/43?
2/43
Suppose 3*t + 4 = 5*t + 5*o, 0 = 2*t - o - 16. Let m be t/(-2) - -4 - -1. Is m <= 1?
False
Let x = 2072/9 + -230. Let n = 7 + -6. Which is smaller: x or n?
x
Let g = 27 + -10. Let r = g - 10. Is r less than 7?
False
Let k be ((-64)/3)/(1/3). Let s be k/30 - (-1 + -1). Suppose -4*d = -2*d - 2. Is d equal to s?
False
Let j = 39/8 + -297/56. Which is greater: j or -1?
j
Suppose -f = 1 - 0. Let b = -9 - -33. Let k be (-2)/b - 1/4. Do f and k have the same value?
False
Let k = -27 + -6. Is k less than -1?
True
Let n(o) = -o**2 + 2*o - 3. Let h be n(2). Is -13/3 < h?
True
Let k = -9 - -11. Suppose 7 + 3 = 2*f, -c + f = 4. Does k = c?
False
Let t be 2/16 + (2 - 2). Let s be 0/(-4)*((-15)/6)/(-5). Which is smaller: s or t?
s
Suppose 0 = 5*i - 3*h, 2*i = -0*i - 3*h. Let o(c) = c**3 + 5*c**2 + c + 5. Suppose 7*l + 15 = 4*l. Let s be o(l). Are s and i equal?
True
Let d = 0.1 + 0. Let w(u) = -u**2 + 6*u + 8. Let t be w(7). Let b be 3*t*3/(-3). Which is greater: b or d?
d
Let s = -23/36 - -8/9. Let f(o) be the first derivative of -o**3/3 + 5*o**2/2 - 2. Let j be f(5). Which is smaller: s or j?
j
Let g = 6 + -11. Let j = g + 6. Which is smaller: 2/15 or j?
2/15
Let s(q) = -q**2 - q. Suppose 0*f = -5*f. Let t be s(f). Which is smaller: -2/5 or t?
-2/5
Suppose -64 = -0*r - 4*r. Let p = r + -13. Is p at least 2?
True
Suppose b - 6 = -b. Suppose 2*u - 3 = 5*w + 3, 3*w = -b*u + 9. Which is smaller: w or -1/2?
-1/2
Let n(u) = 25*u**2 + u - 1. Let j be n(1). Suppose 0 = -3*q - 1 + j. Let v be q + -3 + 3 + -2. Are 6 and v equal?
True
Let m = -106 + 952/9. Is m >= 1?
False
Let y be (1/2 - 0) + (-351)/(-26). Which is greater: 27/2 or y?
y
Suppose 2*o + 20 = -2*o. Which is smaller: o or -6?
-6
Let z be (1*3 - -1)/1. Suppose -36 + 12 = 4*v. Let a be 2/z + v/20. Is -1 smaller than a?
True
Let f be 2 + -6 - 161/7. Which is smaller: -26 or f?
f
Let n(h) = -h**3 - 7*h**2. Let p(l) be the third derivative of -l**5/30 + l**4/24 - l**3/6 - l**2. Let c be p(2). Let u be n(c). Is u smaller than -1/4?
False
Let v = 0.9 - -4.1. Let d = v - 5. Is d at least -4?
True
Suppose 0 = -0*k + k + i + 10, -3*k - 5*i = 24. Let y = k + 22. Which is bigger: 7 or y?
y
Suppose -5*g + 5*a + 22 = a, -12 = 4*a. Is 10/3 != g?
True
Let g = 71 - 77. Which is smaller: g or -1/3?
g
Suppose -5*d = 11 + 4. Which is smaller: -2/3 or d?
d
Let g be 8/(-4) - 1*-6. Let i = g - 4. Which is bigger: 2/13 or i?
2/13
Let y = -32 - -32. Does y = -2/9?
False
Let t = 29 - 16. Let u = -13 + t. Which is greater: -7 or u?
u
Let n be (2 - -1)*4/(-6). Which is smaller: n or 2/9?
n
Suppose 2*l - 2*g = -8, 4*l + 3*g = -g - 8. Let p = -1 - 1. Which is smaller: p or l?
l
Suppose 0 = 4*w - 2*g + 18 - 2, -3*w + g - 10 = 0. Let v be ((-5)/w)/(3/(-6)). Is -6 greater than or equal to v?
False
Let o(z) = -z**2 + 14*z + 3. Let i(c) = -3*c - 4. Let x be i(-6). Let t be o(x). Is 3 <= t?
True
Suppose 5*n + 9 = 24. Is 1 greater than n?
False
Let g = 4.23 - 0.23. Is -2 > g?
False
Let t = -19 + 13.9. Let u = t + 5. Do u and -3 have the same value?
False
Let o(z) = -2*z - 16. Let p be o(-8). Let v(r) = r**2 - r + 5. Let i be v(0). Let x be i/((1 - -7)/(-2)). Are x and p equal?
False
Let s(f) = 4*f - 4. Let h be s(2). Let k = h + -3. Does k = -2/19?
False
Let o be (3 + -2)/((-6)/6). Is -4/9 at least as big as o?
True
Let c be 0*(-4)/12*3. Which is smaller: 1/6 or c?
c
Let s be 363/6 + 3/(-6). Suppose 0 = 4*v - s - 416. Let h = v + -835/7. Is -1 > h?
False
Suppose -2*n - 4 + 6 = 0. Suppose 2*c - 4*d = -0*d + 20, 0 = 4*c - 4*d - 20. Let f = n + c. Are 2/9 and f nonequal?
True
Let c be (0/(8/4))/3. Suppose a + a - 10 = 0. Is a less than or equal to c?
False
Let l(v) = -v**2 - 7*v - 5. Let d be l(-4). Let a = d + -5. Is a at most 2?
True
Let b be (10/(-4))/(2/(-4)). Let x(d) = d**2 - 4*d - 6. Let l be x(b). Let r be ((-2)/(-2))/(2/(-6)). Which is smaller: r or l?
r
Suppose 3 = -7*f - 11. Is f at most -1?
True
Let c = 8 - 11. Suppose 4 = -4*m - 5*a, -m - 1 = 2*a - 0. Let i be 3*((-5)/c + m). Is i at least -1?
True
Let x = 3 + -2.7. Let f = 0.3 - x. Let p = f + 3. Is p >= 1?
True
Let m = 2174/15 - 145. Suppose 4*v - 1 + 4 = 3*t, -5*t - v = 18. Let l be (-5)/t + 10/(-15). Which is bigger: m or l?
l
Let x = 0.1 - -3.9. Let b = -6 + x. Which is smaller: b or 1?
b
Suppose 0 = s - 7 - 5. Let a = -13 + s. Which is smaller: a or -5/8?
a
Let f be -3 - 1 - (-1052)/262. Do f and 0 have different values?
True
Let o be -7 + 20/(6 - 1). Which is smaller: -2 or o?
o
Let g be (-2)/8*((-305)/(-80) + -4). Which is smaller: 0 or g?
0
Let o = 97 - 971/10. Which is bigger: 1 or o?
1
Let g = 6 - 8. Let c = 0.15 + 0.05. Which is bigger: c or g?
c
Let g be -2 + 1 + (-11)/(-22). Suppose 2*o - v = 8 + 2, 2*o + 2*v = 10. Let r = 3 - o. Is r less than g?
True
Let d be (-80)/14 + 4/(-14). Let g be ((-4)/d)/(4/(-6)). Let t be g - 2/((-22)/13). Which is smaller: t or -1?
-1
Let l(i) = -i - 3. Let f be l(-6). Let r be -4 + (2 - 5) + f. Let w be (-3 - 1)*2/r. Which is bigger: w or 3?
3
Let i = -1 - -2. Let p = -385 + 217. Let c = p + 1514/9. Is c at least i?
False
Let c be 4/15*(-15320)/12. Let j = c + 340. Which is smaller: 1 or j?
j
Suppose 11 = 3*y + 3*n + 2*n, -5*y + 9 = -n. Let p(s) = s**3 + 8*s**2 + 7*s + 3. Let o be p(-7). Is y greater than o?
False
Let b = 6 + -6.1. Let v = b - 0. Is 5 equal to v?
False
Let p(v) be the second derivative of v**5/10 - v**2/2 + 2*v. Let u(y) = y + 9. Let x be u(-8). Let s be p(x). Which is bigger: s or -2/9?
s
Let l = 2/1397 - 90973/117348. Let b = -4453/42 - -106. Let g = l - b. Which is smaller: g or 0?
g
Suppose i = -i + a, 0 = -4*i - 3*a + 20. Suppose -i = -3*g - 5*t - 15, -g = -t - 1. Do g and -7/4 have different values?
True
Suppose 0*l + 3*l = 0. Let i be 6/39 + (-8)/52. Is l smaller than i?
False
Let j(h) = 5*h**2 - 25*h + 6. Let a be j(7). Is a at most as big as 76?
True
Suppose -4*m = 49 + 107. Let x be ((-4)/(-66))/((-26)/m). Which is greater: 3 or x?
3
Suppose 0*q + 2*q + 3 = 3*k, -q - k = -1. Suppose -4*i + 2 = -6*i, q = -2*g + 5*i + 3. Let j = 0 + -2. Which is bigger: j or g?
g
Let s be ((-11)/2)/(14/(-28)). Which is smaller: s or 10?
10
Let k = -525/13 - -41. Is k smaller than 2?
True
Let l = -15 + 26. Let m = -73 + 67. Let t = l + m. Is -0.1 smaller than t?
True
Let x = -95 + 2184/23. Is x less than or equal to -1?
False
Let r = 9 - 11. Is 0.1 bigger than r?
True
Suppose 21 = -4*g - 15. Does g = -44/5?
False
Suppose 3*x - 2*n - 9 = 0, 2*x + n = 4*n + 11. Suppose 2*w + 3*m = 4*m + 154, -5*m = 2*w - 142. Let l be (-6)/(-27) + w/(-18). Is x less than or equal to l?
False
Let a(h) = -h**3 + 2*h**2 + 3*h + 7. Let y be a(3). Let b = 8 - 3. Suppose -2 + y = b*d. Is d >= 1?
True
Let c = -5 - -9. Which is bigger: c or 3?
c
Let m = 25 + -24.8. Let i = 34 + -236/7. Is i at least m?
True
Let u = 10077/31 + -325. Let d = u + 21/155. Which is greater: -0.1 