et h(o) = o**2 + 7*o + 3. Let m be h(-7). Suppose -m*x + 83 = 8. Let k be (-16)/(-5) - 5/x. Are 4 and k nonequal?
True
Let x = 276 + -278. Is x at least as big as -190?
True
Let w(a) = -a**3 - 57*a**2 + 115*a - 61. Let u be w(-59). Is 115 less than u?
True
Let u = 7.08 - 269.08. Which is bigger: u or 1/2?
1/2
Suppose -5*l + 3*l + 2*z = -20, 2*l = -2*z + 12. Suppose 23 + 0 = -3*s + 4*x, 4*s + 3*x - 11 = 0. Let g = 7 - s. Is l at most as big as g?
True
Let j be (-43)/129 - 2/(-3). Is j at most 143/3?
True
Let f = 0.4 - 0.3. Let l = 52 - 78. Let a = 27 + l. Which is greater: a or f?
a
Suppose 8*t + 265 = -631. Which is greater: t or -115?
t
Let i(k) = k**3 - 7*k**2 + 4. Let y be i(7). Let b(g) = -g**3 + 6*g**2 - 8*g + 9. Let m be b(y). Let u be (-111)/m - (-1)/3. Which is bigger: -1 or u?
-1
Let s = -827/3276 - -2/819. Which is greater: 195 or s?
195
Let y(g) = 6*g + 3. Let l = 15 + -13. Suppose -l*d + 6*d - 3*f + 12 = 0, 0 = 4*d - 2*f + 12. Let i be y(d). Is -15 > i?
False
Let g(v) = -4*v. Let c be g(-9). Let z = -38 + c. Let p = -8630/9729 + -2/1081. Which is bigger: p or z?
p
Let f(d) = d**2 + 7*d + 11. Let z be f(-4). Is z > 11/6?
False
Suppose -2*x + 6*p = p - 187, -x = 3*p - 99. Let g = -8543/89 + x. Do g and 0 have different values?
True
Let g = -481 + 761. Is -1/4 at least as big as g?
False
Suppose 4*n - 4*i = 48 + 36, -n = 2*i - 12. Let h = n - 8. Is h bigger than 9?
True
Suppose 5 + 5 = -5*x. Let i be (4/(-16))/(264/576). Which is bigger: i or x?
i
Let n be (-10 - -10)*(2 + 6/(-2)). Is 9 >= n?
True
Suppose s = 3*s - 110. Let w = s + -56. Is 1/58 bigger than w?
True
Suppose 35*s - 627 = 24*s. Is s equal to 36?
False
Suppose 1302 = 5*r + 387. Is r smaller than 183?
False
Suppose 15*w - 6 - 99 = 0. Is 17 >= w?
True
Let i = 34 + -31. Suppose i*x + 0*x + 180 = 0. Which is greater: -61 or x?
x
Let q = 2.1 + -115.1. Are q and 4 non-equal?
True
Let p be (-525)/210*6/(-20). Which is smaller: p or 2/3?
2/3
Suppose 3*z + 12 = 0, -169 = -2*y + 4*z - 11. Let x = y + -74. Let g be 1/(-4) - (-22)/(-8). Is g bigger than x?
False
Let r be (-12)/(-54) - (2680/(-18))/(-4). Is -37 > r?
False
Let n = 24.004 - 24. Let t = n + 2.096. Which is smaller: 2 or t?
2
Suppose -2*p + 4 = -v + 3, 3*v - 41 = -5*p. Is 23 less than or equal to v?
False
Let w be (75/9)/(1/(-3)). Let d = -119 - -93. Is d <= w?
True
Let z be (4/(60/81))/(7/(-5)). Is 2 at most z?
False
Suppose 0 = 35*l - 34*l - 5. Suppose l*i + 35 = -25. Is -10 at least i?
True
Let g = 0.1184 + -4.1184. Is -0.15 <= g?
False
Let r = -167/4 + 42. Suppose -5 + 1 = 2*l. Are l and r equal?
False
Let q be ((-5)/(-3))/(5/18)*7/42. Let o(c) = -c**2 + 5*c + 5. Let d be o(6). Let u be (d + 19/21)*3. Which is greater: q or u?
q
Let r = -151 - -134. Let w(l) = 2*l - 4. Let a be w(-7). Which is bigger: a or r?
r
Let j = 7 - 4. Suppose -h - j*y = 15, -13 = 5*y + 12. Let l be 1/(26/(-10)*(-60)/(-36)). Which is smaller: l or h?
l
Let l be ((-429)/110 + 3)/((-6)/(-10)). Let i = 4.93 - -0.07. Is l greater than i?
False
Let y = 119 - 129. Is y at least -8?
False
Let h(z) = z**3 - 8*z**2 - 11. Let v be h(4). Is v >= -78?
True
Let u = 2343/4 - 583. Let o(v) = 20*v + 83. Let k be o(-4). Which is smaller: u or k?
u
Let o be (-3540)/(-9225) - (-4)/(-10). Which is greater: o or -1?
o
Let c be 7/((-70)/45)*(-2)/(-3). Let a(d) = -8*d**3 - d**2. Let l be a(-1). Let h = l - 11. Is h greater than or equal to c?
False
Let a = -3/409 - -5013/14315. Is 2 at least a?
True
Let t be (-175)/10*2*28/(-35). Suppose 28 = v - 1. Is t not equal to v?
True
Let r = -6 - -5.7. Let h(o) be the first derivative of 2*o**3/3 - o - 18. Let n be h(1). Are n and r equal?
False
Let m = -103/2 - -52. Is m bigger than -32?
True
Let a = -14.31 - -1.31. Is a less than or equal to 3/8?
True
Suppose 2*d = 4*k + 2, k + 2*d - 2 = -4*k. Let t(h) = -h**3 + 5*h**2. Let r be t(5). Suppose r = 3*n - k*n. Are 2 and n unequal?
True
Let c = 2 + -1. Let d be 3/7 + (-3)/(-21)*11. Which is greater: d or c?
d
Let u = 192 + -6716/35. Do u and 0 have the same value?
False
Let f = -276 + 283. Is f greater than -3/7?
True
Let a = 24 - 13. Let m be (2/(-20))/(585/(-60) - -10). Is a <= m?
False
Let x be (40/36*-3)/((-4)/138). Is 110 less than x?
True
Let d be (2*1)/(34/51). Let u be d - (-1)/((-12)/32). Let o = 1.8 + -2. Which is smaller: o or u?
o
Let f(p) = p**3 - 6*p**2 - 5. Let o be f(6). Let w(s) = s**2 + 3*s - 7. Let m be w(o). Let x be (m/(-2))/((-5)/20). Is 6 at most as big as x?
True
Let c = -330/101 - -11980/2121. Is c at least as big as 1?
True
Let h = -48 - -53. Let p(d) = -d**3 + 4*d**2 + 6*d. Let x be p(h). Which is greater: -4 or x?
x
Let o = 32 - 62. Suppose -g - 4*k - 10 = 0, -67*k + 130 = -5*g - 71*k. Is g <= o?
True
Let h be 22/(-26) + 1 - 1395/195. Let q(k) = 0*k**2 + 7*k + 0 - 1 + k**2. Let p be q(h). Is 2/95 > p?
True
Suppose -53 = 5*c + 17. Let j = 7 + -4. Let v be ((-1)/(-3))/(c/j). Is 1 smaller than v?
False
Suppose 3*q + 3*z - 27 = 8*q, q - z + 7 = 0. Let c(o) = o**2 - 7. Let f be c(q). Does 2 = f?
True
Let m = -0.3 - 15.7. Let r = 6.38 - -10.62. Let l = r + m. Which is smaller: l or 11?
l
Let l = -22.1 - -21.8. Are -29 and l nonequal?
True
Suppose -799 = 3*d + 44*j - 46*j, 3*d = 3*j - 804. Do d and -1 have different values?
True
Let j = -34.45 + 34. Let n = -4.55 + j. Let t = -0.1 - -0.2. Which is smaller: t or n?
n
Let p = -0.1503 - 0.0397. Is 0 at least as big as p?
True
Let o = -58 - -108. Suppose 21*x + 400 = 1471. Is x greater than or equal to o?
True
Let x(k) = -k**2 + 11*k + 53. Let b be x(9). Are 72 and b non-equal?
True
Let g(u) = 7*u - 185. Let s be g(30). Which is greater: 24 or s?
s
Let o be 77/(-110)*(-20)/56. Is o not equal to 79?
True
Let q(y) = -y**3 + 9*y**2 + 40*y. Let g be q(12). Which is greater: g or -2/7?
g
Let x be 9/354*(6 + (-58)/9). Is 0 <= x?
False
Let o be ((-2)/(1 + -2))/(-2). Suppose 2*s - 6 = 5*s. Let k(a) = a**2 + 2*a + 1. Let m be k(s). Is o bigger than m?
False
Let r = -5.13 - -5.1. Is -13 smaller than r?
True
Let l(n) = 7*n - 51. Let p be l(8). Suppose p*a = 2*a - 18. Let k be (2 - 1) + (-1)/1. Is k bigger than a?
True
Suppose -5*s + 3*s = 4*m - 574, -3*m + 431 = s. Let n be (m/196)/((-10)/(-35)). Is 4 bigger than n?
True
Let n = -14 - -8. Let t = -5 - -1. Does n = t?
False
Suppose -5*z = b - 41, z - 4*b + 29 = 6*z. Suppose 5*h - z = -14. Which is bigger: h or 0?
0
Let t(f) = f**3 - 4*f**2 - 11*f - 4. Let u be t(6). Let x be u/(2 + 2 - -202). Which is smaller: x or 0?
0
Let j(c) = c**3 + 14*c**2 + 13*c - 22. Let d be j(-11). Which is smaller: 197 or d?
197
Suppose h + 6 = -l + 2, 5*l + 20 = h. Let b = 14/29 + -351/667. Which is bigger: h or b?
h
Let b be 4/(-2) - -1 - (-6310)/35. Let c = -179 + b. Which is bigger: c or 0.05?
c
Let f = 1872/11 + -170. Let b = 355.9 + -335. Let h = -21 + b. Do h and f have the same value?
False
Suppose -10*k = 2*k + 252. Let z = 17 + k. Is -5 bigger than z?
False
Suppose -12*v - 558 = -3*v. Let h = 215/3 + v. Is h > 10?
False
Let s(d) = -77*d - 54. Let m be s(-2). Which is greater: 1/3 or m?
m
Suppose 0 = -n + 9 + 15. Suppose 0*z + n = -2*z. Let k be 3/(-12) - 7/z. Which is smaller: 5 or k?
k
Let y(p) = -p**3 + 30*p**2 + 4*p - 126. Let q be y(30). Is q greater than 3/16?
False
Let o(d) = 7*d - 13. Let b be o(10). Let l(j) = 9*j**2 + 95*j + 13. Let m be l(-11). Are b and m non-equal?
False
Let o(w) = -w**2 - 7*w + 119. Let x be o(8). Which is smaller: 1/516 or x?
x
Let u = -8162 - -24212/3. Let a = 92 + u. Is a not equal to -20?
True
Suppose -2077 = -97*d - 5763. Let l(q) = 8*q - 2. Let c be l(-3). Let k = c - d. Which is smaller: k or 11?
11
Let f = 8.1 + -8.2. Is 22 greater than f?
True
Let l = 5302 - 227974/43. Let h = -170/301 + l. Is 12 less than h?
False
Let t(r) = r**3 - 10*r**2 - 28*r + 47. Let a be t(12). Which is greater: -346 or a?
a
Suppose 3*v = 2*u + 26, 10 = 3*v - 4*u - 6. Suppose 156 = v*r - 12. Which is bigger: 13 or r?
r
Let m be 672/18*(-3)/2. Let k = m - -57. Does 1/42 = k?
False
Suppose 0 = -7*n + 6*n. Suppose -i - i + 50 = n. Let u = -21 + i. Is u less than or equal to 3?
False
Let p = 9042/5 - 1817. Let k = -9 - p. Do k and 39 have the same value?
False
Let b(y) = -2*y**2 - 2*y + 2. Let i be b(-2). Let f be (-1 - i)*(5 - 4). Let v be -4*(2 + 27/(-12)). Is f greater 