gger than 1?
True
Suppose 49*m - 53*m - 84 = 0. Let t = -52 - -32. Which is greater: t or m?
t
Let o be ((5 + -7)/(-4))/((-2)/4). Let v be (22/9)/(2/(-57)). Let q = v + 69. Which is bigger: o or q?
q
Suppose 5*o + 5 = 0, w - 3*o = 3*w - 21. Is 12 at least as big as w?
True
Let z = 1/10 - 8/5. Are -1 and z non-equal?
True
Let h be (-32)/14 + 4/14. Let t be 267/(-90) + h/6. Let i = t + 19/5. Which is smaller: 2 or i?
i
Suppose 0 = -0*m - 2*m. Let f be (1 + (-22)/(-8))*1. Let p = f - 13/4. Is p <= m?
False
Suppose -5*v + 25 = 2*i, 0*v + i = 3*v - 4. Let m be (-8)/(-28) - (-31)/14. Are v and m unequal?
True
Let r = -29 - -47. Which is smaller: r or 0.2?
0.2
Suppose 0 = c + c - 26. Suppose 3 = 2*j - c. Let o = 6 - j. Is o at most -4?
False
Let a = -3 - -2. Let p = -6 + -4. Let i = p - -7. Which is smaller: a or i?
i
Let a = -297727/20 - -14882. Let d = a + 19/4. Is d <= 1?
True
Let m = -583757 + 7601155/13. Let a = 948 - m. Let x = 43/39 - a. Are 0 and x unequal?
True
Let b = -2 + 1. Let q = -5.94 + 7.9. Let f = q - -0.04. Is b less than or equal to f?
True
Let t = -4 - -3. Let h be -2 - (-22)/25 - t. Let z = h + -1/75. Are 0 and z non-equal?
True
Suppose 0 = n + 4*a - 7 + 30, 2*a - 16 = 2*n. Which is bigger: n or -10?
-10
Suppose 2*k + 2 = -2*s, 0*s - 3*s = -k + 11. Let v be (-1)/1*(-3 + k). Let r be (2 + -1)*(1 - v). Are -1 and r nonequal?
True
Let o = -0.06 - 1.94. Let j = -2 + o. Let s = j - -5. Do s and 2 have different values?
True
Suppose -2*j = -3*j + 5*j. Which is smaller: 2/445 or j?
j
Suppose -2*j + 40 = 2*j + 2*x, -2*x = -j. Suppose 3*m = j - 2. Which is smaller: m or 3/5?
3/5
Suppose 5*n = -2*o - 7 + 24, 2*n = 2. Let v be (-20)/18*o/(-10). Are v and 2/17 unequal?
True
Let g be (-47)/(-2) + (-5)/(-10). Suppose g = 3*m + m. Is 6 <= m?
True
Let r be 10/6 + 2/6. Let t be (-1 + r)*(-10)/2. Which is greater: t or -3?
-3
Let c = 33692663/186 - 181144. Let a = c + -1/62. Is 1/4 less than a?
False
Let i = -6.1 + 6. Let v = 3.9 + -3.1. Is i at least v?
False
Let b = 500/11 + -2929/55. Is -7 less than b?
False
Let h be 2 + ((-3)/3 - -4). Which is greater: 1/4 or h?
h
Let u be 1 - (-10)/(-4) - 0. Suppose 0 = -5*r + 5, -3*r + 5 - 18 = -4*c. Suppose 5*y = 4*v - c, 0 = 4*y + 2*v - 0*v - 2. Which is smaller: y or u?
u
Let k(b) = b. Let u be k(-1). Let w = -28 - -55/2. Which is bigger: u or w?
w
Let b = 8 - 6. Let i be (b/(-20))/((-8)/(-10)). Which is bigger: i or 1?
1
Let w be (9/(-15))/(21/15). Is 0.1 less than w?
False
Let m(d) = d + 4. Let r be m(0). Let c be 3/(-15)*10/r. Let a = -0.067 - -0.017. Is a greater than c?
True
Let d be 8/10*25/(-2). Let f = -107/3 - -36. Is f less than or equal to d?
False
Let p(u) = -2*u - 9. Let q be p(-6). Suppose -1 = 4*x + q. Let y = 1/247 + -501/1729. Is x > y?
False
Let u = 0.087 - 1.087. Let a be (1/5)/(1 + -2). Which is smaller: a or u?
u
Let l = 1/82 + 813/574. Which is greater: 2 or l?
2
Suppose 0 = -4*i + 20. Let n be -6*(-2)/(-4) + i. Suppose 0 - 4 = n*o. Is -1 smaller than o?
False
Suppose 12*r + 105 = -3*r. Is -11 at least r?
False
Let p(x) = 2*x**3 - x**3 + 1 - 3 + 3*x**2. Let j be -1*6/(-4)*-2. Let f be p(j). Do -3 and f have the same value?
False
Let q = 9 + -13. Let d(c) = -c - 2. Let f be d(q). Are 2 and f non-equal?
False
Let k = 1 - 0. Let f = k - 0. Let b be (-102)/(-48) - (1 - -1). Which is smaller: f or b?
b
Let z(k) = 4*k. Let a(f) = -3*f. Let q(h) = 7*a(h) + 5*z(h). Let m be q(0). Is 1/12 at least as big as m?
True
Let h be (-2)/57*(4 - 1). Let p be (-3)/4 - 15/(-20). Which is greater: p or h?
p
Suppose -3*v + 0 - 3 = 0. Let r be (-1)/v*(-1)/(-4). Which is smaller: 1 or r?
r
Let a be (-2)/(-3)*-3*-1. Suppose -2*r + 7 = k, 2*r = -5*k - r + 14. Are k and a nonequal?
True
Let g be 1/2 - 0/2. Let o = 6 - 1. Suppose 2*m - 2 = -2*y, o*m = -0*m + 5*y - 35. Which is greater: m or g?
g
Let h(g) = g**3 - 4*g**2 + 1. Let t = -2 + 6. Let x be h(t). Is -0.1 at least as big as x?
False
Let s be (2/7 - -2) + -2. Let a(u) be the first derivative of u**4/4 + 5*u**3/3 + 3*u**2/2 - 4*u - 1. Let c be a(-4). Is s equal to c?
False
Let g(d) = d**3 - 5*d**2 - 4*d - 7. Let v be g(6). Suppose 0 = -v*b + b - 8. Let t(l) = l - 11. Let k be t(9). Is k != b?
False
Let f(o) = -o - 8. Let t(a) = -a**3 - 4*a**2 + 7*a + 3. Let b be t(-5). Let v be f(b). Which is bigger: v or -3/2?
v
Let j = -36 - -7. Does j = -29?
True
Let g(m) = m**3 + 9*m**2 - 11*m - 7. Let w be g(-10). Let c = -10 + 15. Is w less than or equal to c?
True
Suppose -25 = -5*q, -3*u = -3*q + 7*q + 1. Let h = u + 4. Let k be -2 + (-3)/(3 + 0). Is h greater than or equal to k?
True
Let p = 0.27 + -0.27. Is -15 < p?
True
Let n be (633/18)/(2/(-3)). Let w = 53 + n. Which is smaller: -2 or w?
-2
Suppose -5*y - v - 74 = 74, 2*y + 4*v = -52. Let h(x) = -x + 4. Let n be h(7). Let l be (n/y)/((-4)/(-10)). Which is bigger: l or 0?
l
Let r = -94/13 + 2700/377. Let t = 0 + 0. Is t at least as big as r?
True
Suppose i + i = 0. Suppose -p + 2*x - 11 = i, -3*p = -7*p + 5*x - 29. Is p > -1?
False
Suppose 7*p - 5*p = 2. Suppose -f - o - 13 = 4*o, 0 = -5*f + 3*o + 19. Let s be -1 - f - (-66)/20. Is p equal to s?
False
Let w = 6 + 15. Suppose 2*b = 9 + w. Let n = b + -29/2. Are -0.1 and n non-equal?
True
Suppose -2 + 3 = -y, -4*y = 3*r - 2. Suppose 0 = 2*c + 4 - r. Which is greater: -0.2 or c?
-0.2
Suppose 15 = x + 4*x. Suppose -5*i - f - f = 99, 5*f = -x*i - 48. Let g be (-1)/1 + (-7)/i. Is -1 > g?
False
Suppose 3*k + i + 11 = -0*i, -4 = 2*i. Is 2 < k?
False
Let y = 6 + -4. Let h be -1 + 10/36*y. Which is greater: h or -1?
h
Let w = 1 + -1. Let i = w + 2. Which is smaller: i or -0.3?
-0.3
Let f = 301/5 - 60. Is f greater than -21?
True
Let x be -2 - (3 - (3 - 0)). Let y be 8*9/(-30) - x. Is -13 at most as big as y?
True
Let q be (-20)/70 - 10/14. Is q less than -4/15?
True
Let q = 58 + -59. Let l = -0.4 - -0.3. Which is bigger: q or l?
l
Suppose -6*m + m = -2*m. Do 2/15 and m have different values?
True
Suppose 4*q + 97 = 3*i - 30, 5*i = 2*q + 207. Is 41 smaller than i?
False
Let h = -791/3 - -260. Which is bigger: -3 or h?
-3
Let z = 88 + -69. Which is smaller: z or 21?
z
Let f(z) = -5*z. Suppose 2*w + 0*w + 5*p + 27 = 0, 5*p + 29 = -4*w. Let o be f(w). Is 4 <= o?
True
Let y = 0.5 + -0.48. Let t = 1.98 + y. Is t at least 0?
True
Let n be 2/((-8)/(-6) + -2). Let j be (-2)/(-2) + 3/n. Let c = 2 + -3. Do j and c have the same value?
False
Let a = -37 + 53. Let d = 23 - a. Let i(b) = b**3 - 8*b**2 + 7*b + 1. Let r be i(d). Which is greater: r or 2?
2
Let f be (-4)/(-18) + (-58)/18. Is -5 > f?
False
Let c = -42 + 39. Which is smaller: -11 or c?
-11
Let j = -82/7 - -12. Let z(m) = m - 2. Let q be z(1). Which is greater: q or j?
j
Let i(s) = s - 5. Let u be i(6). Let x be 15/(-6)*-2 - 2. Which is greater: u or x?
x
Let o = -6 - -1. Suppose -i = -0 + 5. Is i not equal to o?
False
Let d be (-15)/9 - 21/(-14). Is 2 bigger than d?
True
Let h = -0.36 - -0.26. Let y = -0.3 - -0.5. Is h >= y?
False
Let a(l) = -l**2 - 5*l + 2. Let x be a(-5). Let j be (x/5)/(7/(-15)). Let i(k) = -6*k - 2. Let d be i(0). Is j != d?
True
Let n = 1 + -5. Suppose 4*a + 0*a - m - 11 = 0, 4*m - 4 = 4*a. Let o(d) = -d**3 + 4*d**2 - d + 2. Let h be o(a). Is n not equal to h?
True
Suppose -2*n - 3 = n. Let x(d) = d**3 + d**2 + d. Let k be x(n). Which is greater: k or -7?
k
Let q = -384 + 5758/15. Is -1 at most as big as q?
True
Suppose 6*g - 4*g = 2. Is g greater than or equal to -0.1?
True
Let q be 198/201 + (2 - 3). Which is smaller: 0 or q?
q
Let c = -92876/69 + 1346. Is -1 at most as big as c?
True
Let q(i) = -i**3 - 8*i**2 + 10*i + 9. Let u be q(-9). Suppose u = -5*b + 4*b - 6. Which is bigger: b or -5?
-5
Let g be (-28)/(-70) + ((-18)/(-10))/3. Is g less than or equal to -19?
False
Let j be (-6)/9 - (-2)/(-3). Let x = 26.1 + -26. Is x < j?
False
Let l(k) = k + 12. Let x be l(-8). Suppose 5*u - 6 = -p, 5*u + 4 = -x*p + 13. Which is smaller: u or 3/2?
u
Let x(j) = -153*j**2 - 2*j + 1. Let s be x(1). Let m = s + 100. Let w be -4*-1*(-3)/m. Is w at most as big as 0?
False
Let m = 0.277 - 3.737. Let h = m + 0.56. Let n = -3 - h. Is -1/3 < n?
True
Let b = -0.092 - -8.092. Which is greater: -4 or b?
b
Let t(f) be the third derivative of f**6/120 - 3*f**5/20 + 7*f**4/24 + 7*f**3/6 - 8*f**2. Let h be t(8). Let j =