= 70 + o. Is -1 smaller than l?
True
Let h = 40 - 24. Is 17 bigger than h?
True
Let y = -1.5 - -9.5. Let g = y + -6. Which is greater: -0.2 or g?
g
Let p(x) be the second derivative of -x**5/20 + x**4/3 + x**3/6 + 3*x**2/2 + 4*x. Let m be p(5). Is -16 < m?
False
Let d(x) be the first derivative of -x**3/3 + 3*x**2/2 - x - 1. Let b = 1 + 2. Let v be d(b). Is v > 0?
False
Let j(t) = -6*t - 6 + 9*t - 4*t + 3*t. Let k = 9 - 2. Let s be j(k). Which is smaller: s or 9?
s
Suppose 5 = -5*c - p, -10 = -5*c - 5*p + p. Let k be (c + 4 - 1)*-1. Let s be (-8)/32 + k/(-4). Which is smaller: 0.3 or s?
s
Suppose -3*d - 15 = 0, -2*k + k + 5*d + 25 = 0. Let w = 3 - 1. Let n = w + k. Are n and 0 nonequal?
True
Let x be 1*(0 + 1)*-2. Which is bigger: -16/7 or x?
x
Suppose -2*f + w - 12 = 1, 3*w + 6 = -3*f. Is -6 smaller than f?
True
Let x be 0/(4/((-2)/(-1))). Suppose -4*i + 3*i + 1 = x. Let m = 11 - 9. Which is smaller: m or i?
i
Let o be -4 + 8*2/4. Are o and -5/7 nonequal?
True
Let c = -1 - 2. Let a = -4 - -6. Suppose -a*k = k + 12. Which is bigger: c or k?
c
Let g = -3538/2405 + 64/65. Let w = -369/74 - g. Let j = -51/10 - w. Are j and -2 equal?
False
Suppose -12 = -7*a + 2. Which is greater: a or 3/2?
a
Let z(a) = a**2 - 14*a + 19. Let v be z(13). Suppose 3*c - 2*r = 9 + 11, -2*c + 12 = -2*r. Is c greater than v?
True
Let r = 45 + -403/9. Suppose 5*f + 5 = 4*n, -f + 2*f = 2*n - 1. Which is smaller: r or f?
f
Let d be (-78)/9 - (-1)/(-3). Let f = -8 - d. Is f less than 1?
False
Suppose v = d + 3*v, -d = -v - 9. Let l be (-1)/3 + (-4)/(-4). Which is smaller: d or l?
l
Suppose x - 10 = 6*x. Suppose 0 = -2*a - 2*a - 16. Let k be 0 - (x/a - 1). Which is smaller: -2 or k?
-2
Let j = 2 + -1. Let f = 4 - 17. Let y be (-3)/f*(-4)/6. Is j at most as big as y?
False
Let p be 2/6 + (-26)/15. Let i be ((-2)/(-8))/((-1)/4). Are p and i nonequal?
True
Let i = 245565859/1341 - 183121. Let u = i - -4985059/22797. Let c = u + -219. Is c <= 1?
True
Let x(g) = -g**2 + 9*g - 1. Let k be x(4). Let c = -9 + k. Suppose a = 6*z - 3*z - 5, -z = -2*a - c. Which is bigger: -4 or a?
-4
Let s(f) = 2*f. Let h be s(3). Does h = -1/3?
False
Let y(h) = h + 1. Let i be y(-3). Let m be (6/(-45))/(2/12). Which is smaller: m or i?
i
Suppose 11 - 1 = 5*p. Let g be p/4*(-1 - 3). Which is smaller: -3 or g?
-3
Let g(i) be the third derivative of i**5/60 - i**4/8 - i**3/2 - i**2. Let j be g(4). Let y = j - -1. Is y at least 2?
True
Suppose -2*i = -a - 8 - 19, 5*a = -i + 41. Suppose -i*c + 44 = -12*c. Is c greater than or equal to 2?
True
Suppose 9 = -3*f, 2*u + 12 = 5*u - 5*f. Which is smaller: 2/11 or u?
u
Let g(t) = t + 6. Let z be g(-6). Let h = -19 + 21. Which is smaller: h or z?
z
Let n = 7 - 9. Do -1 and n have the same value?
False
Let q = -198 + 197. Let m = 191/15 + -40/3. Which is greater: q or m?
m
Let p(i) = i + 28. Let x be p(-14). Is 15 > x?
True
Let t = 722 - 22380/31. Are t and -1 unequal?
True
Let m be ((-7)/3)/(5/15). Let f be ((-1)/(-2))/(1/(-6)). Let v be (f/(-12))/(m/(-8)). Is v >= -1?
True
Let l(c) = c + 7. Let v be l(-8). Which is bigger: -6/7 or v?
-6/7
Let p = 9 + -8. Is p bigger than 1/2?
True
Let d = 25 + -51/2. Is d less than or equal to -7?
False
Let o(d) = -d**2 + 3*d. Let t be o(0). Suppose 0 = -5*u - 5*c - 5, 0 = 4*c - 0*c + 4. Let r = t - u. Which is smaller: 2/23 or r?
r
Let p = -11.6933 + 0.0833. Let i = p + 13.6. Let d = i - 2. Is -1 less than d?
True
Suppose -5*v - 10 = 0, -2*n + 2*v + v = -18. Which is bigger: n or 5?
n
Let s(h) = -h**2. Let n be s(2). Let k(c) be the third derivative of -c**6/120 - c**5/15 + c**4/24 + c**3/6 + 2*c**2. Let r be k(n). Is -3 > r?
False
Let s = -54 + 111. Is 57 equal to s?
True
Let j = 29/350 - -3/50. Are j and 1 non-equal?
True
Let z = -50 + 49. Suppose -3*h - 3 = 0, 2*q - h + 3 = 3*q. Which is bigger: z or q?
q
Let w = 118 - 1651/14. Do 0 and w have different values?
True
Let l = 10.3 - 10. Suppose 0 = f + 4*f - 5. Let d be 0/(f + -2) - -1. Is d bigger than l?
True
Let d = 1164369/55 + -21172. Let o = d + 16/11. Which is greater: o or -3?
o
Let w = 46 - 38. Is w greater than 0.2?
True
Let r = -5785/3 + 1902. Let y be (272/(-70))/((-9)/(-60)). Let h = r - y. Is h >= 1?
False
Let f = 34 + -48. Which is smaller: f or -4/7?
f
Let j(b) = -398*b - 1. Let p be j(-1). Suppose i + 3*x = -83, 2*x = 5*i - x + p. Let w be i/35 - -2*1. Does 1 = w?
False
Suppose 23 = 6*g + 5. Are 2 and g unequal?
True
Let j = -13 + 14. Which is bigger: 1/2 or j?
j
Suppose -3*j - r - 14 = 0, -3*j = -2*r + r + 16. Let b = -5 - j. Are b and 0 nonequal?
False
Let x be ((-1)/(-4))/(0 - -1). Let p(v) = -v**3 + 11*v**2 - 2*v + 22. Let j be p(11). Is x < j?
False
Let f = -19 - -25. Let l(a) be the third derivative of -a**5/60 + a**4/4 + a**3/3 - a**2. Let z be l(f). Is 2 smaller than z?
False
Let q = -42 + 68. Which is greater: 25 or q?
q
Suppose -s + 326 = -0*s. Let m be (s/4)/(4 + -3). Let p = 84 - m. Are 3 and p non-equal?
True
Let r(k) = -k**2 + 3*k + 1. Let g be r(4). Let x(w) = w**2 + 5*w - 2. Let t be x(-5). Let j = g - t. Which is bigger: 1/3 or j?
1/3
Let u = 2 + -2.2. Suppose 1 + 5 = 2*q. Let o be q/2 - (-25)/(-14). Are o and u non-equal?
True
Let o = 901/8 + -113. Which is smaller: 0 or o?
o
Let x = 0.71 - 0.11. Let p = 0.58 - -0.02. Let v = x - p. Is -1/3 smaller than v?
True
Suppose 2*z - 2 = z. Let y = -0.05 - -0.85. Let x = 0.8 - y. Does x = z?
False
Let u = 139 + -73. Let l = -58.2 + u. Let r = -8 + l. Is r <= 2?
True
Suppose 0 = 3*t - 9, 3*n - 5*n - t + 13 = 0. Let j(u) = -u**3 + 5*u**2 + 5. Let d be j(n). Is d equal to 4?
False
Suppose -5*f + f = m - 4, 1 = -f. Suppose 5 = 3*k - m*k. Let q = -19 - -131/7. Which is smaller: k or q?
k
Let y = -2456.99 - -2447. Let i = y + 10. Let k = -3.01 + i. Which is bigger: -1 or k?
-1
Let i = 2 + 8. Let r be 2/(-10) + 22/i. Let a be (-3)/(-2 + r/4). Which is smaller: a or 1?
1
Let s = -8833/17 - -520. Is 1 != s?
True
Let x(s) = 8*s**2 + s - 8. Let g be x(2). Which is bigger: 24 or g?
g
Let u = 1.58 + -0.28. Which is smaller: u or 2?
u
Suppose -g - 20 = 4*g. Let d be 3/(-11)*g/(-6). Is d not equal to -0.2?
True
Suppose -3*j - 4*v = -20, 3*v + 2*v = 4*j + 25. Suppose q + 50 = 3*b + 3*q, -84 = -5*b - 3*q. Let u be (b/24)/(9/(-8)). Is u <= j?
True
Let t(q) = 9*q + 6. Let z be t(-9). Let h be 146/30 - 10/z. Which is smaller: h or 3?
3
Let o be 6/315*10*3. Suppose 5*j + 2 = -13. Is j at least as big as o?
False
Suppose 5*u = 5*m - 5, 2*u - 4 = -2*u. Do m and 4/5 have different values?
True
Let i(d) be the first derivative of -d**2/2 + d - 1. Suppose -5*h - 17 = -7. Let v be i(h). Which is bigger: v or 2?
v
Suppose 0 - 30 = -5*t. Let f be 2/6*t/(-8). Are f and -1 non-equal?
True
Let n(p) = p + 5. Let m be n(-5). Suppose -t + 1 = 3*b, m = -2*b + 3*b + 1. Suppose 2*c + 12 = -t*v, -3*c + 18 = -2*v + 2*c. Which is bigger: -2 or v?
-2
Let b = 128/183 + -2/61. Let k be 16/(-3)*27/6. Let w = -23 - k. Is w not equal to b?
True
Let o be 2/11 - 91/77. Which is greater: o or 35?
35
Let h = 2 + -3. Let d be 2 - (h + -1) - 0. Suppose 4*j - 35 = -f - 2*f, -2*f + 5*j = 15. Is d smaller than f?
True
Let v = 0.07 + -0.13. Is v bigger than -0.01?
False
Suppose -h - 10 = -5*w - 3, 15 = 3*w + 3*h. Suppose 2*l = -2*l - w*t + 1684, -l + 4*t + 421 = 0. Let d = l + -10527/25. Which is smaller: 1 or d?
d
Let b = 0.08 + -0.1. Let v = b + 0.01. Which is greater: -1 or v?
v
Let a be 3/(-77) + 2/(-14). Is 0 less than a?
False
Suppose -6*b = -5*b - 11. Let n(x) = x - 9. Let w be n(b). Which is bigger: w or 5?
5
Let d be 46/(1*(-2)/(-4)). Suppose -4*i - d = -4. Let c = i - -39/2. Does -3 = c?
False
Suppose -7*o = -7 + 21. Which is bigger: -3 or o?
o
Let p be (3/30)/(2/8). Let h = -1.31 - -1.4. Let q = h + -5.09. Which is greater: q or p?
p
Let r = 24 - 37. Let u = r - -22. Is u bigger than 11?
False
Let h(c) = -2*c**2 + 17*c + 6. Let m be h(9). Are -7/4 and m equal?
False
Suppose o + 2*o = 3. Let y be ((-416)/238)/(31/(-5)). Let p = 2/527 + y. Is p at most as big as o?
True
Let k = 39.1 + -39. Is k at least 3/17?
False
Let u be -4 + (-4)/6*-3. Let x be 1/(20/(-88)) + 3. Which is greater: x or u?
x
Suppose 8*t - 82 + 66 = 0. Let f(x) = -3*x. Let a be f(-1). Are a and t equal?
False
Let z be (2 + -6)*15/(-20). Let r = 2 - 0. Let j be 2/(-20) + r/4. 