ose -r = 4*a - 2 + 4, 0 = 5*r + 4*a - 38. Let o be ((-3)/r)/((-15)/(-40)). Is -2 >= o?
False
Let u = 276 - 1965/7. Let s = -641/133 - u. Which is bigger: -1 or s?
s
Let d be 16/6*3/2. Let n = -3 + d. Is n less than -1/5?
False
Suppose z - 4*z + 39 = -3*c, -2*c = 4*z + 2. Which is smaller: -7 or c?
c
Let h = -23.6 - -17. Let u = -1.7 - h. Let s = u + -5. Which is bigger: s or 0.2?
0.2
Let h = 12/11 - 47/33. Which is smaller: 3/7 or h?
h
Let r be 3/(-5) - (-8)/5. Suppose 0*s - 4*h - 7 = -s, -s + h + r = 0. Let o = s - 2. Which is bigger: -4 or o?
o
Let p be 4/10 - (-9)/(-15). Let s = -9/14 - -55/42. Is p greater than or equal to s?
False
Let s be ((-7)/(-3) + -3)*-3. Suppose 2*k + s*k = 0. Suppose 0 = t - 2*i - 9, -5*t + k - 3 = 2*i. Which is bigger: 1/6 or t?
t
Let p = -0.41 - -0.393. Is 1/4 > p?
True
Let r = -8 - -13. Suppose 5*s = r*q + 15, 5*s + q - 7 = 2*q. Is 4/9 equal to s?
False
Let z = -49 - -26. Let b = z - -21.9. Let w = b + 1. Which is smaller: w or -1/4?
-1/4
Let k be 27/15*(-220)/(-12). Is 33 at most k?
True
Suppose -2*b - 3*f - 2*f = -23, 0 = 5*b + f. Let l = -452/9 - -50. Which is smaller: l or b?
b
Let v = -23 + 341/15. Which is smaller: -1 or v?
-1
Let y(x) = x - 12. Let n be y(11). Let b = 0 - 1. Let u be (1 + b/2)*0. Do u and n have the same value?
False
Let i = -0.9 - 14.1. Let s = i + 20. Which is bigger: s or 0.1?
s
Let g be 1/1*(-1 + 1). Suppose u + 5 - 1 = g. Let p = 5 + u. Is 2/13 less than or equal to p?
True
Let b = 2 - 1. Let t = 0 + b. Let h = t - -1. Which is smaller: h or 1/3?
1/3
Suppose 0 = -0*z + 3*z - 12. Let b be (-15)/(-20) + z/(-16). Which is smaller: b or 2?
b
Let t = 32.6 - 33. Is t equal to 1/2?
False
Let h = -0.37 - -0.27. Let s be (12/8)/(2/4). Is h less than or equal to s?
True
Let g = 1.15 + -1.27. Let b = -1.2 + 0.2. Which is greater: b or g?
g
Let b be (4 - 2)/(-3*1). Suppose -3*t = 7*m - 3*m + 26, 3*t = -3*m - 21. Which is bigger: t or b?
b
Let b = 5.8 + 1.2. Let a = -12 + b. Which is bigger: 1 or a?
1
Suppose 4*l + 17 = 13. Which is smaller: -4 or l?
-4
Let z = 14/69 - -3/23. Which is smaller: 6 or z?
z
Let f = -38/3 - -155/12. Are f and 1 nonequal?
True
Let g = -17 + 27. Let y(t) = t**3 - 9*t**2 - 11*t + 8. Let i be y(g). Are -5/7 and i nonequal?
True
Let p = -0.08 - -0.18. Let q = 0.3 + -0.5. Let s = q + p. Is s at most 1?
True
Let s be (-1 + 3 - 0)/(-9). Suppose 0 = -4*w - 4*c - 12, 0 = 2*w - 2*c - 2*c - 18. Which is smaller: w or s?
s
Let b = 85033/7 - 12168. Let u = -20 - b. Which is greater: u or 1?
1
Suppose -h + 19 = -0*h - 4*k, -h = -5*k - 24. Is 2/19 > h?
True
Let z(r) = -r + 3. Let n be z(1). Suppose 18 = -n*s - 8. Which is smaller: s or -14?
-14
Let q(h) = 3*h - 16. Let r be q(10). Let c be (91/r)/(14/(-8)). Is -4 at most c?
True
Let j(v) be the third derivative of -v**6/120 - v**5/60 + v**4/24 - v**3/2 + v**2. Let p be j(0). Which is bigger: 0.2 or p?
0.2
Let w(c) = -c**3 + 5*c**2 + 5. Let b be w(5). Suppose 45 = -b*u - 4*s + s, 2*s - 58 = 4*u. Let a be (3/12)/((-9)/u). Which is smaller: -0.3 or a?
-0.3
Let o = 2 - 2. Let c be (-34)/12 - (-35)/14. Is c >= o?
False
Let c = 6 + -5. Which is greater: c or 4/5?
c
Let t = -7 - -13. Suppose 0 = -m + t*m - 25, 0 = 5*n - m + 10. Which is smaller: n or -3?
-3
Suppose -2*q - v - 17 = -2*v, -4*q = 3*v + 49. Let o(f) = f + 8. Let g be o(q). Let b be ((-1)/(-22))/(g/4). Is 1 < b?
False
Let c = 3 - 9. Let t be (9/(-18))/(2/24). Is c less than or equal to t?
True
Let s = -3 - -3. Suppose s = -3*u + u - 2. Is u at most -3/2?
False
Let y(g) = g + 7. Let d(n) = -n**3 - 8*n**2 - 8*n - 4. Let w be d(-7). Suppose 4*i - w*j = -43, 3*i - 1 = i - 3*j. Let q be y(i). Which is smaller: -2/5 or q?
-2/5
Let j = 23135 - 4210615/182. Let s = 1/26 - j. Is 0 bigger than s?
False
Let i = -4.94 + 5. Let x = -0.05 + i. Let z = x + 0.09. Which is greater: -2 or z?
z
Suppose -2*y = 5*s + 53, s = 5*y - 3*s + 50. Let h be (-4)/14 + (-298)/y. Suppose 3*g + h = -9. Which is smaller: -9 or g?
g
Let q(k) = -k**3 - k**2 + 2*k. Let w be q(-3). Suppose 5*l - w = 2*l. Let x(d) = -d**3 - 6*d**2 - 4*d + 7. Let o be x(-5). Do o and l have the same value?
False
Let j = 3/128 - -2039/384. Which is greater: j or 4?
j
Let m be (0/1)/(0 - -1). Let a = -44161/21308 - -28/761. Let s = -16/7 - a. Which is bigger: m or s?
m
Suppose 2*l - 2 = -0. Suppose w - 24 = 4*w. Let t be 2/(-4) + 4/w. Is l smaller than t?
False
Let v = -58.1 + 58. Is v < 40?
True
Let l be 1 + 1 - 88/36. Is -1 bigger than l?
False
Suppose -2*r - 6 = 6. Let m(t) = 2*t + 3. Let l be m(9). Let z = l + -27. Does r = z?
True
Let o = -1.3 + 6.3. Let f = o - 5.2. Let j = f + 0.1. Is -0.2 less than or equal to j?
True
Let s = 1262/7 - 180. Is -6/13 at most as big as s?
True
Suppose -7*l + k = -5*l - 35, 0 = -4*k - 4. Do 17 and l have the same value?
True
Let t = -0.13 - 5.87. Let f = t + 7. Are 0.1 and f nonequal?
True
Let s = 3 + 0. Suppose 5*m = -5*a + 10, a - 14 = 6*m - s*m. Which is bigger: 4 or a?
a
Let l(c) = c - 3. Let s be l(5). Suppose -s*h + 6*h = 12. Is h smaller than 3/2?
False
Let o be 0*(2 + -5)/9. Let i(l) = -l. Let b be i(o). Is b less than or equal to -2/11?
False
Let y(p) = -4*p + 4*p + 5 - 2*p + 3*p. Let f be y(-6). Which is bigger: f or 2/21?
2/21
Let t(i) = -i**3 - 3*i**2 - 2*i + 2. Let b be t(-2). Let d(o) = -o**3 - 2*o**2. Let a be d(-2). Let f = b + a. Is f at most 2?
True
Let v be 4/16 + (-36)/448. Let z = 5/16 - v. Which is smaller: z or 0?
0
Let u = -1.7 + 4.7. Is 2/9 greater than u?
False
Let r = 13 - 8. Which is smaller: r or 4?
4
Let g = 8.3 + -9.3. Which is bigger: g or 14?
14
Let k = 0.19 - 0.02. Let r = -0.37 + k. Which is greater: r or 0.06?
0.06
Suppose -13*p = -6*p. Which is bigger: 1/13 or p?
1/13
Let v be (3 - (-3 + 8)) + 0. Let s(o) = o**2 - 4*o - 13. Let d be s(6). Which is smaller: v or d?
v
Let p = -4.87 - 0.13. Which is smaller: p or -1?
p
Let z = -4.5 - -3.5. Let o = -5.1 - -1.1. Let d = o - -2. Is z less than d?
False
Let x = -5.9 - 0.1. Let a be 1/12 + (-4)/(-16). Which is smaller: x or a?
x
Let r(u) = -u + 7. Let h be r(-7). Is 15 less than or equal to h?
False
Let a be (-1)/2 + 5/14. Let i(f) = f**3 + 12*f**2 + 12*f + 12. Let s be i(-11). Is s less than a?
False
Let y be (1 - (1 + 0)) + -1. Let m = -3.028 - 0.072. Let u = m + -0.9. Are u and y unequal?
True
Let z(d) = -d**3 + 2*d**2 + d - 2. Let j be z(2). Let o be (0 - j)/(-2) + 0. Is 1 equal to o?
False
Let p = 34 - 33.8. Which is smaller: 25 or p?
p
Let i = 2 + -2. Let w(l) = -2*l + 1. Let g be w(1). Let v = g + i. Is v at most 3/7?
True
Let j = 0.7 + -6.3. Let c = -0.6 - j. Let p = 3 - c. Which is smaller: -1 or p?
p
Let h = -8/111 - -338/3663. Let r = h - -188/495. Is r at most 4/3?
True
Suppose -2*n = -3*n + 1. Let r be (-8 - -7)/(n/(-47)). Let m = r - 187/4. Is m < 3?
True
Let g = 2 + -1. Let y be 4/(-36)*-12*2/88. Which is greater: g or y?
g
Suppose -5 = 5*n - 0, -6 = -2*z + 2*n. Which is smaller: 3/4 or z?
3/4
Suppose -2*a - 8 = -4*o, 0*a + 28 = 3*o + 4*a. Is o <= 9?
True
Suppose 1 = f + 3. Let d be ((-15)/12)/(f/(-8)). Let g = 5 + d. Is g >= 2?
False
Let y be (-91)/105 + 4/6. Suppose -3*c + 39 = -5*q, -8*q + 25 = 5*c - 3*q. Let l(t) = -t + 9. Let p be l(c). Which is smaller: p or y?
y
Let r = -0.3 + -0.7. Let v = -17 + 18.1. Let c = v + r. Is 0.2 greater than c?
True
Let z(q) = q**2 + 6*q + 7. Let y be z(-5). Suppose -l - 4*l - 3*s = -15, y*s - 15 = -5*l. Which is smaller: 4 or l?
l
Suppose 3*n - 71 = 2*y, 4*y + 133 = n + 2*n. Is -31 less than or equal to y?
True
Let h be (-2 - 0) + (-36)/(-14). Let m = -20 + 14. Let f = m + 8. Is h less than f?
True
Let b(f) = f**2 + 6. Let t be b(0). Does t = 6?
True
Let g be (-2 - (-15)/6)*-2. Are -9/4 and g non-equal?
True
Let k(m) = 4*m**3 - 2*m + 1. Let p be k(1). Suppose -2*g = -2*z - 2, -g + 4 = -p*g. Which is smaller: -5 or z?
-5
Let w(p) = -p - 3. Let t be w(0). Suppose 5*r - 13 = 4*a + 13, -2*r + 5*a = -24. Let y be (-24)/9 - r/6. Are t and y unequal?
False
Let b be (8/10)/(8/(-60)). Let t be 1/(3/b) - 0. Let x be (-1 - t) + 0 + 1. Is x equal to 2?
True
Let b be (-3)/6*-2*20. Suppose -5*r + 30 = -5*j, -3*r + b = -0*r - 4*j. Let o be (r/3)/((-8)/4). Which is smaller: 0 or o?
o
Let m = -3 + 2. Let c be 12*(1128/(-45))/(-4). Let b = -75 + c. Which is greater: m or b?
b
Let z 