5 - -0.05. Let x = 3.1 + h. Suppose -3*v + 3 = -2*y - y, -3*v + 5*y + 1 = 0. Is v <= x?
False
Let c(b) = b**3 + 5*b**2 + 3*b - 4. Let v be c(-4). Let l(f) = -f**2 - 2. Let k be l(v). Let m(j) = j**2 - 17*j + 68. Let h be m(10). Are k and h non-equal?
False
Let s(n) = -n**3 - 6*n**2 + 6*n - 5. Let j be s(-7). Suppose b = -j*b - 36. Let g = b + 47/4. Which is greater: 1 or g?
1
Suppose 0 = -3*u - 22 - 32. Which is smaller: u or 0?
u
Suppose -5*m - 4 = -9*m. Let l = -61/204 - -5/12. Which is greater: l or m?
m
Let j(c) = -c + 3. Let g be j(4). Let t be (g/3)/(25/10). Suppose -5*a - 4*i + 3 = 2, 0 = -4*a + 3*i + 7. Which is greater: a or t?
a
Let i(b) = b**3 + 4*b**2 + 3*b. Let q be i(-3). Which is smaller: q or -2/9?
-2/9
Let j be 4/14 - (-783124)/(-70). Let a = 11125 + j. Let r = -62 - a. Which is smaller: 1 or r?
r
Suppose 3*s - 15 = m - 4*m, 12 = 3*m. Is s > 2?
False
Let l = -0.3 + 13.3. Let q = l + -12.1. Let b = q - 1. Which is smaller: -3/4 or b?
-3/4
Suppose -r = 2*r + 39. Let a = r - -14. Which is bigger: a or 1/4?
a
Let t(m) = m**3 + 17*m**2 - 2*m - 27. Let b be t(-17). Are b and 7 nonequal?
False
Let f be (9/2)/(9/18). Which is greater: f or 0.1?
f
Let w = -21/2 + 7. Which is greater: w or 3?
3
Let q be (-2)/(-4)*1*0. Suppose -4*a = -2*a. Let n = a - q. Which is smaller: n or 3/5?
n
Let p be (-1)/2 - (-159)/(-6). Let j be 2 - (1 + (-21)/p). Are -1 and j nonequal?
True
Let s be 1*-2 + 5/1. Suppose -6*k = -q - 2*k - 8, s*k + 127 = -4*q. Let w be (-6)/(-21) + (-6)/q. Is 1 at least w?
True
Let r(h) = -h**2 - 13*h - 44. Let a be r(-7). Let z = 5 + -9. Are z and a nonequal?
True
Let w be 0/(-1)*(-6)/24. Suppose 3*c + 4*q + 25 = w, 23 = -c - 0*q - 5*q. Which is smaller: c or -6?
-6
Let r(p) = 2*p + 0*p + 2*p - p + 1. Let g be r(-1). Which is smaller: g or 0.1?
g
Let d = 150 - 150. Which is greater: d or -2/627?
d
Let s = -21 - -27. Let x = s - 5.8. Let f = 0.1 - 0.2. Is f >= x?
False
Let m(j) be the second derivative of 0 - 3/2*j**3 - j + 6*j**2 - 1/12*j**4. Let p be m(-10). Which is greater: 3/5 or p?
p
Let t = 48 + -49. Is -4/9 < t?
False
Let z = 63 - 51. Is z at most as big as 0?
False
Let z = -0.14 + 0.34. Suppose -w - 1 = -3. Suppose 0 = 2*c, w*x = 2*c - 6*c - 2. Is x < z?
True
Let f be (24/(-15))/((-2)/5). Let v be 2*(f/(-4) + 2). Is v less than or equal to -1?
False
Let x be 5 - 0 - (-2 + 4). Suppose -x*d - 33 = -0*d. Let r = -8 - d. Is 3 != r?
False
Let y be 4 - 1*(-102)/(-26). Is -1 >= y?
False
Let a = 294 - 2073/7. Is a less than -2?
True
Suppose 6*w - w + 15 = 0. Let g be 0 + 10/(-4) + 0. Is w at least g?
False
Let u(g) = g**2 + 5*g + 3. Let p be u(-4). Is 8 smaller than p?
False
Let r = 374549/7844 + 1/3922. Let h = r - 48. Let u = 1 + -4. Which is smaller: u or h?
u
Let f(p) = p**3 + 2*p**2 - 1. Let w be f(-1). Suppose n + 0 + 2 = w. Let a = 10 - 10. Which is smaller: a or n?
n
Let s(c) = 1 + c + 0 + 7. Let r be s(0). Suppose -5*p - g = r, -3*p + p + g + 1 = 0. Which is smaller: -2 or p?
-2
Let f = 5 - -14. Which is bigger: 21 or f?
21
Let r be (-1 + -2)/(2/(-2)). Let i = -3 + r. Suppose i = 4*k - 7*k + 3*v - 3, -3*v = 2*k + 7. Is k <= -2?
True
Let x be 0/((-1*9)/3). Is x at least -1?
True
Let o be (-2)/(-12) + 250/525. Which is greater: 1 or o?
1
Let i = -0.5 + 0.15. Let v = -0.4 + 0.45. Let r = i + v. Which is bigger: r or 0.1?
0.1
Let i(o) = o**2 - 2*o - 2. Let p be i(3). Is p < 10/7?
True
Let g = -604/45 + 66/5. Which is smaller: g or -1?
-1
Let w be -2 - (-2 + 2)/1. Let u be (-333)/(-4) - (2 + -1). Let p = u + -83. Which is smaller: p or w?
w
Let u(d) = -d**3 - 11*d**2 + 12*d - 1. Let t be u(-12). Let z be t/(-2)*-1 + 1. Is 1 less than z?
False
Let o be -4*(52/24 - 2). Which is smaller: o or -16?
-16
Let b = 26 + -26. Which is bigger: -8/17 or b?
b
Suppose 21*v - 416 = 17*v. Let u be v/(-40) + 0/(-1). Which is smaller: -3 or u?
-3
Let m = -22 + 10. Let v be m/(-45) - 2/5. Which is greater: v or 0?
0
Let k = 17 - 17. Which is bigger: -2 or k?
k
Let v(h) be the third derivative of h**6/12 + h**4/12 - h**3/6 + 4*h**2. Let r be v(1). Do 12 and r have the same value?
False
Let c(x) = -x - 1. Let i be c(0). Let q be (-21)/20 + (1 - 0). Do q and i have the same value?
False
Suppose 12 = 2*w + 26. Does w = -7?
True
Let c(v) = -v**2 - 6*v - 6. Let r be c(-5). Let s = 3 - 1. Let b = s + -2. Is b smaller than r?
False
Let k be 2*2 + -14 + 8 + -2. Which is smaller: k or -48/17?
k
Let d be (136/(-46) - -2) + 1. Let g be ((-2)/(-1))/((-230)/(-51)). Let a = g - d. Is a <= -1?
False
Let u = 1 - 0.4. Let m = u - -0.4. Does m = -0.6?
False
Let t = -1 + 4. Suppose t*y = -y. Let o be (-2)/(-8) + (-2 - -1). Which is smaller: o or y?
o
Let u = 0 + 8. Is u smaller than 7?
False
Suppose -5*q - 55 = 5*p, -2*p - q - 20 + 2 = 0. Let w(d) = d**3 + 6*d**2 + 5*d - 7. Let u be w(-5). Is p equal to u?
True
Suppose 0 = 4*k + h - 6*h - 297, h = -k + 81. Which is smaller: 77 or k?
77
Let o = 19 - 8. Which is smaller: -1 or o?
-1
Let u be 4/22 - (-96)/(-44). Do u and -2 have different values?
False
Let q = 1 - -3. Let x be 1*q*(-2)/12. Suppose 5*j + 0 + 5 = 0. Which is smaller: x or j?
j
Suppose -18 = -d - 2*d. Suppose d*f = f + 15. Suppose 2*p - 6*p + 9 = j, p + f*j - 16 = 0. Are p and 0 equal?
False
Let o be (-2)/(-7) - 116/14. Let p be (712/(-252))/(o/(-6)). Let u = p + 11/6. Is 1 not equal to u?
True
Let i = -5/136 + 7/17. Let q = 1 - -2. Suppose 0 = q*g - 7*g. Which is bigger: g or i?
i
Let o(g) = -g**3 + 7*g**2 + g - 12. Let l be o(7). Does l = -10?
False
Let r be (2 + (-2 - -1))*-3. Let m(a) = -a + 1. Let n be m(2). Which is greater: n or r?
n
Let w be 138/(-15)*(-1 + -1). Let y(b) = 4*b + 3. Let z be y(4). Let r = w - z. Which is bigger: r or -0.1?
-0.1
Let o be 1/12 - (-2)/(-8). Is 0 > o?
True
Let i = -2.68 + 0.68. Which is greater: -0.17 or i?
-0.17
Let a = 1952 + -7861/4. Which is bigger: a or -14?
a
Let a be 3*((-8)/(-6))/4. Are 0 and a equal?
False
Let l be ((-20)/480)/((-2)/18). Which is greater: l or -1?
l
Let a = -4 - -5. Let u = 0.9 - a. Is -0.4 >= u?
False
Let i = -0.3 - 0.1. Let v = -0.8 + -0.2. Are v and i unequal?
True
Let v = -15 - -22. Let z(q) = q**3 + 3*q**2 - 9*q - 7. Let j be z(-6). Let x be j/v - 16/56. Which is bigger: x or -8?
-8
Let p = 198 - 422. Let w = p - -2014/9. Which is bigger: w or 1?
1
Let q be (2 - (3 + 0))*14. Let p be (-12)/q*(-6 - 1). Is -4 at least p?
True
Suppose 4*g - 6*g = 0. Let d = 4 + -4. Let o = d + -1. Do g and o have different values?
True
Let r = -20456779/150 + 136378. Let x = 2/75 + r. Is 0 at least as big as x?
True
Let c be (-1)/(2 + -3) + -1. Which is smaller: 1/4 or c?
c
Let t = 0.2 - 0.2. Let w = 0 - 0.1. Let s = w - t. Is 0 smaller than s?
False
Suppose 2*a = a - 6. Let p = 10 + a. Suppose p*g - 10 = 2. Is 3 != g?
False
Suppose -2*d + 154 = -8*b + 3*b, 3*d = 2*b + 66. Suppose -1 - 2 = -3*q. Let m be (-3)/(b/8) - q. Which is greater: -1 or m?
m
Let a = -1 - -0.94. Let y = 0.06 + a. Let v = 2 - y. Which is smaller: v or -0.3?
-0.3
Let k = -24 + 13. Let u = k + 12. Which is smaller: -1/4 or u?
-1/4
Let j(t) = -2*t**3 - 9*t**2 + 6*t + 7. Let h be j(-5). Which is greater: 4 or h?
4
Let s = 5 + -6. Let w be 20/15*s*3. Let p be ((-6)/w)/((-9)/(-6)). Are 2 and p nonequal?
True
Let z(s) = s**2 + 8*s + 6. Let u(i) = 6*i - 1. Let o be u(-1). Let d be z(o). Which is greater: d or 3?
3
Let t = 366/5 - 73. Let w(n) be the first derivative of -n**4/4 + 2*n**3/3 + 2*n**2 - 4*n + 5. Let l be w(3). Which is smaller: l or t?
l
Let q(y) = 3*y**3 - 2*y**2 + 3*y**3 - 3*y**3 + 1. Let m be q(1). Suppose 6*o = -6*o + 12. Which is greater: o or m?
m
Let d be 2/5 + (-620)/4. Let r = -154 - d. Let k be -1*(1 - (-1 - -2)). Which is smaller: k or r?
k
Let r be ((-2)/(-4))/(24/18). Are r and 17 nonequal?
True
Suppose 0 = -q + 3*q - 2. Let d be q*1/(-3)*-9. Let t = 4 - d. Is -1/5 at least as big as t?
False
Let k = 8 - 7.6. Let q = -44/7 - -227/35. Is k equal to q?
False
Let l = -1 - 0. Let n = -155 - -102. Let p = n - -211/4. Which is greater: l or p?
p
Let q(l) be the first derivative of -l**4/4 - 5*l**3/3 - 5*l**2/2 - l - 5. Let b be 30/(-8) - 3/12. Let m be q(b). Are 3 and m nonequal?
False
Suppose 2 = 5*a - 3. Let v be 2 - 28/(0 - a). Let i = 92/3 - v. Which is smaller: i or 3?
i
Let h = 8 + -4. Is h smaller than 5?
True