*3 - 18*f**2 + 17*f - 30. Let r be p(-19). Is 9 < r?
False
Let j = -7 - -8. Suppose -2*o + 3 = j. Which is bigger: o or 1/6?
o
Let g = -1.98 - 0.02. Let f = 6.5 + -6. Let s = 0.5 - f. Which is smaller: g or s?
g
Let n = -4.96 - -5. Let d = n - 1.04. Which is smaller: d or 1?
d
Let p be (0/(-2))/((-12)/(-12)). Let d be (-1 - p) + 8/12. Which is greater: d or 1?
1
Let q be 4 + (-38)/10 - 8/(-10). Let p(m) be the first derivative of m**4/4 - m**3 - 2*m**2 + 1. Let l be p(4). Which is smaller: q or l?
l
Let l = -11 - -9. Let t = 0 + -1. Do t and l have different values?
True
Let o(b) be the first derivative of -b**3/3 - 2*b**2 + 2*b + 2. Let g be o(-5). Let w be 2/3*g/2. Are w and -0.5 unequal?
True
Suppose 3*z = 4*n - 7, 25 = 5*n + 5. Suppose -2 - 16 = z*j. Let i be 2/j*(-9)/(-3). Which is smaller: i or 0?
i
Let r = -5 - -10. Let b = 6 - r. Which is smaller: b or -2?
-2
Let a(r) = -r**2 - 5*r - 2. Let x be a(-4). Let g = 4 - x. Suppose -c = -g*c. Is c equal to 0?
True
Let l = 18 + 4. Suppose 0 = -8*s + 6*s + l. Is s at least 12?
False
Let i be 12/(-16) + (-1)/4. Let q be -3*(3/(-63))/1. Is q at most as big as i?
False
Let a = -0.089 + -0.011. Which is smaller: a or 0.14?
a
Let f = -4714/12183 + -2/12183. Let s = -88/93 + f. Which is smaller: s or -2?
-2
Let x be (1/(-2))/(1/2). Let u = 2 + x. Let t be u/(-3*2/(-6)). Is t not equal to 1?
False
Let y = -79468/17 - -2571346892/550069. Let g = y - -38598445/2329704. Let x = -129/8 + g. Is x smaller than -1?
False
Let o = -0.05 - 1.95. Let f = -23/60 + 2/15. Which is bigger: o or f?
f
Let t = 7 + -43. Let x be (-35)/2*4/(-5). Let d be x/t + 5/10. Do 0 and d have the same value?
False
Let i = -34/15 - -44/15. Let q be (-12)/(-7) - 6/(-21). Which is greater: i or q?
q
Let i be ((-6)/4 - -1)*0. Let d = -32 + 23. Let o be (-2)/6 - (-3)/d. Is i not equal to o?
True
Let c(q) be the first derivative of -q**4/2 + q**2/2 + 3. Let m be c(-1). Is 3/8 less than m?
True
Let c = -25 + 19. Do c and -3 have the same value?
False
Let a = -23 - -11. Is a at least -12?
True
Let l = -132 - -131. Which is smaller: -47 or l?
-47
Let k = -295/1023 - -8/31. Which is smaller: k or -1?
-1
Let r = 1 - 4. Let l = -20 - -28. Let h = -9 + l. Which is smaller: h or r?
r
Let j = -836/35 + 578519/24220. Let t = j + 297553/24220. Let o = t - 12. Is 1 less than o?
False
Let o = 6 - 4. Suppose -o*t + 2 = -0*t. Suppose 2*l = -4*z + 3*l + t, 4*z - 4*l = 16. Which is bigger: 1/7 or z?
1/7
Let t = 10 + -9. Let w = 1 - t. Do w and 3 have the same value?
False
Suppose 5*g - 3*g = -4*y, 3*y + 4*g = -5. Let f be -3*((-15)/54 - 0). Which is bigger: f or y?
y
Let m = -0.1 - -0.1. Let y be 4/14 + (-37)/7. Let q(x) = x**3 + 5*x**2 - x - 4. Let u be q(y). Which is smaller: m or u?
m
Let z = 1.07 + -22.07. Do z and -0.4 have the same value?
False
Let i = 1097/9 - 122. Are i and -3/5 non-equal?
True
Suppose 0 = -5*l + 2*l + 6. Which is bigger: l or 7/5?
l
Let m = 13/557 + 10789/15039. Let c = m - 181/135. Which is greater: -0.1 or c?
-0.1
Suppose -5*u = 25, u = k - 3*k + 3. Suppose -6 = k*t - 14. Is 2/3 at most t?
True
Suppose -85 = 3*s - 1. Let x be 1/(s/8 - 0). Is x at least 6?
False
Suppose -32 = -4*m - b + 3*b, -4*b = 0. Is 2/7 bigger than m?
False
Let r be 1/(1/(-2) - -1). Suppose d - 4 = 5*n + 3, -2 = -r*d + 4*n. Which is greater: d or -2?
-2
Suppose 5*v - 11 = 9. Suppose k - v*k + 12 = 0. Is 4 bigger than k?
False
Let z(k) = -k - 12. Let n be z(-5). Let l(m) = -m**2 + 4*m - 3. Let i be l(2). Let x be i/n*(-3 + 2). Is x != -1?
True
Let g be 1 - ((-1)/1 - 1). Suppose 0 = -3*h + g - 0. Are 1/2 and h unequal?
True
Let d = 12 - 5. Suppose 8 + d = -3*l. Is -4 greater than or equal to l?
True
Suppose 3*z = -c + 8, 4*c + c = 4*z - 17. Let s be (6/9)/(2/z). Let n = -4 - -5. Is s at least as big as n?
True
Let g = -47 + 44. Let z(i) = 4*i**3 + i + 1. Let k be z(-1). Let s = k - g. Are -6 and s non-equal?
True
Let y = 25 + -20. Which is smaller: 25/6 or y?
25/6
Let p(a) = a**2 - 9*a - 2. Let d be p(9). Let z = -28 + 48. Suppose 4*b + 16 = -3*j - j, -5*b = -5*j + z. Is d less than j?
True
Suppose 5*j - 31 = 4. Let y = j + -6. Which is smaller: y or 2/3?
2/3
Let o(a) = a**3 - 13*a**2 - a + 14. Let k be o(13). Which is bigger: 0.037 or k?
k
Suppose 0*o = -3*o + 3. Which is greater: o or 7/4?
7/4
Let n = 169 + -1185/7. Which is greater: -1 or n?
n
Let x = -15 - 0. Which is bigger: x or -17?
x
Suppose -2*a = 0, 4*a = -5*s + 5 - 0. Are s and 2/59 unequal?
True
Let p(x) = -x. Let u(f) = f**2 - 5*f + 4. Let m(g) = -3*p(g) - u(g). Let z be m(3). Is z < 11?
False
Suppose -z = -4*o - 2*z - 3, -4 = -3*o - 2*z. Let q be 21/28 + o/(-8). Which is bigger: 3 or q?
3
Let v(b) = b. Let p be v(1). Suppose 0 = -n - 24. Let y be n/(-63) + 6/(-9). Is y at least as big as p?
False
Let l = -0.5 + 0.4. Let w = 5.5 + -6. Let v = w + 0.3. Is v greater than l?
False
Let d be ((-18)/(-8))/((-9)/(-48)). Which is bigger: 11 or d?
d
Suppose -5*h = -0*b + 5*b - 15, -4*b = -h + 3. Let v be (2/(-12))/(12/8 - 4). Is v at least b?
True
Let l = -5140/33 + 464/3. Is 0 > l?
True
Let o = -41 - -40. Is -4/23 smaller than o?
False
Let r = 6 + -1. Let f be ((-5)/(-2))/r*2. Is 2 greater than f?
True
Let y(f) = -4 + 5*f + 3*f - f - f**3 - 3*f + 5*f**2. Let z be y(5). Let w be 4/z + 2/(-72). Is 0 at least as big as w?
False
Let n = 23 + -41. Which is smaller: n or -2/7?
n
Let q = -690870/169 - -4088. Which is smaller: q or 0?
0
Let g(n) = -n**2 + 5*n - 5. Let m be g(3). Which is greater: m or 11/8?
11/8
Let v = 63.1 - 63. Is 1/2 greater than v?
True
Let m(f) = f - 1. Let n = 5 + -4. Let r be m(n). Is -4/7 <= r?
True
Suppose 0 = -3*x + 15. Suppose -2*f + x = 3. Let c be -2 + f + (1 - 5). Is c > -5?
False
Let v = -106 + 323/3. Which is smaller: 0.2 or v?
0.2
Let l be -2 - 0/(5 + -1). Are -0.1 and l non-equal?
True
Let g = -21 - -21.14. Let m = g - 0.12. Which is greater: m or 1/5?
1/5
Let c = -0.2 + 6. Let g = 5 - c. Suppose 1 = h + 5, -2*k + 3*h = -12. Which is smaller: g or k?
g
Let p = 9 - 6. Let c = p - 11. Let m be 2/3 + c/(-6). Which is smaller: 3 or m?
m
Let a = 0.7 - 1.02. Let q = a - -0.12. Which is bigger: q or -0.3?
q
Let v = -23 + 23.11. Which is smaller: v or -0.2?
-0.2
Let o(s) = s. Let g be o(0). Let v be (-1)/(-4) + 0 - g. Which is greater: -1 or v?
v
Let o = 8.1 + -1.1. Let n = o - 5. Are n and 2/7 equal?
False
Let k = -2 + 7/3. Is k smaller than -0.9?
False
Suppose s + 9 + 2 = 2*q, -5*q = -15. Do -6 and s have the same value?
False
Suppose -19 = -c - 3. Suppose -f = 3*f + c, 0 = 3*n + 2*f - 4. Suppose -n*m = -5*s - m - 21, -3*m + 12 = -2*s. Which is greater: s or -5?
s
Let u = 6 - 6. Let f = -0.1 + u. Let w = 3/7 - 13/14. Which is greater: f or w?
f
Let b = 29 + -30.1. Let x = -1 + 1.1. Let s = x + b. Which is smaller: s or -3?
-3
Let b(i) = -i**3 + 3*i**2 - 3*i + 1. Let l be b(2). Let x be 1/(-1 + -1)*(-60)/(-990). Which is greater: l or x?
x
Let x = 0.26 - 0.3. Let f = 27 + -27.26. Let k = x + f. Which is bigger: 0 or k?
0
Let c(y) = -2*y**3 - 2*y**2 + 5*y + 3. Let m be c(-3). Let d be -1 - (-2 - (-33)/m). Is 1 greater than d?
True
Let q = 65/4 + -16. Which is smaller: q or 25?
q
Let t(c) = 2*c**2 + 2*c + 17. Let r be t(-3). Do r and 55/2 have different values?
True
Suppose -9*b - 8 = -10*b. Is b less than -1?
False
Let i = -4 - -9. Let f be (-2 + i)/(1*-1). Let x = -7/12 + -23/12. Which is greater: f or x?
x
Suppose 30 = -15*q + 9*q. Is q > -5?
False
Let m = 24 - 26. Is m bigger than 4?
False
Let n = 438/11 + -40. Which is smaller: n or -1?
-1
Let b = -22/9 + 163/63. Let k(g) = g**2 - 11*g + 9. Let l be k(10). Is l > b?
False
Suppose -2*x - 2*g - 27 = -7*g, g - 4 = -x. Let m be 3/30*(0 - -4). Which is greater: m or x?
m
Suppose 5*w + 75 = 15. Let k be 50/(-6) + 8/w. Let f(l) = l**3 + 10*l**2 + 9*l + 2. Let a be f(k). Is a < 2?
False
Let i = -278.98 - -300. Let l = i - 21. Suppose -h - 1 = -5*u - 5, 4 = -u - 3*h. Which is smaller: u or l?
u
Let n(p) = -2*p - 4 - 6*p + 8 - p**2. Let u be n(-9). Are -5 and u nonequal?
False
Let l = -50 - -50. Which is smaller: 2/27 or l?
l
Let q = 67 - 67. Which is smaller: q or 8?
q
Let i = 2 + -2.24. Let k = 0.17 + i. Is k smaller than -0.1?
False
Let a(h) = -h**3 - 16*h**2 + 17*h + 11. Let j be a(-17). Which is bigger: 3 or j?
j
Let p be (1/142)