uppose 0*l = -u*l. Is 1/6 < l?
False
Suppose -5*m + 7*m = 10. Let u be 0/(m - (1 - -3)). Which is smaller: -2/13 or u?
-2/13
Let x = -14 - -23. Suppose 2*r + r = x. Suppose -5*l = -r*l. Is l <= 1/10?
True
Let n = -0.3 - 0.8. Let j = -1.9 + n. Which is smaller: 1 or j?
j
Let j = 30 - 14. Let q be (3/12)/(10/j). Do -1 and q have different values?
True
Suppose -10 = -0*r - 5*r. Let f = -6 + r. Which is greater: -2 or f?
-2
Suppose 5*t - 11 = 4. Suppose -8 = 5*d - 3*c, 2*d = -0*d + c - t. Is d greater than 1/2?
False
Suppose -3*o = 87 + 30. Which is smaller: -37 or o?
o
Let l(k) = 20*k**3 + 2*k**2 - k - 2. Let m be l(-1). Are -20 and m non-equal?
True
Let x = -0.3 - -0.3. Let u = 3 + -2.99. Let d = u + 1.99. Is d at least x?
True
Suppose 0 = -7*t - 12 - 2. Which is greater: -2/3 or t?
-2/3
Let f(a) be the second derivative of a**4/12 - 2*a**3 + 5*a**2 + 5*a. Let m be f(11). Which is smaller: m or -2?
-2
Let t = -152/957 - 2/87. Which is bigger: t or 1/2?
1/2
Suppose 2 = n - 1. Which is bigger: n or 9/4?
n
Let k(j) = j - 8. Let m be k(7). Let g = m + 8. Which is greater: 8 or g?
8
Suppose -3*p - 14 = 2*r + 1, 0 = r + 3*p + 15. Suppose r + 4 = h. Is h > 2?
True
Let m = -0.02 - 0.08. Let a(q) = q**3 + 2*q**2 - 3*q + 1. Suppose 5*k - 5 + 20 = 0. Let x be a(k). Is m at most as big as x?
True
Let u be 4/12 + -1 - -1. Let m = 1 - 1. Which is smaller: u or m?
m
Let r be 3/(-2)*2 + 6. Suppose 0 = -4*l + 2*t - r - 5, -t - 2 = 0. Let y = 2/27 + -85/54. Is l != y?
True
Let c(n) = 2*n + 25. Let y be c(-12). Is y at most as big as 3/17?
False
Suppose 0 = 2*w, -2*z + 50 = 3*z + w. Let t = 11 + -7. Suppose 0 = -h - t*n - z, 5*h + 2*n - 13 = -45. Is -5 at least as big as h?
True
Let g be 1/(-5) - 12/15. Which is greater: 2/53 or g?
2/53
Let s = -3607/44 - -333/4. Is 1 smaller than s?
True
Suppose -5*g + 3*v + 233 = 0, 0 = -2*g - 2*g - v + 200. Let t = 1114 - 2323/2. Let z = g + t. Is 3 greater than or equal to z?
True
Let y(i) = -5*i**2 + 3*i - 3. Let a(w) = -14*w**2 + 9*w - 9. Let n(b) = -6*a(b) + 17*y(b). Let s be n(-4). Is -2 > s?
False
Suppose 2*x = -3*x, 0 = 3*y + x. Suppose -2*h + 2*r + 4 = -0, -h - 5*r = 10. Suppose h = 3*s - g + 2, -4*s = s + g + 6. Is s <= y?
True
Let a = 75 + -75. Let c = -2372004709/1141 + 2078882. Let u = c - -3/163. Does a = u?
False
Let l = 1074 + -1061.93. Let j = 0.07 - l. Let g = -10 - j. Is g greater than or equal to 0.3?
True
Let g(w) = -w**3 + w**2 - w + 2. Let h be g(0). Is h not equal to 2?
False
Let t = -179132119/15 - -11948744. Let o = t + -6598. Let c = o - 13/3. Do 1/5 and c have the same value?
False
Suppose 2*g - 6*g - 48 = 0. Which is bigger: -11 or g?
-11
Let t(o) = o**2 + 2*o + 1. Suppose s + 4 = -3*s. Let m be t(s). Let h = -134 - -133.9. Is h less than or equal to m?
True
Let r = -0.28 + 26.28. Let b = 28 - r. Are -0.1 and b unequal?
True
Let w = -39 + 39.4. Is w > 0.06?
True
Let h = -1930/2709 - -32/43. Which is bigger: h or -1?
h
Suppose -1 = -q - 4. Is q at most as big as -5?
False
Let t(u) = -u - 5 - 4 + 6. Let v be t(5). Let q be (-1)/(-18) - v/(-36). Is 1 != q?
True
Let o(g) = -g**3 - g**2 + g + 1. Let u(b) = 5*b**3 + 2*b**2 - 5*b - 3. Let f(v) = -6*o(v) - u(v). Let t be f(-4). Let k be -1 + (1 - t) - -1. Does k = 0.1?
False
Let r be ((-1)/18)/(3/(-2)). Is -1 < r?
True
Let n = -2 - 7. Is n at least -5?
False
Let s = 0.26 + 0.04. Is 5/2 at least s?
True
Let u(f) = -f**2 - f + 1. Let c(w) = -w**2 + 11*w + 11. Let p be c(12). Let r be u(p). Is -2 at most r?
True
Let y be (2 - (2 - 0))/1. Let c(h) = -2*h**3. Let n be c(1). Let m(k) = -k**3 - 3*k**2 - 3*k - 1. Let b be m(n). Which is greater: b or y?
b
Let x = 2 - 2. Suppose r - 5*r = x. Suppose 8*l - 14*l = -12. Is l at most r?
False
Let t be (-2 + (-84)/(-9))*(-12)/(-64). Is 0 >= t?
False
Let y = -1 + 2. Let w = -10.72 - 0.28. Let u = w + 11.1. Which is bigger: y or u?
y
Let y be (-2)/(-11) - (-52)/(-165). Is -1 bigger than y?
False
Let v be 13 + -9 - (1 - 1). Let m be (-5)/100 - 1/v. Is m greater than or equal to -1?
True
Suppose 0 = -5*h + 72 + 3. Let v be (-3)/h - 14/130. Which is smaller: v or 0?
v
Let m be 0/((-1 + 0)/((-1)/(-2))). Is 8/23 at most as big as m?
False
Let l = -0.2 - -0.4. Let q = 0.7 + -1. Let b = q + l. Which is smaller: b or -1?
-1
Suppose 4*s + 4 - 20 = 0. Suppose 5*b - s*h + 3*h - 20 = 0, -5*b = -2*h - 20. Let j be 4/b + (-1 - -3). Are 2 and j nonequal?
True
Let d = -6 + 18. Let l = -2 + -6. Let v be l/d + (-28)/(-6). Which is greater: v or 5?
5
Let i = -70 - -70.8. Which is greater: i or -1?
i
Let p(t) = 3*t**2 + t**3 - 4*t - 9 + 5*t - 2*t + 4*t**2. Let o be p(-7). Is -3 <= o?
True
Suppose -x + 4*x = 0. Suppose 2*v + 3 = d, 2*d + 5*v - 3*v = x. Which is greater: d or -1/4?
d
Let w = 4 + 2. Let n(x) be the third derivative of x**5/60 - 7*x**4/24 + 7*x**3/6 - x**2. Let h be n(w). Is 2 at most as big as h?
False
Suppose 4*v = o + 80, 5*v = -0*o - 2*o + 113. Suppose 0 = -3*p + v. Is p greater than 8?
False
Suppose 8 - 173 = 15*r. Suppose -5*g - 10 = -4*g. Is g != r?
True
Let k(o) = -o - 8. Let g be k(-9). Let u(b) = 7*b - 3*b - b**2 - 2*b**2 + 4*b**2 - 6. Let n be u(-5). Which is bigger: g or n?
g
Suppose -3*t - 29 = -2. Let c be t/42*2/(-6). Which is smaller: 0 or c?
0
Suppose -2*d = -d - 108. Let v be (-3)/d - 4/18. Is 0 > v?
True
Let a be ((-2)/(-4))/(2/4). Let v = 243 + -243. Is v greater than or equal to a?
False
Let q(h) = -h**2 - 6*h + 3. Let w be q(-6). Suppose 2*x + 7 = -v + 2*v, 0 = 4*x - w*v + 19. Is x at most -1?
True
Suppose 2 = -4*w + 2*w. Let y = w + 1. Which is smaller: 4/3 or y?
y
Let z be (-257)/(-35) - (-2)/(-5). Let i = z + -34/5. Is 1 at most i?
False
Let t = -37 - -37.12. Which is smaller: -0.1 or t?
-0.1
Suppose 0 = -2*g - 6 + 10. Let z be g - (-2 + 8 + -3). Is -1/4 less than z?
False
Let z be ((-14)/6)/((-12)/36). Is 8 greater than z?
True
Let c be (-5)/(-1)*8/4. Suppose -12 = 6*i - c*i. Is 1/4 less than i?
True
Let j = 103.74 - 104. Is j > 1?
False
Let s(p) = -2*p. Let r be s(-3). Suppose 0 = q - r + 2. Suppose 5*z = q + 1. Which is smaller: -1/4 or z?
-1/4
Let z be 0/(0 - 1) - 2. Let y be z/(-4) - (-20)/(-8). Let m = -155/3 - -51. Which is greater: m or y?
m
Let v(t) = -2*t - 1. Let i be v(-1). Let o = 0.6 + 0.4. Is o smaller than i?
False
Suppose -4*k - g = -16, 4 = -5*k - 4*g + 13. Suppose -3*r + 4*y = -7, 0 = -4*r + 2*y + 6. Is k at most r?
False
Let y = 7/19 + 3/95. Is 11 at least y?
True
Let p = 4.3 - 28.3. Does 2/5 = p?
False
Suppose 0*u + 4*u = -4. Let z be (-3)/((-531)/2)*u. Let p = z + 44/413. Is 1 >= p?
True
Let r be (-6)/9 + 8/(-6). Let j be (-2 - r)/(3 - 2). Let o = -28/3 + 9. Is j greater than or equal to o?
True
Suppose 0 = -2*d + 4*d + t - 4, 6 = 4*d + t. Let q(r) = r**2 - r. Let w be q(0). Which is smaller: w or d?
w
Suppose 4*i - 26 = -w, 2*w = -0*i + 4*i + 28. Let s = w + -11. Are s and 7 non-equal?
False
Let k = -1/3014 - -122821/1507. Let y = k + -84. Let b = -72 - -69. Which is greater: b or y?
y
Let g(l) = l**2 + 6*l + 6. Suppose -w - 24 = 4*u + w, -9 = 3*u - 3*w. Let t be g(u). Are -4/17 and t nonequal?
True
Let r be 2/10 - 212/10. Is -22 at least as big as r?
False
Let t = -6.01 + 0.01. Suppose -18 = 4*w - 2. Let c be ((-7)/(-35))/(w/5). Which is smaller: t or c?
t
Let c = 71 + -69. Which is smaller: 3 or c?
c
Suppose 0 = -h + 2 - 1. Which is bigger: -1.4 or h?
h
Let b be -1 + (0 + 1)*-6. Which is greater: b or -2?
-2
Let q(p) = p**2 - 8*p + 5. Let j be q(7). Let c be (-297)/(-3)*j/1. Let g be (-8)/c + 4/22. Which is smaller: 0 or g?
0
Let z be (8/10)/((-6)/15). Suppose r - 2*c = 3*c - 8, 3*r - c - 4 = 0. Suppose a - 2*a - r = 0. Is z bigger than a?
False
Let z be 6 - (2 + 2 - 3). Which is bigger: 4 or z?
z
Suppose 14*l + 137 - 487 = 0. Which is smaller: l or 0?
0
Suppose 0 = -5*t + 3*t + 2. Let o = 3.3 + -0.3. Are t and o equal?
False
Suppose 4*m - 15 = -35. Is m smaller than -32/7?
True
Suppose 0 = 5*d + t - 38, 0*d + 4*d - t = 25. Let i(p) = p**3 - 7*p**2 + 5. Let j be i(d). Suppose 13 - 3 = -j*v. Is v greater than -3?
True
Let g = -0.2 + 2.2. Let b = -5 + g. Let v = 2 + b. Which is smaller: 0.1 or v?
v
Suppose -20 = -2*r - 2*i, -5*i - 1 + 2 = -2*r. Let s be (2/10)/((-21)/35). Is r at least as big as s?
True
Suppose 0 = -3*x + b - 7 - 5, 0 = -5*x - 4*b - 3. Let n(u) = u**2 + u + 6. L