u) = u - 1. Let k be p(c). Let s = 5 - k. Are s and 1 non-equal?
False
Suppose -20*y + 3 = -23*y. Which is smaller: 1 or y?
y
Let c = -1 + 0.7. Let s = -0.01 - 0.39. Let i = c - s. Are i and 2 nonequal?
True
Suppose -5 + 13 = 2*z - 3*m, 0 = 5*z - 3*m - 11. Is z > -1?
True
Let h = -28 + 19. Let x be (-10)/14*(24/10)/6. Is x greater than or equal to h?
True
Let k = 5812 + -2260866/389. Is 0 > k?
False
Let n(v) = -v + 1. Let r be n(5). Let d = -22 - -43/2. Is d greater than r?
True
Let t = -193 + 771/4. Which is greater: t or -42?
t
Let g be (0 + 1)/2*0. Let k(c) = c**2 - 9*c + 8. Let j be k(8). Let s = g + j. Is s at least as big as 0?
True
Let p be 1/2 + 42/(-12) + 4. Let g = -261 + 6523/25. Are p and g equal?
False
Let x(q) = -q**3 - 5*q**2 + 3*q + 15. Let p be x(-5). Is p at least 2/19?
False
Let p = -19 - -17.88. Let c = p - -0.12. Which is bigger: 4 or c?
4
Suppose r = -3*r. Let s be (4/(-8))/(2 + r). Which is bigger: s or 1?
1
Let w be -1 - (-26)/10 - 1. Suppose 5*i = -8 + 3. Let x be i/3 - 6/(-18). Which is smaller: x or w?
x
Let w = 35/2 + -17. Suppose -m = -2 - 4. Suppose 0 = -m*p + p. Which is smaller: w or p?
p
Let b = -6.22 - 0.28. Let a = b - -6. Which is bigger: 1 or a?
1
Let n = 50 - 56. Which is smaller: -14 or n?
-14
Let r be (-3)/2*6/(-9). Suppose -q + 6 = -3*k, 2*q + 0 = -2*k - 12. Let i be (1/(-3))/(1/k). Are i and r non-equal?
False
Suppose 12 = -p + 5*p. Let u be 20/4 - p*1. Is u < 0?
False
Suppose 39 = 4*j - 5*r, -5*r = j + 6 + 3. Suppose 3*b - 27 = -3*i, -6*b + 3 = -i - 3*b. Is i < j?
False
Let h = 0.1 + -0.1. Let u = 290.2 - 290. Is h greater than u?
False
Suppose -2*p - 4*w = -3*w + 10, 5*p = -w - 22. Let a = -4 - p. Suppose q = -1 - a. Which is smaller: q or -1/7?
q
Suppose -14*m + 1 = 113. Which is smaller: m or -5?
m
Let i = 22 + 7. Suppose -a = -j - 1 + 4, -2*j = 5*a + i. Which is smaller: j or -1/2?
j
Suppose 6*j - 19 - 5 = 0. Which is smaller: 1/11 or j?
1/11
Let c(h) = 2*h - 6. Let y be c(5). Suppose -l = 2*t + y, -4*t + l = -4*l + 22. Let v(z) = -z**3 - 4*z**2 - 3*z. Let w be v(-2). Which is smaller: t or w?
t
Let s(m) = 4*m**3 - 2*m**2 + m. Let u be s(1). Which is bigger: 4 or u?
4
Let p be 3 + (18/(-3) - -2). Let r = -66 - -318/5. Is r < p?
True
Let k be (0 - 2)*2/6. Which is greater: -2 or k?
k
Let p be 198/(-88) - 21/(-12). Let l = 3 - 2. Let d = 3 - l. Is p not equal to d?
True
Let w = 0.12 + -11.12. Let g = 11.1 + w. Let m = 0.13 - 6.13. Which is smaller: g or m?
m
Let a = -245.8 - -246. Let h = -0.1 + 0. Is a greater than h?
True
Let z = -52 + 51. Let f be (-3)/20 - (-6)/15. Is z smaller than f?
True
Suppose 5*c = 1 - 6. Which is smaller: -4 or c?
-4
Suppose -3*d = -0*d. Let v = -4 - d. Which is greater: v or -5?
v
Let w(d) = d + 8. Let o be w(-7). Let a be (-136)/6 - (0 - -1). Let b = a - -23. Is o equal to b?
False
Let s = -1034/3015 - -20/67. Which is smaller: 1 or s?
s
Let x = -0.15 + 0.2. Let i = 0.036 + 1.914. Let g = i + x. Which is bigger: g or 2/5?
g
Let i be (1 + -3)*(-1 + (-3)/6). Which is greater: i or 5?
5
Let k(p) = -p**3 - 8*p**2 + 10. Let j be k(-8). Let i be (-534)/940 - (-6)/j. Let x = i - -149/1222. Which is smaller: -1 or x?
-1
Let h be (192/(-20))/((-3)/(-2)). Is h at most as big as -7?
False
Let a be 2/7 - 10/(-14). Let h be 6/(0 - 28/86). Let o = h - -19. Which is smaller: o or a?
o
Suppose -20*x = -8*x - 516. Which is smaller: x or 40?
40
Let g(x) = 2*x**2 + 3*x. Let f be g(-2). Let d be (-99)/27 + f*1. Which is smaller: d or -2?
-2
Let y = -3767/6969 + 10/2323. Let v = y - 26/23. Which is smaller: -1 or v?
v
Suppose 3*k + 778272 + 530604 = 0. Let w = k + 148339149/340. Let b = -1/68 + w. Which is smaller: 1 or b?
b
Let l = 0 + 1. Let g = 4 - 4. Which is bigger: l or g?
l
Let k = -2 + 0. Let a be (2/(-6))/((-1)/3). Let p(v) = -4*v**3 + v**2 - v + 1. Let l be p(a). Is l smaller than k?
True
Suppose -s - c = -5*c - 14, 14 = 4*s + 5*c. Let y = 13 + -14. Let t be (y/(-3))/((-11)/(-198)). Is s greater than or equal to t?
True
Suppose 4*h + 50 + 4 = 5*u, -u + 4*h = 2. Is 14 != u?
False
Let s = 25 - 35. Which is smaller: s or -9?
s
Let d be (-24)/(-27) - (-2)/(-6). Let i = 8584 + -308995/36. Let v = d - i. Is 0 bigger than v?
True
Suppose -5*y + y - 132 = -4*u, 2*y + 8 = 0. Which is greater: u or 28?
u
Suppose -3*x + 14 - 8 = 0. Are x and 2 non-equal?
False
Let v(y) = -y + 1. Suppose 1 = 2*x - 7. Let w be v(x). Let o = 1 - 1. Is o less than or equal to w?
False
Let i = -31 - -30.46. Let l = i + 0.93. Let j = 0.01 + l. Are j and 1 non-equal?
True
Let w be -15*(284/(-52) - -5). Which is smaller: w or 7?
w
Suppose -3 = 7*v + 18. Which is smaller: v or -1?
v
Let a = -137 - -113. Do 0.1 and a have the same value?
False
Let p = 31 - 29. Let b be (-34)/(-10) - (2 - 1). Is p bigger than b?
False
Let c(b) = -5*b**3 + b. Let d be c(1). Let t = d - -4. Suppose -3*k + 5 = 2*k. Does k = t?
False
Let u = -71 - -567/8. Is 1 greater than u?
True
Let s(x) = x**3 + 4*x**2 - x. Suppose -b = -2*g - 7, -g + 5*g + 20 = -4*b. Let d be s(g). Suppose -d = 3*a + 2*y - 2, 0 = a + 3*y - 4. Is a equal to -2?
True
Suppose 5*m = 50*r - 48*r + 13, 4*r + m = 7. Let b = -2083/120 - -87/5. Which is smaller: r or b?
b
Let i be 2/8 + 46/(-56). Let g = 9/25 + 1107/50. Let u = g - 22. Is u smaller than i?
False
Let p = -7 + 25. Let n be 3/(-2 - p/(-10)). Let y be (-2)/(-1*6/n). Which is smaller: -4 or y?
y
Let b be -1*1/1*1/(-5). Which is greater: -2/7 or b?
b
Let z be (4/(-8))/((-1)/2). Suppose -3*k = z - 4. Is k at most -3/8?
False
Suppose 0 = 3*m + 3 - 0. Let b be (m - -6)*(1 - 2). Let o = -6 - b. Is o greater than 1?
False
Let y(d) = d. Let g be y(1). Let l = 86.7 + -83. Let q = l + -0.7. Is g != q?
True
Let v(j) = j**2 - 8*j + 8. Let n be v(7). Suppose -42 = 3*r - i - 128, -5*r - 4*i + 166 = 0. Let t be (-4)/r*(-5)/3. Is t smaller than n?
True
Let i be (5 - 5)/(2 - 3). Suppose 5*j - 3*t = -11, i*j - t = 3*j + 1. Which is smaller: j or -1/15?
j
Let b be (-129)/285*-1 - 10/25. Which is smaller: b or 1?
b
Let i be 2/(-4)*12/(-33). Let l be 2/(-8) - 123/(-12). Let t be ((-2)/4)/((-5)/l). Which is smaller: t or i?
i
Let y be (-12)/232*(-4)/(-141). Let m = -96/1363 - y. Which is bigger: 1 or m?
1
Let n(s) = 3*s + 10. Let j be n(-7). Which is greater: j or 3?
3
Let d be (-57)/(-12) - 1/(-4). Suppose -5*y = g - 2 - 7, -14 = -d*y + 4*g. Let j(w) = w + 3. Let z be j(-2). Which is smaller: y or z?
z
Let v be 5 + -3 + 1 + 3. Suppose 20 = -2*q + v*q. Suppose q*y = 4*z - 4, z - y - 1 = -2*y. Which is smaller: 2 or z?
z
Let h = 0.056 - 15.056. Is -1/3 != h?
True
Let z = 0.003 + -0.103. Which is smaller: z or 49?
z
Let i be (-3)/(-2)*(-16)/(-6). Suppose m = 3*b + 5, -5 = i*m - 1. Suppose -9*s - 39 = -12. Which is smaller: s or b?
s
Suppose -3*g - 2 + 5 = 0. Suppose 2*x = 3*x. Which is smaller: x or g?
x
Let k = 30 + -9. Suppose -k = 2*j + 5*p, -4*j - 9 = -p - 0. Which is smaller: -1 or j?
j
Let d be ((-4)/6)/((-1)/6). Let z = -1.1 + 5.1. Let l = 4.1 - z. Is d equal to l?
False
Let n(l) = -5*l + 45. Let q be n(9). Is 6/17 less than or equal to q?
False
Suppose -3 + 1 = -2*r. Let b = 278 + -1949/7. Which is smaller: r or b?
b
Let o = -1590 - -1583.51. Let b = o + -0.71. Let w = b + 7. Which is smaller: w or -3?
-3
Suppose 1 + 1 = 2*f. Let r be 1 - (f + (2 - 0)). Let s(q) = q**3 + q**2 - 2*q - 2. Let b be s(-2). Does b = r?
True
Let s = -13 + 13.18. Let l = 0.38 - s. Which is bigger: 0.8 or l?
0.8
Let h be 2*3 - 1485/264. Is h at least 1?
False
Let z be (-5)/2*(-5)/75*2. Let f be (1 + 0)/((-2)/4). Let j be ((-3)/3)/(f/2). Does z = j?
False
Let r be (119/3)/((-8)/(-6)). Let q = -30 + r. Let f(w) = 4*w + 8. Let v be f(-2). Is v greater than q?
True
Let h = -0.2 - -0.28. Does 2 = h?
False
Let s(b) = -b + 3. Let d be s(5). Let u = 1.8 + -2. Let w = 0 + u. Which is bigger: d or w?
w
Let x(y) = 2*y**2. Let k be x(-2). Suppose k = 5*b - 2. Which is bigger: 1 or b?
b
Let o be 760/(-528) + (-3)/(-2). Is o greater than or equal to -2/5?
True
Let d = 31.2 + -31. Which is smaller: d or 25?
d
Let y = -60 + 301/5. Is 1 > y?
True
Let k = 9 + -7. Let c be (-1)/k - 6870/(-76). Let j = -90 + c. Is j less than 1?
True
Let u = -13 - -13.7. Let c = u + 1. Let k = c - 2. Is -2/3 at most k?
True
Let c(h) = h**2 - 8*h + 8. Let a be c(6). Is -13/4 greater than