h is smaller: d or r?
d
Suppose -6*s + 14 = -7*s. Let v be (-6)/20 + 7/s. Which is greater: 0 or v?
0
Let a be (2/(-3))/((-4)/(-72)). Let v be (-1 + (-9)/a)/(-1). Suppose j - 1 = -2. Are v and j non-equal?
True
Let f = -2.2 + 2. Suppose 3*t = -2*t + 20. Suppose -3*p + t = -8. Which is smaller: f or p?
f
Let y be -1 - (-12)/((-3)/(-1)). Let f = y + -2. Let a be 0/(f*(-3 - -2)). Which is bigger: a or -1?
a
Let w = -12.06 - -0.06. Is 2 greater than w?
True
Let p = -30 - -35. Suppose 2*x - 3*x = 2*u - 6, 4*u - p*x - 12 = 0. Suppose -3*k + 2 + 10 = 4*l, l - 5*k + 20 = 0. Which is smaller: l or u?
l
Let i(g) = 2*g. Let t be i(-1). Suppose 7*y = 4*y + 15. Suppose y*k = 6*k. Which is bigger: k or t?
k
Let a(x) be the second derivative of -1/2*x**2 - 1/6*x**4 - 1/6*x**3 + 0 + x. Let p be a(-1). Are p and -1 unequal?
True
Let o = -0.5 + -0.5. Let p = -3 - o. Let r = 2.4 + p. Is r <= 0?
False
Suppose 2 + 10 = 6*h. Do h and 13/8 have the same value?
False
Suppose 2 = 2*r - 6. Let l be ((-18)/(-78))/((-18)/r). Is 0 less than l?
False
Let x be (258/(-288))/((-2)/822). Let t = 368 - x. Is t greater than 0?
False
Let f be -6 + -1*(2 - 4). Is f greater than or equal to -3?
False
Let u be -1 + 4/(-2) - -2. Which is smaller: u or 0?
u
Let g = -17 - -71. Is g < 52?
False
Let m = -1.2 - 3.8. Which is smaller: m or 11?
m
Let l = 18 - 8. Suppose -3*b - 2*x = -b + l, 15 = 4*b - 3*x. Which is greater: b or 2/11?
2/11
Let y = 0.04 - -2.96. Let s = -5.9 - -6. Do s and y have the same value?
False
Let m(d) = -19*d - 15. Let y be m(-6). Are y and 98 equal?
False
Let r = 172 + -144. Which is greater: -1 or r?
r
Suppose 2*a + 6 = -4*t + 3*t, -t + 3 = -a. Let d = 3 + -1. Suppose d*p = -2*p. Is t greater than or equal to p?
True
Let n = 2.3 + -1.7. Which is smaller: 2 or n?
n
Let r = 6 - 2. Suppose k = -1, 2*k - 2 = w - r. Which is smaller: -2/3 or w?
-2/3
Let k = 11.22 + -8.3. Let s = 3 - k. Let b = -3.08 + s. Is b <= 0?
True
Let j(k) = -2*k + 3. Suppose 0 = -2*p + 2*y - 7*y + 19, 0 = 2*p + 2*y - 4. Let v be j(p). Is 8 bigger than v?
False
Let d = 42 + -40. Let s(g) = 0 - g**2 - 1 + 2. Let t be s(d). Which is bigger: t or -4?
t
Suppose -5*z + 13 = 38. Which is bigger: -4 or z?
-4
Let s be -3*(3 - (3 + -3)). Let h be (-3)/s*9/(-6). Suppose 4*l - x = -4, -3*l - 7*x = -2*x + 26. Is l at most h?
True
Let i = -188 + 937/5. Let d = -14/15 - i. Suppose -4*h - 10 = h. Are d and h non-equal?
True
Let f = 4 + -3.98. Let q = -0.32 + f. Is q greater than 2?
False
Suppose k + 1 = 0, 0 = -7*b + 2*b - 2*k - 32. Let s be (-1)/b*2*-2. Which is greater: -2 or s?
s
Let u be (-4)/(-110)*(-9 - -4). Which is smaller: 1 or u?
u
Let p(m) = -m**3 - 5*m**2 + 5*m - 4. Let d be p(-6). Let t = 5 + d. Suppose -4*f + 3*b - 7 = 0, -t*b + 4*b = -3. Is -2 at most f?
True
Let u(k) = -k - 2. Let x be u(5). Is x less than -6?
True
Suppose 2*f = -3*t - 16, -4*f + 5 - 13 = 0. Let n(j) = -j**2 + 7*j - 4. Let c be n(4). Let u be (t + 2)*(-4)/c. Which is greater: u or 1/3?
u
Suppose 4*w + r + 10 = 6*r, w + 3*r - 6 = 0. Let d(t) = -t**2 - 10*t - 8. Let q be d(-9). Which is smaller: w or q?
w
Suppose -6*z - 4*z = -3*z. Let m = -1/288 + 217/288. Is m >= z?
True
Let d = -429 + 4713/11. Suppose 5*z + 6 = 2*z. Is z at least as big as d?
False
Let w = 46 + -185/4. Are -39 and w nonequal?
True
Let u = 0.7 + 8.3. Is -3 smaller than u?
True
Let s(b) = b**2 - 7*b. Let r be s(7). Let y be (2 + -4)*(r - -1). Is -4 smaller than y?
True
Suppose m - 5*m + 148 = 0. Let f = m - 149/4. Let x = -0.4 + 0.4. Do f and x have different values?
True
Let i = -39 - -32. Is i >= 3?
False
Let i = 11 + -18. Let h = -5 + 0. Let m = i - h. Which is smaller: -1 or m?
m
Let n = 7 + -45/7. Let g = -22 + 23. Which is greater: g or n?
g
Let q be (-3124)/(-7)*(-595)/150. Let u = q + 1769. Let b = 8/5 + u. Which is greater: b or 1?
1
Suppose -3*y + 4*q = 78, q = -3*q - 12. Do y and -31 have different values?
True
Let m(g) = 2*g - 9. Let v be m(6). Is 3 at most v?
True
Let i = -177/70 - -1/35. Which is smaller: i or 2/9?
i
Suppose 2 = n - 2*n. Let u(c) = -5*c**3 - 6*c**2 + c + 8. Let h(t) = -t**3 + 1. Let g(m) = -4*h(m) + u(m). Let x be g(-6). Is n >= x?
True
Let x be 110 + -2 + 1 - 1. Let i be 3 - x/28 - 0. Which is smaller: -2 or i?
-2
Let d = -0.68 - -0.66. Is -3 equal to d?
False
Suppose -8*z + 6 = -2*z. Is 2 bigger than z?
True
Let s = 11 - 9. Let u = -1.7 + s. Is u at least 0?
True
Let o = 114 - 76. Let b = o - 8. Let c be -2 + b/8 + -1. Which is smaller: c or 2?
c
Let k = 310/3 - 104. Let i be (-24)/(-14) + (-2)/(-7). Suppose j - 6 = -i*f, 22 = -j - 2*j + 4*f. Are j and k equal?
False
Let h = -1 - -1.08. Let y = h + 0.22. Let n = -14/15 + 3/5. Do n and y have the same value?
False
Let m = -2830/321 + 16/107. Is -9 greater than m?
False
Let w(x) = -x**3 + 3*x**2 + 2*x - 7. Let r be w(-3). Which is bigger: r or 42?
42
Let p(y) = -y**2 - 5*y + 3. Let i(a) = -a**2 - 2*a + 2. Let t be i(2). Let s be p(t). Let z = -2 - 0. Is z smaller than s?
False
Let w = 17/60 - 1/30. Let i be 10/(-55) - (-26)/22. Let s(g) = g**2 + g - 1. Let f be s(i). Which is smaller: w or f?
w
Let y = -24 + 24. Which is smaller: y or -1/2?
-1/2
Let z(x) = x - 2. Let t be z(9). Which is bigger: 9 or t?
9
Let a = -18 + 19. Are 4/9 and a non-equal?
True
Let g = 4 - 5. Is g >= -1?
True
Suppose -3*y - 2 = -8. Let l be 4/(-10)*(y - 12). Is 3 greater than l?
False
Let w = 6351/5 - 3359689/2645. Let l = w - 2633/3174. Which is smaller: -2 or l?
-2
Let y be (1/6 - 1)*-1. Suppose -9*n = -5*n - 4. Which is bigger: n or y?
n
Let o be 2*(-3)/(-2) + -4. Let m be (-2678)/(-20)*o - -3. Let z = 131 + m. Is z bigger than 1?
False
Let t = 53 + -52. Is t smaller than 1/68?
False
Let d = -36 + 36. Which is smaller: d or 0.23?
d
Suppose -297 - 180 = -9*b. Which is greater: b or 52?
b
Let s be (0 + -2)/((-4)/(-6)). Let y be -1*3/s*0. Suppose y = 3*o - 0*o + 9. Are -3 and o nonequal?
False
Let g be (-48)/99 + 4/6. Suppose -2 + 6 = -4*m. Which is smaller: g or m?
m
Let o = -13 + 4. Let y = 8.9 + o. Which is bigger: y or -4?
y
Let v = -3 - -1. Suppose 5*f = 3*f - 10. Is v < f?
False
Let y = -12.89 + 13. Let n = y - 8.11. Let a = 7 + n. Is a smaller than 2/9?
True
Let k = 7 + -7.23. Let p = k - -0.13. Let r = 8/217 + -10/31. Is r not equal to p?
True
Suppose 0*q = -2*q + 12. Let x be 0 + 3 - 42/q. Do -6 and x have the same value?
False
Let a = -4 - -3. Suppose 0 = 5*h - 3*i - 24, 5*h = h - 5*i - 3. Let k be h/6 - (-13)/(-18). Is a bigger than k?
False
Suppose 3*p + 4*y + 0*y + 23 = 0, 5*p - y = 0. Which is bigger: -5 or p?
p
Let a = -27 + 25. Which is smaller: -1/4 or a?
a
Let n = 0.04 - 2.04. Let s be (-3 - -3)/(2 + -1). Do s and n have the same value?
False
Let r(i) = -i**2 + 23*i - 16. Let h be r(22). Let b = 3 + 3. Is b greater than or equal to h?
True
Let n be (-10)/(-3) - (-2)/3. Let m = n + -1. Suppose 3*h + 15 = 5*w, 0*h - 5 = -m*w + h. Which is smaller: w or -1/4?
-1/4
Let n = 10.09 - 10. Which is bigger: n or 0?
n
Suppose 0 = -0*c - 4*c + 8. Let o be 1*c - (-6 - -3). Suppose 0 = -o*t + 11 + 9. Is 5 > t?
True
Let a be 14*(-5)/60 - (-4)/24. Which is smaller: a or -1/2?
a
Let n(f) = -2*f + 2. Let r be n(-9). Let o be (-48)/(-70) - 8/r. Which is smaller: 1/4 or o?
1/4
Let i = 2/45 + 16/45. Let l(u) = -u**2 + 7*u + 1. Let f be l(7). Which is greater: f or i?
f
Suppose -2*n - n + 9 = 0. Let x be (0/n - 1)/1. Is x less than or equal to -3/5?
True
Suppose -g - 7 = -4*x + 1, -5*x = -10. Let m = -39/2 - -20. Which is smaller: g or m?
g
Let o be (8/(-14))/((-6)/21). Which is smaller: 5/8 or o?
5/8
Let g(k) = k**3 + 3*k**2 - 4*k + 4. Let n be g(-4). Suppose -n*j = -6 - 2. Let w be 6/(-3) - (-1 + -4). Which is smaller: j or w?
j
Suppose -b - 3*b = -16. Let i be b + (-4 - (-2 - -1)). Which is smaller: i or -1?
-1
Let p(d) = -d**3 + 7*d**2 - 5*d - 5. Let n = -15 + 21. Let v be p(n). Let k = v - 2. Does 0 = k?
False
Let j = -116 - -113. Which is smaller: j or -1/6?
j
Let l = 1 - -1. Let f be (-6)/(l - 4) + -1. Suppose -a + 2 = k, -f*k - 5*a + 18 = 5. Is k < -3?
False
Let z be -10*(6*6/(-9) - -1). Do z and 32 have the same value?
False
Let i be ((-9)/(-12))/((-11)/(-88)). Let r be (1 - 0 - 1)*-1. Suppose r = v - 2, 4*u + 2*v - i = -v. Do u and 2 have the same value?
False
Let g = -29 - -27. Let n(m) = m**3 + 6