e s(5). Is h bigger than p?
False
Let r be 38/5 + -2 + -11 + 6. Which is bigger: r or 181?
181
Let f(r) = r - 1. Let p be f(2). Suppose -690 = -3*a - 2*a. Let x = a - 1797/13. Is x greater than p?
False
Let c = -173 + 186. Suppose -6*j = -5*j - 13. Is c smaller than j?
False
Let s be 677/(-282) + 1 + 16/96. Which is smaller: -1 or s?
s
Let c(x) = -x**3 - 9*x**2 - 9*x - 8. Let z be c(-8). Is -2/1027 less than z?
True
Suppose 0 = -3*o + 3*v + 18, -7 = 4*v + 1. Let h be 1/(-3 + 7/2). Suppose 3*r = 5*p + 34, -h*r + 4*p - 2*p = -16. Which is greater: o or r?
o
Let a be -96 + -2 + 110/10. Are a and -0.3 non-equal?
True
Suppose 0 = 5*l - 2*n - 2, 3*n + n - 20 = -2*l. Let w(y) = -y + 8. Let t be 6/1 - 2/(-2). Let k be w(t). Which is greater: k or l?
l
Suppose -6 + 36 = -5*m. Let h = m - -17. Which is bigger: 12 or h?
12
Let j(c) = -c**3 + 9*c**2 - c + 10. Let v(p) = p**2 - 4*p + 7. Let x be v(3). Let w be (-6)/(-1) - (1 - x). Let a be j(w). Do 1 and a have different values?
False
Suppose 0 = 24*c - 20*c + 4. Do 2/31 and c have different values?
True
Let u = -822 - -296. Are -526 and u equal?
True
Let z be (3 + (-621)/(-6))/(6/(-8)). Let k = z - -2269/16. Which is greater: 1 or k?
1
Let q = -22 + 18. Let s = q + 4. Which is smaller: s or -1/62?
-1/62
Suppose -4*h - 8 = h - 2*w, 4 = -h + w. Suppose 4*i - 3*i - 6 = -5*j, i - 1 = h. Let k = 200 - 2401/12. Which is smaller: k or j?
k
Let p be 174/145*25/3. Suppose -k - 21 = a, -45 = 3*a - k + p. Do a and -21 have the same value?
False
Let n be 1/22*(-5 + 20). Is n bigger than 1?
False
Let f be (-272)/(-46) + 104/1196. Which is greater: f or 2?
f
Let v be 4/(-14) + (-57)/168. Suppose 2*x + 4 + 0 = 0. Which is bigger: x or v?
v
Let m = 11 + -10. Let r = 8/39 - 1/6. Is r at most as big as m?
True
Let z be -1 - (-34 - 0) - 2. Let k be (-779)/(-19) + -1 + -9. Is z greater than k?
False
Let h = -639 + 682.7. Let n = -42 + h. Let m = -0.7 + n. Is m equal to -8?
False
Let q(u) = u**3 - 3*u**2 + u - 7. Let f be q(3). Let j be 30/(-20)*f/(-6). Is j > 2/35?
False
Suppose 201 + 531 = 3*y. Do 241 and y have the same value?
False
Let g = -18/19 + 91/76. Which is smaller: g or -296?
-296
Let y = 7.58 + -7.5. Let z = 0.58 - y. Which is smaller: 11 or z?
z
Let k = 609 + -649. Is k greater than or equal to -0.3?
False
Suppose 30 = 5*c + 20. Is -0.118 smaller than c?
True
Let t be (6 - 2 - 5)*1. Is 12/163 at most t?
False
Let g = -8.799 - 0.201. Which is smaller: -7 or g?
g
Suppose d = -y + 5*y + 8, -4*d = 3*y + 6. Suppose 5*u - 49 + 204 = d. Let z be ((-1)/3)/((-1)/(-93)). Is u >= z?
True
Let z(f) = f**3 + 2*f**2 - f - 2. Let h be z(-3). Let l be (-1)/4 - (-30)/h. Let w = -1507 - -1507.2. Which is greater: w or l?
w
Let g be (-201)/(-9) - 8/(-12). Suppose -5*j + 90 = b, -5*b + 42 + 28 = 5*j. Do j and g have different values?
True
Let h be 54/24 + (-2)/8. Suppose 3*n + 2*o = 4*o + 12, 8 = n - h*o. Which is smaller: n or 4/7?
4/7
Let x(y) = 3*y - 14. Let z be x(9). Suppose -4 = 2*l + 4*f + 14, 2*f + z = -5*l. Let u = -482 + 5297/11. Is u at least as big as l?
True
Suppose -b + 4*g = -4*b - 14, -4*b - 3*g - 14 = 0. Is -16 less than or equal to b?
True
Suppose 0 = 8*o + 13 - 45. Which is smaller: 10 or o?
o
Let q = -7 + 7.2. Let t = -24.5 - -8.5. Which is smaller: q or t?
t
Suppose 5*c = 4*c. Let s be c/(-4 + (2 - -1)). Suppose -1 = -d - 4, s = 5*z + d + 8. Is -21 at most as big as z?
True
Let k be ((-1)/3)/(2/(-6)). Let h = 16 - 3. Are k and h equal?
False
Let s = 9 + -49. Let x = 40 + s. Which is greater: -34 or x?
x
Let m = 344/5 - 93902/1365. Is -1 not equal to m?
True
Suppose 1 = -n - 1, n = -b. Suppose 13*y - 10*y - 2*a = 7, -5*y + 5 = -5*a. Suppose 4*x - y*x = -b. Is 0 at most as big as x?
True
Let b be 78/4*(-44)/154. Does -7 = b?
False
Let b = 87 - 93. Let y = 63 - 187/3. Are y and b nonequal?
True
Let g(d) be the third derivative of d**4/6 + 5*d**3/3 + 13*d**2 + 2. Let u be g(-8). Is u at most as big as -22?
True
Let l(q) = q**3 - 8*q**2 + 10*q + 3. Let i be l(6). Which is greater: 0.064 or i?
0.064
Suppose 0 = -0*n + 3*n - 2*c - 157, 3*n - 143 = -5*c. Let r = -80 + n. Is r > -30?
True
Suppose -2*r = 7*r + 45. Suppose k + 8 = -3*n - 6, -n + 2*k + 7 = 0. Are r and n unequal?
True
Suppose -19*l + 7*l = 15*l + l. Let g be (-5)/6*1/(-65). Which is greater: g or l?
g
Suppose 3 = 3*g + i, 3*g - 4*i - 6 = -3. Which is smaller: g or 1/626?
1/626
Let b = 132 - 25. Which is smaller: b or 109?
b
Let l(t) = 377*t**2 + 91*t + 92. Let s be l(-1). Is s less than or equal to 753/2?
False
Let t = -1 + 0. Let z = -2857/11 + 259. Is t not equal to z?
True
Let s = 2/213 + -1399/171678. Is s smaller than 1?
True
Suppose -37*p + 18*p = -22*p. Let c = -362/7 - -52. Which is smaller: p or c?
p
Let v(x) = 6*x - 3. Let d be v(3). Suppose -4*o - 5*u + d = 0, 0*u - 11 = -3*o - 4*u. Let z be 400/20*2/8. Is z < o?
False
Let o = 0.0463 - 3.1563. Let b = -27.11 + 27. Let q = b - o. Is 1 <= q?
True
Let m be 9 + (-7 - -2) + (-5710)/1425. Which is bigger: m or -1?
m
Let g be (-3 - -10) + -5 - -27. Let b = 15 - 42. Let m = g + b. Which is greater: 5 or m?
5
Suppose 0 = 3*v - 4*n - 43, -3*n + 114 = -5*v + 193. Which is smaller: 175/11 or v?
175/11
Let q(w) = 3*w - 9. Let j be q(21). Let o = 19 - j. Which is bigger: -36 or o?
o
Suppose -5*x + 0*x - 15 = 0. Let g(r) = 4*r**2 - 12*r - 6. Let m(c) = 3*c**2 - 8*c - 4. Let h(o) = 5*g(o) - 7*m(o). Let u be h(x). Which is smaller: u or -1/10?
-1/10
Let f = 271391/23 - 11803. Which is smaller: -2 or f?
f
Suppose -5*f + 2 = 2*j, -j + 4*f + f + 1 = 0. Let g(d) = -6*d**3 + 2*d**2 + 2*d + 1. Let k be g(-1). Let v = -9 + k. Which is smaller: v or j?
v
Let y(x) = -x**2 + 13*x. Let u be y(13). Suppose -8*s - 48 + u = 0. Let r(v) = v**2 + 3*v - 6. Let f be r(s). Are f and 12 equal?
True
Let a be (-2)/(-5)*-20 + 10. Which is greater: 22 or a?
22
Suppose 5*s + 4*g + 1270 = 0, -g + 594 = -4*s - 422. Is s < -254?
False
Let a be (-9)/12 + (-7)/(-4). Let f be (1 - 46)/(8/56). Let w be (-12)/(-20) + 219/f. Which is smaller: w or a?
w
Suppose o - 1 + 11 = 0. Let m = 0 - o. Let s be 4/20 - 12/m. Which is smaller: s or 0?
s
Let x = 80.09 + -77. Which is smaller: x or 1?
1
Let n = 9 + -16. Let v = -0.03 + 6.93. Let h = v + n. Which is smaller: h or -6/7?
-6/7
Let u = 3 + -2. Let y(c) = c**3 + 10*c**2 - 7*c - 68. Let w be y(-10). Let d be (12/w + u)/(-3). Is -2 at least d?
True
Let o be 300/250 + (1 - 12/10). Which is smaller: o or -1/6?
-1/6
Let m be (-57596)/6384 + 1/(-12) - -9. Suppose -z - 7 = -2*b, -2*z = 6*b - 5*b - 6. Is z at most m?
False
Suppose 7*l = -37 + 37. Is -4/41 <= l?
True
Suppose -5*k - 216 = -k - 3*p, 0 = -3*k - 5*p - 191. Let c = -63 - k. Which is smaller: -3 or c?
c
Let i(d) = -d**2 + 6*d - 1. Let q be i(6). Suppose 33*l - 8 = -41. Is l equal to q?
True
Let o(s) = 4*s**2 + 6*s + 2*s - 3*s**2. Suppose 3*c = -c - 8, -18 = 2*h + c. Let k be o(h). Which is smaller: -1 or k?
-1
Let a = 73 - 73. Let w = -0.3 + a. Is -0.3 >= w?
True
Let p(v) = -6*v - 32. Let u be p(-6). Suppose 4 = 3*o - 5. Suppose -o*i + u*t = 5, 2*t - t - 8 = 3*i. Which is smaller: -5 or i?
-5
Suppose 0 = f - 2*f + 51. Suppose 5*p - f = 4*n, 3*n + 2*p + 39 = 6*p. Which is greater: -6 or n?
-6
Let c be (35/(-70))/(14/(-212)). Let s = c - 321/35. Let m be 1 + 0 + (0 - 4). Which is smaller: s or m?
m
Let p be (-5)/(-7)*(5 + 133/(-35)). Let b be (-1)/(-2)*(1 + -1). Which is smaller: p or b?
b
Let v = -1500 + 1287. Does v = -0.1?
False
Suppose 3*k - 5*n = -38, -12*k + 11*k = -5*n + 26. Which is smaller: -16 or k?
-16
Let x(s) = -71*s + 423. Let u be x(6). Which is greater: u or -9?
u
Suppose -37*x = -18*x - 133. Does 3 = x?
False
Let p(g) = -g + 13. Let l be p(0). Let z = 13 - l. Suppose z = -4*b + b. Is 2/13 > b?
True
Let u be (219 - 0)/(-9 + 8). Which is greater: -220 or u?
u
Let p be 1*28/8 + (-2)/(-4). Let g = 4 + 1. Suppose 3*q - 32 = -g*k, -7*k = 4*q - 2*k - 36. Is p greater than q?
False
Let x = 23 - 14. Suppose 0 = -u - x - 8. Is u smaller than -17?
False
Suppose 5*u = -2*b + 230, -11*u + 537 = 5*b - 8*u. Suppose 0 = 2*f + b - 51. Is f bigger than -27?
False
Let z(g) = 2*g**3 + 15*g**2 + 38*g + 22. Let c be z(-5). Is -64 != c?
True
Suppose 4*r - 6 = -2. Suppose -3 = q + r. Suppose -2*b - 4*h = -2, b + 0*b = 5*h - 20. Is b less than q?
True
Le