y. Is t less than or equal to 4?
True
Let r = -1/134 - -275/938. Which is bigger: -2/15 or r?
r
Let a = 18 - 22. Do 1 and a have the same value?
False
Let m(d) = -d**3 + 2*d**2 + 2*d. Let s be m(3). Let j(t) be the second derivative of -t**5/20 - t**4/3 - t**3/3 + t**2 - 13*t. Let p be j(s). Is p <= -3/8?
True
Suppose 14 = 2*c - 5*v + 63, -5*c + 4*v = 80. Let b = c - -15. Is b at least 5?
False
Let j = -2 - 3. Do j and -2 have different values?
True
Suppose 5*u - 5 = 4*u. Suppose u*k - 20 + 5 = 0. Let m(f) = -f**2 - 10*f + 15. Let i be m(-11). Which is smaller: i or k?
k
Let b = -8 + 4. Let f(j) = 7*j**3 - 1. Let a(m) = 13*m**3 + m**2 + m - 1. Let q(o) = -6*a(o) + 11*f(o). Let k be q(-5). Which is bigger: b or k?
k
Suppose -125 = -11*l + 6*l. Let p = 23 - l. Is p <= -5?
False
Let n(u) = u - 7. Let d be n(10). Suppose -4 = -d*t - 1. Is t less than or equal to 2/17?
False
Let j be ((-12)/(-10))/((-69)/15). Is 1 at most as big as j?
False
Let h = -1 + 0. Let y be 8 - ((1 - -2) + h). Let o be 3*y/45*5. Is o > 5?
False
Let p be (-32)/14 - 6/(-21). Let a be ((-2)/p*-1)/2. Suppose -2 = 3*n + 4*q, 4*n - n + 3*q + 3 = 0. Which is bigger: n or a?
a
Let l(t) = -t**3 - 6*t**2 + 6*t - 8. Suppose 0 = 2*v - v + 9. Let c = v + 2. Let r be l(c). Are r and 0 equal?
False
Suppose -a = -3*a. Let z be (1*-2)/2 - (-14)/21. Is z less than or equal to a?
True
Suppose -2*h - 5*z = h + 23, 2*h = -3*z - 15. Is -6 at least as big as h?
True
Let b = -2/1321 + 117577/5284. Let v = 22 - b. Let t = -2 + 0. Is v not equal to t?
True
Let l = -3/7 + -1/14. Which is smaller: l or 1?
l
Let m = -25 + 18. Let z be 14*((-33)/(-6))/(-11). Do m and z have the same value?
True
Let p = -33 - -33. Which is greater: -2/9 or p?
p
Suppose -16 = 2*s - 62. Are 23 and s unequal?
False
Let v(w) = -6*w - 3. Let j be v(2). Which is greater: -14 or j?
-14
Let v(t) = -3*t**3 - 2*t**2 - 2. Let o = 2 - 4. Let h be v(o). Which is smaller: 15 or h?
h
Let v(k) = 4*k + 2. Let b be v(-2). Let f = b - -6. Suppose f = -c - 0*c - 2. Which is greater: -3 or c?
c
Suppose -3*r - 5*r = -2*r. Suppose 0*x - 2*x - 6 = -u, 3*x - 5*u = -16. Which is smaller: r or x?
x
Let a(i) = 10*i**2 - 2*i + 1. Let t be a(1). Let j be (-1)/(-1 + 12/t). Let c be 3/1*j/9. Which is smaller: -2/11 or c?
c
Let h = -2.3 - 0.7. Suppose -f - 2*f - 20 = 5*d, 2*f - 3*d = 12. Which is bigger: f or h?
f
Let g = 13 - 13. Is 2/67 at least as big as g?
True
Suppose 2*s + 2*s = 3*v - 165, 2*s - 147 = -3*v. Is v less than or equal to 51?
True
Suppose n - 4 + 2 = 0. Which is greater: -1 or n?
n
Let u be -1 - (-2)/(-4) - (-4)/8. Which is smaller: u or 5/51?
u
Suppose -3*f - 2*z + 126 = 0, 0*z = -4*f + z + 168. Which is greater: 41 or f?
f
Let m = 0.92 + -0.12. Let i = m - 0.7. Suppose 2*c + 5 = -3*c. Which is smaller: c or i?
c
Suppose -6*i = -i - 20. Suppose 0 = 3*r - r + 5*y + 14, 0 = r + y + i. Is r greater than or equal to -2?
True
Let t(u) = -3*u - 9. Let v be t(-3). Which is greater: v or -5/6?
v
Let u be (3 + -2 - 1) + -6. Let r = -1 + 5. Let g be 2/r + u/16. Which is bigger: 1 or g?
1
Let g(l) = -l + 4. Let v be g(3). Let f be (-3)/(-9) + 2/(-42). Does f = v?
False
Let p = 30 - 419/14. Is p bigger than -1?
True
Let k(j) = j**2 - 5*j - 4. Let h be k(6). Suppose -u - 8 = -3*u. Let l be ((-6)/u)/(9/(-12)). Is l at most h?
True
Let i(b) = b. Let p be i(5). Suppose -17 = 3*f - u, -p*f - u - 16 - 7 = 0. Let m = 7 + f. Is m < 4?
True
Suppose -4*a + 60 = -a. Suppose 4*h - a = -0*h. Let s be 11 - (3 + 2) - 1/1. Is h <= s?
True
Let u(n) = n**3 - 2*n**2 + n - 1. Let l be u(1). Let v = 38 - 39. Is l <= v?
True
Let o be 87*(13/2 - 2). Let u = o - 490. Let y = u - -101. Which is bigger: 2 or y?
y
Let x be (1 - -2)/1 + (5 - 6). Is 5/6 equal to x?
False
Let n = -14.8 - -1.8. Let z = n - -12.9. Let k = 317 - 4123/13. Is z bigger than k?
True
Let o(b) = b. Let v be o(5). Suppose -5*t - 6 = -3*y, -v*y = 3*t - 2*t + 18. Let n be 2*(-2 + 0 - y). Are n and 2 equal?
True
Suppose -2*y = 2*x - 5*y - 15, -2*y = -4*x + 18. Is 9/4 equal to x?
False
Suppose 5*b = 2*b + 3, g - 137 = -5*b. Let n be ((-146)/3)/(g + 2). Let t = n - -2/67. Which is bigger: -1 or t?
t
Let s = -40.4 - -46. Let m = 0.6 - s. Let o = m + 4. Is o greater than or equal to 1?
False
Let h(o) = 4*o**2 + o - 2. Let t be h(-2). Suppose -3*n = -3 - 3. Let r be (3/n)/(3/t). Is 5 at least r?
False
Let x(p) = 2*p - 7. Let r be x(3). Which is smaller: 0 or r?
r
Let l = 0 + 1. Let j = 0.09 + 0. Let n = 0.31 + j. Which is greater: n or l?
l
Suppose r = 3*r. Let w = -6 - -8. Let f = 5 - w. Which is smaller: f or r?
r
Let d(w) = -w**3 - 7*w**2 - 4*w + 2. Let a = -15 - -10. Let s be d(a). Let r be (s/(-6))/2 - 2. Is r equal to -1?
False
Let j be (-2)/5*(-8)/(-16). Which is smaller: 1 or j?
j
Suppose 0 = -u - u. Let c = 71/2 + -36. Is u at least c?
True
Let p(n) = -n - 10. Let m be p(-9). Which is smaller: m or -2/9?
m
Suppose -3*h = -0*r + 4*r + 7, -r - 3*h - 4 = 0. Let m = -10 + 39/4. Is m greater than r?
True
Let a be -57*5/55 - -5. Let t(w) = -w**3 - 4*w**2 + 4*w - 6. Let s be t(-5). Which is smaller: s or a?
s
Let y(h) = h**3 - 11*h**2 - 10*h - 9. Let a be y(12). Is 14 bigger than a?
False
Suppose -3*q + 4*r = 7, -14 = q - 0*q + r. Is q != -9?
False
Suppose -2*a - 48 = 2*a. Let f = a - -15. Which is smaller: f or -2?
-2
Suppose 0 = 4*f - 5 - 7. Suppose f*n - 12 = -n. Let w be (-30)/(-4)*(-2)/n. Do -5 and w have different values?
False
Let a be 6*-1*4/(-8). Let n = 8/11 + 45/44. Is a equal to n?
False
Let j = 6 - 7. Are j and -2/11 nonequal?
True
Let c(b) = -b**3 - b**2 - b + 4. Let i be 0/(-2 - 4/(-1)). Let p be c(i). Suppose 0 = 2*u - p*u - 2. Is 1 at most u?
False
Let z be (4/7)/(-4)*-1. Which is smaller: z or 5?
z
Let g(d) = d**3 - 2*d**2 + 2*d. Let w be g(2). Suppose 3*t - w = t. Suppose m + t = 3. Is 1 less than or equal to m?
True
Suppose -32 + 2 = -2*i + q, 3*q = -12. Do 13 and i have different values?
False
Let m be (-2 + 51/(-6))/(2/(-4)). Is 19 less than m?
True
Let c be 62/(-90) + 12/15. Are 1 and c non-equal?
True
Let b = -19 - -12.6. Let q = -6 - b. Let z = q - 0.5. Which is smaller: z or -2/3?
-2/3
Let n be 0 + 1 - (3 - 6). Suppose -4*g = 2*a - 22, 20 = -a - n*a + 5*g. Is a < -1?
False
Let m = -11 + 5. Suppose 3*l = 4*d - 12, -d + 6*d = -15. Let w = -15 - l. Which is bigger: m or w?
m
Suppose -441 = -7*w - 0*w. Let n be 16/153 + (-14)/w. Is -1 not equal to n?
True
Let v be 2/1 - (-6 + 1). Let d be (v/(-14))/((-1)/9). Which is smaller: d or -1?
-1
Let l be (2/4)/((-1)/(-10)). Suppose -l*p = 4*u - 23, 0*u + 4*u - 3*p + 1 = 0. Let w = -117/2 + 60. Is u < w?
False
Let c = -183 + 2197/12. Which is smaller: c or 1?
c
Let w be 0 + (4 - (2 + -2)). Suppose -w*r = -r. Let s = -2.9 + 3. Which is greater: r or s?
s
Suppose 0 = 9*f - 4*f. Let n = f - -2. Let t = -53 - -109/2. Which is greater: t or n?
n
Suppose -13 = 2*r + 9. Let d be (-2)/r - 5/(-275). Which is greater: d or 3?
3
Let h = 0.09 + 3.91. Let f = h + -3. Let r = f + 2. Is 0.1 < r?
True
Let k = 60 - 55. Let r(z) = -4*z + 3. Let n be r(2). Let q be (0 - n/(-2))*-2. Is k at least q?
True
Let o be (-1 - 0 - 0) + 1. Let c = 2 - 5. Let n be (-2)/c + (-4)/6. Is o > n?
False
Let p = 36/23 + -4045/2599. Which is bigger: p or 0?
p
Let t = 15 - 16. Which is bigger: t or 1?
1
Let f(l) = -7*l - 17. Let i be f(-8). Is 39 bigger than i?
False
Let i = -31 - -59.9. Let a = i + -29. Which is smaller: 11 or a?
a
Suppose -5*q - 11 + 1 = 0. Let p(r) = -3*r - 2. Let g be p(q). Suppose 5*o + 12 = -3*s, -s - 9 - 2 = g*o. Are -3/7 and s non-equal?
True
Suppose -5*a + 0*a - 210 = 0. Let r = a - -212/5. Which is greater: r or 1?
1
Let y = -27 + 24. Which is greater: y or -10/3?
y
Suppose -3*r + 2 - 14 = o, -5*r - 4*o - 27 = 0. Let f be r/(3 + 0)*1. Which is smaller: 1/7 or f?
f
Let i(w) = w**3 - 7*w**2 + 8*w - 4. Let g be i(6). Suppose -t - 45 = -6*t. Which is smaller: t or g?
g
Let z = 23 + -11. Suppose 3*x - z = 0, -4*o - 15 = -5*x + 1. Let m be (1 - 1/3)/(-4). Which is greater: m or o?
o
Let z = 2.5 + -2.4. Let q = 3 - 3.08. Which is smaller: q or z?
q
Let b = -1.8 + 1.75. Let h = b + -2.95. Which is smaller: h or -1/2?
h
Let b be 1 - 3 - (-28)/7. Suppose 0*j + b*j = -6. Let a(v) = v**3 - 7*v**2 - 10*v + 12. Let g be a(8). Is g at most j?
True
Let g = -12631/23 - 