12 - 7*h**3/6 + h**2/2 - 3*h. Let s be g(7). Which is greater: 0 or s?
s
Let q = 0.35 - 0.15. Let a = q + 0.8. Is a greater than -1?
True
Let t = 1137 + -1039. Which is greater: t or 100?
100
Let p be (76/(-8) - 8)*2. Which is smaller: p or -246/7?
-246/7
Let y = -1/218 - -1101/2398. Suppose 0 = -9*c + 13*c + 4. Let g be 2 + 2 + -2 + c. Is g at least y?
True
Let g = 766/7 - 4033/35. Suppose -2*i + j = 2*i - 46, 3*j = 2*i - 28. Suppose -4*y - i - 9 = 0, -2*h + 2*y = 0. Do g and h have the same value?
False
Let j be (-623)/(-49) - 14/(-49). Is 7 at most j?
True
Let f be (0 + 1972/(-652) - -3)/(-2). Is f greater than 0?
True
Suppose 3*d + 308 = -4*d. Let o be -4 - 21*8/d. Let k(a) = -a**2 - 3*a + 1. Let c be k(-3). Does o = c?
False
Let r be (-2 + (-34)/(-18))/(28/56). Suppose 0 = p + 3*c - 4, -5*p - c = -3*c - 3. Which is greater: r or p?
p
Let p(a) = 4*a - 24. Let m be p(7). Suppose -3*b = 4*c + 15, 5*c - m*b = -5 + 25. Which is greater: c or -1/107?
c
Let j = 250/351 - 19/26. Suppose 0 = -5*b + g + 5, -2*b - 4*g = 29 - 31. Which is bigger: j or b?
b
Let z = 380 - 370. Which is bigger: z or 8?
z
Let x be (-7)/(42/6)*2. Suppose 5*f = 3*y - 34, -5*y = -f + 3*f - 36. Is x > y?
False
Let o = -0.6 + -2. Let h = 2.6 + o. Let i = 0 + 4. Do i and h have different values?
True
Let f = -2 + 3. Suppose -6*l = -l + 105. Let c be l/(-35) + (-16)/30. Which is smaller: c or f?
c
Let v = -234.8 + 168. Is v greater than 1?
False
Let i be 2 - (16/40 + 83/30). Let o = -9 + 13. Suppose o*b = 1 - 5. Which is smaller: i or b?
i
Suppose 0 = 3*t + 9, 2*m = t + 4 + 5. Suppose 5*u - 8 = -m*z + 24, -4*z + 4*u = 0. Which is smaller: -0.06 or z?
-0.06
Suppose -4*b + 0*y - 3*y = 0, 2*y = 5*b - 23. Is b at most as big as -12?
False
Let k = 1314 - 1314. Which is greater: k or -2.66?
k
Let a(z) = -5*z + 30. Let o be a(9). Let x be (-6)/o + (-29)/110. Is x > 1?
False
Let z = 327 - 345. Which is bigger: z or -16?
-16
Let b = 16 + -22. Let x = -118 + 338/3. Which is greater: x or b?
x
Let d(p) = -32*p + 46 + 79*p - 37*p. Let c be d(-6). Let a = 11 - 31/3. Is c >= a?
False
Let u(l) = l**3 + 10*l**2 + 15*l - 3. Let s be u(-8). Suppose 75 = -s*i + 30. Is -10 smaller than i?
True
Let f = -38955691990/4209 + 9255332. Let x = f + -2/69. Is x bigger than 0?
True
Let k be (-1)/4 + ((-29)/(-4) - -2). Let z = 29 + -19. Is k greater than or equal to z?
False
Let d be (-238)/(-4) + (15/6)/5. Let s be d/(-455) - (-8)/(-52). Let i(f) = -f**3 + 4*f**2 + f - 5. Let w be i(4). Which is smaller: w or s?
w
Let t(i) = i**3 + 13*i**2 - 32*i - 30. Let j be t(-15). Which is bigger: 4/375 or j?
4/375
Let a be (-128)/(-13) - 5/(455/(-14)). Is 14 bigger than a?
True
Suppose 1083 = 6*q + 45. Which is smaller: 174 or q?
q
Let f be -1*(1 - 2)*0. Suppose 0 = -2*o + 5*i, -5*o + 2 - 64 = 3*i. Let n(m) = m**2 + 10*m - 1. Let a be n(o). Are a and f equal?
False
Suppose 3*l + 131 + 6 = 4*a, 5*a - l - 185 = 0. Let y = a + -39. Are y and -14/13 non-equal?
True
Let l = -52 + 50. Suppose -2*k + 22 = -4*k. Let a = k + 10. Which is greater: l or a?
a
Let b be (6/(-4) - 0)*(-1180)/24. Let l = b + -74. Let i(k) = k**3 + 5*k**2 + 3*k - 4. Let s be i(-4). Which is greater: l or s?
s
Let g = -365 + 406. Which is bigger: g or 12?
g
Suppose 0*b - 2*h - 1 = b, 2*b + 11 = 5*h. Let a = -47 + 91. Let j be a/(-8) + (-2)/(-1). Are j and b non-equal?
True
Let h = -4 + 58. Suppose -h = 3*k + 21. Which is smaller: k or -22?
k
Let r be (-6)/(-9) + (-32)/30. Which is greater: r or 0.31?
0.31
Let c(t) = -12*t - 12. Let f be c(0). Let k(a) = -a**2 + 6*a + 5. Let r be k(5). Let s = r + f. Which is smaller: -1 or s?
s
Let y be -8*12/(-160) + 132/(-170). Are y and -0.1 unequal?
True
Let c = -557 - -1541/3. Let w = c + 43. Are w and -1 equal?
False
Let h(o) = -2*o - 35. Let c be h(-20). Let j = 7 - 6.96. Let p = 0.06 + j. Is p less than c?
True
Let j be 3*(-5)/6*-2. Suppose 5*s + 0*s = j. Is 5 at most as big as s?
False
Suppose 0 = u - 2*u + 3. Suppose 0 = 4*n + 5*z + 8, u*n = -2*n - 4*z - 19. Let c be (-9 - n)*(-2)/(-4). Is -1/4 at least c?
True
Let h be (-56)/(-13) - (37 - 33). Let w be (2/1 - 2)/(-1). Which is greater: h or w?
h
Let y = 22/13 + -2. Suppose 3*g = -2*z + 5, z - 2*z = -4*g + 14. Suppose 4*v - g = v. Is y > v?
False
Let i = -7/12 + 3/4. Let v = -467 - -465. Which is smaller: i or v?
v
Let g = 8900/3 + -2967. Let h = -0.29 - -0.2. Which is smaller: g or h?
g
Let l be 66/18 + 4/(-6). Let d(j) = 2*j - 3. Let a be d(l). Suppose -7*y + f - 11 = -2*y, -y + f - a = 0. Is y at most -1?
True
Let f(m) = m**2 + 2*m. Suppose -3*i = -0*o - o - 11, -3*o - 2*i = 0. Let y be f(o). Is y at most as big as 1/7?
True
Let o = -202 + 100. Which is greater: -104 or o?
o
Let v(p) = -p**2 - 6*p + 14. Let s(r) = 4*r - 31. Let w be s(6). Let y be v(w). Which is bigger: y or 8?
8
Let c be (-5)/((-70)/(-483))*-2. Do 1 and c have the same value?
False
Let f(i) = -5*i**3 - 15*i**2 + 6. Let c be f(-5). Is 255 greater than c?
False
Let p = -14.63 + 14.73. Which is smaller: p or 20/11?
p
Let t = -27 + 25. Suppose f - 4*l + 4 = 0, -5*f - 3*l = -4*f + 4. Is t greater than or equal to f?
True
Let f = -1258/3 + 412. Let a = -2357/321 - f. Are -1 and a non-equal?
True
Let x = -1028.8 + 1029. Are 0.338 and x non-equal?
True
Let n = -8 - -22. Let f = -0.282 + 15.182. Let a = f - n. Is a > -2/3?
True
Let g = -406 + 396.9. Is g <= 0.1?
True
Let h be -800*5/(-65)*-7. Let q = 431 + h. Which is smaller: q or -6?
-6
Let r = -2356 + 1629. Which is smaller: r or -726?
r
Let m be 1/(5 + 3/33*-56). Which is bigger: m or -16?
m
Let c be ((-1)/(-3))/((-11)/(-12)). Suppose i - 3 = 2*f, 3*f = 2*i + 1 - 5. Is c greater than i?
True
Suppose 4*h + 40 - 18 = -2*g, 5*h = -4*g - 29. Let m be 5 + -1 + g + 3. Which is smaller: 7 or m?
m
Let k be 6/(-4)*(-24)/(-18). Suppose 0 = 3*g - 8*g - 50. Let t be (0 - 1)/(g/(-6)). Which is greater: t or k?
t
Let u = -0.4 - -0.6. Let y be -5 - ((-3 - -3) + -1). Let t be 39/13*y/114. Is t != u?
True
Let l = 20 + 369. Is l at most 388?
False
Let l be (-4)/6 - ((-1536)/(-342) - 7). Which is smaller: 1 or l?
1
Let l = -1/24 - -67/72. Suppose 8*c = 3*c + 5. Which is smaller: c or l?
l
Let g = 3/76751 - 37754821/76751. Suppose 4*l = 2*l - p - 989, -3*l - 1491 = 3*p. Let s = l - g. Which is greater: s or 1?
1
Let p = 4694/18283 - -16/389. Are p and 1 nonequal?
True
Let j = 699 - 698. Is -2/989 < j?
True
Suppose 5*g = 9*g - 4*v + 116, -3*g - v = 79. Which is smaller: g or -29?
-29
Let q = 52078/51448649 - 4/21181. Which is bigger: 1 or q?
1
Suppose 0 = 3*d + 67 + 17. Let l = -28 - d. Is l bigger than -1?
True
Let h be (34/(-3))/((-8)/18). Let i = h + -25. Let k be 2*4/(-24)*10. Is k smaller than i?
True
Let q be 16*(-8299)/(-4250) - 3. Let g = -480/17 + q. Let n = g - 132/875. Is 1 > n?
True
Suppose -3*b - 76 = -5*z, -4*b + 6*z - z = 103. Which is smaller: 11 or b?
b
Let h(x) = -x**2 - 37*x + 131. Let i be h(-46). Which is bigger: i or -281?
-281
Let v(l) = l**3 - 5*l**2 - 3*l + 13. Let c be v(5). Are -31/19 and c equal?
False
Let q = 101.831 - -0.169. Let h = -103 + q. Which is smaller: 0.108 or h?
h
Let s(o) = -o**2 - 7*o - 25. Let j be s(-4). Is -8 equal to j?
False
Let q(c) = -4*c**3 + 13*c**2 + 12*c - 2. Let s be q(4). Which is smaller: -4/7 or s?
s
Let g = -28.3 + 28. Let p = 17.7 - g. Let z = p - 24. Is 1/3 greater than z?
True
Suppose 19 = l - 2*z, -2*z - 14 - 28 = -2*l. Let a(s) = s**2 + s + 1. Let o be a(-5). Is o < l?
True
Let j be ((-24)/(-5))/6 + (-15)/((-55350)/(-2892)). Suppose 5*a - 1 + 4 = 2*d, a + 5*d - 21 = 0. Which is smaller: j or a?
j
Let b(d) = -d**2 + 30*d + 57. Let h be b(11). Is 266 at most as big as h?
True
Let i be (-3514)/(-616) + ((-18)/8 - -2). Is i != -1?
True
Let f(v) = v**3 - 4*v**2 - v + 5. Let u = 7 + -3. Let n be f(u). Let y = n + -3. Is y greater than -3?
True
Suppose 4 = -4*j - 12. Let t be -1*1/2*j. Is 1/2 less than t?
True
Let g = 159 - 8. Let j = g + -105. Is 47 at most j?
False
Let k(q) = q**2 - 5*q - 5. Let a be k(-5). Let c = -44 + a. Which is smaller: c or 2/23?
2/23
Let z(p) = p**2 - 6*p + 6. Let c be z(4). Let b be 2*(-18)/(-1 + -2). Let i be 0*((-15)/b)/5. Which is greater: i or c?
i
Let x be (30/25)/(51/935). Is 26 at least x?
True
Suppose 9*r - 8*r + 4*o = -74, -296 = 4*r + 4*o. Is r <= -12?
True
Let r = 