ich is smaller: h or -3.3?
-3.3
Let i be 1 + 4 - 8/4. Suppose 4 - 1 = i*u. Is u <= -2?
False
Let b(p) = p**3 + 9*p**2 - 2*p - 8. Let u be b(-9). Is 8 at most as big as u?
True
Let l be (3 + -1)*(-4)/(-1906). Let h = 2270/86723 - l. Let w = h + -101/455. Which is smaller: 0 or w?
w
Let f(s) = -s**3 - 4*s**2 + s + 1. Let i be f(-3). Let z = i - -9. Which is bigger: z or -1?
-1
Let n = -11.1 + 11. Let r = -0.2 + n. Let c = 0.2 + -0.1. Are c and r unequal?
True
Let r be 11/5 + (-1)/5. Let u(h) = -3*h - 3. Let z be u(-5). Let w = 16 - z. Which is greater: r or w?
w
Let h(a) = -a - 6. Let s be h(-11). Suppose -14 = 2*f + s*j, -4*f - j - 8 = 4*j. Is f at most -1?
False
Suppose 141 = l + 140. Is l smaller than 2/13?
False
Let k(g) = -2*g**3 + 6*g**2 - 5. Let l(f) = -3*f**3 + 12*f**2 - 9. Let s(z) = 5*k(z) - 3*l(z). Let a be s(-6). Which is greater: a or 1?
a
Let a be (-18)/15*15/57. Let q = a + 43/76. Is q > -2/7?
True
Suppose -64*m = -50*m. Let q be (-1)/(-553)*551 + -1. Let o = q - 1084/6083. Do m and o have the same value?
False
Let p = 4.6 - -0.2. Let d = -5 + p. Let u = -31 - -219/7. Is u greater than d?
True
Let q(j) = j**3 - 8*j**2 + 10*j - 9. Let m be q(7). Let g = 9 - m. Is g bigger than -3?
False
Let u(d) = -7*d**2 - 11*d - 2. Let s(i) = 6*i**2 + 11*i + 2. Let p(j) = 6*s(j) + 5*u(j). Let n be p(-11). Which is smaller: 1 or n?
1
Suppose y - 51 = -7. Is y > 46?
False
Let k = -13.93 + 14. Let c = k + -1.07. Is -2/3 greater than or equal to c?
True
Let a = -3 - -6. Suppose -2*i - 14 = -4*q, -a*i + 5*q = 11 + 11. Let d be (-3)/2*6/i. Which is smaller: -2/11 or d?
-2/11
Let c = -1.2 + -4.8. Let g = 5.9 + c. Which is smaller: g or 0.1?
g
Let c = 0 - 0. Suppose 5*w - 2*w - 126 = 0. Let f be (8 - 11)/(w/(-4)). Which is bigger: f or c?
f
Suppose -2*h + 12 = -0. Let x be h - (-1 - 4/(-2)). Suppose x*z = z + 8. Which is smaller: z or 3/2?
3/2
Let k = -50.9 + 51. Is -0.03 at least as big as k?
False
Suppose 0 = -4*n + 5 - 1. Is 3 <= n?
False
Let b(v) = -v**3 + 8*v**2 - v + 9. Let g be b(8). Let c be (0/((-2)/1))/g. Let u = -1 + 0.9. Which is smaller: u or c?
u
Let t(q) = 3*q - 6. Let n(y) = 3*y - 5. Let j(h) = 5*n(h) - 4*t(h). Let k be j(2). Suppose 4*w + k*r = -27, -15 = 2*w + 3*r - 0*r. Which is bigger: -1 or w?
-1
Let c = -3.2 - -0.2. Let m be 2 - (-1)/(-2)*6. Which is smaller: c or m?
c
Let a = -4/149 - 5501/447. Do a and -11 have the same value?
False
Let u = 1065/1876 + 1/268. Do 2 and u have the same value?
False
Suppose 0 = -l + 4 + 1. Let b be (-4 - -1)*5/l. Let i = 2 + b. Which is smaller: i or -2/31?
i
Let i = 2 + -2.1. Suppose 3*u + 61 = -56. Let r be 33/u + 2 - 1. Which is smaller: r or i?
i
Suppose 0*d = 5*d - 15. Suppose 7 = -4*b - 3*x - 1, -9 = d*b + 3*x. Is -1/38 equal to b?
False
Let k = 3.8 - 4. Which is bigger: 8/9 or k?
8/9
Let h(f) = 0*f**2 + 4*f**2 - f - 2*f**3 - 2*f**2. Let x be h(1). Let m be (7 - 10) + 0/(-2) + 2. Is x >= m?
True
Let k(l) be the third derivative of -l**4/24 - l**3/6 + l**2. Let j be k(-3). Do j and 0 have different values?
True
Let p = -0.8 + 0.1. Let t = 5 - 5. Which is bigger: p or t?
t
Let b(w) = -w**2 + 4*w - 1. Let q be b(4). Suppose 3 + 7 = -5*f. Which is smaller: f or q?
f
Suppose 0 = -2*v + 5*x + 11, 4*v - 2*x - 7 = 3*x. Are v and -3/5 equal?
False
Let q = 8 - 4. Suppose 0 = -3*j - 7 + 1, 2*u = q*j + 10. Are 1 and u nonequal?
False
Let f be 9/(-27) - (-2)/24. Suppose 0 = -m + 4 - 0. Suppose m*y - 9 = y. Is y greater than f?
True
Let i = 171 - 858/5. Is 2 at most as big as i?
False
Let p(s) = s**3 - 4*s**2 + 3*s + 1. Let g be p(3). Let d = 1 - g. Let x be (4/(-15))/(-2*(-1)/6). Is x bigger than d?
False
Let l = 4.4 + -5. Let o = l - -0.3. Is 0.1 bigger than o?
True
Let b = 21 - 16. Suppose 4*h - 4*a = -8, -b*h - 3*a = a + 19. Is -3 equal to h?
True
Let f be (-2)/(-3) - (136/36 - 3). Let k(s) = s. Let b be k(0). Which is greater: f or b?
b
Let m be (-30)/(-5)*1*-2. Let x be m/(1 - (-94)/(-52)). Let p = x - 16. Is p < -1?
True
Let p(g) = -g**2 + g - 1. Let i be p(3). Let x = i - -3. Is -2 at most as big as x?
False
Suppose 0 = -t - 2*l - 8, 5*t + 3*l + 10 = -l. Is t equal to 6?
False
Suppose -c + 3*y = -8, 2*c - 6 = 3*c + 4*y. Suppose -2*j - c*v = -10, -4*j + 6 = v - 2. Suppose 0 = 2*u - 4 - 2. Is j < u?
True
Let k = 3 + -5. Suppose -n = 2*n. Suppose 3*c + 3*a + 12 = n, 0 = c - 6*a + 3*a. Which is smaller: c or k?
c
Let m be 45/10*(-2)/(-3). Let w be (-1)/m*(-45)/21. Do 1 and w have the same value?
False
Let a = -10 - -11. Let y be -1*a - (-579)/444. Let n = y - 2/37. Is n smaller than -3?
False
Let a(k) = -k**3 - 6*k**2 - 6*k + 1. Let z be a(-5). Suppose -z = -3*g - 0*g. Let j be (-1)/2 - (-1)/g. Which is greater: j or -2?
j
Suppose 0 = -c - t - 0*t + 6, c + 4*t - 21 = 0. Is -8/19 > c?
False
Let j = -9 - -5. Let i be 4/(-20)*(-50)/j. Is -4 greater than i?
False
Let j = 49.6 - 54. Let q = 5 + j. Let w = -0.3 + q. Is w != 0.1?
True
Let x = -0.6 + 0.1. Let y = x + -2.5. Let o = -0.04 + 0.04. Is y at least o?
False
Let p = 7.2 + -7. Let s = -0.12 + p. Are s and 0.1 non-equal?
True
Let o = 0.6 - 2.6. Which is smaller: 0.4 or o?
o
Let l(z) = -z + 5. Suppose 8*k - 3*k = 25. Let g be l(k). Suppose -2*i = 5*v + 4, g*v - 6 = -3*v + 3*i. Which is smaller: -2/7 or v?
-2/7
Suppose 0*f + 3*f = -12. Let s(l) = l. Let z be s(-3). Which is smaller: z or f?
f
Suppose 0 = 3*b + b - 100. Suppose -b = -y + 6*y. Which is smaller: y or -6?
-6
Let g(m) = -m**3 - 7*m**2 + 7*m - 10. Let a be g(-8). Which is bigger: -34 or a?
a
Let f = 26 - 29. Is 2/3 <= f?
False
Let a be 2/(-9)*(-7353)/(-15). Let p = -109 - a. Let h = 24 + -23. Is p greater than h?
False
Let u = 2/719 + 1288/53925. Is u equal to 0?
False
Suppose -22 - 8 = -f. Suppose -f = -5*i + 20. Let g be 9 - 9 - i/8. Do 0 and g have the same value?
False
Let k = 12 - 12. Let q(f) = 3*f**3 + 2*f**2 + 5*f + 3. Let t be q(-3). Let o be (t/(-18))/5 + -1. Is k <= o?
False
Let q(y) = y + 3. Let l = -1 + -2. Let h be q(l). Which is smaller: h or 2/27?
h
Let g(p) = p**2 + 5*p - 3. Let o be g(-6). Let z = -5 - -7. Suppose -4*m - 7 - 5 = 2*h, 0 = -z*h - 3*m - 7. Are h and o non-equal?
True
Let v = -509 + 514. Let z(y) be the second derivative of -y**5/20 - y**4/6 - y**3/6 + y**2 + y. Let k be z(-2). Does v = k?
False
Let p = 116 - 114. Is p <= -46?
False
Let z = -459 - -3681/8. Which is greater: z or 2?
2
Let o = 342 - 1016/3. Is 4 equal to o?
False
Let h be (-182)/(-348) + (-1)/2. Let r = h - -251/435. Let s = -23/30 + r. Is -1 <= s?
True
Let s = 5 - 1. Which is smaller: s or 3?
3
Let f be (4/(-2) - -2) + -6. Let y = f + 2. Let b = -13 + 9. Is y less than b?
False
Let d be 0 + (-3)/9*-3. Let f = -1 - d. Let i be ((-1)/f)/((-6)/(-12)). Which is smaller: i or -1/3?
-1/3
Let z = 0.7 - 0.74. Is z at most as big as 3/4?
True
Let u be (-3)/5 + 115/100. Let c = 39/80 - u. Which is bigger: -1 or c?
c
Suppose 2*u + 8 + 8 = 0. Let n(k) = k**2 + 8*k - 3. Let o be n(u). Which is smaller: o or 1?
o
Let r(n) = 3*n - 5. Let d be r(2). Let g be 6/(-10) - (0 - d). Is 0 > g?
False
Let t be (-1 + (-4)/(-16)*4)*-1. Let k = -3 + 1. Let l be k/(-6) - (-5)/(-9). Is l at least t?
False
Let h be (4/(-10))/((-18)/10). Let f be -1 + 1 + (1 - -1). Suppose x - 16 = 7*j - f*j, 0 = -2*x + j + 5. Which is smaller: x or h?
h
Suppose 3*l - 6 + 0 = 0. Suppose l*s = 3*s. Are s and -1 equal?
False
Let u(r) = r**2 + 10*r - 14. Let a be u(-10). Is -14 less than or equal to a?
True
Suppose 34*j + 8 = 36*j. Is 5 smaller than j?
False
Let a be (-33)/(-7) + (-2)/(-7). Let o(m) = -m**2 + 6*m - 6. Let l be o(4). Let x = l - -2. Do a and x have different values?
True
Let c be (-2)/(-6) - (-32)/(-6). Let b = 230 + -232. Which is greater: b or c?
b
Let p = 0 + 3. Suppose 0 = -p*t + 2*t - 2. Let a be (-5)/t*12/10. Does a = 3?
True
Let l = -1.1 - -2.6. Let p = l - 1.9. Which is greater: p or -2?
p
Let h(z) = -2*z**2 + 8*z + 3. Let g be h(4). Which is smaller: 5/2 or g?
5/2
Let n = -232558/63 + 32230/9. Let g = -110 - n. Let q = 3 + -2.9. Which is smaller: g or q?
q
Let y(k) = k**3 + 7*k**2 + 4*k - 8. Let z be y(-6). Let l be 0/(z/2 + -3). Let u = 3 + -2. Is l < u?
True
Let n(f) be the second derivative of -f**5/20 - 5*f**4/12 - f**3/6 - 2*f**2 + 3*f. Let k be n(-5). Let v be (-2)/(-3) - (-1)/(-15). Which is greater: v or k?
k
Let 