 k?
k
Suppose -5 - 1 = g. Let l be g/(-18) + 44/(-6). Which is greater: -6 or l?
-6
Suppose 0*n - 4*n + 16 = 0. Let c = n + -4. Is c bigger than 2/7?
False
Let j = 0.3 - 0.8. Let a = -8 + 8.4. Let x = j + a. Is x at least -2/3?
True
Let q be (6/(-9) - 1)*-6. Let m = q + -5. Suppose 3*x - 2*g + 10 = -x, g = m*x + 17. Do x and 0 have the same value?
False
Suppose v - 17 = -5*f, -3*f - 3 = 5*v - 0. Let p be -3 + (1 + -2 - v). Which is greater: -2/5 or p?
-2/5
Suppose 2*c = k - 2*c - 2, 4*k = -4*c + 8. Suppose 5 = k*m + 1. Let n = -4/41 - -143/205. Is n smaller than m?
True
Let m = -107 + 533/5. Which is bigger: 0.1 or m?
0.1
Let l = -31 - -28. Let w be (3/(-24))/(l/(-20)). Let y = -1 + 1. Is y > w?
True
Suppose -4*l - 12 = 4*v, -2*l - 14 = -0*v - 2*v. Is v smaller than 0.1?
False
Let m = 123/14 - 17/2. Is 0 greater than m?
False
Let x = 1 - -1. Suppose -4*h = -2*h - x. Let o = -17/2 - -9. Which is smaller: h or o?
o
Suppose 2*z - 10 = -3*z. Let g be 1*3 + 0/3. Which is smaller: z or g?
z
Let n be 28/45 + 6/(-27). Let p(u) = u**3 - 8*u**2 + 7*u + 5. Let m be p(7). Let w = m - 5. Is n equal to w?
False
Let z = -14 - -3. Let b = 16 + z. Which is smaller: b or 4?
4
Suppose -2*o - 4 = -3*o. Suppose 4*w + o = 16. Suppose 4*v = 7 - w. Which is bigger: v or 2?
2
Suppose 0 = 4*s - 6*s - 6. Let m be -2 - -1 - (9 - 3)/(-6). Is s not equal to m?
True
Let b = -8/21 + 32/21. Let c be (-28)/(-16) - 2/(-8). Is c smaller than b?
False
Let j = -61 - -13. Is 1 at least j?
True
Suppose -5*c = -4*l - 21, 10*l = 14*l + c - 9. Suppose -4*w + 5*f - f = 12, -w - f + 7 = 0. Which is bigger: w or l?
w
Let j be (-1 + (-6)/(-2))/(0 + -1). Is -7 < j?
True
Let k be 0 + 0/2 + -2. Let z = k - -4. Suppose -2*v = -5 + 3. Which is greater: z or v?
z
Let j be 415/1085 - (-4)/(-14). Which is smaller: j or -1?
-1
Let m = 57 - 91. Is -33 at most as big as m?
False
Let v be (2 + 19/(-10))*-382. Let f = 38 + v. Suppose -5*b = -0*b + 3*h + 13, 5*h = -b - 7. Is f greater than b?
True
Let y(t) be the first derivative of -t**4/4 - 5*t**3/3 + 7*t**2/2 + 4*t - 3. Let l be y(-6). Let o be -1*(0 - l) - -2. Which is smaller: o or 4/5?
o
Let m = 0.8 + -0.9. Let p = -86 + 89.9. Let z = p + 0.1. Is z <= m?
False
Let z be (-84)/(-98)*(-1)/3. Let j = 2 + -2. Let k = -0.1 - j. Is k < z?
False
Let v be (-1 - (-1 + 0))/(-2). Suppose v*f = 5*f. Suppose 0 = -f*y - 3*y + 3. Is y at most as big as 0?
False
Suppose 16 = 4*i - 2*i. Let w = i - 5. Let k = -4 + w. Are 1 and k nonequal?
True
Let t(d) = -5*d. Let x be t(1). Is -21/4 > x?
False
Suppose 6*p - 3*p = 9. Suppose -12 = -j + p*j. Let x be (j/(-4))/(6/2). Which is greater: x or -3?
x
Suppose -4*a = -3*y - 4, -4*y = 4*a - 3*a + 18. Which is smaller: a or -8/13?
a
Let p be 2/(-7) - ((-1482)/(-252) - 5). Is p greater than or equal to -2?
True
Suppose 7*k = 3*k - 56. Do -2 and k have the same value?
False
Suppose -5*g - 39 = -h - 3*h, 0 = -4*g - 3*h - 25. Is g less than or equal to -6?
True
Let l be ((-2)/(-20))/(1/4). Let g be (-18)/12*(-2)/(-3). Which is smaller: g or l?
g
Suppose 0 = 2*q - 0*q - 48. Suppose 5*a + q = w, a = 4*a - 4*w + 28. Let i(h) = -h**2 - 3*h + 7. Let f be i(-5). Which is smaller: f or a?
a
Let d be (-12)/(-20) + 6/(-10). Is d at least as big as -5?
True
Let i(q) = q + 7. Let o be (8/(-6))/(10/45). Let v be i(o). Let d(h) = -h + 2. Let t be d(2). Is t != v?
True
Suppose 0 = -22*f + 24*f. Let g = -97 + 676/7. Is g equal to f?
False
Suppose -56 = -5*d - 16. Suppose -a = a + d. Which is smaller: -2 or a?
a
Let s(u) = u**2 - 6*u + 5. Let r be s(5). Suppose 8*f - 3*f - 20 = r. Suppose -14 = f*p + 14. Is p at most -7?
True
Let v be (12/(-28))/(6/63). Let r be -1 + -4 - (-2 - -1). Is v greater than or equal to r?
False
Let m be (21 + 0)/((-15)/10). Let y = m + 14. Let j = 3/22 + -1/2. Is y != j?
True
Let x = -2 - -3. Suppose 3*l = -8 - x. Let v = 10 + -13. Is l < v?
False
Let l be 30/(-2)*(-3)/99. Let m = 57/77 - l. Is m < -0.3?
False
Let d = 1 + -1.05. Let l = -7.15 + 7. Let q = l + d. Is -0.2 at least q?
True
Let u = 7 + -4.1. Let q = 3 - u. Let n be (-3 - -4)/(1/3). Is n bigger than q?
True
Let t(m) = m**3 + 4*m**2 + 3*m. Let c be t(-2). Let y be 4 - (1 + -2 + 3). Is y greater than c?
False
Suppose -m = 5*p - 6 - 10, 5*m - 11 = -2*p. Suppose -2*f = -5*l + 2*l - 4, -l + 17 = 3*f. Is p less than or equal to l?
False
Let q = 1 - 2. Let b be q - -2 - (-20)/(-14). Let m be 1/11 - (-20)/(-220). Which is greater: b or m?
m
Let w = -1 + 0. Which is smaller: w or -0.2?
w
Suppose -4 + 0 = -2*j. Suppose 0 = -j*i + 2*p + 5 - 15, 25 = 4*i + 5*p. Let y = i - 1. Is -1/2 less than or equal to y?
False
Let k(r) = 6 + 0*r**2 - 5*r**2 + r**2 - 1 - r**3. Let y be k(-4). Let f be 2/(-1)*y/2. Does -1 = f?
False
Let q(r) = r**2 + 5*r + 5. Let x be q(-4). Let a be 2/(2/x*-1). Which is bigger: 0 or a?
0
Let g = -1/3 + -4/15. Let l be 3/(-18) + (-2)/(-12). Which is greater: g or l?
l
Let w = -27 - -11. Let d be w/72 - 23/(-63). Suppose -o + 6*o = 0. Is o at least as big as d?
False
Let i be (48/(-1))/3*-5. Let g be 4/10 - i/75. Is g greater than -1?
True
Let v = -19 + 20. Let r = v + -15/16. Which is bigger: 1 or r?
1
Let c(b) = -6*b**2 + 7*b**2 + 6*b**2 + 6 - b**3 - 7*b. Let x be (-2)/(5/3 - 2). Let j be c(x). Which is smaller: j or 1?
j
Let h(l) = l**2 + 13*l - 17. Let i be h(-14). Let p be i - (1 + -3 + -1). Is -1/20 at least p?
False
Let t(q) = 5*q. Let b(r) = -14*r. Let f(l) = 6*b(l) + 17*t(l). Let m be f(0). Let i be ((-3)/21)/(1/(-2)). Which is bigger: i or m?
i
Let i(m) = m**3 - 9*m**2 + 8*m + 1. Let c be i(8). Suppose w + c = 3. Let n be w/(-2) - (-11 + 2). Which is bigger: 7 or n?
n
Let f = -14389/28 - -514. Are -1 and f equal?
False
Suppose 0 = -4*d - 0*d + 124. Let v = d - 125/4. Is -1 less than or equal to v?
True
Let j be ((-2)/(-4))/((-2)/(-4)). Let x = -31/8 - -4. Is j greater than or equal to x?
True
Let p be (-1)/(-3 + (-150)/(-51)). Suppose -4*q = -2*n - 49 + p, -4*n = 4*q - 56. Let i = q + -10. Which is smaller: i or 1/17?
i
Let m = -14 - -14.1. Let h be -2*(0 + 3/(-8)). Are h and m non-equal?
True
Let y(t) = t - 2. Let i be y(-4). Let m = i - -12. Suppose 0*j + 27 = 4*f - j, 3*j - 21 = -5*f. Is f <= m?
True
Let v = 3 + -2. Let y be (2/(-32))/(14/(-28)). Do v and y have the same value?
False
Let t = -114 + 4829/42. Let j = t + -5/6. Which is bigger: j or -1?
j
Let o be (-10)/126 + 1/(-7). Suppose -4*u = j - 3, 4*u - 1 = -3*j - 0. Which is bigger: o or u?
u
Suppose -6*p + 3*p = m + 46, -2*p - 30 = m. Let w = -22 - p. Let g be w*(-1)/((-42)/4). Which is smaller: 1 or g?
g
Let l = -3 + 16. Are l and 14 nonequal?
True
Let m = 9 + 6. Let f be (-10)/m + (-1)/3. Let t = 139 - 559/4. Which is smaller: f or t?
f
Let f(n) = -2*n - 18. Let j be f(-9). Let x = -7889/22 - -715/2. Which is greater: x or j?
j
Let z = 4 + -26. Which is smaller: -24 or z?
-24
Let b be -6 - (-1 - -1) - -3. Is b smaller than -5?
False
Let l be ((-6)/8)/((-8)/(-32)). Is l less than or equal to -2?
True
Let x = -39 - 11. Let f = x + 848/17. Which is smaller: f or -1?
-1
Let g = -3 + 7. Suppose 0 = -27*r + 32*r - 25. Are g and r non-equal?
True
Let k = 3 + 7. Let d(o) = o**2 - 11*o + 11. Let x be d(k). Suppose -3 = -m + 2*m - 3*i, 4*i = m + 4. Is x >= m?
True
Let s be (26/65)/(1 + -15). Is s <= -1?
False
Suppose d - 3 = -4. Let x(a) be the second derivative of a**5/20 - 2*a**4/3 + 7*a**3/6 - a**2/2 + 2*a. Let v be x(7). Is v less than d?
False
Let q be (-4)/(-4 - -2)*2. Let l be 136/96 - 3/q. Do l and -0.1 have the same value?
False
Let g = -0.16 - -0.26. Let x = g + 1.9. Which is smaller: x or -1/5?
-1/5
Let b = 2.4 + -1.4. Let x = b + 0. Is x smaller than -2?
False
Let i(a) = -a - 3. Let v be i(3). Let l be (10/5)/(v/(-3)). Let o = -253/210 - -15/14. Which is greater: o or l?
l
Let m = -2.97 + -0.03. Which is greater: m or 0.1?
0.1
Let a = 0.2 + -0.1. Suppose -5*u = -3 - 2. Let q be 2 + u + 3/(-1). Which is smaller: a or q?
q
Suppose 2*d = d - 3*u - 78, 150 = -2*d - 4*u. Let c be d/(-153) + 2/(-6). Suppose -12 = -3*w + 3, -4*o - w = -1. Which is smaller: c or o?
o
Let v(t) = t**2 - 23*t + 19. Let y be v(22). Is -13 less than or equal to y?
True
Let t = 25.2 - 13.8. Let c = t - 10. Is c smaller than 0?
False
Let i(a) = a**3 + 6*a**2 + 5*a. Let x be i(-5). Suppose 2*s - 6*s = x. 