 = -0*y - 3*n. Let v be (6/(-9))/(y/(-6)). Is 1 greater than v?
True
Suppose 10 = f + 4. Suppose t + 3 = 3*i + f, -9 = 2*i - 3*t. Suppose 2*h = 3*v - 6, -h + 3*h + 4 = 2*v. Which is bigger: v or i?
v
Let m = 0.025 - 2.125. Let k = m + 2. Is k <= 2/15?
True
Let g(i) = i + 6. Let l be g(-6). Let y = 225 + -2029/9. Do y and l have different values?
True
Let c = 155/21 - 23/3. Is 0 >= c?
True
Let i = -17 + 37. Which is smaller: i or 21?
i
Let j be (-9)/6*4 + -1. Let h be 4/(-14)*j/4. Let q = 3.2 + -3. Are h and q non-equal?
True
Let f = 11 - 7. Suppose 0 = -f*c + 4, u - c - 5 = -u. Suppose -5 = -2*s - 3*r, 5 = 3*s + 2*r - 0. Which is smaller: u or s?
s
Suppose -40 = -4*r - 12. Let t be (-1 + r)*(-4)/(-6). Are t and 2 equal?
False
Let n(a) be the first derivative of -a**4/4 + 5*a**3/3 - 5*a**2/2 + 5*a - 2. Let d be n(4). Which is greater: d or 2/9?
d
Suppose 6*v = 4*v + 4. Let x be (9/12)/((-35)/44). Let k = x - -8/7. Which is bigger: k or v?
v
Let o(j) = -j**3 - 6*j**2 + 7*j + 1. Let d be o(-7). Suppose 0*y = -4*y + 4*c + 12, -12 = 4*y + 4*c. Let w be 2/(-2) - (-1 - y). Which is greater: d or w?
d
Let n be (-2 - -6)*18/(-22). Is -3 equal to n?
False
Let s = -34 + 22. Let v = 12.1 + s. Which is greater: v or -0.2?
v
Let a = 1697/7 - 242. Which is smaller: a or 0?
0
Suppose -15*n = -14*n - 1. Which is smaller: n or 2/27?
2/27
Let m = -11 + 16. Is 4 less than or equal to m?
True
Suppose -8*c + 6 + 2 = 0. Is -3/28 bigger than c?
False
Let a(d) = -d**2 - d - 1. Let k be a(0). Let j = -12 - 6. Let v be -2*(-2)/(j + -2). Which is bigger: k or v?
v
Let g = 0.13 + 2.27. Let d = g + -0.4. Is -2/15 equal to d?
False
Suppose -3*r - 8 - 5 = 2*v, r + 26 = -5*v. Which is greater: -9 or r?
r
Let y = 11 - 8. Suppose -y*u + 3 + 3 = 0. Which is smaller: 4 or u?
u
Let a be 14/77 + (-20)/(-11). Let f be -5*-1*(-4)/(-8). Are a and f unequal?
True
Suppose 3*j - z - 138 = -2*z, -6 = -2*z. Which is greater: j or 46?
46
Let o = 0 - -1. Let n = -14 - -13. Which is smaller: n or o?
n
Let s be (-9)/3 + (2 - 0). Let i(m) = -m**2 + 5*m - 4. Let b be i(4). Which is greater: s or b?
b
Let l(v) = -v**2 - 14*v - 49. Let g be l(-5). Which is greater: g or -0.1?
-0.1
Let u = 9 + -6. Suppose -4*v + 2*s = -52 + 2, -v + 5 = -u*s. Which is smaller: v or 1?
1
Let l = 49 + -342/7. Which is smaller: 0 or l?
0
Let s be (-10)/35 + (-250)/154 - -3. Which is smaller: s or 2?
s
Let i be -5*-2*(-3)/(-15). Let n be (4/5)/(i/5). Suppose x + 2 = -3*d + n*x, 5*d + 6 = -x. Does -3/8 = d?
False
Let j = -8.9 + 9. Which is smaller: j or 6?
j
Suppose -1 - 3 = -4*h. Let u be (-1)/(-4) + 3/(-12). Let w = 2 + u. Is h at least w?
False
Suppose -46*q - 3 = -43*q. Let d = -3200/7 + 456. Which is smaller: q or d?
d
Let f(z) = z**3 + z**2 - z + 10. Let g be f(0). Let i(t) = 2*t**2 - 15*t + 1. Let d be i(8). Is d bigger than g?
False
Suppose 0 = 3*l - 7*l - 8, 0 = -4*n - 4*l - 16. Suppose 4*p - 2 = q - 19, 5*q - 40 = 5*p. Is p >= n?
False
Let q = 9 - 8.8. Let u = 0.6 - -1.4. Are u and q nonequal?
True
Let u(w) = w + 4. Let c be u(-3). Suppose d + c = 3. Suppose 0*x - 6 = d*x. Which is bigger: x or -2?
-2
Suppose -10 = 4*a + a. Let i be -1 - a/6*0. Is 2/5 at least i?
True
Suppose q - 6 = -2*q. Suppose q*o = 3*w - 12, 4*w + 5 = 21. Which is greater: o or -5/4?
o
Let i(m) = -4*m + 5. Let q(d) be the first derivative of -3*d**2/2 + 4*d + 1. Let n(o) = 2*i(o) - 3*q(o). Let z be n(2). Are z and 0 nonequal?
False
Let b be (3 - (-15)/(-3))/2. Let n = 0.33 + 10.67. Which is smaller: b or n?
b
Let x = -74233 - -74737.93. Let j = x + -507. Let c = j - -0.07. Is c less than 0?
True
Let z be 1 - 0 - (2 - 0). Suppose -7*s + 20 = 2*p - 4*s, 4*s - 29 = -3*p. Let a = -6 + p. Which is smaller: a or z?
z
Suppose -b = -4*b + 9. Let a = -1 + 1. Suppose b*l - 12 = -a*l. Which is greater: l or -1?
l
Let a(y) = -3 + 0*y - 4*y**2 + 0*y**2 + 3*y - y**3. Let m be a(-4). Let k be (-6)/(-15) - (-81)/m. Is k < -5?
False
Let p(w) = -w**3 + 3*w**2 + 3*w - 3. Let z be p(3). Let g = z + -9. Is -0.06 at least g?
True
Let n be (-108)/(-105) - (-1)/(-1). Which is bigger: n or 0?
n
Let k = -15 - -17. Is k less than -2?
False
Suppose f = -2*l + 6, 5*f - 4*l - 2 = -14. Let w = 8 + -7. Is f >= w?
False
Let s be 3 + ((-15)/12 - 2). Which is greater: 9 or s?
9
Let g = -128 - -239/2. Which is greater: -10 or g?
g
Let h(q) be the third derivative of q**6/120 + 3*q**5/20 + 3*q**4/8 + 4*q**3/3 + 2*q**2. Let u be h(-8). Which is bigger: -4/5 or u?
u
Suppose -18 = -3*k - g, -g = -2*k + 3*g - 2. Let x(v) = v**2 + 9*v + 5. Let z be x(-9). Is k greater than or equal to z?
True
Let o = 1.4 - 1.3. Which is bigger: o or 23?
23
Let b be (3 - -25) + -3 + -3. Let p be (11/b)/(1/(-2)). Let d(v) = v - 6. Let k be d(6). Which is bigger: p or k?
k
Let h be (-1 - -3) + (-16)/9. Does 0.2 = h?
False
Let k = 3.03 + -0.03. Let i = k + 4. Let u = -8 + i. Which is greater: -1/2 or u?
-1/2
Suppose 10 = -4*r + 3*b, -r - 3*b + 2 = -3. Which is smaller: 1 or r?
r
Let s = 0.5 + 1.5. Let d = 0.33 + -0.3. Let i = d + -0.23. Which is bigger: s or i?
s
Let x be 318/(-66) + (-4)/22. Is x < -5?
False
Let d = -29 - -24. Let i = -0.4 - -0.3. Which is greater: i or d?
i
Let z(m) = 2*m - 12. Let h be -2 - 7/((-7)/10). Let v be z(h). Which is greater: 1 or v?
v
Let m = -3 - -6. Suppose 4*b - 16 = 0, -m*o + b + b = 2. Suppose 3*g + 3*i + 6 = 0, 0 = -g - o*i + 7*i + 22. Are 0.2 and g nonequal?
True
Let d = 0.12 + 0.18. Let x = d + -0.4. Is -2 bigger than x?
False
Let v be ((-4)/(-6))/((-13)/(-3)). Suppose 0*i - 2*i = 16. Let f(y) = -y**3 - 8*y**2. Let b be f(i). Is b bigger than v?
False
Let d(u) = -3 + 0*u - u + 2. Let s be d(0). Let g be 56/(-140)*2/4*-1. Which is smaller: g or s?
s
Suppose 4*u - 132 = -3*n - 2*n, 4*n = -4*u + 108. Let b be 5 + 0 + n/(-8). Is b >= 1?
True
Let n = 16 - 430/27. Let m(h) = -h**3 - 6*h**2 - 4*h + 6. Let i be m(-5). Is n equal to i?
False
Suppose -21 = -5*u - 1. Let t = u - 5. Is t != -1?
False
Let t = -0.06 - 2.94. Let f be 26/117 - (-2)/(-9). Which is smaller: t or f?
t
Suppose 3*z - 16 = -2*l - 4, 0 = -4*l + 3*z + 24. Let x = -14 - -18. Let p be 10/x*l/5. Which is bigger: p or 2?
p
Suppose -5*l = -2*w + 18, -3*l - 2*w = -2*l - 6. Suppose 0 = -3*i - 4*h + 6, -28 = 5*i - 5*h - 3. Let x = i - -1. Which is bigger: l or x?
x
Let r = 0.07 + -0.01. Let d = 0.14 + r. Does 3 = d?
False
Suppose 4*l = 8 - 0. Let j be (l - 1)*0/1. Let q = -16 - -63/4. Is j at least q?
True
Let a = -1/14 + 83/182. Does a = 0?
False
Suppose -q + 4*b = -26, -7 = -4*q + b + 22. Suppose 0 = v + 2*v - q. Suppose 5*m + v*w = -0*w - 4, 2*m + 2 = -w. Do m and 1 have the same value?
False
Suppose 5*a - 3 = 132. Let m be (6/9)/(6/a). Suppose m*p + 0*p + 3 = -3*r, -3*r - 5 = 5*p. Which is greater: p or -2/7?
-2/7
Let p = 2984/13 + -230. Suppose 4*z - 15 = g - 4*g, -5*g + 3*z = 4. Which is smaller: p or g?
p
Let m be 232/(-120) + 4/(-10). Is -3 at least as big as m?
False
Let y(o) = o**3 + 4*o**2 + 3*o. Let g = 5 - 7. Let t be y(g). Let p(f) = f**2 - 2*f. Let d be p(t). Which is smaller: d or 2/15?
d
Let z be -2 + ((-176)/(-20))/4. Which is smaller: 1 or z?
z
Let j = 10 + -5. Which is greater: j or 9?
9
Suppose 0*t = 3*t + 18. Let k be (-4)/t*(-6)/(-4). Let d be 4/(-8) - 30/(-84). Are d and k unequal?
True
Let l = 20 + -18. Which is smaller: l or -4/9?
-4/9
Let v(z) = -2 - 4*z**2 - 4*z + 0*z**3 - z**3 - 1. Suppose -2*k + 8*k = -18. Let d be v(k). Which is smaller: -2/7 or d?
-2/7
Let v = 10.25 + -0.25. Let l = 8 - v. Is l greater than -3?
True
Let q = 61 - 56. Let g = -3/7 - -5/28. Which is smaller: q or g?
g
Suppose -2*b - b - d + 101 = 0, 12 = -3*d. Is b smaller than 37?
True
Let w = -15151.651 - -15158. Let l = w + -0.049. Let n = l - 6. Are n and -1 equal?
False
Let p = 201/73 + -1/292. Is p <= 3?
True
Let l(m) = -m - 1. Let t be l(-3). Which is smaller: 24 or t?
t
Let k be 1*-6*1/(-2). Suppose -2*t = k*t - 5. Suppose -6 - 2 = -4*g. Is g >= t?
True
Let m be (12/(-12))/(2/(-12)). Which is smaller: m or 2/5?
2/5
Let x = -3.14 + 0.14. Is -3 >= x?
True
Let k(a) = 3*a + 3*a - 1 - 5*a. Suppose -13 = 3*b + l, 5*b + 3*l + 2*l + 35 = 0. Let u be k(b). Is u greater than -4?
False
Let m be (-22)/((-2)/(-1)) + (-4)/(-4). Which is greater: -11 or m?
m
Let h be ((-6)/(-4))/((-42)/(-8)). Let p(w) = -w**3 - 4*w**2