= -5*r. Let o be 0 + (12/i)/(-3). Let w be (-1)/14*o/(-1). Which is bigger: w or -1?
w
Let r(y) = -y**2 + 1. Let o be r(1). Suppose 6 = -o*v - 3*v - 4*g, -2*v = -2*g - 10. Let b be 2 + (-2)/(-2)*1. Which is smaller: b or v?
v
Let c = -16 - -16.5. Which is smaller: c or 0.1?
0.1
Let j = -12.5 + 13. Let s = 18 + -18.9. Let y = j + s. Which is greater: y or 2/3?
2/3
Let w(o) be the third derivative of o**5/60 + o**4/8 - o**3/6 + 3*o**2. Let i be w(-4). Which is smaller: i or 1?
1
Let y be 2/2 + 2/2. Let f(d) = -d**3 + 5*d**2 - d - 7. Let w be f(5). Let v be ((-6)/(-4))/((-6)/w). Is v <= y?
False
Let f = 98935/2428 + 3/1214. Let s = f - 41. Which is greater: 7 or s?
7
Let t be 33/(-6) + 9/3. Which is greater: t or -4?
t
Let y = -6 - -8. Suppose f + f = y. Let p be f/((-18)/15) - -1. Which is smaller: p or 0?
0
Suppose -54 = 5*b + 6. Is -11 > b?
True
Let r(x) = x**3 + 4*x**2 + 5*x - 4. Let w be r(-6). Let l = -313/3 - w. Suppose 4*c - 4 = -0. Which is greater: l or c?
l
Let p be -4 + 3/(-6) + 22/(-4). Is -10 >= p?
True
Let r(u) = -3*u - 2 - u**2 - 3*u + 5*u + 4. Let y be r(-2). Let d = y + 0. Are 2/5 and d unequal?
True
Let y = -19 - -17. Is y < -5/4?
True
Let h = -6 - -4.4. Let z = -2 - h. Let g = 2.6 - z. Which is greater: g or 0?
g
Suppose 0*r = -3*r + 9. Let i be (-1 - -2*2)/r. Which is smaller: i or 2?
i
Let h be 2 + -4 + -2 + 3. Suppose 5*c - 27 = 2*f, 0*f - c = 3*f - 2. Let x = h - f. Is x bigger than -2?
True
Let a = 20 - 12. Let r(v) = v**2 - 9*v + 7. Let z be r(a). Which is bigger: -3 or z?
z
Let y be 5 - (-1 - 2*-1). Suppose -4*x + 20 = -y*b, x - 2*x = 5*b + 25. Is -5 at least as big as b?
True
Suppose 0 = -14*j + 7 + 7. Is -3 less than or equal to j?
True
Let x be (3 - (3 + 3)) + 210/18. Which is bigger: 10 or x?
10
Let r be ((-8)/(-130))/((-30)/25). Let i be -1 + -7*(-4)/39. Let d = i + r. Which is bigger: d or 0.3?
0.3
Suppose 0*u - 7*u + 2*u = 0. Let a = 63 + -505/8. Which is smaller: u or a?
a
Let n(t) = 53*t**3 + 3*t**2 + 2*t. Let s be n(-1). Which is greater: -2 or s?
-2
Let j = 0.89 + -1.1. Let r = j - -0.14. Which is greater: 0.2 or r?
0.2
Let c be (9/3 - 3)/(-2). Suppose 2*g - 37 = 5. Let t = -64/3 + g. Is t greater than or equal to c?
False
Suppose -3*p + 5*u = -27, 5*u = 2*p - 31 + 8. Suppose 4 = p*g - r + 3*r, -5*r = -20. Let a = -29 - -29. Which is smaller: g or a?
g
Let f be 35 - (-3 - -2)*1. Let k be (-2)/(-15)*f/16. Which is smaller: 0 or k?
0
Let f be 6/(-4) + (-13)/26. Is 2 bigger than f?
True
Let a be -1 - 1*(-3)/4. Let s be ((-2)/4)/(5/350*7). Which is greater: s or a?
a
Let l = -14 + 8. Is 0.3 bigger than l?
True
Let r = 1 - -2. Let f(z) = z**3 - 3*z - 1. Let a be f(-1). Is a at most r?
True
Let x be (2*-1 + 1)/4. Suppose -4 + 3 = -u. Which is smaller: x or u?
x
Let a = -47 + 49. Which is bigger: 5/7 or a?
a
Let m(a) be the second derivative of a**3/6 - 7*a**2/2 - a. Let i be m(8). Is 2 at most as big as i?
False
Suppose 4*b - 2*r + 3 = -b, 0 = -4*b - 2*r + 12. Let h = -0.1 - -0.02. Which is smaller: b or h?
h
Let w(n) = -7*n**2 + 4*n - 7. Let y(f) = 13*f**2 - 7*f + 13. Let z(t) = 11*w(t) + 6*y(t). Let h be z(-2). Is 1 at least as big as h?
True
Let n be (6/4)/((-6)/8). Let z be ((-1)/(-9))/(11/3). Let s = -31/66 - z. Is s < n?
False
Suppose 3*q - 4 = -q. Let y be (-3)/(-2) + (-2)/4. Do q and y have the same value?
True
Let r(l) = l**3 + 6*l**2 + 9*l + 3. Let i be r(-4). Is -1 <= i?
True
Let m be (-1)/(2/(5 - 3)). Let w = 0 - m. Which is smaller: -3 or w?
-3
Let l be (-50)/(-9) - 0/(-1). Let p be 1/(-63)*269 - 1. Let k = p + l. Is k > 1?
False
Let a = 0.05 - 10.05. Let w = -12 - a. Is w greater than 1?
False
Suppose 18 = 2*v - 0. Suppose -3*y - y - 2*t + 52 = 0, y = -4*t + 27. Which is smaller: y or v?
v
Let i = 2 - -3. Suppose 2*x + 4 = -4*b, -5*b + 0 = 5*x - i. Let j be (-2)/12*b*0. Is 1 != j?
True
Let h(u) = u**3 - 2*u**2 - 3*u - 2. Let c be h(3). Let o = 6 + -8. Is o at most as big as c?
True
Let g be 1 + -2 - 47/(-45). Which is smaller: 1 or g?
g
Let h be -3*5/((-150)/4). Let k = 3 + -2.5. Let o = k + 0.5. Which is smaller: o or h?
h
Let j = -1/26 + -37/52. Suppose r = -3*m - 7, -r = -5*m - 4*r - 17. Is m > j?
False
Let z = 8 + -17. Let h(c) = c**3 + 5*c**2 + 5*c - 2. Let o be h(-4). Let k = z - o. Which is greater: k or -2?
-2
Let i = -17 + 10. Let j(n) = -2*n + 2. Let k be j(5). Which is smaller: i or k?
k
Let l be (-5 + 26/6)*(-5 - 1). Is l less than or equal to 2?
False
Let l(u) = 2*u**2 + 6*u + 7. Let z be l(-5). Let j = 79/3 - z. Let s = 218 + -220. Is j at least as big as s?
True
Let s = 27 + -26.6. Which is greater: s or 3/28?
s
Let b be (-1 - 0)*1 - -2. Which is bigger: 2 or b?
2
Let k(w) = w**2 + 4*w - 6. Let t be k(-5). Suppose 1 - 5 = h. Let n = -4 - h. Is t > n?
False
Suppose 0 = 2*h + 2*h. Suppose 0 = -2*o + 2*v - 0*v + 4, h = 3*o - v. Let u = -947/7 - -135. Is o < u?
True
Suppose 4*z - 156 = -4*o, 4*o - 5*o = -3*z - 51. Which is smaller: -1 or o?
-1
Let i be -1 - (0 + -1 - 3). Let f(s) = s**i + 2*s**3 + s + 2*s**2 - s**2 - 2*s. Let h be f(1). Which is bigger: h or 1?
h
Let u be 2/(-4)*3*(-224)/840. Is u at least as big as 3/5?
False
Let x be (-1 + 5 - 4)/(-1). Which is smaller: x or 3/5?
x
Suppose -6*j = -j. Let x be 2*4/(-28) + (-19)/56. Which is smaller: j or x?
x
Let b = -1315/932 - 4/699. Let z = -3/4 - b. Which is greater: 1 or z?
1
Let o(i) = -i**2 + 8*i + 11. Let m be o(9). Let p be (-11)/(-12) - 2/8. Which is greater: m or p?
m
Let f = -4.2 + 1.2. Which is smaller: f or 0.1?
f
Let p = -98.84 + 103. Let d = p - 1.22. Let c = d + 0.06. Which is bigger: c or 2/5?
c
Let y = 32 - 34. Is y at least as big as 0?
False
Let t = -20 + 21.9. Is t > -1?
True
Let y be (-88)/6 + (-3)/9. Let x be (-13)/(-20) - (-6)/y. Is 0 greater than or equal to x?
False
Let i(w) = w**2 + 5*w - 4. Let l be i(-6). Suppose 2 = 4*p - l. Which is bigger: p or 5/9?
p
Let o be 2/10 - (-2660)/(-50). Which is bigger: -51 or o?
-51
Suppose 4*l = -2*o + 12, -2*o + 0*o + 2*l = 6. Let v = o - 0. Is v at least 0?
True
Let m be ((-818)/180)/((-20)/10). Let o = m - 1/45. Is o > 2?
True
Let l be 2 + (2/(-2) - -1). Suppose -v - 9 = -2*c, 2*c = 5*c - 12. Let m = l + v. Which is smaller: m or -2/7?
-2/7
Suppose -4*y = 3*j + 1 - 0, 9 = -3*j. Which is bigger: y or -2/37?
y
Let j be (((-15)/9 + -1)*3)/(-2). Let i(b) = -4*b - 4. Let g be i(-4). Suppose 0 = j*w + g. Is -2 bigger than w?
True
Suppose 7*f - 3*f - 8 = 0. Is 5 not equal to f?
True
Let s = 17.6 - 13. Let q = -5 + s. Let m = q + 0.7. Is 0 at most m?
True
Let k be 6/(-5)*140/(-104). Do k and 2 have the same value?
False
Let v be 0 + 2/2*1. Suppose -2*m = -7*m. Let t = m - v. Is 1/3 bigger than t?
True
Suppose 9*w = 6*w - 3. Which is greater: -10/7 or w?
w
Let c = -2 + 5. Suppose -5*v - 17 - 22 = -4*f, 0 = 4*f - c*v - 33. Let k be (f + -3 + -1)*1. Which is bigger: k or 5?
5
Suppose 2*c + c = 3. Let d = 11 + -15. Let t = -2 - d. Which is smaller: t or c?
c
Suppose -5*d + 0*d + 40 = 4*a, 2*d + a = 13. Suppose 0*r - 4*o = -2*r - 16, 0 = -d*o + 20. Let l be r + -1 + -1 - 1. Which is bigger: l or -2/15?
-2/15
Let p = 0.3 - 16.3. Let s = -16.2 - p. Is -1/19 less than s?
False
Suppose -2*c + 1 = m, 0 = 3*m - 7*m - 2*c + 4. Let u(t) = -4*t**3 + 1. Let l be u(m). Let p be (2 + l + 2)/(-1). Is -3/5 bigger than p?
True
Suppose 6 = -13*o + 19*o. Let i(t) = -2*t + 2. Let c be i(2). Let b be -1 + c + 1 + o. Which is bigger: 1 or b?
1
Suppose m + 20 = 4*t - 16, -2*m + 36 = 4*t. Suppose -11 = -5*r - 1. Let d be r/t - 28/(-36). Which is greater: d or -2/13?
d
Let x = 5.06 - 5. Let f = 1.64 + x. Let k = f - 0.7. Which is smaller: -1/6 or k?
-1/6
Let u(o) = -o**2 - 9*o - 8. Let a be u(-8). Is a < -3?
False
Suppose h - 3*h - 18 = 5*p, 0 = -5*h - 2*p - 45. Let m(o) = -o - 12. Let i be m(h). Which is greater: -1 or i?
-1
Suppose 5*a - 55 = 2*u - 0*u, -a = -5*u - 103. Is u smaller than -21?
False
Let v(c) = -5*c + 5. Let z(l) = -5*l + 6. Let j(i) = -5*v(i) + 4*z(i). Let w be j(1). Is w > 4?
False
Let k = 1.1 - 1.01. Let p = k + -4.09. Let d = p + 4. Do 1 and d have different values?
True
Let p be (4/5)/((-32)/(-80)). Is p greater than or equal to 2?
True
Let k = -0.18 + 1.18. Let b = 0.1 - 0.1. Let j = b - 0.1. Which is smaller: j or k?
j
Let t be (-1)/(-3) + (-87)/(-9). Let n be 14/35 + 43/5. Which 