e (-2)/(-3) - 1/78. Let w = y + j. Is 2 not equal to w?
True
Let o(a) = a**3 + 20*a**2 - 20*a + 20. Let p be o(-21). Let z be 451/(-35) + (-3)/(-3). Let x = z - -58/5. Which is greater: p or x?
x
Let z(w) = w**3 + w. Suppose -2*f + i = 4*i + 5, 19 = -5*f - i. Let n(b) = 5*b**3 + 2*b - 1. Let h(p) = f*z(p) + n(p). Let o be h(-1). Is o != 1/2?
True
Let k(r) = -2*r**2 + 2*r - 1. Let f be k(1). Let i(o) = -10*o - 1. Let w be i(f). Which is bigger: 10 or w?
10
Let r be 6*(-5)/(-180) + 10/12. Which is smaller: 3/20 or r?
3/20
Suppose 4*c = -j + 25, -4 + 29 = 4*j + c. Let i = 770 - 768. Is i less than j?
True
Let r(j) = j**2 - 5*j - 5. Let y be r(6). Let w be (-2002)/(-18) + 32/(-24). Let k = -110 + w. Is y at most k?
False
Let z be (-66)/154 + (-34)/(-14). Is 0.1 >= z?
False
Let f = 0 + 0. Let p = -8 + 9. Let v be (0 + p)/((-1)/(-1)). Which is greater: f or v?
v
Let i = 279/4165 + -2/245. Suppose -3*t = -3*m + 2*t + 7, 4*m - 3*t - 2 = 0. Do m and i have the same value?
False
Let c = -11 + 11. Do 2/19 and c have different values?
True
Let k = -9 - -44. Let x = k - 171/5. Is x at least as big as 2?
False
Let p = -1.051 + 0.051. Which is bigger: -1/16 or p?
-1/16
Let a(j) = -j + 12. Let w be a(9). Suppose 8 = 3*g + d, 0*g = -g - w*d + 16. Is 1 at most as big as g?
True
Let b be ((-2)/6)/(5/15). Let i(m) = 3*m**2 - m. Let u be i(b). Is u at most as big as 4?
True
Suppose 5*s + 15 = 5*t, 5*t - 4*s - 7 = -s. Let a be 14*(1 - t/(-2)). Which is bigger: a or 6?
a
Suppose 0 = 5*s - 5*a - 1655, -1288 = -4*s - 5*a - 0*a. Let j be 6/33 - s/165. Is -1 at least j?
True
Let i(d) = -3*d - 8. Let b(k) = 13*k + 33. Let c(a) = 2*b(a) + 9*i(a). Let t be c(-6). Is t greater than or equal to -2/9?
True
Let q = 5 + -4.7. Let u = 0 + -0.1. Is u not equal to q?
True
Suppose 17 = -2*n - 3*r, 3*r + 6 = 5*n - 4. Is -3/19 < n?
False
Let b(p) = p**2 - p - 1. Let s(i) = -7*i**2 + 9*i + 8. Let r(j) = 6*b(j) + s(j). Let t be r(3). Let a = t - 4. Is -2 >= a?
True
Let z be 45/(-12) - (-1)/(-4). Let b be z/(-2 + -2 + 2). Suppose -5*o = 10, 18 = 4*j - 7*o + 2*o. Is b < j?
False
Let v = 2533/287 + 9/287. Which is smaller: 9 or v?
v
Suppose 3*m - h + 4 = 0, 0 = 5*m - 4*h + 9*h + 40. Suppose 5 = -5*q, -3*n - 56 = -0*q + 2*q. Let c be 33/n - 4/6. Is m less than or equal to c?
True
Suppose 3*l = 2*l - 29. Is l at most as big as -29?
True
Let u = 10 - 16. Let m = u - -8. Is 0 > m?
False
Let w = 3 - 2.3. Let m = 3.7 - w. Let t = 2 - m. Do t and 2/3 have different values?
True
Let o = -0.29 - 0.11. Let b = 21 + -85/4. Which is smaller: b or o?
o
Let j(x) = -x - 12. Let p be j(-10). Which is bigger: p or 0?
0
Let t = 5 - 7. Let x = -1/11 - -31/99. Are x and t nonequal?
True
Let t = -41 - -40. Which is bigger: 1/31 or t?
1/31
Let k(p) = -p**3 + 6*p**2 + 3*p - 12. Let n be k(6). Suppose -n = 2*j + 2*j - 2*b, 4*b - 12 = 0. Do -4/17 and j have the same value?
False
Let p be (4/15 - 12/(-30))*12. Is 1 equal to p?
False
Suppose -2*b - 2*g = 3*b - 162, -g - 4 = 0. Does 34 = b?
True
Suppose -p - 154 = -5*k, 2*p - 126 = -5*k + k. Is 30 > k?
False
Let p(j) = -j**3 + 13*j**2 + 15*j - 15. Let z be p(14). Which is greater: -3/10 or z?
-3/10
Let h = -0.025 - 0.045. Is h greater than 2?
False
Let j = -13 + 12. Let b(t) = t - 2. Let s be b(2). Suppose s = 2*n + h, -3*h + 10 = 4*n - 3*n. Which is bigger: n or j?
j
Suppose -4*x = -35 - 21. Let y be 2 + -1 + (-8)/x. Which is smaller: -1 or y?
-1
Let c = -0.5 - 1.5. Let p = 3.93 - 4.1. Let z = -0.03 + p. Which is bigger: c or z?
z
Suppose -2*h = -2 - 8. Let k = -4 + h. Which is smaller: k or -2/9?
-2/9
Let s = 734661460/5933389 - 2/539399. Suppose -5*o - 171 = 449. Let x = o + s. Which is bigger: 1 or x?
1
Let p = 517/4 + -129. Which is bigger: p or 0?
p
Let t(x) = x**2 + 6*x + 9. Let b be t(-6). Let n be ((-2)/6)/(3/b). Which is smaller: 2/11 or n?
n
Suppose -4*z + 2*w = -w - 12, -2*z + 5*w = -20. Let j be z*(-3)/9 - -1. Let a be j/(-2 - (-2 + -1)). Which is bigger: a or 2?
2
Let u = -23 - -24. Is u at most -1/68?
False
Let l be (-6)/(-33) + 1330/(-55). Suppose -161 = 5*y + 8*j - 4*j, 0 = -y + 3*j - 36. Let k be y/l + 2 + -3. Which is smaller: -1 or k?
-1
Let s be 29/84 - (-1)/(-4). Suppose -5*y + y - 4*y = 0. Is s greater than or equal to y?
True
Suppose -3*w - 18 = x + 2*x, -4*w - 12 = 0. Let b = x + 3. Let t be ((-2)/4)/(1/(-2)). Which is smaller: t or b?
b
Let c be (-1 - 0) + 33/(-11). Which is greater: c or -2?
-2
Suppose -n - 35 = 5*z, n + 7 = -z - 0*n. Let d = 7 + z. Which is smaller: d or -2/3?
-2/3
Let g be (-18)/(-15)*11/(-33). Let c = 0.6 - 0. Are g and c equal?
False
Suppose m + 3 = 2*c, 2*c + m - 5*m - 18 = 0. Is -4/13 < c?
False
Suppose 0 = 3*i + p + 2, -4*p = -3*i - 2*i + 25. Is 3/7 equal to i?
False
Let x = 1 + 0. Let a be (x/(-2))/(-3 + 2). Suppose -5*t - 3*z - 8 = 0, 5*t = 4*z - 3 + 2. Is a smaller than t?
False
Let v = 73.29 + -73. Let k = 0.01 + v. Let y = k + -0.4. Is y greater than or equal to 0.2?
False
Let m(t) = -9*t + 14. Let d be m(3). Is -3 not equal to d?
True
Let z be 3/(5/(-8) - -1). Suppose 2*c + 2 + z = 0. Which is greater: c or -4?
-4
Let c = 4 + -15/4. Suppose -3*s + 35 = -5*w + 2*s, -2*w - 19 = -3*s. Let i = 3 + w. Is c greater than or equal to i?
False
Let o be (-6)/(-4) - (-3)/(-6). Suppose x + 3*b + o = 0, -x + 2*b + 14 = -3*x. Let a be 1 - 4/x*-2. Which is smaller: 0 or a?
0
Let o = -23 + 23.25. Let z = o + -0.45. Do -5 and z have different values?
True
Let l(s) = s**3 - 11*s**2 + 7*s + 16. Let i be l(10). Are -14 and i unequal?
False
Let w = -3 - -6. Let y be ((-4)/6)/(w/9). Let k be y - (3/(-3) - 2). Does 2 = k?
False
Let k(z) = z**3 + 3*z**2 - z - 3. Let r be k(-3). Let y be -1*(r + 3/6). Suppose -5*n - 5 = 5. Do y and n have different values?
True
Let m be 0*(2 + -1 + -2). Let r = -2 - m. Let v(j) = -j - 7. Let x be v(-6). Which is greater: r or x?
x
Let o = 61 - 73. Which is bigger: o or -10?
-10
Let o = -10 + -4. Let x = 13.8 + o. Which is greater: x or 0.3?
0.3
Let q be 15/(-9)*(-2)/(-5). Suppose 0 = -2*g + 3 + 3, -m + 4 = 2*g. Is q <= m?
False
Suppose 2*k - 3 = 5. Suppose -5*g + 5*m - 5 = -30, -k*g - 25 = 5*m. Let b = -1133/15 - -229/3. Which is smaller: g or b?
g
Let v = -52 + 37. Let d = -22 - v. Which is greater: -6 or d?
-6
Let y = 42 - 167/4. Which is smaller: 0.22 or y?
0.22
Let r(m) = -m**3 + 5*m**2 - 5*m + 4. Let c be r(4). Let k be (-4)/(-10) - 4/10. Let v = k - -1. Do c and v have different values?
True
Suppose -1 = 4*o + 7. Let p be (6/1)/(3/o). Suppose 0 = 4*g - g + 9. Which is greater: g or p?
g
Let p(x) = 2*x**2 - 7*x + 2. Let w be p(3). Which is bigger: w or 6/17?
6/17
Let a = 0.2 + 1. Let v = -1 + a. Let r = -0.3 + v. Which is smaller: 2/9 or r?
r
Let x = 23 + -16. Suppose -4 + x = -d. Which is smaller: -1 or d?
d
Suppose 1 - 11 = -5*j. Let a be 2/24 + j/(-6). Which is smaller: 0 or a?
a
Let c be ((-3)/(-1) - 2)*-2. Let a(y) = y + 1. Let t be a(-4). Which is bigger: t or c?
c
Let x = 2.9 - 3.9. Is 5/4 at most x?
False
Let a be -1 - 1/1 - (-324)/54. Suppose -3 = j - t, 2*j - 5*t = 5*j - 31. Is j less than a?
True
Let s = 3 + -5. Suppose -2*h = -6*h - 20. Let j = h + 4. Is s at least as big as j?
False
Let o = 2 - 3. Let j = 0 + o. Let d be (5 - 1)*2/12. Is j at least as big as d?
False
Let t = 1 + 0. Suppose 6 = -l + t. Let s = 359.1 - 359. Which is smaller: s or l?
l
Let o = 0.3 - 0. Let w = 4 + -3. Which is bigger: w or o?
w
Let x = 5 - 52/11. Which is bigger: 0 or x?
x
Let g(k) = -5*k**3 + 0*k**3 + k**3 + k**2 + k**3. Let y be g(1). Which is smaller: y or -3?
-3
Let o = 600 - 1763/3. Suppose -k = 4 - 3, -4*k - 64 = -5*s. Let j = s - o. Is j bigger than -1?
True
Let h = 251 + -2261/9. Is 3/10 greater than or equal to h?
True
Suppose -3 = -0*y + y. Let a = y + 7/2. Which is greater: 1 or a?
1
Let x be (-3)/(-6 + (-9)/(-1)). Let t = 3 + -4. Is x smaller than t?
False
Let h = -36 - -36.23. Let l = -0.43 + h. Is l bigger than 2?
False
Suppose -5*g + 4*b = -46, 0 = -g - 3*g + b + 28. Let r be g/(-4)*(-20)/195. Are 1 and r unequal?
True
Suppose -15*a = -14*a - 4. Suppose a*c - 20 = -0*c. Which is smaller: 4 or c?
4
Let l = 1.9 + 0.1. Which is bigger: l or -0.05?
l
Suppose 5*a + 3*d = 10, -4*d - 6 = -2*a - a. Let x = a - 4. Let y be (-5)/(-14) - x/(-4). Which is bigger: 0 or y?
0
Let r = 0 - 0. Let q =