hich is smaller: f or g?
f
Suppose n - 4*z = 2*n + 18, 5*n + 22 = -3*z. Is n >= -2?
True
Suppose -2*d - 5*k = 2*d - 75, 27 = d + 4*k. Let u be (-4)/(-5)*d/(-6). Is u at most as big as -3?
False
Let q be 0 - 540/(-273) - (-5 - -7). Is q < 0?
True
Let b = -4.3 - -6.3. Which is bigger: b or -0.8?
b
Let a be 1/(-1) + 201/(-24). Which is smaller: -9 or a?
a
Let x be (2/(-1 + -1))/(-2 + 1). Are x and 4 equal?
False
Let n(s) = 3 - 7*s - 4 + 2*s. Let q be n(-1). Let g be (-141)/(-27) - (-4)/(-18). Which is smaller: g or q?
q
Let k = -0.1 - 0.4. Let f = k + 0.6. Let x = 0.3 - f. Does x = -3?
False
Let d be (-1 - -1)*1/2. Let l be 6 - (-3)/(-12)*d. Which is smaller: 7 or l?
l
Suppose s = -s + 22. Suppose -8*j = -s*j. Suppose -2*r + 39 = -5*y + 16, 3*r - 2*y = 7. Which is bigger: r or j?
j
Let y(g) = g + 11. Let r be y(-9). Let p = 16/3 + -74/15. Which is bigger: p or r?
r
Let f be 0 + (-1)/2*-2. Let x(h) = -h**2 + h - 8. Let p be x(0). Let u be (2/(-4))/(4/p). Is f at least u?
True
Let r be (2 - 4 - -1)*-143. Which is greater: r or 142?
r
Let a = 3.84 + 0.16. Let h = -3 + a. Is h not equal to -4?
True
Let d be (0 - 15/(-6))*-2. Let i(r) = -r + 1. Let u be i(d). Let b be (u/14)/(9/(-6)). Which is bigger: 2/5 or b?
2/5
Let t be ((-1)/(-2))/((2 - 3)/50). Which is greater: -24 or t?
-24
Let w = 52 + -78. Are w and -27 equal?
False
Let f = 0.07 - -2.93. Let h = f + -4. Let s = 0 + h. Is s smaller than -4?
False
Suppose 5*h - 15 - 60 = 0. Suppose -h = -3*d - 2*d. Let j(s) = -s**3 + s + 2. Let r be j(0). Which is smaller: d or r?
r
Suppose -1 + 23 = -11*m. Is m < -1/19?
True
Let m = -1.9 + -2.1. Which is smaller: -1/2 or m?
m
Let p = -0.14 - -71.14. Is p bigger than 0?
True
Let b = -70991/4429964 + -3/14383. Let r = 3/28 + b. Let z = -843 - -843. Is r >= z?
True
Let b be 24/6*92/(-6). Let x = 62 + b. Let z = 0.2 + -0.3. Is x at most z?
False
Let h = 10 - 24. Are -15 and h nonequal?
True
Let u = 2/473 - 960/3311. Is u < 0?
True
Let g = 7 - 4. Suppose g*q - 3 = -c + 14, -c = q - 9. Suppose -q*s - 6 = 6. Is -2 < s?
False
Suppose 5 = -6*w - 1. Let m(x) = x**2 + 2*x - 5. Let d be m(-4). Let y be d*(4/(-6) - -1). Is y at most w?
False
Suppose x - 4*x = -12. Suppose -1 + x = -3*t. Is t > 7?
False
Let u = -35.1 - -35. Which is greater: u or 33?
33
Let h be 4/(-6)*(-6)/2. Let x = 16211/31 + -523. Let b = x - -35/62. Which is smaller: b or h?
b
Let g = -26 + 11. Let u = g - -15. Which is smaller: u or 1?
u
Let x = -52.96 + 54. Let h = x + 0.16. Which is bigger: h or 0.1?
h
Let j(z) = 4*z**2 + z**3 - 1 - 4*z**2 + z + 0*z. Let o be j(1). Is o less than -1/6?
False
Let w(f) = f**3 - 3*f**2 + 7*f - 7. Let i be w(3). Which is smaller: 53/4 or i?
53/4
Let m = -22371/7 - -3160. Let d be (-2)/((-55)/(-18) - 3). Let g = m - d. Which is bigger: -0.1 or g?
g
Let f(g) = 4*g + 11. Let l(v) = 21*v + 54. Let h(r) = -11*f(r) + 2*l(r). Let y be h(-6). Which is bigger: 0 or y?
0
Let q be (-2)/(-8)*(120/(-18) - -8). Let b = 0 - -0.1. Which is bigger: b or q?
q
Let s(m) = -2*m - 10. Let b be s(-6). Is 5/6 less than or equal to b?
True
Let f be (30/(-7))/(3/21). Let w be (-28)/(-45) + 12/f. Is w <= 0?
False
Let p = 0.16 - -0.84. Which is bigger: p or -0.2?
p
Let h be (-137)/(-9) - 12/54. Let a be (-2)/(-6) + 10/h. Suppose -4*q - 17 = 3*m, 5*m = 5*q + 31 - a. Do m and 1/3 have the same value?
False
Let x be 22/(-4) - (-1)/2. Let i(r) = 4 + 33*r**3 - 34*r**3 + 4*r**2 - 10*r**2 - 5*r. Let z be i(x). Is 5 bigger than z?
True
Suppose 4*f + 4*u = 2*u - 34, -f + 5*u = 36. Let k = 15 + f. Is 9/2 greater than or equal to k?
True
Let o be (15/(-78))/5*4. Suppose -6*x + x = i + 25, -4*x - 20 = 0. Which is smaller: i or o?
o
Let s = 8.22 + -0.22. Which is bigger: s or 2?
s
Let d(b) = -b**2 - 9*b - 10. Let h be d(-7). Suppose -4*k - 2*r = 0, -h*k + 2*r + 7 = -k. Is 1 smaller than k?
False
Let d = 27 + -28. Which is smaller: -0.3 or d?
d
Suppose 7*g = 9*g - 22. Which is smaller: g or 13?
g
Let v(n) = n**3 - 2*n**2 + n. Let l be v(2). Suppose -l*t - 21 = t + 2*s, -3*t - 21 = 4*s. Is t at least -6?
False
Let h = 5 - 6. Let a = -7 - h. Let n be (3 - 0)/(a/(-4)). Which is smaller: n or 1?
1
Let l = -51449/3 - -17302. Let i = l + -154. Is -3 >= i?
False
Let b be (-17 + -2 + 2)*-1. Let j = b - 19. Let f = 3 - 5. Do j and f have the same value?
True
Suppose -t - 3 = -21. Let j = -24 + t. Which is smaller: j or -9?
-9
Let j = -1 - -1. Let u = j + 1. Suppose -3*y = y. Is y smaller than u?
True
Let r be (-2)/13 + 8/52. Let z = 91/220 + -1/20. Which is greater: r or z?
z
Let v(z) be the third derivative of z**6/720 + z**4/24 - 2*z**2. Let b(x) be the second derivative of v(x). Let m be b(-4). Is m at most -3?
True
Let o be 20/8 - 5/(-10). Is o at least as big as 0?
True
Let c = 59 + -48. Which is greater: c or 2?
c
Suppose 3*d + 0*d = 2*d. Is d < 10/13?
True
Suppose 0 = -0*v - 2*v - 12. Let b be (v/(-4))/((-3)/(-4)). Suppose -4*x + b = -2. Which is greater: x or 2/9?
x
Let q(g) = g - 11. Let a be q(9). Let p be a/(-7) - 18/(-35). Suppose 5*b = 3*s + 11, -s + 3*s + 5 = b. Which is smaller: p or b?
p
Let p = -9 + 5. Is -7/2 smaller than p?
False
Let x be ((-40)/10 - 3*-1)*47. Which is smaller: x or 0.1?
x
Let s be 46/10 + (-2)/(-5). Let p be 5/(-15)*2*-6. Suppose 20 = 8*r - p*r. Is s greater than r?
False
Let b be (9/(-6))/((-3)/(-71)). Let f = 927/26 + b. Is 0 >= f?
False
Let u be ((-3)/(-2) - 1)*-10. Let d be 2/18 - u/15. Is d at least 1?
False
Let a = -9.91 - 0.09. Let x = 10.2 + a. Is 0 <= x?
True
Let t = -15.9 - -16. Is t greater than or equal to 0.2?
False
Let z = 137 - 139. Is z greater than -2/137?
False
Let r = -3/7 - 2/7. Is -1 bigger than r?
False
Suppose 4*u = -i - 187, 5*i + 56 = 5*u + 321. Let n = 16/89 - -21102/445. Let y = n + u. Is y bigger than -1?
True
Let n = 45 - 89/2. Which is smaller: -0.02 or n?
-0.02
Let l = 345/8 + -43. Let c = l + -7/120. Are c and 1 nonequal?
True
Let t = 946 + -1459. Let p be (-168)/t + (-2)/9. Suppose -5*b + 2*b = -2*l - 17, 3*l = b - 8. Does l = p?
False
Let a(z) = 0 + 4*z - 2 + 11 - 3*z. Let v be a(-7). Is 1 > v?
False
Let x(u) = -3*u - 2. Let n(z) be the first derivative of -z**2/2 - z + 2. Let o(b) = 5*n(b) - 2*x(b). Let c be o(2). Which is smaller: 0 or c?
0
Let d(g) = g**2 + 11*g + 9. Let p be d(-8). Let n = p - -19. Which is bigger: n or 5?
5
Let i = -2.4 + -0.6. Let h = -0.1 - 0.9. Let y = i - h. Which is smaller: -1 or y?
y
Let k = -10.1 + 12.2. Which is smaller: k or 0?
0
Let s be -1*(1 - (-4)/(-3)). Let h = 320 - 320.2. Is h less than or equal to s?
True
Let x = 0.3 + -0.4. Suppose k = -q - 3*q - 8, -3*q - 5*k = 23. Let g be (q + -5)*2/6. Are g and x equal?
False
Suppose 8 + 40 = 2*u. Is u > 26?
False
Let a = -1 - 4. Let r = a - -3. Is r equal to 6?
False
Suppose 12 = g - 5*g. Let i be (2/g)/((-2)/(-12)). Let y = i - -2. Is -2 greater than or equal to y?
True
Let i be (2 + 2)/4*1. Which is smaller: 0.02 or i?
0.02
Let y = 145/4 + -36. Let z be 6*((-32)/(-12) + -2). Which is smaller: z or y?
y
Let r = 1.41 - 0.01. Let g = -1.6 + r. Which is smaller: g or 4?
g
Suppose 0 = -4*l - 4*s - 44, 3*s = -5*l + 2*s - 35. Let p be l/18 + (-2)/12. Which is bigger: p or 0?
0
Let o(j) = j**3 + 5*j**2 - 6*j. Let i be o(-6). Suppose 4*t - 2*a - 4 = -i, -3*t = 2*a - 10. Let c be (-2)/3*(-51)/34. Is c less than t?
True
Let a = -917/8471 - -3/197. Is 1 at most a?
False
Let b = 59 + -96. Is -36 < b?
False
Suppose -4*y - 5*c = -12 - 3, 0 = 2*y - c + 3. Is 0 less than y?
False
Suppose 0 = -7*w + 10*w. Which is smaller: 2/79 or w?
w
Let w = 124 + -86. Let u = w + -264/7. Which is smaller: u or 0?
0
Let o be (-11)/11 + (-10078)/(-48). Let i = -209 + o. Is 1 < i?
False
Let o = 12 - 13. Which is smaller: 3/35 or o?
o
Suppose 4*q = -3*i + 2*q + 94, 0 = -i + 4*q + 50. Is 33 > i?
False
Let r = 371/4 + -92. Let n(u) = u**2 - 13*u + 6. Let w be n(13). Let q(t) = t**3 - 6*t**2 + 1. Let y be q(w). Is r > y?
False
Let o = -176882/39 + 4535. Let j = o - -10/13. Let c = -1 + 2. Is j smaller than c?
True
Let y be (-7)/(-14)*(1 + -1). Which is smaller: -3/16 or y?
-3/16
Let p = 0.26 + -0.1. Let u = p - 0.06. Which is bigger: 4 or u?
4
Let y(l) = -l - 24. Let j be y(0). Which is smaller: j or 2/7?
j
Let a = 180 + -1622/9. Suppose 4*b - 2 = 2. Suppose -y = b - 0. Which is greater: a or y?
a
Let y