er: h or 83/2?
83/2
Let x = -13 - 4. Let t = x - -16. Which is smaller: 0.8 or t?
t
Let c(a) = 4*a**2 - 1. Let w be c(1). Suppose -w*y - 1 = -d - d, -6 = d + 5*y. Is d at least as big as -1?
True
Let j = -167141/37 + 4517. Let r = j - -71/333. Which is smaller: r or 1?
r
Let f = -2 + -16. Do -19 and f have different values?
True
Let m = 15 - 10. Suppose -2 - 30 = -4*z - 3*c, z + 3 = 2*c. Is z < m?
False
Let i(j) = j**3 - 4*j**2 - 4*j - 4. Let d be i(5). Let w be (-2)/(3 - d) - -3. Is 2 at least w?
True
Let u(j) = -j**3 + 5*j**2 - 3*j - 4. Let m be u(4). Suppose m = y - 1 - 0. Is y equal to -1?
False
Suppose -3*a - 2*v + 10 = 0, 5*a + v - 3*v - 6 = 0. Suppose 0 = t, -3*f = -8*f - a*t + 10. Suppose 1 = f*w - 3*w. Which is smaller: w or 1/3?
w
Let b be 1/5 + 56/20. Let j(f) = 5*f**3 - 1 - 2*f**b + f**3 + 2*f**2. Let u be j(-1). Are u and -4 non-equal?
True
Suppose a - 1 - 4 = 0. Suppose -2*i = -4*w + w, 5*w + a*i = 0. Let c be (-2)/6*(2 + w). Is c less than or equal to 0?
True
Let f = 27 + -12. Let v(n) = -12*n**3 + 2*n**2 - 1. Let m be v(-1). Suppose -4*z - f = 5*p, 4 = 3*p + m. Which is bigger: z or -1?
z
Let d = 2 + 12. Is 15 at least as big as d?
True
Let q be (-6)/28*2/6. Is q equal to -1?
False
Let w = -15 + -1. Let x = 16.07 + w. Let y = -0.03 - x. Is -0.7 at most as big as y?
True
Let p = 7 + -8. Let k = -337/222 - -2/111. Is p < k?
False
Let x = -0.1 + -0.3. Let o = -0.6 + x. Let i = -3 - o. Which is greater: -1 or i?
-1
Suppose 0 = -0*b - 5*b + 2*y + 66, 2*b - 5*y = 18. Let u = 12 + -8. Let i be 0 - 0 - u/b. Which is smaller: 0 or i?
i
Suppose -2*q + 70 = -5*y - 7*q, 70 = -5*y - 3*q. Let o(m) = -m - 15. Let u be o(y). Which is bigger: 2/11 or u?
2/11
Let o(w) = -w**3 - 2*w**2 - w - 2. Let h be o(-3). Let g be 2/h + 26/(-30). Which is bigger: -5 or g?
g
Suppose -2*b - 2*f - 40 = 0, 0*b - 3*f = -3*b - 30. Let q be 54/b + 9/15. Is -2 at least q?
True
Suppose -t + 2*d + 0*d = -6, -4*d + 8 = 0. Let i be 158/14 - (-6)/(-21). Which is smaller: i or t?
t
Let f(l) = -l**3 - 4*l**2 - 7*l - 6. Let j be f(-5). Let a = 269/5 - j. Which is greater: a or -3?
a
Let g be -4 + 7 - (-2 + 4). Which is greater: g or -7?
g
Suppose 5*v + 2*h - 2 = 45, -23 = -2*v - 5*h. Let u = v - 8. Let a(n) = -n**3 - n**2. Let f be a(-1). Which is smaller: f or u?
f
Suppose -15*x + 26 = -2*x. Which is smaller: -1/16 or x?
-1/16
Let q(c) = c**3 - 9*c**2 + 2. Let x be q(9). Let k = 2/451 - -1343/2255. Which is smaller: k or x?
k
Let i be ((-10)/(-12))/((-48)/108). Are i and -2 unequal?
True
Let b be 15/6*4/5. Let p(k) = -8*k + 1. Let n be p(1). Let j = 4 + n. Which is greater: b or j?
b
Let u = -5 - -7. Suppose -6*z + 4*z = u. Which is greater: 1/15 or z?
1/15
Let f be -2 + 1 - (0 + -3). Suppose -2*o = b + 3*b, -5*o - 8 = f*b. Let l = 69 + -344/5. Is b equal to l?
False
Suppose 2*y - y + 2 = 0. Let h be (-4)/(3/6*4). Is y greater than h?
False
Suppose -2*c - 4*s = 11 + 5, -4*s + 44 = -3*c. Is -12 > c?
False
Let x = 67 - 65. Which is smaller: x or 10?
x
Let w be -2 - 3586*1/18. Let b = -201 - w. Let d be 6/(-15) + 7/(-20). Is b >= d?
True
Let d = 97203/50 - 1944. Which is bigger: -1 or d?
d
Suppose 3*k - 3*s - 19 = -8*s, 4*s - 28 = 4*k. Which is bigger: k or -7/3?
k
Let a = 2.3 + -0.3. Let j = 1.99 - -0.01. Is j greater than a?
False
Let r be ((-14)/(-5))/((-1)/10). Let c be (6/40)/(-1)*r. Let m = -199/45 + c. Which is bigger: m or 1?
1
Let u(q) be the second derivative of -q**5/20 - q**4/12 - q**3/6 - q**2/2 - q. Let j be u(0). Let r = -69 + 555/8. Which is bigger: j or r?
r
Let l be -1*(1 + 0) - -3. Suppose -l*s = -s. Let i = 0.05 - -0.05. Which is smaller: s or i?
s
Let p be 1/(-3)*(1 + -4). Let g be -114*(1 + p/(-3)). Let q be g/18 + 6/27. Which is greater: -2 or q?
-2
Suppose 2*c - 4 = -2*l - l, 0 = c + 2*l - 3. Let q be (-22)/(-60) + 1/(-5). Is c at least as big as q?
False
Suppose -13 + 3 = -5*x. Let o be (-2)/5 + 0/x. Let f = -1.3 - 1.7. Is o at most f?
False
Let s = -617/4 - -153. Which is greater: s or 0?
0
Let j(m) = -m**3 - 4*m**2 - 2*m. Let q be j(-1). Is 0 greater than or equal to q?
True
Let b be (-10)/45 - 40/(-18). Suppose b*s + 1 + 12 = -5*l, -s = -l - 4. Is -1 at most as big as s?
True
Suppose 2*g - y - 1 - 8 = 0, 5 = -5*y. Suppose -4*f = -7 - 5. Is f != g?
True
Let y be (250/6)/((-1)/(-3)). Do 125 and y have the same value?
True
Let m = -1311001/308 + 17041/4. Let z = 46/11 - m. Let t = 43/35 - z. Is 0 smaller than t?
True
Let u = -44485 - -444141/10. Let y = 71 + u. Is y != 1?
True
Let n = 0.4 + -0.3. Let i = 2/7 + -25/14. Is n >= i?
True
Suppose -2*d + 15 = -m, 9 = -5*m + d - 21. Let g(h) = -h. Let z be g(4). Is z greater than or equal to m?
True
Let b = 7 - 2. Do b and 6 have the same value?
False
Let w = -10 + 1. Let g = 0.56 + 0.44. Which is smaller: w or g?
w
Let i be (2/(-1))/(-11 - 1). Is 2 less than i?
False
Let s be (-2)/4 - 26/(-4). Suppose 2*n + n = -s. Which is smaller: 0 or n?
n
Let h = 24095/29 - 831. Let p = -181483/1044 - -695/4. Let m = h + p. Is -1 less than or equal to m?
True
Let m = 28 - 11. Is 18 at most as big as m?
False
Let s = 126 - 253/2. Which is greater: s or -22?
s
Let i = 3 + -3. Which is bigger: i or 8/17?
8/17
Let a = 17 - 11. Suppose 4*b = -w + a, -w + 2*b - 7*b = -8. Which is smaller: 1 or w?
w
Let n = -1702/143 + 136/11. Which is smaller: n or 0?
0
Let v = 9 - 4. Let s(x) = 8*x - 3. Let j be s(1). Let d be (v/j)/((-11)/(-2)). Is d greater than or equal to -0.1?
True
Suppose 2*j + 3*j = -10. Let b = 157/2 - 80. Is b not equal to j?
True
Let y = 3.15 + -4.05. Let h = 25/3 - 8. Is y at most h?
True
Let m = 12 - 11. Let q be (-1)/(m - 7/(-2)). Is q > -1?
True
Let q = -3 - -6. Suppose 0 = -5*n - q + 8. Is 2 at most n?
False
Let t be (64/(-4))/((-3)/(-48)). Let x be (-6)/(-21) + t/798. Which is greater: 1 or x?
1
Suppose -5*a + 105 = 25. Suppose f + 29 = -4*n, -2*n = -0*n + 2*f + a. Suppose k + 2*s = -2*s + 7, 3*k - 5*s + 30 = 0. Is n less than k?
True
Suppose -5*q + 2 - 6 = -3*t, 4*t = 2*q - 18. Let y(z) = -z**3 - 6*z**2 + 8*z + 4. Let r be y(t). Let c = r + 0. Is -3 greater than c?
False
Let g(r) = -6*r**2. Let c be g(-1). Let h = 8 + c. Which is smaller: h or 4?
h
Let u = 4/19 + 3/76. Suppose -h = h - 4. Suppose -h*z + 0*z = 0. Which is smaller: z or u?
z
Let b = 6.07 - 0.07. Let l = -6.1 + b. Which is smaller: l or 0.2?
l
Let f(m) = -m. Suppose 5 = 3*n - g, 5*g + 12 = n + 1. Let o be f(n). Which is smaller: o or -1/5?
o
Suppose 2*t = t - n + 13, 3*t - n = 31. Let g = t + -8. Suppose 0*a + g*k = 5*a - 4, 0 = -a + 2*k + 5. Which is greater: a or 1/4?
1/4
Let z = -2 + 6. Let c = -1 + z. Let v = 2.6 - c. Is v bigger than -2/7?
False
Let m be (-20)/(-15) - 25/3. Which is smaller: m or -9?
-9
Let r = -101 + 101.1. Are r and 0.3 unequal?
True
Let p(t) = t**2 + 10*t + 18. Let c be p(-8). Which is smaller: c or 1?
1
Suppose 13 = s + 5*l - 4, -5*l = -5*s - 35. Are s and -42/17 non-equal?
True
Suppose 6*h + 0*h = 150. Which is bigger: 24 or h?
h
Suppose w - 9*w = 0. Let s be (-2)/(-1) - 7/3. Which is bigger: w or s?
w
Let a = -2.1 + 2. Let p = a + 0.2. Which is smaller: 4 or p?
p
Suppose 5 = -5*m, -3*m + 6 = -5*p - 81. Let n be p*((-1)/(-3) + -1). Suppose 3*x = 3*j - n, 4*x = 2*j - x - 17. Are j and 1 nonequal?
False
Let u = 1.046 - 0.046. Which is bigger: 6 or u?
6
Let n = 147 - 148. Is n <= -16?
False
Let a = 22 - 21. Which is smaller: a or 2/101?
2/101
Let i be (10/(-8))/(1/4). Let a be (-78)/9*i/22. Let r = a + -18/11. Which is smaller: r or 0?
0
Let u = -28 + 12. Which is smaller: 1/2 or u?
u
Let n = -2.2 + 0.2. Let l = n + -1. Let f = 5 + -5. Which is smaller: f or l?
l
Let i = 2 + -5. Let d = i + 7. Let p be (4/(-20))/((-2)/d). Is 0.2 less than p?
True
Let p = 0.3 - 0.3. Let k = -18 + 17. Is p < k?
False
Let z be 2/(-4) - 10/(-4). Suppose z*g + 20 = -3*g. Is -7 != g?
True
Let l be ((-54)/(-42))/(-1*(-4)/(-14)). Suppose u + 3*c - 5 + 0 = 0, -1 = u + c. Is l bigger than u?
False
Let b = 6/13 - 25/26. Is b at most as big as 29?
True
Let a be (-2)/(-6) - (-1 - 6/(-9)). Is a < -1?
False
Let x(s) = -s**3 + s - 1. Suppose -7 - 8 = -5*o. Suppose 0 = o*g + 2*g. Let j be x(g). Is j > 0?
False
Let b(s) = -3*s + 10. Let w be b(3). Are w and -1/3 nonequal?
True
Let s be (-1)/(-4) - 5/20. Let k be (s + 3)/(-1 + 0). Which is smaller: -1