*3 - 2*x - 2. Let s(o) = -o**2 + 12*o - 3. Let a be s(13). Let j be (8/a)/((-1)/(-2)). Let n be y(j). Is -5 equal to n?
False
Let x be 3/((12/(-11))/(-4)). Let a(d) = d**3 - 10*d**2 - 10*d - 15. Let t be a(x). Let b = -8 + 4. Does t = b?
True
Let h(b) = 8*b - 183. Let a be h(22). Is a smaller than -1?
True
Suppose -5*r + 4 = 104. Let j(d) = -d**2 - 14*d + 558. Let v be j(-32). Which is smaller: v or r?
r
Suppose 242*s - 235*s = -63. Which is smaller: s or -5?
s
Let l be 28/(-10)*((-42)/12)/(-7). Is l not equal to -3?
True
Let t = 3 + -1. Let f(w) = -w**2 - 23*w + 29. Let q be f(-24). Suppose t*z = 7 - q. Is -3/7 equal to z?
False
Let m(g) = 7*g + 33. Let l be m(-6). Suppose 0*v + 10 = 2*v. Suppose -v*q = 24 + 16. Which is greater: l or q?
q
Let t = -4860/17 + 141739/493. Which is smaller: 1 or t?
1
Let s be ((-6)/(-360))/(6 - 48/15). Which is smaller: s or 1?
s
Let w(p) = -2*p + 20. Let d be w(13). Let k(n) = -n + 4. Let c be k(10). Are d and c equal?
True
Let o = 0.05 + 1.95. Let x = o + -1.96. Let r = 1986.9 - 1987. Do x and r have different values?
True
Suppose 4*h - 4 + 3 = u, -3*u - 3*h = 3. Let b be (7/(-28) - 81/12) + 0. Is u bigger than b?
True
Let i = -161 - -160.9. Are -0.0076 and i unequal?
True
Let f = -657 - -652.1. Which is smaller: -1/5 or f?
f
Let y be 5/15*6 + 21/(-10). Let v(d) = d**3 + 4*d**2 + d - 4. Let i be v(-3). Suppose 0 = -z + 2*g + 2, -i*z - 5*g - 5 = -4*z. Which is smaller: y or z?
y
Suppose -3*n - i + 17 = 0, 4*n + i = 8 + 13. Let b be n/(-7) - (-178)/238. Are b and 0 unequal?
True
Let a = -1967/6 - -329. Let o = -2.9 + 3. Is a bigger than o?
True
Let g(a) = a**2 - a. Let h be g(6). Suppose m = 2*m - h. Let y be (-57)/m + 4/10. Which is smaller: -2 or y?
-2
Let t = -25184167/246300 + -2/61575. Let d = -103 - t. Which is smaller: 5 or d?
d
Let f be (-2 - 161/(-28))*-4. Are f and -13 equal?
False
Let o = 347/198 + -25/18. Suppose 2*q + 3 = 1. Is o smaller than q?
False
Let g = 0 + 1. Let b = -11 + 8.96. Let m = 2.1 + b. Are g and m equal?
False
Let h(j) = -j**2 + 5*j + 2. Let l be (-5)/5*-1*4. Let x be h(l). Is 6 greater than x?
False
Suppose 0 = s + w - 66, 2*s = 19*w - 16*w + 127. Which is bigger: s or 64?
s
Let y = 2699143/84680 + 4/10585. Is y less than 31?
False
Suppose 0 = 4*y + y - 20. Let t = y + -5. Let o be (-12)/27 + -4 - -1*4. Is o < t?
False
Let u = -85 + 141. Let y = 55.4 - u. Are y and -3 unequal?
True
Let v = -2.11 + -0.29. Let j = v + 16.4. Let m = j + -19. Is 0 greater than or equal to m?
True
Let y be (-28)/(-10) - 20/25. Let g(x) = 4 + x**y - 3*x - 7*x + x. Let q be g(8). Is -1 bigger than q?
True
Let s(a) = a + 2. Let x be s(6). Suppose 64 - x = -2*z. Let c = z + 83/3. Which is bigger: -2 or c?
c
Let u be (-69)/(-18)*-3*(-4)/(-6). Suppose -4*n - 3*k - 36 = 0, -2*k = -4*k. Is n <= u?
True
Let m = 13710 + -13679. Suppose 3*i - 3*a - 99 = 0, i + 135 = 6*i + 5*a. Are m and i unequal?
True
Let c = 10602 + -201372/19. Is 2 < c?
True
Let b = 0.1 + -0.1. Let c(u) = -2*u**2 - 7*u + 6. Let i be c(-6). Let h = -24 - i. Is b != h?
False
Suppose x = 4*k - 28, -3*k = -2*x - k - 32. Let b be ((-21)/(-9))/((-2)/x). Is b < 14?
False
Let q be (63/22)/3 + -1. Let i be 3/12*(0/(-9) + -4). Which is bigger: i or q?
q
Let o = 1.3 + -53.3. Let x = o - -55. Which is smaller: x or -12?
-12
Let u = 8 + -12. Let t = 10 + u. Suppose t = -2*i + 4*i. Is 3 != i?
False
Let m be -3*(-35)/(-21) - (-236)/(-2). Which is bigger: m or -124?
m
Let v = -15.9 - -16. Suppose 2*x - 6 = 2*j, 2 = -5*x - 4*j - 1. Let w be 2/8 - x/(-2). Is v smaller than w?
True
Let p(a) = a - 10. Let q be p(9). Let f(u) = -3*u**3 - 2*u**2 - u. Let v be f(q). Suppose -4*r = -5*r - 4*j - 3, v*j = -3*r + 1. Is r at most 3/4?
False
Let f = 33 + -22. Let x(l) = -l**2 + 9*l + 20. Let u be x(f). Let t = 52 - 207/4. Is u greater than or equal to t?
False
Suppose -33 - 13 = -2*j - 3*x, 138 = 5*j - 4*x. Which is greater: j or 24?
j
Suppose 116 = 4*z - 24. Suppose 5*o - z = 10*o. Let y be (10/4 + -2)*-15. Which is smaller: o or y?
y
Let y be (-3 + -4 + 1)*-7. Is y greater than 3?
True
Let d be (-122)/2 + 2 + 3. Let g = d + 94. Which is smaller: 37 or g?
37
Let r(p) = -6*p + 17. Let g be r(6). Let x = g - -20. Which is smaller: x or -0.11?
-0.11
Let i = -3639343/18 + 202009. Let v = 177 + i. Which is smaller: -1 or v?
-1
Let p be (0*(-2)/2)/1. Let l = p - 0. Let j be (-12)/(-21) + 264/(-364). Which is greater: l or j?
l
Let y be 1104/(-5) - (8 - (15 - 9)). Which is bigger: y or -222?
-222
Let c = 227 - 225. Is -6.6 < c?
True
Let a = 1213 + -3502/3. Let t = a - 45. Suppose 0 = 3*l - 2*y + 5, 0 = -l + 3*y - 3 - 8. Is t at least as big as l?
False
Let n = 24 - 18. Let v = -4 + n. Suppose 0*a - v*a = 0. Which is smaller: a or 2/25?
a
Let u be (-24)/(-10)*(-1)/4. Let y be 0*(7 + -10 - -2). Is u >= y?
False
Let g(r) = -r - 6. Let y be (1/2)/((-2)/4). Let z be ((-2 - 3)*y)/(-1). Let x be g(z). Is x less than 2/25?
True
Let h = -38/21 - -12/7. Let p = -8 - -11. Let m(f) = -f + 2. Let y be m(p). Is y less than h?
True
Suppose -8*i + 10*i = 8. Let o be (3 - 2)/1*i/(-16). Which is smaller: -103 or o?
-103
Suppose 2*d = 4*c - 7 - 11, -d + 4*c - 19 = 0. Let y(u) = -3*u - 2. Let h be y(-5). Suppose 2*g - 8 = -5*r, -3*g + 8*r - h = 3*r. Is d not equal to g?
True
Let w = 27.9 + -31.9. Which is bigger: 5/7 or w?
5/7
Let t be -12*(6/9 + -1). Suppose -5*h = -t*a + a + 24, -2*a = 2*h. Let v be (16/((-240)/9))/((-14)/60). Is a less than v?
False
Let y(l) = -l + 21. Let c(n) = n - 20. Let i(b) = 3*c(b) + 4*y(b). Let x be i(-10). Which is bigger: 32 or x?
x
Let s be 10/69*1/(-2). Let a = s + 1147/276. Let y = 13/3 - a. Which is smaller: -6 or y?
-6
Suppose 0 = 2*f - 3*o - 12, -3*f + 3*o - 7*o + 1 = 0. Suppose z + 5 = -3*y - 2, 0 = f*z - 2*y + 32. Let m = -8 + -1. Which is bigger: z or m?
m
Let b = 10/3 + 211/15. Let x = 18 - b. Which is smaller: x or 1?
x
Let w be ((-8)/20)/((-1)/10). Suppose -n - 2*n = 0. Suppose n*o = w*o + 24. Are -5 and o non-equal?
True
Let h = 2800 - 2782. Let f be (58/(-4))/(-1) + 2. Which is smaller: f or h?
f
Let b = -1424 - -2076. Which is bigger: b or 651?
b
Let w be (3 - 1)/(24/(-60)) + 4. Let i be 1/((-14)/(1 + 1)). Is w less than i?
True
Let n = 13 - 7. Suppose -n*i - 2*i = 0. Let l = 131/216 + 14/27. Is i smaller than l?
True
Let o(j) = -5 + 2*j - 2*j + 2 - 4*j. Let d be o(-2). Suppose 4*q + 0*f = d*f + 11, 3*q - 13 = -f. Which is smaller: 2 or q?
2
Let n be (-4)/5 - (-7987)/(-60). Let c = 134 + n. Let j be (3/(-2))/((-27)/(-12)). Which is smaller: c or j?
j
Let j be (-1345)/(-50)*24/6. Is j equal to 107?
False
Suppose -3*w + 31 = -3*m + 10, -2*m = -5*w + 26. Which is smaller: m or 415?
m
Let i = -5 + 5. Let c = 5019 - 943569/188. Let w = c + -779/1692. Which is smaller: i or w?
w
Let m(y) = 3*y + 18. Let x be m(-6). Let s be -3 + 1*(9 - 4). Suppose 2*r + s = 3*r. Which is bigger: x or r?
r
Suppose -4*y - f + 17 = 5, -12 = -3*f. Suppose -4*c = -y*h - 0*h - 16, -5*c = 2*h - 20. Let a be -3 - (148/(-75) + -1). Which is smaller: a or h?
a
Let m = 29 - 18. Let t = 11.1 - m. Which is smaller: 0.02 or t?
0.02
Suppose 0 = 5*m - 4*f + 5*f + 27, -9 = -3*f. Let k(x) = x**2 + 5*x - 8. Let o be k(m). Let h = 403/10 - 85/2. Does h = o?
False
Let q = 262 + -342. Which is greater: q or -2?
-2
Let v = 7017/7 + -77691/77. Is -8 at least v?
False
Let m = -0.999 - -0.109. Let i = m - 0.11. Which is smaller: 1/12 or i?
i
Let b = 0.03 + 59.97. Let c = 59.91 - b. Is c < 0.1?
True
Let b(p) = 2*p**3 + 25*p**2 + 11*p + 1. Let v be b(-12). Suppose 3*k = -29 - 13. Let x = k + v. Is x bigger than -2?
True
Let x = -0.14 - -0.84. Let i = x - 2. Is 0 >= i?
True
Let r(v) = -v**2 - 15*v + 1. Let x be r(-15). Let w be ((2 + -1)*x)/((-1)/4). Let l be (7/5)/((-6)/20). Which is greater: l or w?
w
Let u(k) = k + 4. Let g be u(-2). Suppose 3*s - r + g = 0, r - 6 = 4*s - r. Which is smaller: s or 4/17?
4/17
Suppose -6*j - 13*j + 19 = 0. Which is bigger: 2/147 or j?
j
Let y be (-25 - -28)/(2/4*-3). Which is smaller: y or -351/5?
-351/5
Suppose 66*g - 4 = 67*g. Let d be (-1 + 1)/(3 + g). Are 5/7 and d equal?
False
Let z = -0.79 + 0.99. Which is bigger: z or 3.5?
3.5
Let j = -0.0189 - 36.9811. Which is smaller: -1 or j?
j
Suppose 5*w - 4*w = 0. Which is smaller: -6/25 or w?
-6/25
Let w = 2 - 1. Let 