s o < w?
False
Let r = 1 + -1. Let p be 6/(-4) - (-1)/(-5). Let j = p + 6/5. Is j at most as big as r?
True
Let l(r) = r + 5. Suppose 4*s = -3*t - 16, 7 = -3*s - 3*t - 5. Let n be l(s). Let b be ((-2)/(-10))/(4/(-5)). Is n less than b?
False
Let i = 115 + -465/4. Let g(r) = r**2 + 5*r - 8. Let s be g(-6). Are s and i unequal?
True
Let r be (1/4)/(230/40). Is r greater than or equal to 0?
True
Suppose -o + 8 = 3*o. Suppose -x = o*x. Is -2/7 less than x?
True
Let h = -3006/17 - -177. Is 0 != h?
True
Let f be (-17)/5 - (-12)/(-20). Let w be (-3)/2*f/(-6). Is w != -1?
False
Suppose -t = 3*t - 4. Is 1/5 less than t?
True
Let p(j) = -j - 3*j + 7*j + j**2 + 0*j. Let m be p(-2). Is m > -2?
False
Let d(v) = v**2 + 3*v + 1. Let c be d(-2). Let f = 0 - c. Let y be f + -1*(-3)/(-3). Are 2/5 and y non-equal?
True
Let v be (-1 - 0) + -15 + 0. Let z = v - -14. Is z smaller than -2/3?
True
Suppose 0 = -4*c - g - 22, 5*c - 6 = 3*g - 42. Let h be (-4)/(-6)*c + 14. Which is greater: 11 or h?
11
Let c = -6 - -4. Let y(b) = -b**2 + 4*b - 3. Suppose 5*d + 0*j - 25 = j, -2*d + 13 = -j. Let q be y(d). Which is smaller: c or q?
q
Let p = 35/3 - 169/15. Let x be 10/(-14) - 4/14. Is p not equal to x?
True
Let z(d) = 1. Let i(s) = -s - 3. Let a(t) = -i(t) - 3*z(t). Let q be a(0). Let y be 2 + (-6 - (-3 - 1)). Is q less than y?
False
Let l be (2 - 3)/(3/(-6)). Suppose 0 = -2*h - 4*x - 14, -4*h - 7 - 9 = l*x. Which is bigger: -4 or h?
h
Let i = -19 + 15. Let r = i + 5. Are r and 1 non-equal?
False
Let f be 1*(62 - (-2)/(-1)). Let q = 1693/24 + -79/8. Let w = q - f. Is w less than 1?
True
Let h(w) = 3*w**3 + w**2. Let q be h(1). Are 4 and q non-equal?
False
Suppose -2*w + 0*w + 4 = 0. Which is smaller: w or 1?
1
Let x = 0 + 4. Suppose 0 = -5*h - d + 434, d + 41 - 388 = -x*h. Let b = h - 263/3. Is 0 smaller than b?
False
Suppose -o - 18 = -4*o. Suppose 2*h = o*h + 12. Which is bigger: -0.2 or h?
-0.2
Suppose 2*u = u + 14. Suppose 2*k + 5*j - 11 = 0, -2*k - 5 + u = 3*j. Let w be ((-2)/k)/((-7)/(-3)). Which is smaller: w or -2?
-2
Let y = 538/343 + 1/343. Let i = -13/7 + y. Is 0.2 bigger than i?
True
Let x = 32 - 58. Which is greater: -23 or x?
-23
Let c = 2061/2 - 1091. Let q = 62 + c. Let r be 1 + 1 + (1 - 1). Which is bigger: q or r?
r
Suppose -q + 6 = -7. Let t = q + -7. Is t >= 6?
True
Let a(d) = d**3 - 9*d**2 - 10*d - 10. Let c be a(10). Let l = -8 - c. Is l smaller than 1/3?
False
Suppose 0 = 2*z - 2 + 12. Let l be z/(-10) + (-4)/6. Which is smaller: l or 1?
l
Let d = 2 + 0. Suppose -4*y + 1 = f, 1 = 2*f + d*y - 1. Let n be (-6)/(-15) + 22/(-80). Is f greater than n?
True
Suppose -5*j - 83 = -3*k, -j = -4*k + 15 + 5. Let v = 17 + j. Is v <= 1?
True
Let f = 122 - 1340/11. Suppose -2*w = -7*w + 2*x - 9, -4*x + 9 = -w. Which is bigger: w or f?
f
Let j = 12 + -7. Which is bigger: j or -1?
j
Let u = -3 + 4. Which is smaller: u or 1/6?
1/6
Let k = -1 - -14. Let j = 4 + 4. Let q = k - j. Is q > 5?
False
Let w = 110 - 332/3. Is 0 at least as big as w?
True
Suppose 5*f + 3 = 2*l + l, 4*l = -4*f + 36. Let a be ((-1)/(-3))/((-18)/l). Is a at most 0?
True
Suppose -z = 4*z - 70. Let o be ((-100)/z)/(1*18). Let i = o - -2/7. Which is bigger: 0 or i?
0
Let p(b) = -b - 12. Let y be p(-9). Let n be 3/(y/24*-6). Suppose 0 = -n*x + 4*f - 32, 0 = 4*f + 5 - 13. Is x smaller than -6?
False
Let k be (6 + 50/(-15))*(-3)/2. Which is smaller: k or -2?
k
Let b = -4 - -3. Let q be 57/1116 + 1/(-4). Let f = q + 1/31. Are f and b equal?
False
Let s be 0 - (3 + (-3 - 1)). Let d be 1/2 + s/2. Is -1/8 greater than or equal to d?
False
Let d(t) = -18*t + 3. Let o be d(-3). Let v = -41 + o. Suppose 0*q = -4*g - 4*q + v, -q = -5. Are -2 and g non-equal?
True
Let d = 5 + 1. Let g = 10 - 4. Is d >= g?
True
Let g(z) = -2*z**2 - 7*z - 18. Let l be g(-6). Are -48 and l non-equal?
False
Let y be (3/(-9))/(2/(-12)). Let z = 6 - 8. Which is greater: z or y?
y
Let f be (-3)/(-27)*1*-2. Suppose -5*m = 3*h - 9, -h + 9 = 2*h. Which is smaller: m or f?
f
Let q = -3 - -10. Is 2/9 less than or equal to q?
True
Let w = 9 - 6. Suppose -3*u - 3 = -w*f, u - 5*f - 11 = -28. Suppose -7*x + u*x = -8, 4*o + 3*x - 14 = 0. Is 3 > o?
True
Let q = 12 + -24. Let f(r) = -r**2 - 6*r + 3. Let u be f(-5). Let l = u + q. Is -3 greater than l?
True
Let q be (-3 - -2) + 3 - -2. Is 2 at least as big as q?
False
Let i be (6/8)/((-1)/(-4)). Suppose -u + i*u = 6. Suppose -5*z - u*s = -5*s, -3*s = -15. Which is greater: z or 3?
3
Let l be 5 - -2*9/(-6). Suppose -3 = l*m + 7. Is m smaller than -6?
False
Suppose -3*y = 2*y. Let k be (2 - y)*(-56)/(-16). Is 7 at least k?
True
Let f be ((-1)/(-3))/((-5)/3). Suppose 0 = -5*s + 1 + 4. Which is smaller: f or s?
f
Let q(y) = 2*y**2 - 5*y + 3. Let p be q(3). Let c(x) = -2*x**2 + 9*x - 4. Let s be c(2). Do p and s have the same value?
True
Let o be 1/(3 - (-24)/(-9)). Suppose -3*w - 1 = -w - h, -3*h = 3*w - o. Does 2/17 = w?
False
Let d = 27.028 + -0.028. Let v = -26.8 + d. Which is smaller: v or -0.1?
-0.1
Suppose -3*z = 3*y, -2*y + 4*z + 28 = -z. Are -1 and y non-equal?
True
Let j = -22 + 14. Let m = 7.385 - -0.015. Let n = m + j. Is n < 0?
True
Let f be 1/(6/4 - -1). Let m = 6.19 + -0.19. Let z = 5.6 - m. Which is smaller: z or f?
z
Suppose -2*u - 5*q = -17, 0 = -3*u + 2*q + 2 - 5. Let n(v) = 11*v**2 + v. Let t be n(u). Is 13 less than or equal to t?
False
Let p = 37 - 121. Does p = -84?
True
Let l be ((-353)/(-3) - 6/9)*1. Which is bigger: 118 or l?
118
Let r = 13.6 + -14. Let n = -0.5 + 0.8. Which is smaller: n or r?
r
Suppose 2*y - 7 = -5*o + 3, 5*o = 10. Which is bigger: y or -1?
y
Let u be (-3)/((-63)/(-12)) - 0. Let k be ((-3 + 3)/(-3))/3. Suppose -2*x = -k*x. Which is greater: u or x?
x
Suppose 0 = -g + 7 - 1. Let f = g + -9. Let v be 1*f*8/228. Is 1 greater than v?
True
Let y be 25/(-5) - (-4 + 3). Is -5 equal to y?
False
Let f = 38.7 - 43. Let v = f - -4. Let a = v - -0.4. Is 2/15 equal to a?
False
Suppose -3*z = 2*l - 47 + 261, -l - 2*z = 106. Which is bigger: l or -111?
l
Suppose w + 14 = 11. Let q = -1394/1035 + -24/115. Which is smaller: q or w?
w
Suppose 5*k - 3*c = 3 - 74, 0 = 3*k + 2*c + 35. Is -13 > k?
False
Suppose 2*d - 20 = -3*d. Which is smaller: d or 9/2?
d
Let w be ((-2)/6)/((-11)/(-45)) + 1. Let q(c) = c**2 + 4*c + 3. Let p be q(-2). Which is smaller: w or p?
p
Suppose 0 = -m - 3 + 4. Which is smaller: m or 2/11?
2/11
Let c = -47 - -45. Which is smaller: -17 or c?
-17
Suppose 2*d - 2*m = -4, 4*d + 3*m = 1 - 2. Which is smaller: 2/35 or d?
d
Let v = 3/7 + 61/21. Which is bigger: v or 3?
v
Let s = -106828/3 - -34974. Let y = s + 630. Does y = 1?
False
Suppose 0 = -2*b + 3*q - 6, -q + 8 = -b + 3*q. Suppose b = 5*y - 2 + 7. Which is bigger: y or -2/23?
-2/23
Let w = 11 + -5. Suppose -2*k - w = -k. Let y = 5 + k. Which is bigger: y or 1?
1
Let a be 3*((-8)/(-6) - 1). Is 2/19 less than a?
True
Suppose -3*a + 12 = 0, 0 = 2*k - 5*a + 14 + 8. Let y = 74 - 1181/16. Which is bigger: y or k?
y
Let w be -1 + 35 - (-5 - (-28)/7). Is w greater than 36?
False
Let k be ((-2)/3)/(-1 + 16/12). Are -4 and k nonequal?
True
Let x(q) = -q + 3. Let v be x(0). Suppose t = 3*t + v*w + 9, 0 = w + 3. Let d = 2 - 3. Is d greater than t?
False
Let z = 8/17 + -15/68. Let t = z - -1/12. Let j be 4/(-2)*(-4)/8. Does t = j?
False
Suppose 2*j + 80 = -2*h, -2*h + 3*h + 44 = -2*j. Is -36 greater than or equal to h?
True
Let p(b) = -b**3 - 5*b**2 + 6*b + 2. Let w be p(-6). Suppose -2*r + 0 + w = 0. Are 3 and r non-equal?
True
Let l = -2.1 - -1.6. Is l smaller than -2/5?
True
Let d be 9/(-6)*(-4)/(-9). Let k(n) = -10*n + 52. Let z be k(5). Which is bigger: d or z?
z
Let m be ((-8)/140)/(3/(-21)). Is m < -1/4?
False
Let i be (-108)/26 - (-4)/26. Let c = 7 + -12. Is c >= i?
False
Let w = -457/5 + 92. Let l = -9 + 10. Which is bigger: w or l?
l
Let z(h) = 11*h**2 + 2*h + 1. Let c be z(-1). Suppose -5*u = -3*u - c. Is u at most as big as 1?
False
Let t be (1/3)/(1/(-97)). Suppose -3*l = -0*l - a - 98, 2 = 2*a. Let u = t + l. Which is greater: u or 2?
2
Suppose 2*s + g = 1 + 3, 0 = -s + 5*g + 13. Let q = 6 - 4. Let y = q - s. Is y < -1?
False
Let l = 52 + -52.4. Which is bigger: -4 or l?
l
Let d(w) = -4*w + 2. Let g(h) = 5*h - 5. Let f(a) = 2*a - 2. Let y(l) = -7*f(l) + 3*g(l). Let c(t) = d(t) + 5*y(t). Let q be c(5