 14760. Which is bigger: -7 or h?
-7
Let n be 664/(-72) + (-2)/(-9) + -179. Is n not equal to -171?
True
Suppose -75 = -4*p + 401. Let b be 8560/72 - (-50)/45. Which is bigger: b or p?
b
Let z be (13 - -5)*(4 + (-243)/66). Suppose -4*l - b + 5 = -19, 5*b = -4*l + 24. Are l and z unequal?
True
Let k = -107 + 105. Let h be k/(4 + (-668)/168). Let t be 4/(-16) + (-141)/h. Which is bigger: 0 or t?
t
Let n = 2216 - 2217. Let z = -8449/25 + 338. Which is smaller: n or z?
n
Let x(u) = 2*u**3 - 38*u**2 + 37*u - 16. Let t be x(18). Suppose t*o + 0*o = l + 8, -3*o = -5*l - 19. Suppose 3 - 5 = -m. Is m less than or equal to o?
True
Let n(u) = 8*u - 12. Let k be n(-4). Let l be (5980/690)/(1/(-6)). Is l > k?
False
Let h be 2*(-2 + 0)/2. Let y = -0.15 + 0.072. Let m = 1.078 + y. Is m >= h?
True
Let o be (-4 - 2 - -5) + 2. Let l be (-12)/54 + o/(-9). Which is smaller: 0.83 or l?
l
Suppose 5*r + v + 1 - 3 = 0, 3*v = -4*r + 6. Suppose 0 = 13*t - 135 + 1994. Which is greater: t or r?
r
Let m(s) = 3*s + 6. Let z(i) = -i - 1. Let t(j) = -m(j) - 4*z(j). Let k be t(1). Let r be 1104/5920 + ((-1)/(-5))/k. Which is smaller: -1 or r?
-1
Let u(i) = -i**3 + 83*i**2 + 442*i - 166. Let t be u(88). Suppose y + s = 10, -22 + 4 = -2*y - 4*s. Which is smaller: y or t?
t
Let u = -257 + 388. Let d(i) = -326*i - 1515. Let y be d(-4). Let l = y + u. Are l and -80 non-equal?
False
Let d = -2.6112 - -0.6112. Which is smaller: 2443 or d?
d
Let a = -0.19094 - -324.19094. Let j be (-9)/7 - (-2)/7. Is j not equal to a?
True
Suppose -2*m - 5*w - 95 = -0*w, -m = -4*w + 54. Let o = -176 + 126. Is o not equal to m?
False
Let c be (-36)/(-18)*((-5)/2 + 2). Let z be (-82)/(-84) + -17 + 5 + 11. Which is greater: c or z?
z
Let k(r) = -r**2 - 40*r + 40. Let m be k(1). Which is bigger: m or 33/124?
33/124
Suppose -2994*l + 92 = -2971*l. Suppose -2*p = 41 - 5. Let v be 14/63 - (-166)/p. Which is smaller: v or l?
v
Let w = -254 + 3. Let x = w - -264.1. Let q = -13.4 + x. Which is smaller: -1/2 or q?
-1/2
Let t = 137 - 346. Let m = t + 210.7. Which is greater: 0.02 or m?
m
Let c(w) = 82*w + 82. Let x be c(-1). Which is greater: x or -57/100?
x
Suppose 1 + 1 = 2*k, 2*z - 1 = 5*k. Is z >= -247?
True
Let w(u) = -5*u + 1125. Let o be w(0). Let j be 141/o + ((-112)/105)/8. Which is smaller: -2/3 or j?
-2/3
Let w = -3969 + 31827/8. Which is smaller: w or -7?
-7
Let u(i) = 504*i + 2510. Let c be u(-5). Suppose -2*p + 4 = 28. Which is smaller: c or p?
p
Let i = 14/3 + -143/30. Let v = -8 + 9. Let t = 1 - v. Is t not equal to i?
True
Let z = 115 + -138. Let a = 57 + z. Which is bigger: a or -2/3?
a
Let a = 15469/35 - 442. Suppose -19*f + 12*f + 28 = 0. Let q be (13/(-26))/(2/f). Which is smaller: a or q?
q
Let d = 19.3 - -2.7. Let w = 23 - d. Which is greater: w or -41?
w
Let o(d) = d**2 + 8*d - 86. Let g be o(-12). Which is smaller: g or -8?
g
Let z = 166 - 307. Let j = -147 - z. Let w = -2 + 1.9. Which is smaller: w or j?
j
Let i = -4.264 + -2.736. Is i < 241?
True
Let r(a) = -62*a**3 + 5*a**2 - 2*a + 1. Let o be r(2). Is o at most as big as -491?
False
Let l be ((-2)/5)/(2/(-2)). Let y = 135.45 + 0.55. Let f = 129 - y. Is f != l?
True
Let l = 217 + -143. Suppose -l*n - 48 = -66*n. Let b(g) = g**3 - 5*g**2 + 3*g - 3. Let i be b(4). Which is greater: n or i?
n
Let p be (3 - 1) + 0/(-2). Let j be 2*p/4*3. Let t be (3/(-16))/((-14)/(-105)*(-39)/(-104)*-1). Is j at most t?
True
Suppose -3*k + 8*k + 5*c = 15, 5*c - 3 = k. Let r = -2 + 7. Suppose -k*p - 3 = -r*p. Is 10 at most p?
False
Let o be (16/(-6))/(2 + (-1986)/990). Suppose o = 19*f + 3. Is f at most 0.3?
False
Let o be (1 - (-3)/(-2))*(20 + -28). Suppose -o*s - 7*s = -66. Let x be (-42)/(-46) - (-5 + s). Is x at most as big as 2?
True
Let r(x) be the second derivative of -x**5/20 - 11*x**4/6 + 4*x**3 + 23*x**2/2 + 24*x. Let y be r(-23). Let k be 20 + 1*y/1. Is 41/2 at least k?
True
Suppose 30 = -2*s + 2*f + 36, -16*s + f = -3. Is s > -3/7123?
True
Let r = 174 + -116. Let q = 47.4 - r. Let v = 16 + q. Which is smaller: 0 or v?
0
Let j be 74/(-24) - 8/(-77 - 19). Which is smaller: -790 or j?
-790
Let k = -27137 + 27137. Is k > 2/7367?
False
Let t(y) = -3*y - 21. Let n be t(-6). Let h be n + (0 - (-3 - -2)). Let b(j) = 11*j**3 - 4*j. Let f be b(h). Does f = -81?
False
Let f = 435 + -434. Let q be 0 - 4*(-412)/(-280). Let p = -37/7 - q. Which is smaller: p or f?
p
Let i be ((-518)/28)/((-70)/44) - 2/10. Is -29 less than i?
True
Suppose 4*k - 5*k = -2*k. Is 21/52 bigger than k?
True
Suppose a = 4*q + 48, -3*a = 4*q - 7*a + 48. Is 15 at least q?
True
Let i = 7.4 - 10. Let k = -1.8 + -0.6. Let b = i - k. Which is smaller: -2/13 or b?
b
Suppose -3*w - 18 = d, -5*d - 246 = 5*w - 216. Let c = 240 + -11747/49. Let l = -692/2793 + c. Which is smaller: d or l?
d
Let m(z) = -z**3 - 4*z**2 - 3*z - 15. Let b be m(-7). Let w = -146 + b. Do w and -1 have different values?
True
Let a(x) = 3*x + 48. Let s be a(9). Let m be (-1 - (-20)/4) + 4 + 65. Is s > m?
True
Let x(s) = s**2 + 5*s - 100. Let a be x(27). Does 762 = a?
False
Let z(t) = -t**3 - 4*t**2 - 10*t - 4. Let h be z(-4). Suppose u - h = -3*u. Let p = -18.3 + 17.3. Which is smaller: p or u?
p
Suppose -13 = -g - a - 11, -2*g + 3*a - 1 = 0. Let w be 2/5 + (-22)/5. Let o = w - -6. Is g <= o?
True
Let m = -1.07 - -31.07. Let x = -103 + m. Which is smaller: 0 or x?
x
Suppose -13*k = -1268 - 1657. Let z = k - 224. Suppose 11*p = 12*p - 2. Which is greater: p or z?
p
Suppose 6*w + 8 = -2*w. Let u = 864/13 - 4807/78. Is u less than w?
False
Let w = -12 - -15. Let v(s) = 2*s - 7 + w + 2. Let z be v(-2). Is z at least as big as -9?
True
Let a(m) = -m**2 - 5*m + 19. Let j be a(-8). Let p be (-2)/j*(-15)/(-10)*10. Suppose -p*v - 20 = -4*v. Is -21/2 <= v?
True
Suppose 0 = -10*i + 5*i + 190. Suppose -719 - 155 = -23*v. Is v greater than i?
False
Let v(p) = -11*p + 214. Let z = -162 - -175. Let o be v(z). Is 68 != o?
True
Let i(p) = 3*p**3 - 76*p**2 + 17*p - 16. Let g be i(25). Which is bigger: -221 or g?
g
Let i be 32/(-528) - 8198/858. Which is bigger: i or -9?
-9
Let t = -129 + 130. Let o = -46780/21 - -2230. Which is smaller: t or o?
t
Let m = -1350 + 1438. Which is smaller: 103 or m?
m
Let n = 1425 + -297. Let f be ((-3)/(-2))/(94/n). Which is smaller: 0.03 or f?
0.03
Let b be (-25)/(-5)*(-14)/5. Let u be 14 + b + 2/(-6). Let i = 4.06 + -0.06. Which is greater: i or u?
i
Let i(l) be the first derivative of -l**3/3 + 21*l**2/2 + 13*l + 24. Let t be i(18). Suppose t = 7*h - 6*h. Which is bigger: h or 66?
h
Let t = 92021843 - 89721288478/975. Let f = -1/325 - t. Which is smaller: -9 or f?
-9
Let r be (1/(-9))/((-2)/(-4)). Let g = 1.17028 + -0.07028. Is r > g?
False
Let q be (4/40*-4)/(3/15). Let g = -19978/30537 + -1/1053. Which is smaller: q or g?
q
Suppose -730 = 4*n - 3*y, 897 = 2*n - 7*n - 4*y. Let a = n + 180. Which is smaller: a or -4/11?
a
Let f be -1*-10*2/4. Suppose -5*k + 10 = f*v, -k + 3*v - 3 = 7. Suppose 0 = -101*s - 0 + 23 - 225. Which is smaller: k or s?
s
Let s = 242 + -241.28. Is s smaller than -1?
False
Let s = 3540 - 3539. Is 5/41 bigger than s?
False
Let y be (-80 + 83)/(7/4 - 1). Suppose y*c + d - 141 = 0, -11*c + 93 = -8*c + 5*d. Which is bigger: c or -3?
c
Let u be 123/(-5412)*(116/5 - 0). Let s = -1/25 - 19/275. Let x = s + u. Which is smaller: 0 or x?
x
Let r(w) = -2955*w - 60. Let n be r(1). Is n <= -3015?
True
Let n be (-5591293)/369 + 16/(-36). Which is smaller: n or -15152?
n
Let t be (-19 + 154)/(-15) + 8. Is -2/9503 >= t?
True
Let w be (1227/(-9))/((-35)/825). Let o = w - 3223. Do o and -8 have different values?
True
Suppose -3*w + 440 = -4*y, 3*w - 2*y - 580 = -w. Let d = w - 181. Suppose 2*o = 5*v - 89, -5*o + 3*v = -4*o + 46. Is o not equal to d?
False
Let p = -202 - -187. Let g be 3*(-7 + 5) - p. Which is smaller: g or 3?
3
Let i = -7368 + 7540. Which is smaller: 161 or i?
161
Suppose 0 = -4*h, 4*t - 145 = -t + 2*h. Suppose 219*i + 402*i - 14056 = 96*i + 23*i. Are t and i equal?
False
Let c be (((-4)/6)/(12/18))/(482055/126). Is c less than or equal to 1?
True
Let w = -11 - -8. Let p be (3654/(-27))/2*w. Is p bigger than 203?
False
Suppose -45 = -a - 39, -400 = -4*v - 4*a. Is v >= 1030/11?
True
Let j(g) = g**3 - 6*g**2 - 72*g - 5. Let x be j(12). Which is smaller: -216/35 or x?
-216/35
Le