er than -1?
True
Let y be 2/6 - (-59)/(-141). Let k = y + -27/235. Which is greater: k or 0?
0
Let g be (-187)/24 + 6/48. Which is greater: g or -8?
g
Let c(f) = -f**2 - f + 1. Suppose y + 6 = -y. Let m be c(y). Is -5 at most m?
True
Suppose -13 = -3*p - 4. Suppose -3 - 4 = 4*g - p*x, 0 = -2*g - x - 1. Which is smaller: g or 0?
g
Let o(g) = -2*g + 22. Let w be o(10). Is w smaller than 0?
False
Let l be (-21)/6*2 + 2. Let g be l/(15/6) + -1. Let d(s) = s**2 + 3*s + 1. Let n be d(g). Which is greater: n or -0.2?
n
Let v = 8 + -7. Let c = -0.15 - 0.05. Is v bigger than c?
True
Let p = 9 + -9.1. Is -5 smaller than p?
True
Let x = -0.4 - 5.6. Let j = x - -7. Let a = -0.6 - -2.6. Is j less than a?
True
Let l(g) be the second derivative of 1/12*g**4 - g**3 - g + 0 + 0*g**2. Let f be l(6). Is 3/7 smaller than f?
False
Let w = -0.04 - 0.06. Is w equal to 8?
False
Let q be (-1)/(-5) - 12608/(-210). Let a = q - 182/3. Which is smaller: 1 or a?
a
Let w be (-32 + 5)*2/(-6). Suppose w - 5 = -4*f. Are f and -2 unequal?
True
Let j = 116 + -116. Which is smaller: j or 4/7?
j
Let r be 3/(2 - 8)*-2. Let t = -1/627 + -1231/14421. Which is bigger: r or t?
r
Let h = 3 + -3. Suppose -5*j = y - 8, -j - 2*j - 12 = -5*y. Is h at least j?
False
Let u(t) = -t**3 + t - 1. Let z = -5 - 2. Let j(w) = -w**3 - 7*w**2 - w - 7. Let y be j(z). Let h be u(y). Which is smaller: h or 1?
h
Let j = 401 - 1595/4. Is 1 >= j?
False
Let l(d) = 2*d - 12. Let j be l(8). Let s = j + -1. Suppose 4*k - 27 = s*q, -4 = 5*k + 4*q + 1. Which is bigger: 1 or k?
k
Let x be (12/9)/4 - (7 + -7). Suppose 3*y = 2*y. Which is smaller: y or x?
y
Suppose -64 - 6 = 35*m. Suppose 0 = -4*l + l. Suppose x - 2 + 3 = l. Is x greater than or equal to m?
True
Suppose 7*g = 4*g + 6. Which is smaller: g or 5/2?
g
Let y = -7922/6259 - 4/569. Does -1 = y?
False
Let i be (287/42 + -7)*10. Let t be 2*(0 + (0 - 1)). Which is smaller: i or t?
t
Suppose 0 = 2*h + 2*x - 12, 2*h = x + x + 8. Let m = -6 - -9. Suppose -m*k + 2 + 10 = 0. Are h and k nonequal?
True
Suppose z - 4*a - 2 = -16, 0 = 5*z - 2*a - 20. Let x be z/(-26)*(-6)/(-9). Do 1/3 and x have the same value?
False
Let p = -0.8 - 0.3. Let a = 8 + p. Let h = 7 - a. Is h at most as big as -4?
False
Let p(r) = -5*r**2 + 19*r + 8. Let u be p(4). Let z(f) = -f**3 + 7*f**2 - 6*f + 3. Let d be z(6). Which is greater: d or u?
u
Let f(n) = 5*n**3 - 3*n**2 + 2*n - 2. Let u be f(2). Suppose c + 10 = -c, d = -5*c - u. Let o = -6 - d. Is -2/5 less than o?
False
Let c = -2.03 + 0.03. Let x(d) = -3*d**2 + 22*d - 7. Let r be x(7). Is r at most as big as c?
False
Let z(d) = 2*d + 2. Let k be z(-1). Which is greater: k or -1/34?
k
Suppose 20 = -24*a + 29*a. Suppose q + 8 + 3 = 4*z, 18 = -a*q + 3*z. Let f(l) = -l**3 + l**2 - l - 2. Let s be f(0). Which is smaller: q or s?
q
Let u = -8/57 - -379/2565. Do u and -1/3 have the same value?
False
Suppose 5*j + 27 = 4*j - 5*z, z = j - 3. Let i be ((-8)/(-6))/(8/12). Suppose -i = -5*r - 7. Is r less than or equal to j?
False
Let v = -10 - -9. Is v at most as big as -1/10?
True
Let x be -6 - (0 + -2)*1. Let z be (3/x)/((-14)/(-16)). Which is bigger: z or 0?
0
Let z = 15 + -16. Which is greater: z or 2/5?
2/5
Let k be 4/1 + 33/(-6). Let u = -0.2 - -0.1. Is k not equal to u?
True
Let h = 2 + -3.8. Let c = h + 0. Let v = 0.2 - c. Which is bigger: v or 0?
v
Let o be ((-84)/48)/(10/16). Is o not equal to -4?
True
Let s(o) = -4*o + 4 + 3*o + 0*o + 0*o. Let v be s(9). Is v > -6?
True
Suppose 4*q + 4 = 6*q. Suppose 3 - 12 = -3*h - 3*i, q*h - i + 6 = 0. Let g be h/(18/(-14)) + -1. Which is smaller: g or 0?
g
Let p = -196 + 1762/9. Let g = 227/14 + -33/2. Is p bigger than g?
True
Let g be 4 - ((2 - 3) + 1). Suppose 5*k + 5 = 5*f, -g*f - 12 = -0*k + 4*k. Is -0.1 less than f?
False
Let l = 1.5 - 0.5. Which is bigger: l or 23?
23
Let q = 15 - 15. Is q > 3/5?
False
Let h = 1/21 + -44/1365. Do h and -1 have the same value?
False
Suppose 2*h = -2*a - 12, -12 = h - 2*a + 5*a. Let l = 120 - 60. Let q be (h/l)/((-1)/(-2)). Do 1 and q have the same value?
False
Suppose 18 = 6*n - 0*n. Suppose 3*m = m + 14. Let c = m - 4. Do c and n have the same value?
True
Let d(q) be the first derivative of -q**4/4 - 2*q**3 + 4*q**2 + 4*q - 3. Let m be d(-7). Is -5 not equal to m?
True
Suppose -4*i + i = 2*o - 7, -5*o = 3*i + 5. Suppose i*l - 2*l = 15. Are l and 6 unequal?
True
Let o be (-1)/(-9) - 2/(-9). Let a(b) = b**2 + 5*b + 1. Let t be a(-4). Which is smaller: o or t?
t
Suppose -5*k - 28 = -l, -3*k = -2*l - 2*k + 11. Let b be 2/l*9/(-6). Which is bigger: b or -2/15?
-2/15
Let w = 5 - 4. Let a be 1 + w + 26/(-10). Is -1 at least as big as a?
False
Let u = 7 + -4. Suppose u = -2*x + x. Let w be 15/(-9) - 2/x. Are 2/7 and w equal?
False
Let p = 11 - 10.9. Which is smaller: -19 or p?
-19
Let f = 4172 + -45922/11. Which is greater: f or -3?
f
Let o(l) be the second derivative of l**5/120 - l**4/6 - l**3/6 + 2*l. Let j(w) be the second derivative of o(w). Let c be j(5). Which is smaller: 3/7 or c?
3/7
Let s = 1624111/420 - 23239/6. Let x = s + 31/5. Is x >= 1?
False
Let v(s) = -s**2 - s + 2. Let y be v(-2). Let p = -191/3268 - -1/172. Let l = p - 12/133. Is y at least as big as l?
True
Let k be 18*(2 + (-12)/8). Suppose -9*s - 8 = -5*s. Let n be (-11)/k - s/9. Is -2/9 < n?
False
Let x = 1 + -1. Let z = -0.004 + 3.904. Let q = 2.1 + z. Which is bigger: q or x?
q
Let u = -4 - -1.1. Let n = -0.1 + u. Which is smaller: n or -0.1?
n
Let k = -4603 + 41383/9. Which is smaller: -6 or k?
-6
Let v(j) = 2*j - 8. Let w be v(7). Suppose g = -g - w. Which is smaller: g or -4?
-4
Let r(y) = y**3 - 3*y**2 + y + 1. Let w be r(3). Suppose -4*v + 16 = w*u, -u = -v - 3*v + 21. Does v = 4?
False
Let r = 0.058 + -0.05. Let z = 6.208 - r. Let i = 6 - z. Does -0.2 = i?
True
Let m = 0.2 - -0.1. Let t = m - 0.4. Which is smaller: t or -2?
-2
Let f = 141 + -114. Is f greater than 28?
False
Suppose 2 = 2*i - 0*i. Which is greater: 2 or i?
2
Let s = 5 - 4. Which is greater: 0.1 or s?
s
Let w = -0.04 + 0.14. Which is smaller: w or -2/23?
-2/23
Let y = -0.01 + 14.01. Let s = y + -15. Which is greater: 0.2 or s?
0.2
Let o = -4.76 + 0.16. Let a = o + 5. Let v = -2.18 + 2.08. Is v >= a?
False
Let k be (7 - 35/98) + (-1)/(-2). Which is smaller: 6 or k?
6
Suppose 5*z = 5*l - 75, 2*z + 2*l = -l - 5. Does z = -10?
True
Suppose 4*n = 55 - 51. Let r(y) = -y**2 + 8*y - 9. Let s be r(7). Let t be (s/8)/(3/(-12)). Is n at most t?
True
Let j(n) = -n**3 + 3*n**2 - n - 1. Let p be j(2). Is -1/4 != p?
True
Let n = -3.4 + -0.6. Let y = 5 + n. Let f = y + -3. Is -2 greater than f?
False
Let m be 2/3*(-3)/(-11). Let z(v) = -v**2 - 12*v - 11. Let l be z(-11). Is l <= m?
True
Suppose -2*d + 4*d = 4. Let t(o) = o + o**d + 6 + 7*o + 0*o**2. Let l be t(-7). Which is smaller: -2/3 or l?
l
Let x be ((-4)/10)/1*-400. Let s = x + -1919/12. Which is greater: s or 0?
s
Let t(c) = -c**3 - 5*c**2 + 5*c. Let u = 4 - 10. Let h be t(u). Let j be (h/(-2))/(18/(-4)). Which is smaller: j or 0?
0
Suppose 3*a - 5*y = -11, -2 = 3*a - 3*y + 1. Let i be (-2)/(0 + (-1)/a). Which is smaller: i or 8?
i
Let c = 6 - 6. Suppose c = 4*s - 8*s + 8. Suppose 2*y + 2 = s*x, -4*y + 1 = -0*y + x. Is y bigger than -1?
True
Suppose 5*w + 4*x - 26 = 6, -w + 2*x = 2. Suppose -w*f = -9*f + 25. Suppose 12 = f*a + 2*s, 2*a = -a + 2*s + 20. Is a < 4?
False
Let n = 5725/4 - 1401. Are n and 31 unequal?
True
Let h = -11003/15 + 733. Let d = -1/3 - h. Is -2 < d?
True
Let d = 40 + -22. Let b = d + -19.9. Let y = -0.1 + b. Is -2 less than y?
False
Suppose 4 + 8 = 4*m + 3*u, -m = 5*u - 20. Which is smaller: -0.09 or m?
-0.09
Suppose 3*t + 9 = -0*t, -5*a = 2*t + 1. Is 2/47 less than or equal to a?
True
Suppose 2*g - 14 = -5*n + 2, -13 = -5*n - g. Let u = 2/277 - -1377/1108. Which is bigger: n or u?
n
Let m = -7 + 9. Is 0 at most as big as m?
True
Suppose 176 = -13*j + 17*j. Which is bigger: j or 43?
j
Suppose 14 + 16 = 2*p. Is p <= 14?
False
Let h be ((-12)/(-14))/(3/(-21)). Let s = 6 + h. Which is smaller: -3/7 or s?
-3/7
Let l = 34/39 - 1273/1326. Let p = 49/170 + l. Is p != -1?
True
Let a be (-2)/5 - (-3817)/3900. Let y = -1/780 - a. Let m = y + 2/25. Is m greater than -0.1?
False
Let f = 23509 - 1880857/80. Let u = f + -3/80. Are 1/4 and u nonequal?
True
Let j be ((-60