e
Suppose t + 2*l = -2, -4*t + 5*l = -7*t - 6. Let d be (t/6)/((-4)/(-12)). Let p be 0 - d - (-3)/6. Which is greater: 1 or p?
p
Suppose -5*c + 6 = -14. Let v be 1/2 + (-9)/(-6). Suppose -4*x + 22 = c*t + x, 0 = -v*x + 4. Which is bigger: 1 or t?
t
Let k(t) = t**3 - t**2 - t + 15. Let q be k(0). Is q >= 15?
True
Let k = -44.82 + 45. Which is smaller: k or 4?
k
Suppose 3*n = -0*n. Let u(p) = p - 6. Let j be u(6). Are n and j equal?
True
Suppose 0 = 2*j + j - 3. Let c = j + 1. Let p = 203/3 - 67. Is c not equal to p?
True
Let p = 1.2 + -0.2. Let n = -31/48 + -695/336. Let w = -109/35 - n. Which is bigger: p or w?
p
Let w = -10.99 + 11. Let g = w - 0.02. Is g < 2/5?
True
Let u(b) = b**3 + 5*b**2 - 6*b - 4. Let f = 8 - 14. Let d be u(f). Which is smaller: d or -10/3?
d
Suppose -2*n - 1 - 7 = 0. Is n greater than -5?
True
Let v = -1/115 + -223/805. Suppose 0 = -5*a + 2*o + 3*o + 5, 3*a - 2*o = 2. Which is smaller: a or v?
v
Suppose 3*c - 30 = -3*o + o, 0 = o - 4*c - 15. Which is smaller: o or 4?
4
Let u be (8/(-4) - 0)/2. Is -12/5 < u?
True
Suppose 10 = -0*p + 2*p. Suppose -2*n = p*v - 13, 3*n - 17 = -4*v - v. Suppose 2*d - n = -0. Is 1 bigger than d?
False
Let k = 16 + -27. Let n = k + 11. Is n less than 0?
False
Let s(a) = a**3 + 8*a**2 - 7*a - 6. Let t be s(-9). Let x be 36/t*(-8)/(-30). Does 1 = x?
False
Suppose -2 = 2*a - 0. Let l = 9/55 - -3/22. Which is bigger: l or a?
l
Suppose 5*u = 2*u - 63. Let l be 14/u*3/(-2). Which is smaller: 1/6 or l?
1/6
Suppose 3*x = 15, -4*g = 3*x - 22 + 3. Which is smaller: 0 or g?
0
Let m be ((-4)/(-21))/(48/224). Is m < 1?
True
Let h = 150817 - 5279137/35. Let a = -22601/5 - -4505. Let f = a - h. Which is smaller: f or 2?
f
Suppose 5*l = -15, 10*l - 5*l + 12 = -m. Let u(n) = 2*n**3 + 4*n**2 + 3*n**3 - 2 - 2*n - 6*n**3. Let p be u(m). Which is smaller: -2/5 or p?
-2/5
Let l(u) = -u + 6. Let q be l(6). Suppose q*w - 3 = 3*w. Suppose -4 = 3*y + o, -2*y - o - 8 = 3*y. Is w less than y?
False
Let g = -29.93 - -30. Let f = 1 - 0.9. Which is smaller: g or f?
g
Let c(h) be the third derivative of -h**4/24 + 3*h**3/2 - 19*h**2. Suppose r + r = 22. Let m be c(r). Which is greater: -1 or m?
-1
Suppose -3*a - 2 = -2*o + 2, -a = -5*o + 36. Is 5 smaller than o?
True
Let c = 942 + -59344/63. Let v = -53/315 - c. Suppose -7*w = -6*w + 1. Which is smaller: v or w?
w
Let m be (-5)/21 + (25/(-35))/(-5). Do m and -1 have the same value?
False
Suppose -o + 0*t = -t, -4*t + 30 = 2*o. Suppose 0 = -z + 6*z - 15. Is z > o?
False
Let w = 7 - 11. Let u = 22 + -14. Suppose -2*q = 0, 4*b - 4*q + 6*q = -u. Which is smaller: w or b?
w
Let s(b) = 3*b - 14. Let t be s(5). Are -1/17 and t equal?
False
Let a = 3 + 2. Suppose 3 = -5*w + 2*w, 2*t = a*w + 5. Suppose t = -4*z + 3*o + 5, -2*z + o = -o - 2. Is 2 at least z?
True
Let n = -101 + 89. Is n at most -17?
False
Let p = 14/159 + 1179/53. Let f = p + -22. Suppose -5*h + 3*h - 2 = 0. Which is smaller: h or f?
h
Suppose -1 - 9 = -5*p, -4*p = 4*z. Is -7 bigger than z?
False
Let m = 4 + -3. Let y = -1 - m. Let b = y - -3. Is -0.1 at least as big as b?
False
Let a = 163/56 - 21/8. Let g = -2 - -4. Let l be ((-4)/(0 + g))/2. Does a = l?
False
Suppose -m - 22 = 3*w + w, 27 = -5*w - m. Let t(c) = -2*c - 7. Let j be t(w). Let r = -1 + 3. Is r at most as big as j?
True
Let u be ((-1)/(-2))/(5/10). Suppose 5*h + 2*i = -9, 2*h - h - u = i. Suppose 2 = 4*k - 2*j, 3*k - 8 = 5*k + 2*j. Is k equal to h?
True
Let k = -0.09 + -0.41. Let p = 0 - k. Which is smaller: 0.1 or p?
0.1
Let g(x) = x**3 - 4*x**2. Suppose 0 = -3*o + 4*a + 53, 5*o - 113 = 5*a - 18. Suppose 5*w - o = 4*k - 3*k, 12 = -4*k. Let n be g(w). Which is smaller: 4/9 or n?
n
Let z(i) = i**2 - 2*i - 1. Let p be z(2). Let y be ((6/9)/1)/p. Is y < 4?
True
Let c = 9 - -2. Is 5 less than c?
True
Suppose 8*h + 5 = 3*h + 5*o, 3*o = -2*h + 13. Let s be h - (0 - 0 - -2). Let p be (-4)/10 - (0 - s). Which is bigger: p or -1?
p
Let t(m) be the first derivative of -5*m**2 - m - 1. Let y be t(-1). Let o = -10 + y. Which is smaller: 1 or o?
o
Let y = -37 - -38. Which is smaller: y or 2?
y
Let f be (-1)/((-18)/4) + 0. Let l be (4 + -3)*3 - 3. Which is smaller: f or l?
l
Let f be (27/12 + -2)*4. Let i be (-4)/3 - f/(-3). Let l be -4 + -1*i*2. Is l >= -1?
False
Let y = 9 + -9.1. Let v = 1.2 - 2.2. Is v at most y?
True
Let v = 20 + -9. Let a = 7/2 - 3. Does v = a?
False
Let b be 6418/4*(-8)/76. Let q = b + 169. Which is bigger: -2 or q?
q
Let s = -59/165 - -4/15. Which is greater: s or 1?
1
Suppose 3 = g - 2. Suppose -3*k + 12 + g = -2*f, -3*f + k = 15. Let n = f + 4. Is n smaller than -2?
False
Let j = 79/96 + 1/96. Is 1 less than or equal to j?
False
Let q = -9 - -8. Let d = -0.5 + 0.4. Which is greater: q or d?
d
Let a(g) = -3 + g**2 + 0*g**2 - 3*g + 3*g. Let y be a(2). Which is smaller: -2/7 or y?
-2/7
Let a(d) = -d**2 + 9*d + 10. Let n be a(10). Is n greater than or equal to -1/14?
True
Let r(c) = -c**3 - 7*c**2 - 5*c + 7. Let w be r(-6). Let m = -137/200 + 14/25. Is w at most m?
False
Suppose -3*z - s = -0*s + 30, 4*s = 0. Let q(r) = r**3 + 11*r**2 + 9*r - 11. Let k be q(z). Which is greater: 1 or k?
1
Let j be ((-2)/(-4))/(2/4). Let w be 108/(-26) - 20/(-5). Which is bigger: j or w?
j
Let m(f) = -f**3 - 4*f**2 - 2. Let t be m(-4). Let q be 0/((0 - t)/2). Let v = 1/2 - 3/10. Which is smaller: v or q?
q
Let z(r) = -2*r**2 + 3*r + 4. Let k be z(3). Let y be (-16)/40 + (-7)/k. Is y != 3/11?
True
Let m be (-180)/(-24)*(-12)/(-10). Let y be (-2)/(m/(-1) - -3). Which is greater: y or 0?
y
Let f = -16585/26 - -1273/2. Which is bigger: -1 or f?
-1
Suppose 5*w = 8 + 22. Suppose 2*n - w = -0. Is n smaller than 3?
False
Let h = -121/3782 + -1/61. Which is bigger: h or 1?
1
Let h(t) = -t**3 + 5*t**2 - 4*t - 2. Let q be h(4). Let j be ((-6)/(-36))/(1/q). Is 0 smaller than j?
False
Suppose -n + 19 = 2*k - k, 0 = n - 4*k - 4. Let r = -17 + n. Let b be 6/(-9)*(0 + 3). Which is smaller: b or r?
b
Suppose -2*s + 9 = s. Let j be ((-6)/(-27))/(s/(-9)). Let m = -1 - 1. Do m and j have the same value?
False
Let z(w) = -2*w - 4. Let a(o) = -o + 1. Let g(i) = -3*a(i) + z(i). Let m be g(5). Let d = -3 - m. Which is bigger: -2/5 or d?
-2/5
Let w = -107.1 - -9.8. Let z = 102 + w. Let a = z + -0.7. Which is smaller: a or -1?
-1
Let s be (48/(-40))/((-3)/10). Suppose 10*g + s = 6*g. Let v = -2128/5 - -424. Which is bigger: g or v?
g
Suppose 0 = -0*t - t. Suppose t*s + 3 = -3*s. Is 2/9 less than or equal to s?
False
Let q = -1 + -1. Let x = q - -2.3. Is x bigger than 1?
False
Let x be 64/28 + 4/(-14). Suppose 5 - 1 = x*s - 3*p, 4*s + 12 = p. Is s not equal to -4?
False
Let a = -8 - -11. Suppose -r = -5, -2*b - a*r = 2*b - 3. Let c be ((-2)/3)/(1/3). Is b at most c?
True
Let u be (-7)/(-14) + 14/(-4). Is 2 <= u?
False
Let x = -5 - -5. Let z be 1/(-1) - (-2 - x). Let l = 0.1 + -0.1. Which is smaller: z or l?
l
Let g be ((-6)/8)/(2/8). Suppose 0 = -n - 2*n - 15, -4*t - 58 = 2*n. Let b be (2/g)/((-4)/t). Is -3/2 at least as big as b?
True
Let z be ((-516)/(-88) - 6)/((-6)/4). Which is smaller: z or 2?
z
Let z be 1 + 1 + (-10)/6. Suppose 5*v = 4*y + 7, 0 = 5*y - y + 3*v + 15. Let i be 8/24*y/2. Which is smaller: i or z?
i
Let r be (1/2*0/(-2))/2. Let g be ((-2)/2)/(2/4). Let d be (4 + g*1)/(-2). Is r greater than or equal to d?
True
Let c(x) = 1. Let p(f) = -f - 3. Let n(u) = 2*c(u) + p(u). Let h be n(-10). Is h > 9?
False
Let d = -2 - -8. Which is bigger: 0 or d?
d
Let d(i) = -i**2 - 13*i + 3. Let z be d(-13). Suppose z*a = -0*a. Is a >= 1/2?
False
Let k = 14 + -12. Are k and 7/6 nonequal?
True
Let f = 9 + -8.95. Is f > 4?
False
Let b be -2*(-1)/(0 - -1). Let u(h) = -h**3 + 8*h**2 - h + 6. Let w be u(8). Let y = b + w. Is -1 at least y?
False
Let i = -48 - -26. Which is greater: -21 or i?
-21
Suppose -204 = 5*i - 11*i. Are i and 33 equal?
False
Let y = -2/319 + -1900/2233. Which is smaller: y or 0?
y
Let y be -3 - -2 - (-5 + (-9)/(-3)). Which is greater: y or 5/17?
y
Let c be ((-48)/(-260))/((-58)/60 - -1). Is 6 > c?
True
Suppose -3 = -3*u + 219. Let m = 224/3 - u. Let s = -1.72 + -0.28. Is s at most m?
True
Let p(g) = g**2 - 2*g - 3. Let c be p(-3). Let k be (-4 + c)*(-2)/(-8). Let v(j) = j**3 + 5*j**2 - 2*j - 6. Let b be v(-5). Do b and k have the same value?
False
Let i = 20 - 9. Let 