e
Let i(q) = -q**2 + 7*q - 6. Let a be i(6). Let d be 2/(-4)*-2*a. Which is greater: -1 or d?
d
Let j = -1.9 + 0.2. Which is smaller: 0.1 or j?
j
Suppose 3 = -i - y, -7*i - 9 = -2*i + 2*y. Let s be i/3*(-6)/4. Let o(m) = m**2 + m - 2. Let z be o(-2). Which is greater: z or s?
s
Let o = -15 - -14.2. Let x = o + -0.2. Which is smaller: x or 0.1?
x
Let z be (0 - -7)*(-4 - -3). Let d be 2 + -1 + 5/z. Which is greater: 0 or d?
d
Let y(z) = z**2 - 2*z - 5. Let j be y(5). Suppose -j = -0*g - 2*g. Suppose g*b + 15 = 5*o, -5*o = -o - b - 12. Is 3 at least o?
True
Let g be -3 + 9 + -3 + -6. Let v be (6/16)/((-1)/4). Which is smaller: g or v?
g
Let k = 41 + -18. Let w = k - 26. Which is smaller: w or -4?
-4
Let q(y) = -y**3 - 2*y**2 + 7*y + 3. Let g(b) = b**3 + 2*b**2 - 8*b - 3. Let w(m) = 5*g(m) + 6*q(m). Let c be w(-3). Let f be (-1)/(-2) + (-15)/c. Is 1/3 <= f?
False
Suppose 0 = 4*h + 3*w + 30, -4*h - 4*w - w = 26. Let a be (h/(-6))/((-6)/8). Let t be a/7 + 18/14. Is t at least -1/6?
True
Suppose -m = -2*m - 1. Let u(o) = o**3 - 6*o**2 - 7*o + 1. Let i be u(7). Let t be 0 - i/(15/(-6)). Is t at most m?
False
Let s = 5.85 + 0.15. Do s and 2/9 have different values?
True
Let z be 3/12 - 23/(-4). Suppose -5*a - 20 = 0, -5*q - z = -4*q + 2*a. Suppose 5*u - 2*t = 2*t + 17, 3*u - 9 = 2*t. Which is smaller: q or u?
u
Let p(x) = x**2 + 3. Let b be p(-3). Let z = 2991/260 + -1/260. Which is bigger: b or z?
b
Let v be (-1)/(-6)*(2 - 6). Let d be 4/((-4)/(-2)) + 3. Suppose 0 = -0*n + d*n + 5. Which is smaller: v or n?
n
Let x = -0.2 + 0. Let w = 0.066 - -0.134. Are w and x non-equal?
True
Let x be (-1)/1 - 33/(-44). Which is smaller: x or -7?
-7
Let l be -1*(4 - 140/34). Let b be ((-1)/2 + 1)*8. Let v(h) = h - 4. Let x be v(b). Which is greater: x or l?
l
Suppose 0 = o - 0*o + 1. Let b be 45/(-6)*o/(-5). Let f be ((-4)/(-10))/((-7)/35). Is f bigger than b?
False
Let d = 101 - 41. Let w = d - 62.7. Let h = 0.7 + w. Which is greater: h or 3/7?
3/7
Let d be 6/12*12/(-273). Which is smaller: -1 or d?
-1
Let n = 126 + -125.1. Is n less than or equal to -0.2?
False
Let y = -41 - -40.8. Which is smaller: y or -1/4?
-1/4
Let u be (-3)/(-6)*(-6 + 4). Let z be 25/(-4)*(-1)/(-10). Which is smaller: z or u?
u
Suppose -4*b + 3*z = -2*b + 8, -3*b = 2*z - 1. Is b bigger than -2/19?
False
Let u = 7 - 11. Is -0.2 at most u?
False
Let f(h) = -h**2 + 10*h - 4. Let x be f(10). Let l = x + 2. Let y = -35/2 - -101/6. Is l != y?
True
Let l(t) = -7*t**2 + 2*t - 1. Let q be l(1). Let h be 9/q*(-4)/(-6). Which is smaller: h or -2?
-2
Let u(d) = -d**2 + 11*d + 5. Let s be u(9). Is 24 at least as big as s?
True
Let t = 1 - 1.7. Let p = t - -0.3. Let m = -0.3 - p. Do -0.1 and m have the same value?
False
Suppose 4*u = -11 + 27. Suppose 4*b + 4*w = -u, -3*w + 1 - 4 = b. Which is smaller: 6/7 or b?
b
Suppose -5*d + 1 + 17 = 4*j, 3*d = 3*j + 27. Let c be 2/d - 24/(-9). Let v = c + -4. Is v not equal to 1?
True
Let l be (-30)/(-200) - 1/(-4). Is l equal to -1?
False
Let d be (-2)/8 + (-5)/(-4). Let z be ((-4)/6)/(3/((-81)/6)). Let k = z - d. Do 2 and k have the same value?
True
Let s = -1 - 0. Let c be (-10)/(-4) - (-1)/(-2). Let k = c + s. Do 2 and k have the same value?
False
Let j(r) = -r**2 + 13*r - 20. Let u be j(9). Which is smaller: 0 or u?
0
Let r(l) = l**2 - 5*l - 2. Let t be (-2 - 11)*-1*-1. Let a = -8 - t. Let z be r(a). Is z at most as big as 0?
True
Let b = -0.16 + 0.2. Let d = b - -0.96. Which is greater: d or -2?
d
Let n = 30593844692900/43009 - 711335876. Let b = 2/1049 + n. Is 1 at most b?
False
Suppose 0*p = -2*p. Let b be 3 + p + 2/(-1). Let k be -1 + (-3)/((-48)/22). Is b >= k?
True
Let r be 1 + 1 + 4/(-2). Let w = 91 - 155. Let x be 2/(-7) + w/(-126). Which is smaller: x or r?
r
Let r(s) = -2*s - 1. Let p be r(-6). Which is smaller: 13 or p?
p
Let k be 13/2*-1 + 6. Let t(g) = -3*g - 2. Let d be t(-2). Suppose d = -3*h + h. Which is bigger: k or h?
k
Let t be (0 - -2) + 1*-1. Let s be (-7 - -7)*2/6. Which is greater: t or s?
t
Suppose -4*b + 18 = g, b + 0 = 4*g - 4. Suppose k - g = 3*o - 3*k, 4*o + 3*k = -11. Is -3/2 greater than o?
True
Let y = -6 - 11. Let v = -12 - y. Suppose -v*h + l = 2*l - 10, h + 3*l - 16 = 0. Are h and 1 equal?
True
Let p(k) = -4*k - 4. Let g be p(-2). Let l = g + -3. Is l bigger than 1/26?
True
Let c(v) = -v**3 - 2 + 0*v + 1 + 6*v**2 + 6*v. Let y be c(7). Let r(j) = -j - 6. Let i be r(y). Is i bigger than 2?
False
Suppose -2*m - 3*m = 0. Suppose m = 3*b - 4*b. Which is smaller: 5/7 or b?
b
Let x = -3740/7 + 536. Is 3 at most as big as x?
False
Let o(j) = -j**3 - 4*j**2 + 5*j - 2. Suppose 2*q + 5 = -5. Let c be o(q). Let z = -25.9 + 26. Which is bigger: z or c?
z
Suppose -l = -5*a + 1 - 7, 0 = -5*l + 4*a + 9. Let y be 10/(-8)*l/(-5). Which is bigger: y or -2/3?
y
Let j = -0.2 - -0.2. Let l = j + -0.1. Let f be (1/(-2))/(2/(-4)). Which is smaller: f or l?
l
Let a = -427/90 - -24/5. Let g = 0 + 1. Is g at least a?
True
Suppose -d + 27 = z, -3*z - 2*d = -7*d - 41. Let h be (-2)/(-3)*6/z. Is 1 less than h?
False
Let p(d) be the first derivative of d**2/2 - 3*d + 1. Let b be p(-3). Let n be (-4)/8 + (-1)/b. Which is bigger: -1/2 or n?
n
Let h = -219/950 + 1/50. Are h and -2/5 equal?
False
Suppose -5*j = -4*j - 17. Which is smaller: 0 or j?
0
Suppose 0 = 3*p - 14 - 16. Suppose p = 2*g - 0*g. Which is greater: g or 4?
g
Let w = 4.6 - 5. Let c = w + 0.5. Let n = c - 0.1. Is n smaller than 0.2?
True
Let t(u) = 2*u - 13. Let m be t(9). Suppose 0 = 2*x + 7 - m. Which is smaller: x or 0?
x
Let z be 4/(-2)*(-5)/25. Do z and -8/3 have different values?
True
Let c = -5 + 4. Is -5/4 equal to c?
False
Let s be 8/(-6) + 5/(60/4). Is s equal to 3/14?
False
Let v be 4*4/(64/(-12)). Is -7 greater than or equal to v?
False
Suppose 0*a - 25 = 5*w - 5*a, -w + 25 = 5*a. Is w equal to 1/12?
False
Let f = 1903828937194391/23730 + -80228779505. Let r = f + 2223/113. Let u = r - -1/70. Which is smaller: u or 3?
u
Let j = 6 - 3. Let u = 17 - 17. Let l = u - -5. Which is smaller: j or l?
j
Suppose g = -z + 7, -5*z - g + 41 = 2*g. Suppose 3*y - z = 11. Let r = 8 - 1. Is y != r?
False
Let d be (-4)/(3 - (2 - 1)). Let n = 2810 + -8264/3. Let w = n + -56. Does d = w?
False
Suppose -4*c - 69 = 3*o, -4*c - 29 = -o + 44. Let g be ((-6)/(-4))/(c/(-48)). Does 3 = g?
False
Let u = 5.094 + -0.119. Let a = u - -0.125. Let z = a + -5. Which is smaller: -1 or z?
-1
Let f = 0 - 1. Suppose 0*i + 3*i = 0. Suppose i = -3*r, 3*r = -2*x + 7*x + 10. Is x > f?
False
Let r = 65 + -12. Let a = r + -329/6. Which is bigger: a or -2?
a
Suppose -7*r = -4*r + 135. Let v be 4/(-10)*r/12. Suppose 19*s - 14*s = 5. Are s and v nonequal?
True
Suppose -u = -6*u. Let s(a) = -a + 11. Let p be s(7). Suppose 4*i + 0*g = g - 1, 0 = -5*i - p*g + 4. Does i = u?
True
Suppose -23 = -3*d + 4*t, 3*d = t - 1 + 18. Is d at most as big as 25/4?
True
Let q = -19/5 - -71/20. Let o = -53 - -61. Is o >= q?
True
Let u be (-69)/(-46) + 42/(-16). Is u less than or equal to 0?
True
Let r be (1 - 2)*(-18)/(-99). Is 1 less than r?
False
Let b = -0.96 - 0.04. Let r(z) = z**2 - 6*z - 7. Suppose -5*d = -14 - 21. Let a be r(d). Is a smaller than b?
False
Let q = 1 - 0.8. Let b = -12 + 9.8. Let x = b + q. Which is smaller: 1/4 or x?
x
Let i = -2.96 - -0.96. Which is smaller: 2/5 or i?
i
Let h(x) = -x**2 + 6*x - 19. Let i be h(5). Which is bigger: -92/7 or i?
-92/7
Suppose -m + 0 = -p + 2, m + 6 = 3*p. Which is smaller: 3 or p?
p
Let v be -10*20/15*3. Is v > -39?
False
Suppose 10 + 15 = 5*c. Suppose 6 = -4*t + c*t. Suppose -2 = -2*j - t. Is j bigger than -0.1?
False
Let c be (2/(-6))/((-22)/72). Let t be (2/(-6))/(1/(-3)). Is t bigger than c?
False
Let g be 6/9 - (-8)/6. Suppose 1 = -g*a + a. Let z(y) = y**2 - 7*y + 6. Let l be z(6). Are a and l equal?
False
Suppose -3*m + 5 = 2*u, -3*m + m = -u - 8. Let j = m - 0. Are j and 4 unequal?
True
Let p = -1.56 - -0.16. Let u = 0.9 + p. Which is greater: -2/3 or u?
u
Let a be (-1)/4*(-2 + 2). Which is greater: a or -16?
a
Let j be -7 - -3 - (-1 + 1). Let k be j/(-18) + 58/(-18). Suppose 6*s - 4*s = -8. Which is smaller: s or k?
s
Let d(a) = -a**2 + 8*a - 15. Let h be d(4). Let x be 3/(24/14) - 2. Which is bigger: h or x?
h
Suppose -5*c + 5*o = o - 33, -4*o = 8. Is 3/8 bigger than c?
False
Let z =