-a**3 + 4*a**2 + 5*a - 1. Let h be k(g). Which is greater: h or 5/14?
5/14
Let k = -2238 + 2249. Is k bigger than -69?
True
Suppose -7*p + 130 = -20*p. Let g = 15 + -24. Which is smaller: p or g?
p
Let y be (-4)/(-2) - 2/(-2). Suppose 4*j - y*o - 42 = 0, -5*o = -4*j - 0*o + 38. Let m be 138/12 + 1/2. Is m smaller than j?
False
Let p = -17838/37 - -482. Is p > 1?
False
Let t = 5 - 2. Let k be ((-60)/(-35))/((-15)/(-70)). Suppose 5*p = -5*i + 2 + k, -2*i + p = -10. Which is smaller: i or t?
t
Suppose -9*j = 1191 + 123. Let a = j - -174. Which is smaller: a or 27?
27
Let m = -2/71 - 55/568. Let w(n) = n + 49. Let i(l) = -l. Let c(j) = -4*i(j) - w(j). Let y be c(16). Are m and y non-equal?
True
Let f = 198 + -162. Suppose -2*k = -1 - 73. Which is smaller: k or f?
f
Let s = -121 + 123. Let a(g) = 3*g**3 - 2*g**2 - 2*g - 1. Let l be a(-1). Let j be (-8)/16*s/l. Is 3 < j?
False
Suppose 4*d + 0*d = 3*i - 404, 3*d + 303 = -i. Let m = d - -96. Let t(r) = -r**2 + 3*r + 4. Let a be t(4). Is m > a?
False
Suppose -17 = -8*z + 7. Let g(p) = 2*p**3 - 6*p**2 + 3*p. Let t be g(z). Is t <= 9?
True
Let i = -0.41 - -0.01. Let l = -0.4 - i. Which is greater: -4 or l?
l
Let a be (-12*(-2)/(-3))/((-3)/(-99)). Let o be (42/a)/(3/(36/3)). Is o at least as big as 0?
False
Let i be (0 - 1)/((-741)/(-114)). Are i and 15 nonequal?
True
Let q = -0.96 + -0.04. Let c = q + 19. Which is smaller: c or 0?
0
Suppose -2 = -5*t + 3*t. Let k be 4/(136/277) - 8. Is t >= k?
True
Let l(o) = o**3 - 4*o**2 + 4*o - 6. Let k be l(4). Suppose k = -3*f + 8*f. Let w = 741 - 740. Is w at least as big as f?
False
Let h = 3 - 6. Let m = 198 + -202. Which is greater: h or m?
h
Let d(c) = -37*c**2 - 3*c - 3. Let j be d(-1). Which is smaller: -1/2 or j?
j
Suppose 3*q = -3*r, 5*q + 14*r = 17*r. Is -1/481 greater than q?
False
Let v(n) = -2*n + 4. Let q be v(-6). Let t = -5472 - -5493. Which is greater: t or q?
t
Suppose -5*q + 7 - 2 = 0. Let b = -9 + 16. Suppose 0 = 4*o - 1 - b. Which is greater: q or o?
o
Let u = -11 + -4. Which is greater: u or -2?
-2
Suppose -u - 345 = -95. Which is smaller: -1/3 or u?
u
Suppose 6*i = -138 + 546. Is 67 < i?
True
Let m(x) = -x**2 - 5*x - 5. Let w be m(-2). Let b be 3 - (0 - (2 + -3))/w. Let p be -2*(9/(-8) + 1). Which is bigger: b or p?
b
Suppose 0 = l + 2*d - 1 - 8, -3*d = 4*l - 31. Let a(c) = -c**2 + 10*c - 15. Let f be a(l). Let i(b) = 7*b**2 - b. Let j be i(-1). Which is greater: f or j?
j
Let g be (-1)/((-6)/(-3312)*6). Is -93 bigger than g?
False
Let k(u) = u + 25. Let v be k(-6). Suppose -z - f + v = -4*f, -5*f = 5. Do 16 and z have different values?
False
Let z(q) = 6*q**2 - 3*q - 5. Let o be z(-2). Let x be 24/10*o/10. Does 7 = x?
False
Let s(q) = q**2 - 7*q. Let m be s(4). Let d be 1947/1290 + m/8. Which is greater: 0 or d?
d
Let s = 6/7 - 76/105. Let t be (0 + 1)/(-2)*2. Which is greater: s or t?
s
Let z be (518/(-637))/(420/(-361)). Let q = z - -2/1911. Is 0 less than q?
True
Let p be 31/35 - (-2)/(-7). Let g = 13/30 - p. Suppose -3*c - 2*s = -9, -c - 3*c + s = -1. Which is smaller: g or c?
g
Let q = 0.2 - 0.1. Let k = 1981 + -1939. Is k <= q?
False
Let a be 4/12*3687 - 5. Which is smaller: 1223 or a?
1223
Let n = 1826 - 1060. Is 765 at most n?
True
Suppose 8*w + 3 = -5. Which is bigger: w or 10/141?
10/141
Let r be (-156)/130*(-5)/(-1). Let m be (24 - 0) + 18/r. Is 0.1 bigger than m?
False
Let d = 179/30 - 20/3. Let f be 0/(2/(3 - 5)). Are d and f unequal?
True
Suppose 2*w - 204 = -10*w. Which is smaller: w or -3?
-3
Let j = -23168/111 + 626/3. Is j at most as big as 0.3?
True
Let a = 688.3 - 661. Let b = a + -26. Let s = 1.4 - b. Which is smaller: -3 or s?
-3
Let a be (-2 - 9/(-5))/((-26)/130). Which is greater: -8/21 or a?
a
Let h = -0.0194 + -3.9806. Which is greater: -0.099 or h?
-0.099
Let z be (-5)/((-1)/(-12)*-10). Let a = z + -5. Let f be ((-4)/50)/(8/(-5)). Is f greater than a?
False
Let f = -170 - -392. Let t be f/132 - 9/6. Let q be 6/(-20)*(-4)/6. Is q > t?
True
Let k = -48.7087 + -0.0913. Is k equal to 1?
False
Let l = -28.5 - -28.4. Which is smaller: l or -80?
-80
Let j = 2396 + -2730. Which is smaller: -335 or j?
-335
Let q = 0.3 - 0.3. Let s be -1*((-1246)/(-8) + 3). Let w = s + 158. Which is bigger: w or q?
q
Let g = 1525 + -1532. Which is greater: g or 15?
15
Let j = 2 + 0. Let r = j - 1.9. Let p = -1403/2926 - -81/418. Are p and r non-equal?
True
Let u(x) = x**2 - 2*x + 1. Let t be u(4). Let h = t - -1. Suppose h = 5*q - 3*g + 4*g, 5*q = g + 10. Which is bigger: -0.1 or q?
q
Suppose 180 = -y + 7*y. Let i be (8/10)/((-12)/y). Which is smaller: i or -6?
-6
Let l(f) be the first derivative of -f**3/3 + 5*f**2/2 + 14*f - 9. Let d be l(6). Let c = d + -23. Which is greater: c or -14?
-14
Let j be 8/6*(-2)/(-8). Let f = -6 + 16. Let q be 3/(-2) - f/(-4). Is q at most j?
False
Suppose j + 6 = 4*j. Suppose -j*m = m + 12. Let z(k) = k**3 + 3*k**2 - 3*k + 3. Let y be z(m). Is -1/4 > y?
True
Let k = 1 + -0.88. Let l = k - -1.88. Let z = -8 - -7. Are z and l nonequal?
True
Let w = -162 - -163. Which is smaller: w or 2/277?
2/277
Let v = -183/2 + 91. Suppose 4 = -11*x + 7*x. Which is smaller: x or v?
x
Let w(g) = -2*g - 8. Suppose 0 = 5*t - 3*t + 8. Let j be w(t). Suppose 0 = -j*v + 4*v. Is v less than or equal to 4?
True
Let u(a) = 2*a**3 + 4*a**2 + 2*a - 1. Let n be u(-2). Let g be 3/(n/((-15)/21)). Let y = 11 - 10.8. Is y equal to g?
False
Let b = 1483 - 4462/3. Suppose 0 = 3*s + 14 - 2. Is s at least as big as b?
True
Suppose 2*n - 13 = -7. Suppose 0 = t - 2*q - n, 0*t - 6 = -2*t + 5*q. Suppose -3*i - 23 = c, t*i + 34 = -3*c + i. Is c at least -8?
True
Let r be 10/(-6)*(-12)/(-36). Let m(j) = j**2 + 3*j. Let s be m(0). Which is greater: r or s?
s
Suppose 2*c - 2 = -b + 3*b, 4*b + 4 = c. Which is smaller: 3/77 or b?
b
Let q be -1 + -3 - 540/(-171). Is -2 != q?
True
Let h = -2397499538610 + 1651877878007632/689. Let n = h + -1010022. Let z = n - 6/53. Is -1 greater than z?
False
Let l = -92942/157 - -592. Is 1 less than or equal to l?
False
Let d(g) = -3*g + 3. Let j be d(-7). Let f(y) = 3*y**2 - 4. Let u be f(3). Which is smaller: j or u?
u
Let w = 0.5 - 0.7. Let i = w + 0.3. Let c = 95.3 - 104.3. Do c and i have the same value?
False
Let p(a) = 59*a**2 - 36*a + 7. Let f be p(-4). Are f and 1095 nonequal?
False
Suppose 0 = 4*p - 2*a - 14, 0*p = 2*p - 5*a - 11. Suppose 0 = y - 3*g + 2, 5*y + 20*g = 18*g + 7. Are y and p nonequal?
True
Let y(o) = 3*o**2 - 10*o + 16. Let a be y(-7). Is a not equal to 233?
False
Suppose 21*f - 16*f + 5 = 0. Let i = -53/240 + 1/5. Which is smaller: f or i?
f
Suppose 2*y + 252 = 5*y. Suppose 10*c - 4*c - y = 0. Which is smaller: c or 16?
c
Suppose 0 = -x - 3*p + 6 + 6, 0 = 2*x + 3*p - 15. Suppose 3*a + 2*a - 115 = -x*n, -2*n = 3*a - 69. Is a > 23?
False
Suppose 27*w - 24*w - 81 = 0. Is w equal to 51/2?
False
Let j = -14.0722 - -0.0222. Let z = j + 15. Let h = -1 + z. Which is smaller: h or -1/4?
-1/4
Let z = 1/620 + -311/620. Which is smaller: -84.8 or z?
-84.8
Suppose 2*y + 113 + 159 = 0. Let w be (-6)/33 - y/22. Which is smaller: w or 7?
w
Suppose l + 143 = 2*b, -4*b + 2*l + 2*l = -280. Which is smaller: 76 or b?
b
Let v(l) = l - 19. Let f be v(-13). Let d(o) = -32*o**2 + 2*o + 2. Let t be d(-1). Is f smaller than t?
False
Suppose -86 - 94 = -2*x. Which is smaller: x or 86?
86
Suppose p + 2 - 6 = 0. Suppose -g = 4*z - 2*z, -z = -g. Suppose -2*r + z = -4. Which is bigger: r or p?
p
Suppose 0 = -0*l - l - 26. Let x be (-56)/l + 4/(-26). Let i = 10 + -6. Which is smaller: x or i?
x
Let s be (-3 + 1)*(-66)/(-273). Let m = 10/13 + s. Is m at most as big as -2?
False
Let w(t) = -t**3 + 2*t + 2. Let n be w(-2). Let s(v) = -2*v**2 + 10*v + 16. Let f be s(7). Let a be ((-27)/f)/(n/(-16)). Is a > -6?
False
Let j be ((-741)/(-26))/(-1 + (-30)/(-28)). Is j less than or equal to 399?
True
Let c = -309 + 167. Which is smaller: c or -425/3?
c
Let n = 1 + -1. Let w = -445097/15 - -29622. Let b = w + 51. Is n bigger than b?
True
Let j = 15.1 - 13.68. Let r = j + -31.42. Is r >= -2?
False
Let a = 275 + -276. Is a < -1/3?
True
Let d be ((-81)/(-93420))/((-27)/24). Is -1 at most as big as d?
True
Let b(o) = 2*o**3 - 18*o**2 + 2. Let q be b(9). Let c be ((-67)/q)/((-2)/(-4)). Does -67 = c?
True
Let p = -23/11 - -126/55. Do -22 a