e x(-6). Let s be i(h). Let a be 0 + 0 + (4 - 3). Which is smaller: s or a?
a
Let r = -5.03 - -7.03. Which is smaller: r or 226?
r
Let y be -1*(-3)/(-12)*105. Let s = 26 + y. Is 2/15 < s?
False
Suppose 4*x = 4*s - 12, 2*x = 2*s - 7*s + 22. Suppose 5*o + 2126 = -3124. Let n be (-4)/14 - 440/o. Is n greater than or equal to x?
False
Let w be (12/9)/((-4)/(-6)). Let b be (-3 - -4)*w/(-91). Which is smaller: 0 or b?
b
Let p be (2/2 - 48)*1. Let g be 5 - (-1295)/(-25) - 1/(-30)*-6. Is g < p?
False
Suppose 6 = 2*p - 5*p. Let q be p/5 - 11/(-15). Which is bigger: 1 or q?
1
Let c be 33/(-45) - (-4 + (-1770)/(-450)). Let u = 1 - 0.9. Let b = -0.3 + u. Which is smaller: c or b?
c
Let y = 739288893368178/13320487 - 55500140. Let m = -278984279802/492858019 - y. Let i = m + 566. Is i at least 0?
False
Let n(v) = v - 1. Let a(g) = -9*g**2 + 6*g - 5. Let l(s) = a(s) - 6*n(s). Suppose -9 = 3*d + 6*d. Let k be l(d). Is -8 smaller than k?
False
Let t = -279 - -299. Which is bigger: 21 or t?
21
Let w = 0.0197 + 0.9803. Is -58 less than w?
True
Let l = -1526 - -1487.5. Which is greater: l or 1?
1
Suppose -20*m - o + 129 = -22*m, 5*o = -5. Which is smaller: m or -69?
-69
Let o = 0.9252 - -0.0748. Is 527 smaller than o?
False
Let t = 341 + -340.93. Let x = -0.06 - -3.06. Which is smaller: x or t?
t
Let j = -0.846 + -30.154. Is j > 0?
False
Suppose -4*b + 5*b = -9. Suppose -3*j + 98 = 5*i, 5*j + 0*i = 4*i + 151. Let u(h) = -2*h + 54. Let o be u(j). Is o at least as big as b?
True
Let n(f) = -f + 2. Let q be n(2). Suppose 9 = 3*m - 6*m. Let g be (-3)/m - (-34)/(-18). Do g and q have the same value?
False
Let g(o) = -24*o + 456. Let k be g(19). Are 3/767 and k non-equal?
True
Let c(t) = -6*t**2 + t**3 - 3*t**3 + 3*t**3 + 10 - 4*t**2 + 3*t. Let h be c(10). Let x = 922/23 - h. Is x smaller than 0?
False
Let s be (7/15)/(1/3). Let t be 3/9 - (-45)/(-54). Is s <= t?
False
Let x = -0.086 + 5.086. Let d = x - 5.2. Are -14 and d non-equal?
True
Let s = -560 + 508. Which is greater: -50 or s?
-50
Let h be 6/15*(-6 + 11) + 320. Are h and 324 nonequal?
True
Let i = -420 - -419.8. Which is smaller: i or 1/10?
i
Let z = -17/7 - -129/56. Let w = -644 - -628. Is w less than z?
True
Suppose 2*v + 397 - 123 = -4*i, 2*i - 2*v = -152. Which is bigger: i or -72?
i
Let d = -2 - -5. Let o(u) = d*u - u**2 - u**3 - 5*u + 4*u**2. Let y be o(2). Which is smaller: 2/13 or y?
y
Let j = 397 + -397.5. Is j > -27?
True
Suppose 1903 = -5*w + 4*j, -13*w + 9*w + j - 1518 = 0. Which is greater: w or -381?
w
Suppose -d = -1, -2*d = n + n + 20. Let c(q) = -6*q + 23. Let p be c(6). Which is bigger: p or n?
n
Let u(r) = -4*r**3 + 5*r**2 - 5*r + 9. Let s(b) = -5*b**3 + 6*b**2 - 6*b + 10. Let y(k) = 5*s(k) - 6*u(k). Let m be y(-2). Is 6 at least m?
True
Let s be (-1366)/84 - (-2)/12. Let l be (-272)/(-14) - (-4 - -4). Let j = s + l. Which is greater: 2 or j?
j
Let j(u) be the third derivative of -5*u**4/8 - 2*u**3 - 5*u**2. Let p be j(-6). Let m be 206/(-13) + (-12)/p. Which is bigger: 0 or m?
0
Suppose -2*h - 90 = -4*d, 3*d - 2*h - 17 = 51. Let b be (-1)/1*d + 0. Let n be b/8 - (-2)/8. Are n and -2 equal?
False
Let u = -1527/8 + 190. Are 0 and u non-equal?
True
Let p = -1 - 0. Let c = -13.32 + 13.71. Which is smaller: p or c?
p
Let c(w) = w - 1. Let s = 8 - 7. Let d(j) = j**3 - 9*j**2 - 10*j + 6. Let h(t) = s*d(t) - 2*c(t). Let p be h(10). Which is greater: p or -14?
p
Let b = -313 - -289. Is -19 equal to b?
False
Let i = -246 + 246.2. Which is bigger: i or -0.62?
i
Suppose h - 3 = 4*y, 2*h - 5*y - 6 = -2*y. Let g be h*(8/28)/(2/14). Which is bigger: 5 or g?
g
Let b = 9 - -5. Suppose 4*j - 3*l = -6*l + b, -2*j - 5*l + 14 = 0. Suppose 7*v - j*v - 5 = 0. Is -1/7 bigger than v?
False
Let w be (3 - 3) + ((-16)/(-46))/4. Let m = -2/7 - -1/28. Is w at most as big as m?
False
Suppose 17*u + 8626 = -21*u. Are u and -677/3 nonequal?
True
Let q = -43842810/13 + 3370620. Let i = -1900 - q. Let u = -272/91 + i. Which is smaller: 0 or u?
0
Let u = -57 - -173/3. Is -24.4 less than or equal to u?
True
Let m be (-8)/(-12) + 44/6. Suppose -m*p - 33 = -11*p. Let z = 17 - 6. Is z less than or equal to p?
True
Let q = 33 + -15. Suppose -5*w = -2*w - q. Suppose -4 = 5*k + w. Is -0.3 <= k?
False
Let x = 424 + -423. Is -8/65 less than or equal to x?
True
Let x be 12 - 35/(3 - -4). Which is smaller: x or 12?
x
Let m = -2112 + 2111. Let j(z) = 19*z - 1. Let p be j(-1). Let q be p/(-126) - 2/(-7). Which is greater: m or q?
q
Let o = -1331/26445 + 1/645. Let k = 11 - 12. Which is smaller: o or k?
k
Let m = -36 + 24. Let q = 18 + m. Let r be 4/q + (-4)/(-12). Which is greater: r or 0.6?
r
Let r be 1/(-2) + 5775/70. Are 83 and r equal?
False
Let o(w) = w**3 + 16*w**2 - 11*w - 22. Let i(c) = -c**3 - 16*c**2 + 12*c + 21. Let n(h) = 7*i(h) + 6*o(h). Let g be n(-17). Are -1/2 and g equal?
False
Suppose y + o + 2*o - 6 = 0, -8 = -4*o. Let v be 42/(-21) - 116/(-59). Which is bigger: v or y?
y
Let b be (-3)/(6/(-26)) - (-67 + 72). Which is bigger: b or 6?
b
Let k be (-10)/(-30)*(-33797)/(-7). Let w = -1610 + k. Let y = w - -517/903. Which is smaller: y or -1?
-1
Let l = -206 + 204.73. Is l greater than or equal to 0.1?
False
Let k be -5 + 80/11 + -5. Let y be (-2)/(-4)*(-116)/22. Let z = y - k. Which is bigger: 1 or z?
1
Let w = -27.5 - -385.5. Is -1/4 >= w?
False
Let a(u) = u**3 - 7*u**2 + 2*u - 17. Let w be a(7). Let f be (-19 - w) + 0/(3 - 5). Which is bigger: -19 or f?
f
Let a = -8 + 6. Suppose 0 = -5*n - 2*o + 30, 5*n - 2*n + o = 17. Let m be 10/n*4/10. Is a equal to m?
False
Let t be 19 + -2 + -3 + -4 + 6. Is 17 > t?
True
Let z = -35 + 43. Suppose -z*l + l - 9*l = 0. Which is smaller: l or -1/32?
-1/32
Suppose 6 = -2*n, -4*s + n + 10 = -1. Is s at most 5?
True
Suppose 0 = -i + 174 - 169. Suppose l = 3*x - 64, -2*x + 104 = i*l + 339. Which is smaller: -48 or l?
l
Let s = 7564/273563 + 2/3853. Are s and 0 nonequal?
True
Let k(v) = -v**3 + 6*v**2 - 6*v + 4. Suppose -5*z + 4 + 11 = -j, -3*z = 4*j - 32. Let b be k(j). Which is greater: b or -4?
b
Suppose 0 = 5*v - 8*v + 216. Let b = v - 291/4. Let f = 5 - 6. Which is bigger: b or f?
b
Let y = -73 + 74. Let i be 1/1 + -122 + 3. Let x = i + 830/7. Is x at least y?
False
Let s = 36 - 156. Let f = -359/3 - s. Which is bigger: f or 1/6?
f
Let l(v) = 61*v - 216. Let u be l(4). Is u at least as big as 85/3?
False
Let z be -1 - 1/(4/(-12)). Let k = z + 2. Suppose 4 + 4 = k*b + 2*c, 3 = 3*b + 3*c. Is -2/5 equal to b?
False
Let g be 14/49 - 38/(-14). Suppose 2*i + 5 = -g*i. Which is bigger: -2/115 or i?
-2/115
Let v = -8/401 - 369/1604. Is v not equal to -1506?
True
Let o = -2272637473 + 488618003127/215. Let z = 4402 - o. Are z and 1 nonequal?
True
Let c = -6/493 + 1252/183889. Which is greater: 0 or c?
0
Let m(r) = -4 - 2*r**2 + 3*r**2 - 3*r + 6*r**2 - 4*r**2. Let u(c) = -c**2 + c + 2. Let g(t) = 2*m(t) + 5*u(t). Let j be g(0). Is j > 0?
True
Suppose b = -h - 18, 0 = -0*h + 5*h + 5. Let o = 109 - 219/2. Which is bigger: o or b?
o
Let h(f) be the third derivative of -f**4/24 - f**3/3 - 3*f**2. Let b be h(-9). Suppose -6*v = -b*v. Is v >= 0?
True
Let f be (8/18)/(8/(-84)). Let c = -456 - -451. Is f < c?
False
Let s be -8 + 6 + (-259)/112. Is s < -5?
False
Let t = -16 + 26. Let z(w) be the third derivative of -w**6/12 + w**4/12 + w**3/3 + 36*w**2. Let g be z(-1). Is g > t?
False
Suppose 5*d + 3 - 18 = 0, 206 = -2*w - 4*d. Which is bigger: w or -110?
w
Let z(d) be the third derivative of d**6/120 - 3*d**5/20 + d**4/12 - d**3 - 2*d**2. Let r be z(6). Let j be (9/r)/((-9)/(-12)). Which is smaller: -1 or j?
-1
Let b be (4 + -1 - 0)/(12/16). Let q be b + -50*5/10. Which is smaller: -23 or q?
-23
Let s(t) = -t**2 - 34*t - 67. Suppose 2*p - 138 = 4*x, -4*p - 5 = -5*p. Let o be s(x). Suppose 5*b - 8 - 19 = 3*u, -5*u + 4*b = 32. Which is smaller: o or u?
u
Let c = 25075 + -125942/5. Which is greater: -113 or c?
-113
Let r = -10.19 + 1.89. Let x = -5.7 + r. Which is bigger: -1 or x?
-1
Suppose -5*u = 3*q - 0*q - 197, 5*q = 5*u - 165. Let l = -38 + u. Is l greater than -3/31?
False
Let b = -185 - -185.1. Is -3.02 at most b?
True
Suppose -4*s - 114 = -23*s. Let q(o) = o**2 + 4*o + 3. Let r be q(-3). Let i = r - s. Which is smaller: i or -5?
i
Suppose 0 = 2*u - 9 + 9. Let y be 1 - u - 456/480. Do y and 0 hav