er: g or 0?
g
Let a(x) = x**3 - 1. Let c be a(1). Is 5 at least c?
True
Let c = -2 - -1.7. Let w = 0.5 + c. Let y = -4 + 6. Is y at most w?
False
Let s be 1 + (2/6)/((-25)/85). Let u = -2 + 1. Which is smaller: u or s?
u
Let d be (-2)/(0/(-1) + 1). Let f = 3 + d. Which is smaller: -1/9 or f?
-1/9
Let k = 38 - 43. Suppose -3*w + 7 = -4*o - 8, 5*o + w = -33. Which is greater: k or o?
k
Let j(r) = -3*r**2 - 4*r. Let q be j(-4). Is -31 less than or equal to q?
False
Let h be 4/14 - 44/(-140). Suppose 2*o = 3*o + 4. Let v(q) = -q - 4. Let j be v(o). Which is smaller: h or j?
j
Let l = -57 + 62.5. Which is bigger: -1/2 or l?
l
Let h(a) = 2*a**2 + 2*a + 1. Let d be h(-2). Suppose d*y - 20 = o, 5*o - 3*y + 12 + 0 = 0. Does o = -2/27?
False
Let n be (40/24)/((-2)/6). Let a = n + 5. Let j = -251/196 + 3/98. Is a greater than j?
True
Let n be ((-6)/40)/(588/(-990)). Let c = n - -6/49. Let i = 3 - 2. Which is smaller: c or i?
c
Let y = -13 - -18. Let t = 3 - y. Is -3/4 > t?
True
Suppose -16 = -3*a - a. Let b = a + -4. Is b not equal to 0?
False
Suppose -k + 2 - 16 = 5*b, -4*b = -5*k - 41. Is k greater than or equal to -8?
False
Let z = 1.3 - 1. Let s = 0.1 - -0.3. Let c = s - z. Which is smaller: 2/5 or c?
c
Let r = -18 + 13. Let j = 6 + -3. Let q = j + r. Which is smaller: 0 or q?
q
Suppose -15 = -2*y + 1. Suppose 5*c = 7 + y. Suppose -l - 1 = -c*x, -5*x + 5*l + 9 + 6 = 0. Which is greater: -4 or x?
x
Suppose 2*n - g - 22 = 3*g, -4*n + 4*g = -28. Let x(l) be the first derivative of l**2/2 - 3*l - 4. Let u be x(5). Do u and n have different values?
True
Suppose 45 = 5*r + 2*t, 5*t = 3*r - r - 18. Is r greater than 10?
False
Let g = 2/147 + 88/735. Suppose -3*n + 2*d - 66 = 2*n, 6 = -n - 2*d. Let o be 2/(-7) - n/42. Is o greater than g?
False
Let w = 0.04 + 0.16. Do 0 and w have the same value?
False
Let k be 8 + (-1)/(2/4). Suppose -n + 5*u = -k*n - 20, -n + 5*u + 8 = 0. Which is smaller: n or 0.1?
n
Suppose -4*w - 11 = -5*i, -i - 8 = -5*w - 2*i. Suppose -2*x = 2*x - 24. Suppose 0 = 5*h + 25, 4*o - x = -0*h + 2*h. Are w and o nonequal?
True
Let f = 2.9 - 0.9. Let t = -3 + f. Which is greater: -1/2 or t?
-1/2
Suppose o - 953 = 3*c, -1272 = 5*c - c - 2*o. Let j = -5387/17 - c. Let g(q) = -q**2 + 5*q + 7. Let m be g(6). Which is greater: j or m?
m
Let z(s) = 3*s**3 + 5*s - 4*s - 2 - 4*s**3. Let i be z(0). Is i bigger than -1?
False
Let f = 14 + -14. Are f and -2 nonequal?
True
Let z = 36 + -37. Is 0.02 < z?
False
Let r(x) = x**2 + 9*x - 22. Let y be r(-11). Which is smaller: -1 or y?
-1
Let w = 5 + -8. Is w < -4?
False
Let t be (2/5)/((-6)/(-210)). Which is greater: 15 or t?
15
Let f(d) = d - 15. Let z be f(15). Which is bigger: z or -2/71?
z
Let q(c) = -c**2 + 10*c + 23. Let t be q(12). Is t > -10/13?
False
Suppose -4*v + 3 - 15 = -4*o, 4*v = -5*o + 33. Suppose -r = -o*r + 4. Let f(u) = -u**3 + 4*u**2 + 7*u - 8. Let j be f(5). Which is greater: j or r?
j
Let f(q) = 32*q**2 + q. Let x be f(1). Let t = x + -63/2. Which is bigger: t or 1?
t
Suppose -5*w + 5*y + 40 = 0, 2*w + 2*w - 27 = 3*y. Suppose -5*p + 25 = 0, -2*p - 2 = -4*d - 4. Suppose -21 = -d*r - 5*r. Are r and w unequal?
False
Let g = 0 - 0. Suppose 383 + 797 = 4*i. Let n = 3243/11 - i. Which is smaller: n or g?
n
Let o be (((-1)/2)/((-4)/8))/(-31). Is o < 0?
True
Let o = -1 - -1. Let a = 29 - 31. Is a <= o?
True
Let q = 0.14 + 29.86. Do 0.1 and q have the same value?
False
Let k(a) = -a - 9. Let h be k(0). Let z = h - -3. Which is greater: z or -7?
z
Suppose -4*a + 3*a + 2*i = 9, i + 1 = -5*a. Is a smaller than 1/22?
True
Let b = -5 + 6. Let z = 1 + -2. Let y = z - -1.1. Is y > b?
False
Suppose 20 = 4*n + 4*g, 1 = 5*n - 8*g + 5*g. Let k be n/3*3/(-11). Which is smaller: -1 or k?
-1
Let v = 75 + 11. Which is bigger: 0.1 or v?
v
Suppose -4*d - 2 = -2*d. Let z(o) = -o**3 + 9*o**2 + 10*o + 1. Let n be z(10). Let g be 2/(-3) + 0/n. Is d <= g?
True
Let y(s) = s**3 - 4*s**2 - 6*s + 6. Let f be y(5). Let h be (-9)/(-6)*(-3 + 5). Suppose -h*q + q = -2. Is q at most as big as f?
True
Let p = -2 - -36. Let v = 236/7 - p. Which is greater: 2 or v?
2
Let a(f) = 23*f**2 + 3*f + 4. Let s be a(-1). Is 1 < s?
True
Let r be 19/(1/(-5)*(-10)/4). Is r equal to 37?
False
Let d = -24 + 14. Let v be d/(-14) - (-14)/(-49). Which is smaller: 0 or v?
0
Let c = -1/586 - 1145/15822. Do 1 and c have the same value?
False
Let g(x) be the first derivative of x**2/2 + 10*x + 3. Let j be 0 + -7*(1 - 0). Let c be g(j). Is 4 smaller than c?
False
Let r = 48 - 50. Let j = 1.3 - 1. Do j and r have the same value?
False
Let s = -0.7 + 0. Is 4/7 <= s?
False
Let y(l) = l - 6. Let n be y(7). Suppose -p + 2 = n. Is p != -1/7?
True
Let i be (2 - (-3)/(-3))*-1. Let v = i - 0. Let p be 6/4*32/(-36). Which is bigger: p or v?
v
Let a be (-2)/((-2)/(-6) + -1). Suppose a*h = 3*y + 2*y + 51, -5*h + 37 = -3*y. Let p be y/(-5) - (-2)/10. Are p and 2 nonequal?
False
Let g = -29 - -43. Suppose 3*l = 1 + g. Let z be 12/15*l/26. Which is greater: 0 or z?
z
Let b = -24 - -30. Let y = -1.04 + -0.26. Let p = y + 0.3. Which is smaller: b or p?
p
Let f(h) = -h**2 - 7*h + 11. Let l be f(-8). Let w be l + (-3 - -7)/(-1). Are 2/83 and w non-equal?
True
Suppose -x + 6*x = 85. Let j = x + -14. Which is greater: j or 5?
5
Let x(j) = -j - 55. Let z be x(0). Let f = 274/5 + z. Is 1 >= f?
True
Let f = 44 - 42. Let o be (0/(1/(-1)))/1. Let d = 2 + o. Is d at most as big as f?
True
Let l = 7 + -6.91. Let u = l - -0.01. Which is bigger: 3/4 or u?
3/4
Let c be -4 + -5*(-16)/20. Are -14/17 and c unequal?
True
Let b be (-56)/(-26) - (2 + 0). Let x = -1.11 + 0.11. Which is smaller: b or x?
x
Let i be (-14)/(-77) - 216/(-22). Which is smaller: i or 74/7?
i
Let j be (-4)/(-10) - (-13)/5. Suppose 0 = j*w - 4*t + 16, -t + 5*t - 16 = 2*w. Suppose l + l = w. Are 1 and l unequal?
True
Let g be -7 - (-1 - -1)/(-2). Let y(c) = -c**3 - 7*c**2 - c - 2. Let q be y(g). Let j = -5 + q. Which is bigger: j or -1/3?
j
Let l = -5 + 10. Which is greater: l or 1?
l
Let z be 5/((-195)/129) + 3. Is 0 >= z?
True
Let l = 0.19 + 0.51. Let h = l - -0.3. Which is bigger: -4 or h?
h
Let u(x) = -x**2 + x - 3. Let l be u(3). Let w be 1 + -1 + l + -3. Let j be 14/w - (-4)/8. Does -2 = j?
False
Let m be 12/(-135)*15/6. Which is bigger: -1 or m?
m
Let c = 0.2 - -0.3. Let d = c + -0.9. Let p = 0.1 + d. Is -0.1 smaller than p?
False
Suppose -6*q = -14*q - 40. Let u be 1 - (-3)/(-1) - 2. Which is bigger: u or q?
u
Let h = 15 + -15. Which is bigger: h or 1?
1
Suppose 128 = 8*z - 0*z. Is z greater than 16?
False
Let c(q) = -q**2 + 10*q + 3. Let r be c(10). Suppose 2*u = 5*o + 21, r*o - 3*u = -11 - 7. Is -3 != o?
False
Let d = -13.4 + 14. Is d != -1?
True
Suppose 0 = 2*g + g - 3. Let l = -17 - -21. Are g and l nonequal?
True
Suppose 2*r = -4*h + 9*h - 12, 4*r - h = -24. Let o be 2/(-3) - (-8)/r. Let n = o - -3. Is n != 2/5?
True
Let t be (-10)/(-4)*6/3. Suppose 0 = t*k + 5*i + 25, -i = 5*k - 6*i - 25. Which is smaller: 1/19 or k?
k
Let n be ((-2)/20)/((-3)/(-108)). Is n greater than -3?
False
Let p(t) be the second derivative of t**5/20 - t**4/4 - 2*t**3/3 - t. Let r be p(4). Let i = -1.9 + 2.1. Is r greater than i?
False
Let b = 14.6 + -17.78. Let f = b - -0.18. Let o = 1 + 0. Which is smaller: f or o?
f
Let p be (-324)/82 - (5 + -9). Is p at least -1?
True
Let z = -2/63 + -40/63. Which is greater: z or -1?
z
Let r(n) be the third derivative of n**6/120 + n**5/6 + 7*n**4/24 - 5*n**3/3 + 2*n**2. Let g be r(-9). Which is bigger: g or 6?
g
Suppose 2*p - 24 = -90. Is -0.1 > p?
True
Let m = 0.4 + -0.1. Let v = m - 4.3. Are 0 and v unequal?
True
Let r = -92 + 93. Is r at most -2/33?
False
Let x = 304/195 + -22/13. Let z = 5 + -6. Which is bigger: z or x?
x
Let j(f) = -73*f - 12. Let l be j(1). Which is bigger: -84 or l?
-84
Suppose 2 = -5*u + 32. Let a = -6 + u. Let o(m) = m**2 - 4*m + 3. Let z be o(3). Is z at most a?
True
Let j = -9 - -6. Is j less than or equal to -3/2?
True
Let m = 6/23 - 110/69. Let h = -28 + 50. Suppose 0 = 3*c - 4*k + 22, 0*c + 5*k = c + h. Is m less than or equal to c?
False
Let h = -22 - -10. Let q be h*2/(-14) + -2. Let y = 7 - 6. Is y less than or equal to q?
False
Let a = -18.2 - 0.8. Let c = -21.2 - a. Let t = 2 + c. Which is bigger: 0 or t?
0
Let s(p) = p**3 + 10*p**2 + 9*p - 1. Let 