 + -751/7. Which is bigger: a or s?
a
Let n = 2/5 + -4/35. Is n greater than or equal to 7?
False
Let t = -4 + 1. Let y be 5/(15/(-4))*t. Let b be -2*2*(-1)/y. Is b < 0?
False
Let m = -4383 - -74551/17. Let k = -1/51 + m. Let r = -2 + k. Is r not equal to -1?
True
Let i be 5/(-6)*24/(-30). Which is smaller: i or -5?
-5
Let z = 9.1 + -9. Is z at least 0.19?
False
Let m be (-2)/(-3) - 5/3. Let o be (1 - (-57)/(-66))*2. Which is bigger: o or m?
o
Let k be (-21)/(-14)*8/6. Let b(h) = -h**3 - 2*h**2 + 3*h + 4. Let u be b(-3). Suppose -k*d + u = 4*v + 2, d = -v + 1. Is v <= 2/7?
True
Suppose -5*u = 4*q - 33, -q + 28 = 4*u + 3*q. Suppose -4*p + u = p. Is p at least as big as 1/6?
True
Let g = 6 - 10. Let o be ((-4)/6)/(14/42). Let l = g - o. Is 0 at least as big as l?
True
Let w be (-3 - 1) + (-58)/28*-2. Let y(m) = m**3 + m**2 - 2. Let v be y(0). Let c(a) = 2*a + 3. Let d be c(v). Which is smaller: d or w?
d
Suppose -3*v = f - 5*f - 1, -4*f = -4*v. Let l = -2526 - -7447/3. Let n = 44 + l. Are f and n non-equal?
True
Let n = 1.08 - 1.18. Is -0.1 > n?
False
Let z be -36 - ((0 - 1) + 1). Let n be -1*(3 - z/(-14)). Which is bigger: 0 or n?
0
Let i be (-3)/215*(-56)/6. Let v = i + 3/43. Let j = 0.1 - 1.1. Is j < v?
True
Let r(f) = 2*f - 3. Let p be r(2). Let k(c) = c**2 + c - 10. Let n be k(-5). Let w be 31/(-105) + n/(-75). Which is smaller: w or p?
w
Let a be 1/(-3) + 25/60. Which is smaller: 0 or a?
0
Suppose 7*l - 17*l + 10 = 0. Do l and -2 have different values?
True
Let r be (-2)/7*(-7)/1. Let x be 1 - (-1 + 2/r). Which is greater: -2/9 or x?
x
Let a be 2 - (0 - -1)/(-1). Suppose -4*u + 3*u + a = 0. Is 3 > u?
False
Let x = 8 - 8. Suppose 4*j - 2*k = -4, 2*j - 3*k + 1 + 9 = 0. Let f be ((3 - j)/6)/(-1). Which is smaller: f or x?
f
Let s = -2.5 - -2.1. Is 0.8 <= s?
False
Let x = 41 - 41. Are x and 0 equal?
True
Let x be -1*((-3)/18)/(-1). Is x at most 0?
True
Let f(a) = a**2 + 11*a + 7. Let h = -6 + -4. Let i be f(h). Does 2/7 = i?
False
Let y(g) be the third derivative of -g**5/60 + 5*g**4/12 + 3*g**3/2 + g**2. Let l be y(11). Is -0.2 at most as big as l?
False
Let n = -2.6 + 2.2. Do n and -0.4 have the same value?
True
Let y = 1.11 - -0.09. Let m = 0.2 - y. Let k = m - 0. Are 5 and k non-equal?
True
Let k be ((-2)/6)/(9/(-48)*-4). Is 1 smaller than k?
False
Suppose -9*m + 19 + 8 = 0. Which is greater: 13/5 or m?
m
Let i be (3/24*4)/(-1). Which is smaller: i or 4/5?
i
Let k = -1 + -2. Let q be k*(-12)/(-9) - -3. Let h be (3/24)/((-2)/(-4)). Is q greater than or equal to h?
False
Let a = -27/76 + 2/19. Let m(q) = q**3 + 6*q**2 - 6*q + 9. Let l be m(-7). Let g be (0 - 1) + (l - 1). Is g greater than or equal to a?
True
Let u = 3.1 - 3. Let r = 0.04 + -0.44. Let m = -2.4 - r. Which is smaller: m or u?
m
Suppose 0*p = -5*b + p - 9, -4*p = -2*b - 18. Let y be (-2 - -10) + b + 0. Is y not equal to 6?
True
Let f(v) = -v**3 - 6*v**2 - v - 3. Let i be f(-6). Suppose -i*s - 11 + 2 = 0. Let m(b) = 4*b. Let p be m(-1). Is p less than or equal to s?
True
Let p = 7 - 7.3. Let y = -0.3 - p. Let w = 1.2 - 0.2. Is y greater than or equal to w?
False
Let x = -2.58 + -0.22. Let m = 0.2 - x. Let q = -5 + m. Is -0.1 greater than or equal to q?
True
Let n(x) = 2*x + 13. Let j be n(-4). Is j not equal to 5?
False
Let k = 97/5 + -18. Is 2 smaller than k?
False
Let t = -2 - -3. Let g = 19 + -21. Let a = g - t. Which is smaller: a or 1/4?
a
Let n = 1 + 0. Suppose -3*r + n = -2. Suppose 7*y + 10 = 2*y. Is y bigger than r?
False
Suppose 0 = 3*f - 2*f. Suppose 4*s - w + 12 = f, 6*w - w = 5*s. Let l be (-15)/6*(-1)/(-1). Which is smaller: s or l?
s
Let g = 112 - 70. Which is smaller: -1 or g?
-1
Let d be (0/(-1))/(-7 + 8). Let b = 2 + d. Which is greater: 3 or b?
3
Let a = -4.85 - 0.15. Is a <= 0?
True
Let a = 2688 + -32173/12. Let b = a + -27/4. Which is greater: b or -2/13?
b
Let m(y) = -y**3 - 3*y**2 - 2*y + 4. Let i be m(-3). Let d be ((-5)/i)/((-1)/6). Is 4 less than or equal to d?
False
Let k = 12/7 + -65/42. Is 0 >= k?
False
Let p = 35 - 20. Which is smaller: 0.1 or p?
0.1
Let d = -132 + 207. Is d bigger than 74?
True
Let z be (-44)/(-12) - 1/(-3). Is z >= -1?
True
Let q = 625/6 + -104. Which is bigger: -5 or q?
q
Let d(i) = i**3 + 6*i**2 - 2*i - 3. Let y be d(-6). Let s = -4 + y. Suppose -s*j = 5*g - 10, 4*j + 3 = -3*g + 7. Which is smaller: g or 1?
1
Let c be 4/(-16) + (-106)/(-8). Let d be -1*(c + (-5 - -3)). Does d = -10?
False
Let w be 0 + 56/(-20) + 2. Is 0.5 at most w?
False
Let w = 4 - 7. Let h(j) = j + 1. Let g be h(w). Let s be (g - -8) + -3*1. Is 3 at least as big as s?
True
Let y = -15 + 103/7. Suppose 2*c = 3*v - 4*v - 1, 0 = -2*c + 5*v + 5. Are c and y non-equal?
True
Let i(j) = 3*j**3 - 7*j**2 + 4*j + 4. Let h(c) = -8*c**3 + 20*c**2 - 11*c - 12. Let f(b) = 4*h(b) + 11*i(b). Let k be f(-3). Is -4 less than or equal to k?
True
Let s be -1 + (1/(-3))/((-1)/3). Let a be 0 - (-3 - 16/(-6)). Is a less than or equal to s?
False
Let a be (-42)/28*4/6. Is a at least as big as -3/14?
False
Let o = 69/4 + -17. Let t = 313/7 + -45. Which is bigger: t or o?
o
Let w be ((1 - 2)*1)/1. Is -2/15 at least as big as w?
True
Suppose -i + 3*i + 4 = 0. Let z(t) = -16*t**3 - 2*t**2 + 1. Let r be z(-1). Let w be (-9)/6*20/r. Is w less than i?
False
Let x = -405 + 2822/7. Let y = x + 79/35. Suppose 0 = -5*w - 3 - 2. Is w > y?
False
Let d(u) = -4*u - 3. Let l be d(-2). Suppose -4*s + 43 + 25 = 0. Let b = -12 + s. Do l and b have different values?
False
Let q = -0.062 + 8.862. Let p = -9 + q. Is 1 != p?
True
Suppose 0*m - 32 = -2*m + 5*v, 2*m - v - 16 = 0. Are 2 and m equal?
False
Let x be (4/(-3) + 1)/(5/(-4)). Are x and 0 non-equal?
True
Let a = -0.43 - -0.33. Which is greater: a or -2?
a
Let l = 28 - 37. Is -7 less than l?
False
Let t = -28 + 60. Suppose h + t = 5*h. Suppose -g + 8 = 2*f - 5*g, h = f - 3*g. Which is smaller: f or -3?
f
Let h = -152 - -611/4. Is 0.6 equal to h?
False
Let f = 2 - 1. Let t = 6 - f. Let b = -4.6 + t. Which is smaller: b or -1?
-1
Let a(c) = -c. Let d be a(-2). Suppose -b + 7 = d*i, 4 = 5*i - 6. Suppose 0 = -2*j + 4*j. Are j and b nonequal?
True
Let r = 88 + -87. Is r <= -2?
False
Let g = 382249/9 - 42519. Let f = 47 + g. Which is bigger: 1 or f?
1
Let t = -0.2 - 0.8. Is t at most -4?
False
Let o = 18 - -4. Suppose -5*d + 0*b = 5*b + 30, o = -3*d - 5*b. Is d smaller than -4?
False
Let r be 20/(-6)*2/(-15). Is 0 < r?
True
Let b = -6 + -44. Which is greater: b or -49?
-49
Let a = 5 - 2. Suppose -a*p = p. Let k be -1*(3/6 - p). Is -2 < k?
True
Let f = 21 - 15. Is -0.1 < f?
True
Let k = 2075 - 95425/46. Let q = k - 1/23. Is q at most 1?
True
Suppose 2*y + 2*y + 32 = 0. Let w be (-3)/77 - y/44. Which is greater: w or 1?
1
Let z(o) = -o**2 - 4*o - 2. Suppose 2*v = -5*d + 7*v - 40, d + 5*v = 10. Let y be z(d). Which is bigger: -3 or y?
-3
Suppose 4*u - 2 = 6*u. Are -4/7 and u non-equal?
True
Let y = -2.3 - -1.3. Which is greater: y or -0.17?
-0.17
Let y be ((-4)/8)/((-1)/(-8)). Let b(w) = -w**3 + w + 1. Let r be b(0). Which is smaller: r or y?
y
Let h = 36 + -35.81. Let l = h + -0.24. Which is smaller: -0.1 or l?
-0.1
Let n be (-160)/(-25) + 4/(-10). Suppose q - n = -2*q. Let j be (-1 - 3/6)*q. Which is smaller: j or 0.1?
j
Let t = -1.25 + 1.05. Let b = 2 - 0.9. Let s = 0.1 - b. Are s and t equal?
False
Let a be (-2)/(-3) - 305/(-15). Is 39/2 at least as big as a?
False
Let y be 3 + 3/(-6)*0. Suppose 5*h = 5*j + 10, 4*j + y + 2 = 3*h. Suppose 3*k - h = -0*k. Is 2/11 smaller than k?
True
Let t be 0/(0 - (1 + -2)). Suppose t = m + 3*m + 4. Let l = -3 + 2. Is l less than m?
False
Let u = -0.06 - -0.1. Let t = u + 0. Let f = -0.06 - t. Is -1/3 > f?
False
Let u(p) = -2*p + 22. Let r be u(9). Is r <= 5?
True
Let v = -30 - -31. Is -4/35 > v?
False
Let s(u) = -u**3 + 7*u**2 + u + 4. Let q be s(7). Which is smaller: q or 10?
10
Suppose -5*b = 4 + 1. Which is smaller: b or 1/12?
b
Let c = -6/119 + 619/476. Which is greater: c or 1?
c
Let v = 15.5 - 15. Which is smaller: v or -3?
-3
Let l = 39 - 38.8. Which is greater: l or 1?
1
Let l be (-6 - 0)*((-77)/(-21))/11. Let g be (-8)/5 - 2/10. Is l less than or equal to g?
True
Let b = -3.08 - -0.08. Let o = 30.9 - 31. Which is smaller: b or o?
b
Suppose 9 - 15 = -3*s. Is s >= 3/4?
True
Let a be 1725/(-56)*2/(-3). Let d 