22 = 4*y + 23. Is c greater than or equal to l?
True
Suppose -2*s - 2*s + 12 = 0. Suppose -4*p + 7 = s*p. Let n be -1 + -1 + 3 + 0. Is n at most as big as p?
True
Let q = -309 - -176. Let g = q + 135. Is g at least 33?
False
Let y(r) = r**3 + 7*r**2 - 8*r + 5. Let a be y(-8). Suppose 4*s - 21 = -5*m + s, a = -m + 4*s. Suppose -t - 1 = m. Which is greater: t or -3?
-3
Let v = 1.1 - -0.3. Let i = v - 1.5. Which is greater: i or -4?
i
Let q be (3 - 2)*1 - -3. Let x be (q/(-1) + 9)*1. Suppose -n - 2*n = 2*l + 11, 0 = 3*l + 12. Is x less than or equal to n?
False
Suppose 2 = -5*u + 7. Let c be u/2*2/(-3). Suppose -2 + 0 = -2*p. Is c >= p?
False
Suppose 9*q - 1459 = 13*q + 5*p, -4*q - 1466 = -2*p. Do -367 and q have the same value?
False
Let l be (-1 + 0)/(2/78). Let b be (2 - (-2 + 43))*(-3)/(-3). Are l and b equal?
True
Let x = 15 + -10. Let d = x - 4.8. Let w be (0 - -1)*1 + 1. Which is greater: d or w?
w
Let z(v) = v**3 + v**2 - v. Let f be z(0). Let d(y) = -y**3 + y**2 + y + 1. Let m be d(0). Which is smaller: m or f?
f
Let b = 64 - 71. Which is smaller: 3 or b?
b
Suppose 0 = 38*v + 525 + 1261. Which is smaller: -48 or v?
-48
Let u = 1306 - 1305. Is 20/33 less than or equal to u?
True
Let p = -29 - -31. Let d(t) = -2*t**2 + 4*t - 10. Let u(z) = -2*z**2 + 4*z - 9. Let a(k) = 6*d(k) - 7*u(k). Let j be a(p). Which is bigger: 1/2 or j?
j
Let y = -1380.04 + 1410. Let b = y + -0.96. Is 0 greater than b?
False
Let p be 2/(-6) + (-2)/3. Let k be (2/39)/(28/14)*-1. Is k equal to p?
False
Let x = 285 + -285.1. Is x not equal to -3.56?
True
Let m = 62 + -61. Is m greater than -2?
True
Suppose o = 5 - 1. Suppose -p + 18 = o*r + 2*p, -3*r = 5*p - 8. Suppose -i + 10 = -r*i. Which is bigger: i or 0?
0
Let j(i) = -17*i + 116. Let y be j(-18). Does y = 422?
True
Suppose -13 = 3*m - 4*a, -2*m - 4*a + 21 = 3*m. Let h be m/(-4) - (-203)/364. Which is greater: h or 0?
h
Let o(l) = l**2 + 6*l + 2. Let i be o(-4). Let u = 20 - 22. Let p(z) = z**3 + z**2 + 2*z + 2. Let n be p(u). Is n less than i?
False
Suppose 2*m = -m + 15. Let i = -29 - -35. Is i <= m?
False
Suppose 5*h + 16*k + 99 = 17*k, 4*h = -5*k - 56. Let v = 1 - 0. Do h and v have different values?
True
Let y = 28 + -22. Suppose y*t + 5*u = t - 10, 2*t - 3*u - 6 = 0. Which is greater: t or 2/55?
2/55
Let y = 26 + -38. Let b be (-13 - y)*1/1. Suppose 5*j + 2*v = -0*v + 8, 0 = 3*v - 12. Which is greater: b or j?
j
Let b(u) = 13*u. Let i be b(3). Suppose -o = 2*o - i. Is 14 less than or equal to o?
False
Let q(a) = a**3 + 3*a**2 + 4282 - 5*a - 4286 + 0*a. Let p = 9 + -13. Let b be q(p). Is 3 < b?
False
Let p = 0.342 + -0.202. Let i = -1 - -4. Suppose 4*x + 1 = i*x. Is p at most x?
False
Let x(p) = p**3 + 5*p**2 - 4*p + 14. Let k be x(-6). Suppose -k*f - 25 = 2*f + i, 19 = -f + 4*i. Is -6 less than f?
False
Let b = 7 + -6.6. Let u be 15/6*(-26)/65. Which is greater: u or b?
b
Let n = 29 + -42. Let l = 15 + n. Which is smaller: 8/7 or l?
8/7
Let j be (22/(-8))/((-2)/(-8)). Suppose -6 = -2*k + 3*k + 2*r, -5*k - 72 = -4*r. Which is greater: k or j?
j
Let f(a) = -a + 5. Let b be f(3). Let l be (-3)/(-3) - (b - 2/4). Which is greater: -20 or l?
l
Let q be (1/(3/(-2)))/((-22)/363). Suppose 20 = -9*r + q. Which is bigger: r or -1.2?
r
Let u(a) = -9*a**3 + 3*a**2 - 4*a + 5. Let n be u(2). Let i be (-1)/(-4) - n/84. Is i > 2/65?
True
Let c(i) = i**2 + 5*i - 3. Suppose 0 = 4*r + 5 + 19. Let j be c(r). Let k be (-2)/(-6) + j/(-10). Which is greater: 0 or k?
k
Let k(j) = -2*j**2 + 8*j + 10. Let c be k(6). Let h = c - -14. Is h < -3?
False
Let i(u) = u + 7. Let m = -33 + 35. Let j be (-6)/(m*(-4)/(-12)). Let f be i(j). Is -2 at most as big as f?
True
Let r be 1 + 1 + (-3 - 3). Let t = 0 - r. Suppose -4*u - t = -6*u. Are u and 1 nonequal?
True
Let i be 53/5 + (-4)/(-10). Suppose -11*t - 120 = -21*t. Which is bigger: t or i?
t
Let l = -102 - -102.6. Let i = 2 - 2.2. Let t = i - 0. Is l bigger than t?
True
Suppose 3*y + 2*r - 3 + 1 = 0, 0 = 5*r + 25. Suppose 0 = -10*k + 6*k + g - 7, 5*k + 3*g = y. Is -1/15 less than or equal to k?
False
Let v(s) = -s**2 + 9*s - 2. Let z be v(6). Let g be z/21*56/(-48). Let d(b) = b**3 - 17*b**2 + 17*b - 17. Let h be d(16). Which is bigger: h or g?
g
Let r = 58 - 29. Let i = 28.9 - r. Is -7/4 > i?
False
Suppose 8 = 5*f - f - 4*s, -5*s = 5*f - 10. Let x be 4/(-18) + 2/9. Suppose x*t = -f*t. Is t less than or equal to -1/2?
False
Let b = -11477/25 + 459. Let a be (-2)/9 - (-152)/36. Suppose a*q = 5*q. Which is greater: b or q?
q
Suppose 37*c = 6*c + 558. Do 250/13 and c have the same value?
False
Let q = 1051/65 + -82/5. Let c = q - 7/26. Is 0 smaller than c?
False
Suppose 5*u - 20 = r - 18, -11 = -5*u - 2*r. Which is bigger: u or 1/386?
u
Let r be -8 + 3368/(-1676) + 10. Is r greater than or equal to -1?
True
Suppose -34 = -4*w + 6. Let f = w + -8. Let u be (-7)/9*(-60)/42. Which is greater: f or u?
f
Let z be (-46)/14 + 2/7. Let g(m) = m**3 - 13*m**2 - 15*m + 12. Let r = -37 - -51. Let c be g(r). Is z greater than c?
False
Let b = -3834.96 + 3771. Let t = b + 67. Let k = t - 0.14. Which is bigger: k or -1/3?
k
Let p be -4 + 7 - 1/(4/19). Let o = -234 + 233.8. Which is smaller: p or o?
p
Suppose 0 = -2*h - 5*o + 24, 0 = -h + 3*o - 13 + 3. Suppose 5*s - 2*s = -h*a - 25, 5*s + 15 = 2*a. Is a smaller than 0.4?
True
Let b = 11 + -6. Let h be 7/b + -8 + 7. Is h at most as big as -13?
False
Let z = 42 + -42. Let k = z - -0.3. Which is bigger: k or 7?
7
Let l = -0.05 - 0.75. Let i = 2.2 - l. Let p = 15.3 + -15. Which is smaller: p or i?
p
Let b = 49131/1940950 + 1/7058. Which is smaller: b or -1?
-1
Let a = -257.17 - -257. Which is smaller: a or 2/13?
a
Let i = 0.31 - -0.09. Let c = i - 2.4. Is -1 greater than or equal to c?
True
Let l be (7/(-16))/((-3)/84). Let r = 12 - l. Which is greater: r or 1?
1
Let i be 3/((-6)/(-592)) + (-50)/(-25). Is i < 299?
True
Let u = 0.822 + -0.684. Which is greater: 0.2 or u?
0.2
Let t(c) = 4*c. Let h be t(2). Suppose 36 = 2*f - h*f. Which is greater: -9 or f?
f
Let v be (-4 - (-42)/9)*2*-24. Which is smaller: v or -129/4?
-129/4
Let k = 3 + -9. Let b be (-64)/24*k/8. Suppose 6 - 2 = -b*f. Which is smaller: f or -3?
-3
Let f = -0.425 + 19.325. Let y = -19 + f. Let w = -30 - -22. Which is smaller: y or w?
w
Suppose -5*t = 15, -39*t - 85 = 5*o - 34*t. Let h = -0.1 - -1.1. Is o at least h?
False
Let r(m) be the second derivative of m**3/6 - 3*m**2/2 + 4*m. Suppose -5*g = -5*j + 25, -j = 4*j - g - 29. Let n be r(j). Is 2 != n?
True
Suppose d = l - 3*d - 6, 0 = d + 2. Are l and -29/12 unequal?
True
Let d be ((-12320)/(-36))/(-2) + (-2)/9. Let a = -536/3 - d. Is -8 greater than or equal to a?
False
Let w = 391 + -789/2. Is w at most -2.1?
True
Let w(k) = 3*k**2 + 32*k + 87. Let c be w(-6). Is 30/13 greater than c?
False
Let f(a) = -5*a + 10 - 8*a**2 + a**3 + 8*a - 2*a**2 + 4*a**2. Let h be f(5). Suppose -3*y - 5*c - 6 = 0, 5*y + 5*c - 1 + 11 = 0. Are h and y non-equal?
True
Suppose -9*v = -v - 48. Suppose 0*k = 2*k. Let q = k + v. Is q at most as big as 6?
True
Suppose -130 + 40 = 5*k. Let z be ((-7)/(-49))/(k/21*-1). Is z not equal to -1/5?
True
Suppose -5*q - 6 = -2*q. Let n be (-2 - (q + 2)) + 0. Let b be 6*-1 + 4 + n. Is b less than -4?
False
Let k = 6679 + -19261/3. Which is smaller: 259 or k?
k
Let n be -24*(6 + -3 + (-85)/15). Let u = 63 - n. Let o = -376 + 5642/15. Are u and o unequal?
True
Suppose -3*u + 0*u = 2*j + 8, 0 = -2*j - 8. Suppose u*x = 2*x - 8*x. Is x < 2/131?
True
Let j = -0.32 + -3.48. Let f = -3.03 - j. Let o = 0.23 + f. Which is greater: 8 or o?
8
Let m(o) = -o**2 - 8*o - 10. Let j be m(-6). Suppose 4*h + j*k = -44, 4*h + 6 = 4*k - 14. Which is smaller: -2 or h?
h
Let r = 24 + -22. Suppose v = -v - r. Which is bigger: v or -2/13?
-2/13
Let w(t) = -t**3 - 4*t**2 - 4*t - 4. Let n = 4 - 7. Let z be w(n). Let g be (-1)/((0 + 1)*z). Which is smaller: g or -2/15?
-2/15
Let x = 0.3 + -4.3. Suppose -4*z + 182 = 54. Let v = -157/5 + z. Are x and v nonequal?
True
Let t(d) = 10*d**2 + 113*d + 7. Let m be t(-11). Which is greater: -29 or m?
m
Let j = -7.1497 + 0.1497. Is -66 at most as big as j?
True
Let c be (-28)/(-140) + (-56)/5 + 2. Is -9 at most as big as c?
True
Suppose 5*f = 8*f + 87. Let n = f - -28. Let g(m) = -m**2 - 5*m + 6. Let u be g(-6). Which is