= l. Let f = -3.02 - -0.02. Let y = f + 1. Does y = l?
True
Let r = -1 - 1. Let l be 2/5 - 269/310. Let p = l + -1/31. Which is greater: p or r?
p
Let g(n) = -n**3 + n**2 + 3*n - 1. Let j be g(2). Let l(w) = -w**3 + 3*w**2 + 4*w + 2. Let b be l(4). Suppose b*p + 2 = 6. Is p at most as big as j?
False
Let j be 4/14 + 10/(-84). Suppose 5*l - 2*a + 117 = 0, -3*l - 2*a = -l + 44. Let f = l + 23. Is f less than or equal to j?
True
Suppose -3*y + 20 = -6*y - 2*h, 23 = -3*y - 5*h. Suppose -n + 3 = 3*a + 9, -24 = -n + 3*a. Let b be (y/n)/((-3)/(-27)). Is -2/7 bigger than b?
True
Let h be 9/11 - (-4)/22. Let c be h/(60*(-6)/164). Let k = c + -2/45. Which is smaller: 0.4 or k?
k
Let k = -0.01 - -0.31. Let l = 0.5 - k. Let u = l + -0.1. Is 3 greater than u?
True
Suppose 3*f = -2*f + 20, 5*f = 3*t + 38. Let z = t - -1. Is z bigger than -4?
False
Let h be (-3)/(6/(-8)) + 0. Suppose i = h*i. Let l be 4/(-3)*(-1)/8. Which is smaller: l or i?
i
Let a = 11 + -17. Let y(f) = f**2 + 7*f + 5. Let b be y(a). Let s be 5/(-7)*2/(-5). Which is smaller: s or b?
b
Let q = 1984 + -2091.3. Let s = q - -103. Let z = s + 4. Is z < 1?
True
Let l(j) = -7*j**3 - 4*j**2 - j + 17. Let k(h) = 3*h**3 + 2*h**2 + h - 8. Let r(x) = 9*k(x) + 4*l(x). Let y = 4 + -1. Let c be r(y). Which is greater: 6/7 or c?
c
Let z(l) = -l - 1. Let a be z(0). Which is bigger: a or -1/19?
-1/19
Let k be (-1)/(2 + -4 + 3). Suppose -5*o = -4*h - 15, 0 = 2*h + 2*h + 20. Let i = k - o. Do 2/13 and i have different values?
True
Suppose 2*z = -2*t + 8, -5*z + 8 = 3*t - 2*t. Suppose -t*c - c + g = -9, -3*c = -3*g. Let b be (-1)/((-3)/(-6) - 1). Which is smaller: b or c?
b
Suppose 5*i + 25 = -3*u, 8*u = 5*u + 2*i + 10. Is u < -3/5?
False
Let c be (5/5)/(1/(-6)). Are -7 and c equal?
False
Suppose 1 = 9*g + 1. Let f(v) = -8*v + 2. Let b be f(3). Let q be (-8)/b*(-1)/2. Is q less than g?
True
Let v(u) = -u**3 - 4*u**2 - 3*u + 3. Let j be v(-3). Suppose 6*p - 3*p - j = 0. Is 1 bigger than p?
False
Let p(a) = a**3 - 15*a**2 - 14*a - 19. Let h be p(16). Which is bigger: h or 14?
14
Let l = -2/2913 + 13279/12623. Let p = -21054/34255 - 2/2635. Let w = p - l. Which is bigger: -1 or w?
-1
Let z = 83 - 83. Is z > 2/39?
False
Let u be 1/(-1) + (15 - 12). Are u and 16/5 nonequal?
True
Let v(k) = 0 - k + 5 + 0. Let c be v(6). Let g be (-5 + 5)*(-1)/(-2). Is c at least g?
False
Suppose 76 = -65*v + 63*v. Is v <= -38?
True
Suppose 9*a - 24 = 3*a. Let l be 4/2*(-6)/(-4). Is l bigger than a?
False
Suppose 5*t = -42 - 63. Let w be (-4)/14 + 57/t. Let g = 2 + -4. Which is bigger: w or g?
g
Suppose -19 - 6 = 5*w. Is -5 smaller than w?
False
Let o = 36 - 37. Which is greater: -5 or o?
o
Suppose -2 = -2*b - 4*h, h + 8 = -4*b + 5*h. Let m be (30/(-70))/(30/(-28)). Is m at least b?
True
Suppose -m - 2*j = 2, 3*m + 2 = 5*m - 2*j. Suppose 0 = -m*z + 5*z. Let o = -1 - z. Which is smaller: o or -2/9?
o
Let j(z) = -2*z**2 + 3*z - 4. Let p be j(4). Let t = 29167/5 + -5809. Let y = p + t. Which is smaller: y or 1?
y
Let g be (2/(-14))/(1/3). Suppose 56*b - 53*b = 0. Is b equal to g?
False
Let s(z) = -z + 9. Let g be s(9). Suppose 3*x - 9 - 9 = g. Suppose 4*i - x = -14. Is -3 <= i?
True
Let j = 0 + 5. Let i = -5 + j. Which is smaller: i or -1/6?
-1/6
Let l(q) = -q**2 + 17*q + 20. Let t be l(15). Let c = -20 + 12. Let k be (t/c)/5 - 1. Is -1 at least k?
True
Let s = -12 - -7. Let n = 5.3 + s. Is 0.4 <= n?
False
Suppose 21 = -3*a + z, 3*a - 3*z - 15 = 7*a. Let y = 1 + a. Are y and -6 unequal?
True
Let r(n) = -2*n - 10. Let h be r(-7). Let m be ((-4)/h)/(1/3). Which is smaller: m or 2/5?
m
Let n be (-2 + 6/4)*0/(-3). Is -6/19 greater than or equal to n?
False
Let n = -9/25 + -1/25. Is n greater than 1?
False
Let b = -44 - -31. Let l = 37/3 + b. Which is bigger: l or 0?
0
Let o = -152/287 - -10/41. Which is bigger: o or 1?
1
Let r be -1 + -1 + (-40)/(-18). Let l = -0.4 - -1. Let y = l - 0.5. Which is bigger: y or r?
r
Let g = 100 + -698/7. Let y be (2 + 2)*7/(-7). Let d be ((-2)/y)/(2/4). Which is smaller: g or d?
g
Let w = 487/140 + -8/35. Let j = w - 31/12. Let d be 3*((-2)/(-2) - 0). Is j != d?
True
Let u(m) be the third derivative of m**4/24 - m**3/3 - m**2. Suppose -2*h + 1 = -f, 4*f - 2 - 8 = h. Let d be u(h). Which is smaller: d or -1?
-1
Let i be 10/6 + (-1 - 1). Let g = 6 - 5. Is g at most i?
False
Let p(b) = -b - 5. Suppose -5 = m, -m = l - 0*m + 9. Let z be p(l). Which is smaller: -2/5 or z?
z
Let w(a) = 1 - 6 + 0*a**2 + a**2 - a**3 + 3. Let v be w(2). Which is smaller: -5 or v?
v
Suppose 3*a + 6 = 3*l, 0*a = -3*a - 3*l. Is -1/18 equal to a?
False
Let s = -3 + 2.8. Let a = -6 - -6. Is a bigger than s?
True
Let j = -1/3 - 0. Let b = 0.2 + -8.2. Let q = b - -6. Does j = q?
False
Let x be ((-4)/2)/(-5 - -3). Let v be (-11)/2*2*-1. Suppose 3*b + 2*f - v = -2*f, -4*b + 3*f - 2 = 0. Is x at least b?
True
Let q(h) = -h**3 - 3*h**2 + 5*h + 5. Let s be q(-4). Let z = 3 - s. Which is smaller: 0 or z?
0
Let y be (2 - -2)*1/6. Let o = -3 - -6. Let n = -2 - o. Which is greater: y or n?
y
Let x = -106 + 105. Do x and 1 have the same value?
False
Let g = -10 - -9. Let y be (-7)/39 - 2/(-6). Is y less than g?
False
Suppose 0 = -2*m + 3*m + 2*o - 6, 0 = 5*m + 2*o - 6. Let f be (1 - -1) + m - 0. Let x = -1082 - -9748/9. Is f <= x?
False
Let z be 0 + (-5)/(20/6). Which is bigger: -5/3 or z?
z
Suppose 0*n + 7 = 3*b + n, 0 = 2*b + 2*n - 2. Suppose -3*x = x - w - 10, 2*x = 5*w - 4. Is x > b?
False
Let o = 1.1 + -11.1. Let i = -9.5 - o. Let l = 0.6 - i. Is l >= -2?
True
Let y(n) = n - 12. Let o be y(7). Is -4 equal to o?
False
Let q = -1 - 0. Suppose 0 = 3*h - 7*h - 56. Let p be (16/h)/(-4) + 0. Which is smaller: q or p?
q
Let f = 16 + -15.84. Let a = f + -0.06. Which is smaller: -10 or a?
-10
Suppose -4*v = -4*q - 24, 3*v + 17 = -2*q - 2*q. Is v > 2/3?
True
Let a be 1/(-17)*(16/(-14) - -1). Which is bigger: a or 0?
a
Let o be 10/(-6) - (-7)/(-21). Let p be (-21)/(-15) + o + 1. Which is smaller: -0.08 or p?
-0.08
Let r be (0 - (8 - -2))*(-48)/(-30). Which is smaller: r or -14?
r
Let b be ((-88)/198)/((-4)/(-6)). Let y = -6 - 8. Is y at most as big as b?
True
Suppose 0*u = -2*u - 8. Let d be 39/(-60) - 1/u. Let m = 1 - 1. Which is smaller: m or d?
d
Suppose 21 + 19 = 5*j. Let n(c) = -c + 7. Let s be n(j). Let x be ((-9)/(-45))/((-24)/75). Is s greater than or equal to x?
False
Suppose -3*c - 4*l + 1 + 2 = 0, -7 = c + 4*l. Suppose -c*z - 1 = 4. Let d = -2/3 - z. Is d less than or equal to 1?
True
Let t = -0.1 - -0.5. Let g = 56 + -223/4. Is t > g?
True
Let c be (1 - 171/156) + 2/(-13). Which is bigger: c or -58?
c
Let l be 2 + 0*(-1)/(-2). Let x(r) = r**2 + 11*r - 4 + 0*r**2 - 3*r**2 + r**2. Let m be x(10). Which is smaller: l or m?
l
Let j = 0.87 - 1. Is -2/5 greater than or equal to j?
False
Let k(c) = -c + 6. Let m be k(0). Suppose -m*u + 14 = -4. Suppose 3*t = 3*h - 6 - 18, 2*h - 24 = 4*t. Which is smaller: h or u?
u
Suppose 90 = 3*k - 4*l - 108, 322 = 5*k - 4*l. Which is bigger: k or 63?
63
Let v = 265 - 2117/8. Let a = -4 - -4. Which is smaller: v or a?
a
Let o be (-6)/(-4)*(-4)/14. Let b be (2 - 1)/((-1)/(-4)). Suppose -d - 1 = -b*m - m, 3 = -3*d - 5*m. Is d greater than or equal to o?
False
Let r be (-2)/8 + 22/(-8). Let k be ((-3)/(-2))/(3/4). Suppose q = -k - 1. Is r less than q?
False
Let v(r) = -3*r + 29. Let j(x) = x - 10. Let m(u) = 11*j(u) + 4*v(u). Let t be m(5). Let n = 650/9 + -72. Are t and n equal?
False
Let l be 8/(-12) - (0 + 3). Does -3 = l?
False
Let g(w) = w - 5. Let m(l) = -1. Let a(d) = -g(d) - 2*m(d). Let k be a(7). Let b be ((2/7)/1)/(-1). Which is greater: k or b?
k
Suppose 4*x = -4*p - 48, -p + x = 3*x + 8. Is -11 equal to p?
False
Let q = 0.1 - 0.3. Let o = -0.08 - 3.92. Let z = o - -5. Is z at least as big as q?
True
Suppose 5*f - 6*f = 2. Are f and -1 equal?
False
Suppose m - 4*m - 27 = 0. Let q be m/6*(-4)/(-6). Is -1 equal to q?
True
Let y(t) = t - 3. Let s be y(0). Let o be 2 - s/((-3)/7). Is o < -6?
False
Let f = 108/473 - 2/43. Suppose -h = 3*w, -3*h + 4*w = -0*w. Is h < f?
True
Suppose 28 - 11 = k. Is 17 less than k?
False
Let d = 0.5 + -1.5. Which is bigger: d or 9?
9
Let n = -82 - -114. Is 32 at most as big as n?
True
Let t(w) = w + 5. Let z be t(5). Let u = -5 - 1. Let d = u + z. Are 3 and d unequal?
True
Let t