er: l or -10/3?
l
Let z = 74 + -75. Which is smaller: -1/43 or z?
z
Let m = -77.1 + 72. Let s = m + 6. Let l = s + 0.1. Which is smaller: l or -0.2?
-0.2
Let y be 12273/(-105) + (-4)/(-14). Let m = -116 - y. Which is smaller: 2 or m?
m
Suppose -5*q - 9 - 16 = -b, 4*q = 2*b - 20. Let k be (2/4)/((-72)/(-3)). Let j = k + -3/16. Which is greater: j or b?
b
Suppose -l + 7*l + 18 = 0. Let g be l + (-4)/(-4) - -6. Which is smaller: 5 or g?
g
Let t = -0.84 + -0.16. Which is greater: -3/4 or t?
-3/4
Suppose -4*j = 5*m + 2, 0 = -2*m + 3*m - j + 4. Let i = -0.3 - 0. Which is greater: m or i?
i
Let x be 2/(4/(-3)) - -1. Suppose 51 + 53 = -4*q - 4*o, 0 = -5*q + 5*o - 180. Let s = -63/2 - q. Is x at most as big as s?
True
Suppose -4*a = -13 - 7. Suppose 31 = n + 5*x, 0*n - 19 = n - a*x. Let q = 7 - n. Which is smaller: q or 1/5?
1/5
Suppose 5*y + 0*x = 4*x - 15, 0 = x. Which is bigger: y or -0.04?
-0.04
Suppose 6*b = -21 - 45. Which is greater: b or -12?
b
Let p be (7 + -6)/((-1)/(-17)). Suppose 4*l - p = 3*i, -2*l - 5 = 4*i - 19. Which is bigger: 0 or i?
i
Suppose 3*v = -m + 10, -m - 80 = -6*m - 5*v. Is m at most as big as 0?
False
Suppose 0 = 5*y - 15, -2*i - 3 = y - 2*y. Let j = -1/10 + -3/20. Which is greater: i or j?
i
Let s(c) = 3*c - 12. Let d(a) = 12 + 7*a + a - 24 - 24. Let m(r) = -4*d(r) + 11*s(r). Let j be m(-9). Which is bigger: 2 or j?
j
Let s be (4/32*4)/2. Let d = s + -11/12. Which is smaller: d or 0?
d
Let r = 10 + -7. Let q be r + -4 - 5/(-4). Is -1 less than or equal to q?
True
Let p(x) = x**2 + 6*x + 4. Let k be p(-6). Which is greater: k or 5?
5
Let r(w) = w + 12. Let o be r(-15). Let a(d) be the first derivative of -d**2/2 - 4*d - 1. Let v be a(o). Is 1/5 at least v?
True
Let p = -152332233/28 - -5441008. Let u = -571 + p. Let c = 1/7 + u. Which is smaller: 0.1 or c?
0.1
Let q(u) = -3*u**3 + u**2 + u + 1. Let a be q(-1). Let y(g) = g. Let s(o) = -5. Let t(f) = -s(f) - y(f). Let x be t(a). Is x less than or equal to 0?
False
Let k be (1/(-2))/(7/(-56)). Let n be -16*(-2 - (0 + -1)). Suppose 0*v - k*v = -n. Which is bigger: v or 5?
5
Suppose 2*c + 0*c = 5*f, -5*c - 5*f = -35. Let z be -5 + 10 + (-2)/2. Suppose -20 = -4*r - 4*k, 4*r - 30 = z*k - 10. Is r at most as big as c?
True
Let v be 2/(-3)*(-3 + 0). Let f(p) = -p**2 + 3*p - 2. Let u be f(v). Let k = -134/9 + 15. Is k smaller than u?
False
Suppose k + 5 = 25. Suppose 6 = -v + f, -5*f + f + k = 0. Let x = v - -1/2. Which is greater: 0 or x?
0
Let a = 57/2 + -1437/50. Let y = -32/75 + a. Is -2/19 at most as big as y?
False
Let y(u) = -u**3 + 4*u**2 + u - 2. Let s be y(-3). Is 58 greater than s?
False
Let g = 143 + -141. Which is greater: g or -3/14?
g
Let d(k) = -6*k + 47. Let n be d(8). Is n not equal to -9/13?
True
Suppose 3*m - 5 = -8. Let l be 1 + m - 0 - 4. Is -4 <= l?
True
Let l be (-3)/(-6) + 66/(-12). Is -39/7 at least as big as l?
False
Let r = 17 - 21. Which is smaller: -13/3 or r?
-13/3
Let f = -0.94 - 0.06. Let z be 2 + (5 + 1)/(-3). Suppose -2*h + 8 + z = 0. Which is smaller: h or f?
f
Let x = -6/5 + 7/5. Is x less than -1?
False
Let h = -1 + 1.1. Let k = 0.059 + -24.059. Let y = k + 23.7. Does h = y?
False
Let d = -22 + 36. Let f = d - 16. Which is bigger: -3 or f?
f
Let p = 2/275 + -136/3575. Which is smaller: p or 0?
p
Let d(o) = -6*o**2 + 2*o + 7. Let h be d(-2). Which is smaller: -89/4 or h?
-89/4
Suppose 19 = 5*b + 2*s - s, 2*b - 26 = -5*s. Let h = -1 + b. Which is smaller: -2/7 or h?
-2/7
Let k = -42.244 - 1.056. Let t = k + 47. Let g = 0.7 - t. Which is smaller: -2 or g?
g
Let w be 4/(-1)*1/22. Which is smaller: 0 or w?
w
Suppose 4 = 3*n - 2. Let w be n/(-5) - 12/(-80). Do -0.04 and w have the same value?
False
Suppose -5*f + 28 = 3. Let l be (-5)/4*(0 + -4). Is f at most as big as l?
True
Suppose -4*o - 68 = -b, -3*o = -5*b + 16 + 52. Which is smaller: -17 or o?
-17
Let h be 1 + -2 + 1/2. Let n = 3 + -6. Which is smaller: h or n?
n
Let u = -2 + 2. Let m(w) = -w**3 - 6*w**2 - 3*w + 4. Let f be m(-5). Let l be f/9 - (-4)/6. Is u at least l?
True
Let w be 2 + 4 + (-204)/33. Which is smaller: w or 3?
w
Suppose 7*d + d - 6*d = 0. Is d not equal to -1/57?
True
Let s(f) = f - 16. Let v be s(12). Is v smaller than -14/5?
True
Suppose -m + 3*m - 4*v = -18, -4*m - 24 = -5*v. Let r be m/(-3) - (-6)/(-18). Suppose 5*n = n + 5*t + 28, -3*n - 2*t - 2 = r. Which is bigger: n or 4/5?
n
Let v = -38 + 35. Which is greater: -5/2 or v?
-5/2
Let c = 9 + -13. Is c at most as big as 1?
True
Let c = 1637/9 + -181. Is c <= 0?
False
Suppose 4*g - 1 = 7. Suppose -8*p + 3*p - 3*u - g = 0, -4*p - u = 3. Which is smaller: p or -9/5?
-9/5
Let g = 0 - -0.1. Let x = 6 - 3. Is g <= x?
True
Suppose -2*c + 3*j + 3 = 2, 2*c = -j + 13. Suppose 5*s - 35 = -8*b + 3*b, 15 = c*s. Is b < 0.1?
False
Let k = 7/16 + -3/16. Is 29 greater than or equal to k?
True
Let a(b) = 3*b + 20. Let h be a(0). Is h equal to 19?
False
Let z = 53 - 55. Let r(a) = -a - 1 + 2 - 2. Let t be r(z). Is t < -2/13?
False
Let p(b) = -b - 1. Suppose 3*z - z = -8. Let k(t) = -3*t - 2. Let h(x) = z*p(x) + k(x). Let j be h(-3). Is j < 2/5?
True
Let c be (84/(-16))/((-9)/12). Let j = -0.1 + 0.2. Is c != j?
True
Suppose -s = 4*s - a - 5, s + 3 = a. Let h = -7 + 7. Let b = h - -0.1. Which is smaller: b or s?
b
Let s = 0 + 0.2. Suppose 2*d - d = 6. Let k(x) = -x**2 + 6*x. Let w be k(d). Which is smaller: s or w?
w
Let h(s) = -s + 10. Let c be h(7). Let w = -2 + c. Which is smaller: w or -1?
-1
Let w = 71 - 53. Is -2/5 smaller than w?
True
Let o = -52.6 - -53. Which is smaller: o or -0.5?
-0.5
Let p = 2/199 + -408/995. Let g = -0.38 + 0.08. Let t = g + 0.4. Is p > t?
False
Let t = -10.06 + 10. Let k = -0.06 - t. Is k less than -4/5?
False
Let a = -0.18 + 0.38. Is -2 != a?
True
Suppose 2*g + 3*p + 24 = 0, -4*p + 2*p - 56 = 4*g. Is -15 smaller than g?
False
Let v be (-5)/(1*(1 + -2)). Suppose m + 2*i + 3*i = -26, -v*m - i - 10 = 0. Are m and -1/8 non-equal?
True
Suppose -k = 3 - 0. Let p = k - -1. Which is greater: -3 or p?
p
Let t be -6 + (-80)/(-12) + -1. Which is greater: t or 13?
13
Let h(s) = s**2 + 5*s - 1. Let w be h(-4). Let c = 21 - 14. Let j be (w/(-3))/(c/(-21)). Is j at least as big as 0?
False
Let k(a) = a**3 - 2*a**2 - 3. Let g(c) = -c - 6. Let w be g(-9). Let t be k(w). Let v = 8 - t. Which is bigger: 0 or v?
v
Let k(l) = -2*l + 1. Let y be k(-1). Suppose -y*u = 5*i - 9, 0*u = -4*u + 4*i - 20. Let x = -3 - u. Which is smaller: -2/7 or x?
x
Let c(v) = -1. Let b(f) = -f + 2. Let d(r) = b(r) + 2*c(r). Let p be d(6). Let t = 6.1 + -6. Which is greater: t or p?
t
Let s(c) = 3*c - 1. Let w(b) = -4*b. Let d(i) = -3*s(i) - 2*w(i). Let u be d(3). Let k = -1 - 1. Is k at most as big as u?
True
Let p be (-2 + 8)/(-3) + 7. Suppose 4*v = -v + p. Are 1/4 and v non-equal?
True
Suppose -2 = -n - 1. Is n bigger than 1/3?
True
Let r be (-6)/(-27) - (-10)/36. Let f = -0.1 + -0.1. Let q = 0.1 - f. Which is greater: r or q?
r
Let p = -509 + 7631/15. Is p smaller than -1?
False
Let g(f) = -f. Let u(j) = -7*j + 10. Let i(p) = 4*g(p) - u(p). Let w be i(4). Which is greater: w or 3?
3
Let l = 6 + -10. Let h = -0.95 - 0.05. Which is bigger: l or h?
h
Let u = 4/13 + 14/39. Do u and -23/3 have the same value?
False
Suppose -5*y - y + 54 = 0. Is y at most as big as 8?
False
Let g(o) = 4*o**2 + o. Let b be g(-1). Let t = b - 5. Which is smaller: -2/3 or t?
t
Let p be (2 + -8)/((-9)/58). Which is smaller: 40 or p?
p
Let r = -115 + 118. Let v = -1 - -3. Is v < r?
True
Let c = 0.064 - 1.044. Let f = c + -0.02. Is f > 1/21?
False
Let o be (1 + (-7)/6)/2. Let w = -2 + 1. Is w greater than or equal to o?
False
Suppose 0 + 3 = 3*v. Suppose 4*h = 2*h - 2. Let x be (h + 1)*(-3 + 4). Are x and v non-equal?
True
Let x = 52 - 51.57. Let l = x - 0.4. Let d = -1.97 - l. Is d at most 2/3?
True
Let o be ((-140)/(-12) + -4)*(-6)/(-16). Is o greater than or equal to 4?
False
Suppose -g = g. Suppose -2*p - 10 = 4*i, 4*i + 0*p - 5*p + 17 = g. Suppose -2*t + 1 = 5. Which is bigger: t or i?
t
Let b(n) = n**3 + n**2 + n + 1. Let h be b(-1). Suppose -2 = -2*l - h*l. Is -1/4 less than or equal to l?
True
Let w = 0 + -1. Is -8/7 > w?
False
Let m be -2 - ((-36)/48 - (-34)/(-8)). Suppose 2*u - 7*u + 20 = 0. Is m != u?
True
Let j be 9/9 - (1 - 1). Is j at least -1/58?
True
Let t(g) 