ch is smaller: h or x?
h
Let p = 1751.1 - 1751. Let y = -0.05 - 0.07. Let m = -6.12 - y. Which is bigger: p or m?
p
Suppose -5*w + 3*r - 4993 = -511, -4486 = 5*w + r. Do w and -897 have the same value?
True
Let x(c) = c**3 + 8*c**2 + 7*c. Let j be x(-7). Let h = -887/42 + 119/6. Are h and j nonequal?
True
Let h be ((-1)/(-1) - -51)/2 - 3. Let d = h + -52. Which is bigger: -28 or d?
-28
Let n = 7228 + -238492/33. Is 0 bigger than n?
False
Let i = -2045 - -143147/70. Let v be (11/44 + 2/(-8))/1. Which is smaller: i or v?
i
Let j = -6 - -8. Let p = -0.028 + 35.028. Let s = -30 + p. Is s at least as big as j?
True
Let x be 241/(((-50)/15)/(-2)). Which is smaller: 146 or x?
x
Let r = 3 - 3.04. Let i = -4.96 + r. Let s be 60 - 59 - (-3)/(12/(-5)). Which is smaller: s or i?
i
Let b(v) = v**3 - 39*v**2 + 71*v + 113. Let o be b(37). Let k be 0 + ((-51)/(-33) - 1). Which is greater: k or o?
o
Suppose -20*o + 6 = -18*o. Suppose -s = o*s - 24. Are 5 and s equal?
False
Let w(h) be the second derivative of -10*h**3/3 - 5*h**2/2 - 30*h. Let q be w(-2). Is q != 36?
True
Let j = 50/21 - 12/7. Let r = 81 - 81.01. Are r and j non-equal?
True
Let z = -0.1182 + -0.1818. Is z at least -14/5?
True
Let t(y) = y**3 - 8*y**2 + 11*y - 17. Let g be t(7). Let w = g + -14. Let f be w/27 + 60/783. Are 0 and f nonequal?
True
Let s be ((4 - 8)/(-20))/(2/10). Is 4/33 at least s?
False
Let q(h) = -h**3 + 7*h**2 + h - 5. Let j be q(7). Let d(r) be the second derivative of r**3/6 + r**2/2 + 9*r. Let s be d(0). Is j greater than or equal to s?
True
Let u(a) = -4*a - 3*a + 12 + 2*a. Let y be u(6). Let p be ((-2)/y)/(4/24). Is p greater than or equal to 3?
False
Let f = 8679/249064 + 3/1528. Let b = f + -124/12225. Is b <= 1?
True
Let g(j) = -2*j**2 + 4*j + 1. Let d be g(4). Let b be ((-1)/(-8) + 1)*20/d. Which is smaller: -1 or b?
b
Let x(w) = 54*w**2 - 2*w - 1. Let a be x(-1). Let v be -1 - a - 5*(-7)/(-35). Is v less than -56?
True
Let s be ((-1)/3)/(1/(-30)). Suppose -l + 5 = 4*i, 3*l - 5 = -2*i + s. Suppose 1 + i = y. Are 1 and y equal?
True
Let o = -371 - -373. Which is smaller: -1/30 or o?
-1/30
Let q(h) = -h**3 + 4*h**2 - 5. Let w be q(4). Let b be 8/(-45) - 2/w. Let n be (2 - (2 + -1))/(-3). Which is bigger: n or b?
b
Let n = 331 - 280. Which is smaller: 52 or n?
n
Let h = 0.01 + 1.99. Let i = 17 - 17.03. Let x = i + 0.03. Which is smaller: h or x?
x
Let f(x) = -x**2 - 4*x - 1. Let p be f(-3). Suppose -5*y = l + 13, -6*l = -p*l + 4*y + 4. Suppose -5*c = -4*c - l. Are 3 and c nonequal?
True
Let m = -10.62 - -1.62. Is -2 bigger than m?
True
Let o be (5 - (-3 + 3)) + -1. Suppose -2*j - 816 = -o*s - 0*s, -j = 4*s + 378. Let y = j - -7560/19. Is 0 bigger than y?
True
Let r = -5.6 + 6. Let k = -5 + 5. Let y = k - -5. Are y and r non-equal?
True
Let y = 10.4 + -10.85. Is -0.3 smaller than y?
False
Let q be 1/3*(-11)/11. Is -1/4 smaller than q?
False
Let h = -0.14 + 0.24. Let t = 5 + -8. Let c = 0 - t. Which is smaller: c or h?
h
Let q be (-4)/(7/((-252)/(-6))). Is -23 > q?
True
Let z(p) = 3*p**2 - 4*p - 14. Let n be z(3). Is n at most as big as 4/339?
False
Suppose 55 = -4*h - 5. Let o = h - -16. Which is bigger: o or -1/3?
o
Let x(m) = -m. Let g be x(1). Which is greater: 2/117 or g?
2/117
Let k = 7 + -5. Suppose -2 = -k*y - 0*y. Suppose -12*d + 9 = -3. Are y and d non-equal?
False
Let k = 3.52 - 153.52. Let n = k + 136.2. Let f = n - -14. Which is bigger: f or 2/3?
2/3
Suppose 7*j = 8*j. Suppose 0 = -5*p + 5*b - 6 + 1, -5*b + 15 = j. Which is smaller: 12/11 or p?
12/11
Let j be (-7798)/(-53900) + (-3)/21. Is j equal to -1?
False
Let x be ((-2)/(-4))/((-2)/12). Let r be 127/508*(-26)/3. Which is smaller: r or x?
x
Let t = 0.8 - 0.9. Let b = -0.1 + 0.11. Let r = b - -5.99. Is r >= t?
True
Suppose p + 1267 = 355. Let x be (-2)/8 + (-132)/p. Is -1 greater than or equal to x?
False
Suppose -11*p - 94 = 115. Let d(u) = u - 20. Let c be d(0). Is c not equal to p?
True
Let y = 13298/7 - 1913. Is -14 less than or equal to y?
True
Suppose 0 = 19*w - 14*w + c + 18, 0 = 4*c + 12. Are w and -68 unequal?
True
Suppose -8 = -0*f - 4*f, -3*i + 10334 = -5*f. Let y = i - 31000/9. Are 5 and y non-equal?
True
Suppose 0 = -17*s + 12*s - 5*h + 640, 4*s - 517 = -5*h. Is 122 greater than s?
False
Let x be 85/(-3) + 0 + 8/24. Let v be (-8)/x + (-1)/(28/120). Which is smaller: 4 or v?
v
Let a be (-7 - -1) + (10 - 15 - -12). Which is greater: -2/235 or a?
a
Let v(i) = -8*i**3 - 5*i**2 - 3*i - 1. Let w be v(-2). Does 49 = w?
True
Let b be 416/(-260) - (-6)/10. Let n be 11/69 + 2/(-6). Is b smaller than n?
True
Let s = 0.034 + 0.866. Let p = s + -1. Which is smaller: p or 20?
p
Let h(l) = l**2 - 15*l - 6. Let s be h(15). Let b = 19 + -17. Let q be b/4 + (-3)/s. Are 3/2 and q non-equal?
True
Let n be 2*1 + (567/24)/(-21). Which is greater: 1 or n?
1
Let l = -14 - -16. Suppose n + 15 = -l*n, n = -4*u - 29. Let w = 15 + u. Is w smaller than 9?
False
Let k be 2/(-5) - 136/(-290). Suppose 0*g + 5*m - 18 = 4*g, 8 = -5*g - m. Let p(j) = -j**3 - 2*j**2 + j + 2. Let a be p(g). Which is bigger: a or k?
k
Let v = 311 + -310. Let x = 3.1 + -1.7. Is v not equal to x?
True
Let w = -135 - -135. Which is bigger: 33 or w?
33
Let s be (-286)/(-14) - (-12)/(-28). Let v be s/6*8/(-20). Which is greater: -1 or v?
-1
Suppose j = -2*j + 12. Suppose 0 = -j*n + 2*n. Suppose n = -0*g + g + u - 9, 2*g - 5*u - 18 = 0. Is 8 equal to g?
False
Let w(a) = a**3 + 5*a**2 - 2*a - 1. Let l be w(-6). Let o = 32 + l. Do o and 1/5 have different values?
True
Suppose l - 4 + 3 = 0. Let x be (l/(-2))/(13/6). Suppose -5*f + f + 1 = z, -f + 3*z - 16 = 0. Which is smaller: f or x?
f
Let c be 2 - (1 + -1) - 2. Suppose 3*u + u = c. Let l be (-8)/18 + (-76)/(-342). Which is greater: l or u?
u
Let h = 2/1599 + -38414/30381. Is -2 less than or equal to h?
True
Let p(f) = f - 3. Let x be p(5). Let c(w) = 9 - 3 - 4 + w + w**3 - 3*w**2. Let l be c(x). Which is greater: -1 or l?
l
Let a(b) = 17*b - 308. Let l be a(13). Which is smaller: l or -85?
l
Let g = 3389/4301 - 1/187. Suppose 3 + 23 = 13*s. Do s and g have the same value?
False
Suppose -4*l = -2*u - 0*u + 2, l + 3*u - 3 = 0. Suppose -5*v = -5*x - 15 - 10, 0 = 4*x + 2*v + 50. Let k be (x/28)/(4/(-8)). Is k less than or equal to l?
False
Let d(u) = 25*u - 1. Let m be d(-2). Let c be m/(-7) + 20/(-70). Let a = -3 + 10. Does a = c?
True
Suppose z = 2*z + 12. Let t(v) = v. Let r(y) = y**2 + 18*y + 2. Let s(k) = -r(k) + 5*t(k). Let d be s(z). Which is smaller: 9 or d?
9
Let g = -729/4 - -176. Is 0 at least as big as g?
True
Suppose 2*z = -2*i - 34, 2*z - 1 = -i + 7*z. Let j = 40 + -24. Let k = j + i. Is 4/7 less than or equal to k?
True
Let a be (-1)/(-6) + 38/(-12). Suppose 2*l + 4*w = -6, 3*l + 0*w + 20 = 5*w. Which is bigger: l or a?
a
Let i = -355/184 + 7/23. Which is bigger: 0.2 or i?
0.2
Suppose -3*v - b - b = 54, -3*b - 89 = 5*v. Let h be (3/(-36))/(10/v). Which is bigger: -1 or h?
h
Suppose -3*n + 23 = 2*b, 0 = -5*n + n - 4*b + 32. Suppose -2*i + 12 = 4. Suppose -n = -i*a + 1. Which is smaller: a or 12/7?
12/7
Let u(o) = -o**3 - 2*o**2 + o. Let l(g) = -2*g - 15. Let z be l(-8). Let i be u(z). Is i greater than or equal to -1?
False
Let l(a) = 5*a - 53. Let x be l(-2). Is -61 less than x?
False
Let s(q) = 14*q + 99. Let j be s(-7). Do j and -7/73 have different values?
True
Suppose 4 = 4*g + 4*w, -2*w + 2 = 2*g + 3*g. Suppose 3*n - 3*q - 57 = g, 5*q + 7 = -4*n + 47. Is 13 greater than or equal to n?
False
Let q = 14 - 10. Let s = 4472/7 + -22388/35. Are q and s nonequal?
True
Suppose -4*n = -2*u - 403 + 73, -2*n = 5*u + 765. Is -154 < u?
False
Let o = 314083/744 + -2533/6. Which is smaller: 2 or o?
o
Suppose 0*z = -5*z + 20, 12 = -4*a + 2*z. Let i = 5423/828 - 150/23. Is a <= i?
True
Suppose 24*j + 1890 = 14*j. Is -189 less than j?
False
Let l be ((88/(-80))/11)/(4/16). Is -67 at most l?
True
Suppose -14*o - 679 = 2107. Which is bigger: o or -202?
o
Let p = 71/92 + -12/23. Suppose 15 - 4 = d. Let z(a) = a**2 - 12*a + 12. Let r be z(d). Is p smaller than r?
True
Let n = -418 + 418. Is 12/257 < n?
False
Let c(s) = -3*s**2 - 13*s + 8. Let z be c(-4). Let q be z/(-48) - (-10)/(-16). Is q at least as big as -2?
True
Let s = 55 - 81. Let x = s + 30. Suppose -4*d + 2*q = -20, -x*d + 26 = -d + 4*q. Is d s