ch is smaller: u or b?
u
Let v = -169/2 - -84. Suppose 5*f + 2*a + 7 + 3 = 0, -5*f + a + 5 = 0. Is v at least f?
False
Let x = -28 + 27. Is x > -10/9?
True
Let l(a) = a**3 + 3*a**2 + 2*a + 3. Let k be l(-2). Suppose 22 = j + 5*q, 0 = -3*j + q - 2*q + 10. Is j less than k?
True
Let q(p) = -4*p + 2. Let k be q(2). Let y = k - -5. Which is smaller: y or 1/7?
y
Suppose -2*m + 12 - 12 = 0. Let h = -64 - -46. Let t be 4/39*h/12. Which is bigger: t or m?
m
Let d = 0.2 + -0.5. Let c be 1*((-5)/3 + 2). Which is bigger: d or c?
c
Let g(a) be the second derivative of -a**3/6 - 7*a**2/2 - 2*a. Let x be g(-9). Let c(j) = j**2 + j + 1. Let o be c(-2). Is o greater than or equal to x?
True
Let j = 52 + -35. Is 15 bigger than j?
False
Let a = -31 - -25. Is a at least as big as -2?
False
Let d be (-39)/(-12)*10 + -4. Are 29 and d nonequal?
True
Let o(x) = x**3 - 2*x**2 + x - 10. Let k be o(0). Let n(j) = j**3 + 11*j**2 - 10*j + 13. Let r be n(-12). Which is smaller: r or k?
r
Let m = -50 + 92. Is m <= 1/3?
False
Let g = -3 + 2.94. Let a = g + 1.06. Is a > -0.3?
True
Suppose 15*g - 17*g - 2 = 0. Which is smaller: g or -2/15?
g
Let v = -56/153 + 10/17. Which is smaller: v or -0.06?
-0.06
Let m = -26 - -28. Which is greater: m or -3?
m
Suppose 5*l - 3 - 42 = 0. Suppose 0 = -k + 5*p + 23, 5*k - k - 38 = 2*p. Is l less than k?
False
Let i(r) be the third derivative of -r**6/120 - r**5/60 + r**4/24 - r**3/3 - 2*r**2. Let n be i(-2). Let v be 0/(n - (2 - 1)). Do v and 0 have different values?
False
Suppose -2*l + 6*l = 0. Let r be 13 + 1 + l + 2. Is 16 less than or equal to r?
True
Let x = -1 + 6. Let i be ((-5)/2)/x*-34. Suppose g = 4*l + 11, 5*g = -5*l + l - i. Which is greater: g or 1/3?
1/3
Let v = 8 - 11. Which is bigger: -5/2 or v?
-5/2
Let v = -4 + -2. Let g be v/(-10)*(-7)/(-21). Which is greater: g or -2?
g
Let f(p) = -858*p**2 + p + 1. Let w be f(-1). Let i be ((-27)/(-30))/(w/225). Let c = 2/143 - i. Is -1 at least as big as c?
False
Suppose -5*k = -d - 28, 0 = 5*d - 5*k - 0*k + 40. Does d = -3?
True
Let l be 44/10 - (-7 - -10). Let q be 3 + 4/(-7 + 3). Which is smaller: l or q?
l
Let k = -16.1 + 16. Is 17 less than k?
False
Let p = 0.1 + -0.2. Let a = -0.1 - p. Let o = 1.1 - 1. Which is smaller: o or a?
a
Let n = -16 - -21. Suppose -6 = -n*u - u. Is -2/43 greater than u?
False
Let i = 0.2 + -0.3. Let c = -18.1 - -17. Let k = i - c. Which is smaller: -1 or k?
-1
Let i be -1 + 5 - (2 + 0). Let s = 23 + -22. Is i smaller than s?
False
Suppose -5*a - 25 = -y, -7*a + 2*a - 35 = -3*y. Which is smaller: y or 4?
4
Let i(d) = -2*d - 4. Let g be i(0). Is g bigger than 0?
False
Suppose -6*k = -9*k. Let n = 1.9 - 2. Which is smaller: k or n?
n
Let a = 0 + 5. Suppose 2*n + 11 = a*h, -3*h + 0*n + 11 = n. Suppose 0 = h*f - 6, f = -4*c - 0*f - 6. Is -1 != c?
True
Let x = -37 + 34. Is x smaller than 11?
True
Suppose -8*f = 376 - 928. Which is greater: 68 or f?
f
Let j be ((-1)/(-18))/((-2)/(-3)). Suppose -f + 6 = -5*h, 2*f + 0 = h + 3. Which is bigger: j or h?
j
Suppose -5 = -3*g + 7. Suppose g*i = 7*i + 21. Is i greater than -10?
True
Let u = 27.9 + -28. Let c be 4/(-14) + (-54)/7. Is c at most as big as u?
True
Let s = -346 - -4500/13. Is 1 smaller than s?
False
Let s = 63 - 47. Is 16 at most s?
True
Let h = 39 + -47. Which is smaller: h or 9?
h
Suppose 0 = -m - 2*m. Let b(u) be the second derivative of u**3/6 - 3*u. Let p be b(m). Which is smaller: -4 or p?
-4
Let m(c) = c - 2. Let w be m(3). Which is smaller: 8/7 or w?
w
Let a = -508 + 844. Let f be (-4)/18 + a/540. Is f >= 0?
True
Suppose -4*j + 37 = 5*r - 32, -53 = -3*j - 4*r. Suppose -2*v - 1 + j = 0. Which is bigger: v or 6?
6
Let z be 3/((-12)/(-8)) - -6. Is 4 at least z?
False
Let m = 6.2 - 6. Let s = 4.8 + m. Is s at most as big as 1?
False
Suppose -2*v - 5*k = 15, 10 = -5*v - k - 16. Suppose 0 = -5*j + 3*x + 3, -x + 0*x = -j - 1. Suppose y = -1 - j. Is y <= v?
False
Let z be ((-218)/(-200))/((-42)/(-12)). Let t = -6/25 + z. Is t greater than -1?
True
Let c be 2 + ((-18)/(-3) - 2). Suppose g = 5*y + c*g - 30, 0 = -2*y - 5*g + 27. Is y at least as big as 2?
False
Let a = -1 - 0. Is a at most as big as -1/11?
True
Let u = 8.9 - -0.1. Which is greater: 0.2 or u?
u
Let u = -29 - -28.8. Which is smaller: -0.15 or u?
u
Let l be (-2)/6 + 6/9. Let a = -2.87 + 2.92. Are l and a equal?
False
Let z(c) = c - 8. Let i be z(7). Is -1 != i?
False
Let o = 2 + -2. Let f = 16.5 - 16. Is f at least as big as o?
True
Let h be 72/42*((-1)/2 - 0). Which is greater: h or -1?
h
Let c be 2/(-10) + 36/5. Is 8 at least as big as c?
True
Let m be (3/(-4))/(((-15)/(-50))/(-1)). Which is greater: m or 4?
4
Suppose 7*b - 2*b - 20 = 0. Suppose -1 + 2 = -4*i - 5*u, -6 = -b*i + 2*u. Is i bigger than -3?
True
Let i be (0 + -1 + -7)*(-24)/16. Which is smaller: i or 14?
i
Let m = 28 + -54. Let y = 23.9 + m. Let w = y + 2. Which is smaller: -4 or w?
-4
Suppose 0*v - 5*n = -2*v + 9, 2*n + 2 = 0. Let b be (-1)/(((-2)/v)/(-1)). Is -1 at most as big as b?
True
Suppose 3*m - 4 = -3*i + 2, 0 = -2*m - 3*i. Let u = 8 + -5. Let o be (3 - u) + 2/m. Is o smaller than 0?
False
Let x = 141.07 - 140. Let l = x - 0.07. Let b be 2/(-3)*6/(-8). Which is smaller: l or b?
b
Let n = 326/5 - 65. Let u = -0.7 - -0.7. Which is bigger: u or n?
n
Let d be (6 + 6/(-3))*-1. Are d and -4 equal?
True
Let b be ((-4)/2 + -6)*(-24)/64. Suppose 20 = 2*f + 4. Let p = f - 3. Is b not equal to p?
True
Let w be 72/(-33) - (-8)/44. Which is bigger: w or 1/7?
1/7
Let o be (-2)/(-12) + (5 - 6). Which is smaller: 0 or o?
o
Let t = 3721/42 + -517/6. Is t < 2?
False
Suppose 0 = -5*z + 2*z + 4*m - 5, 4 = -2*z + 3*m. Suppose -d = -4*d - 12, -5*d + 4 = 2*l. Suppose 0 = -3*a + l, 6*q = q - a + 4. Which is bigger: q or z?
z
Let j = -2/65 - -28/65. Is j greater than -0.09?
True
Let h(r) = -r**2 + 3*r + 10. Let u be h(6). Is -9 at most u?
True
Suppose -9*b - 68 + 23 = 0. Let x(p) = p**3 - 6*p**2 + 5*p + 7. Let o be x(5). Let u = 2 - o. Is b at most as big as u?
True
Suppose -6*h + 3*h = 24. Let q be 4/(-56)*(h + 0). Let a be (-4)/(-2) + -4 + 3 + -1. Which is greater: a or q?
q
Let g(u) = -6*u - 1. Let w be g(2). Let y be 1/(-6) - w/6. Which is bigger: -1 or y?
y
Let j = 10 - 17. Let w be 15/(-28) + (-2)/j. Which is smaller: 0 or w?
w
Let k be 1*3/(-2 + -1). Is -1/14 at most as big as k?
False
Let b(o) be the third derivative of -o**4/24 + o**3 + 3*o**2. Let u be b(4). Suppose m = 2*m - u. Which is smaller: m or 1?
1
Let p = -2903/9 - -323. Which is bigger: p or 0?
p
Suppose -2*h + 3 = -1. Which is smaller: 3 or h?
h
Let j = 1/4 - -1/12. Is j greater than 0.1?
True
Let d be (-1 + -1)*10/4. Let c = 3 - d. Let r(x) = -x**3 - 3*x**2 + x - 3. Let w be r(-4). Is w not equal to c?
True
Let y = -163 + 166. Which is greater: y or -1?
y
Suppose -c = -3*d - 10, 2*c + 0*c = 5*d + 17. Let i be 1 + (d - (-4 - -1)). Let g = 11/2 + -4. Do g and i have the same value?
False
Let p = 0 + -3. Is -14 bigger than p?
False
Suppose -14*m + 5 + 9 = 0. Let l be (-5)/(-2)*(-16)/(-70). Is l greater than m?
False
Let z = -33 + 28. Are z and -3/11 nonequal?
True
Suppose 2*c + 14 = 3*l, 0 = 4*l + 4*c - 28 - 24. Suppose -12 = -4*b, 4*k - 11 = -l*b + 3*b. Which is bigger: 3/10 or k?
3/10
Let i be 4/(-6)*90/(-80). Suppose -3 + 13 = 5*u - 5*r, 20 = -2*u - 4*r. Let x be (0*2/4)/u. Which is bigger: i or x?
i
Let j = 14 + -7. Let m be 6/(-4)*112/(-24). Suppose -m*i = -16 - 40. Is j >= i?
False
Let r be (-52)/(-9) - 6/(-27). Let n(l) = l - r - 2*l - 2. Let j be n(-7). Which is greater: j or -1/8?
-1/8
Let f be (-2163)/14*44/27. Let h = 252 + f. Suppose 3*d + 4 - 1 = 0. Is h != d?
True
Suppose 3*y - 2*j - 3*j = 24, 0 = -3*y - 3*j. Which is smaller: y or 1/4?
1/4
Let c = -68 - -2719/40. Do c and 1 have the same value?
False
Let k = 145 + -722/5. Let v(a) = a**3 + 2*a**2 - 3*a - 1. Let j be v(-3). Let b be (j + 0)/1 + 2. Is k not equal to b?
True
Suppose -z = l + 4, z + 9 = 4*l - 0*z. Suppose 0 = i - 0 - 2. Suppose 4*h = 4*v + 12, -i*v + 2*h - l = -5*v. Is v less than or equal to -1/7?
True
Suppose -y - 165 = 2*y. Let a be (-32)/y - 8/20. Is -1 > a?
False
Let n(d) = -3*d**3 + 2*d**2 - d. Let t(w) = -8*w**3 + 6*w**2 - 2*w. Let y(p) = -11*n(p) + 4*t(p). Let r be y(-2). Do -5 and r have different values?
True
Suppose 0 = -4*p + f - 122,