*x - 3 = -0. Is x smaller than b?
False
Let m be 2/(-8)*2892/9. Let c = m - -287/6. Let d = 33 + c. Which is bigger: d or 1?
1
Suppose -6*i + 1274 + 544 = 0. Is i equal to 304?
False
Let w(h) = -4*h - 5*h + 8*h + 9. Let f be w(6). Suppose -f = x + 1. Is -4 less than or equal to x?
True
Let h = 0.24 - 0.89. Let k = h - 26.35. Let c = -29 - k. Which is smaller: c or 0.2?
c
Suppose 5*l - 10*l - 140 = 0. Suppose 0 = 4*r - 2*r - 52. Let d = l + r. Is -5/2 > d?
False
Suppose -2*o = 44 - 274. Is o less than or equal to 115?
True
Let a = 21 - 39. Let p = a - -20. Let j(o) = -o**2 - 3*o + 4. Let k be j(p). Is -4 less than or equal to k?
False
Let x = -22.1 - -21. Let q = x + 1.38. Let v = -0.4 + q. Which is greater: v or 1?
1
Let b = 48 + -49. Let x be -2 - (4 - (-66)/(-12)). Is x at least b?
True
Let p be (-1)/3 + (-28)/(-3). Let j be 3/(-6) - p/(-34). Is j smaller than -1?
False
Let r(w) = -w**3 + 5*w**2 + 4*w + 4. Let m be r(-3). Let i = -90 + m. Which is bigger: -25 or i?
-25
Let x = 703483/243 + -2895. Do x and -1 have the same value?
False
Let h = -45 - -30. Let o(b) = 40*b**2 - 1. Let f be o(-1). Suppose 4*u = -17 - f. Is h greater than or equal to u?
False
Let z = -14 - -57/4. Let d = -18 + 38. Let y = d - 26. Which is smaller: z or y?
y
Let h = -3/863 + 2239/147573. Is h bigger than -1?
True
Let q(z) = z**2 + 14*z - 34. Let s be q(-15). Is -35/2 < s?
False
Let a(q) = 2*q**3 - 2*q**2 + q - 2. Let d be a(2). Suppose -5*t + d*t = 0. Is -2/5 < t?
True
Let k = -0.79 - 39.21. Let i be 160/70 - (3 - 1). Which is bigger: i or k?
i
Let v = 264/17 + -13217/850. Which is smaller: -1 or v?
-1
Let o be (-18)/4*(4 + (-40)/15). Let b(p) = 4*p**2 + 23*p - 6. Let g be b(o). Which is smaller: g or 6/13?
g
Let r(y) = -2*y**3 - 29*y**2 - 17*y - 41. Let o be r(-14). Which is bigger: 1/4553 or o?
o
Let i(q) = q**3 + 9*q**2 - 4. Let m be i(-8). Let h be 15/(-2)*m/(-45). Suppose -5*b + h - 50 = 0. Is -8 < b?
False
Let o = -39 - -51. Let a be (o/15)/(-4)*-5. Let d = -3 + 5. Is d greater than a?
True
Let x(z) = 0*z**2 + 4 - 7*z**2 + 7*z + 6*z**2. Let d be x(7). Suppose o + d = -3*q, 0*q - 2*q + 19 = 5*o. Which is smaller: 4 or o?
4
Let g be (-4)/(-4) - ((-52)/(-4) - 4). Let s(f) = 2*f + 2*f - 2*f - 1. Let n be s(g). Which is greater: n or -2/3?
-2/3
Let w(c) = c**2 + 10*c - 1. Let g be w(-9). Let n be ((-6)/(-8))/(1/(-20)). Let t = n - g. Are t and -1/3 equal?
False
Let l(d) = -d**3 + 3*d**2 - d + 3. Let h be l(3). Suppose f - 17 + 1 = h. Suppose 0*o - 2*o = f. Do o and -9 have the same value?
False
Suppose 0 = j - 2*j + 2. Let s = 146 - 125. Let w be j/(-5) - s/35. Are w and 2/23 unequal?
True
Let c = 48.07 + -0.07. Let g = 49 - c. Which is greater: g or -0.08?
g
Suppose 9*i = 2*i - 217. Let u = -24 - i. Is u less than or equal to 6?
False
Let f be 0 - 4 - (-9 + 4 + 0). Which is bigger: f or -3/557?
f
Let h = -96 + 99. Suppose h*v - 1 = -1. Which is smaller: -4 or v?
-4
Let p = -133.055 + 133. Let i = 0.115 - p. Is i at most as big as -0.1?
False
Let k(b) = b - 13. Let s be k(-11). Let x be (-18)/(-6)*(-9)/s. Let d = -2 + 3. Which is smaller: d or x?
d
Suppose 4*o - 2*o - 46 = 0. Let c = -91/4 + o. Suppose 12 = -3*n + 2*m, 3*n + 8*m = 3*m + 9. Is c <= n?
False
Let s = 170 + -167. Suppose -12 = -t + 2*i, t + 3*i = s*t - 20. Is t != 16/3?
True
Let m(z) = -z**3 - 14*z**2 + 1. Let l be m(-14). Let p be l*-3*8/12. Let c be 6 + p - (-438)/(-114). Are -1 and c equal?
False
Let z = 201/28 + 1523/56. Which is bigger: z or 35?
35
Suppose 5*n - 3*u + 267 = 2*n, -4*u = 2*n + 190. Is -91 > n?
False
Let s(n) = -n**2 - 5*n. Let t be s(-5). Suppose t*y + 9 = -y. Let m be 0/2 - y/(-3). Is -5 less than or equal to m?
True
Let v = 0.5 - -0.5. Let y = 16 - 13.8. Let r = 0.8 + y. Which is smaller: v or r?
v
Let q(v) = -4*v + 134. Let z be q(-20). Which is greater: 213 or z?
z
Let v(z) = 8*z**2 + 1. Suppose 0 = -3*a - 9, 0*b = -5*b - 2*a + 4. Let w be v(b). Let f(g) = 25*g - 116. Let o be f(6). Is w at most as big as o?
True
Let j = 46 + 523. Is j not equal to 570?
True
Let u = -137 + 126. Are u and -5 equal?
False
Let w be (-4)/6*42/(-4). Let b(k) = 2*k - 30. Let h be b(0). Let y = h - -38. Is w smaller than y?
True
Let x(l) = l**2 + 29*l + 29. Let q be x(-31). Is 271/3 >= q?
False
Let s(o) = -o**3 - 6*o**2 - 6*o - 2. Let a be s(-5). Let g be (3/(-9))/(-4 - 476/(-120)). Suppose 0 = -17*k + 12*k + g. Which is greater: a or k?
a
Suppose -624 = 17*v - 2120. Let y = 85 - v. Is -0.14 not equal to y?
True
Let v be 84 + -87 + (-7)/(-2). Which is smaller: 0.143 or v?
0.143
Let s be 6/(-9)*-6 + (-25 - -31). Let k be (-2 - -3) + (1 - 1). Which is smaller: s or k?
k
Let k = -705 - -703. Are -0.104 and k equal?
False
Let c(g) = -g**3 + 8*g**2 + 5*g + 3. Let x be c(9). Let i = x + 22. Let d be (-75)/i - (-8)/44. Is d greater than 8?
False
Suppose 20*q + 4 = 19*q. Let n be (-2*(-3 - -5))/q. Is 1/12 at least as big as n?
False
Suppose 12*h - 17*h + 45 = 0. Let v be 0 + 110/15*h/(-2). Do v and -34 have the same value?
False
Suppose 207*t + 3690 = 166*t. Let o be (0 + -3 + 1)/(-7). Are t and o equal?
False
Let m = -7 + 10. Let x be (-2)/((-6)/m)*1. Let c(n) = n**3 + n - 1. Let s be c(x). Which is bigger: s or 1/3?
s
Let x(t) = t**3 + 7*t**2 + 6*t - 1. Let m be 4 + -11 + 1 + 0. Let k be x(m). Let o be ((-4)/(-10))/((-12)/(-10)). Is k greater than o?
False
Let q(i) = i**2 - i - 1. Let m be q(0). Is m >= 2/531?
False
Let l = -22.3 + 21. Let b = l - -0.3. Which is smaller: 0.025 or b?
b
Suppose -1 = s + 8. Let u = -4 - s. Let f(g) = 2*g + 42. Let y be f(-20). Is u less than or equal to y?
False
Let x = -19 - -11. Let j(k) = k**3 + 9*k**2 + 7*k - 4. Let y be j(x). Suppose -y = -u - u. Is 2 < u?
False
Let g = 96 + -91.7. Let i = -4.12 + g. Which is greater: 0 or i?
i
Let z = -72 - -66. Does z = -32/5?
False
Let v = -27 + 23. Let m be -1*(-1)/v - (-130)/8. Which is bigger: 1/2 or m?
m
Let t be -4*(7 - (-6 - (-371)/28)). Which is bigger: t or -6/157?
t
Let c be ((-60)/(-14) + 0)/(2/14). Let m be c/75 - (-66)/(-40). Which is smaller: -1 or m?
m
Let s = 2584983197/89 + -29043733. Let z = -1022 + s. Which is greater: -1 or z?
z
Let h(o) = -3*o - 20. Let u be h(-8). Let g be (-18)/u*4/(-6). Suppose 6 = g*v + 9. Is v at least as big as -3/7?
False
Let q(x) = 14*x + 20. Let a be q(8). Let n = a - 123. Is n greater than -4?
True
Let m = 1163035/292 - 3983. Let c = 91/73 - m. Which is smaller: c or 2?
c
Suppose 4*i - 5*i + 2 = 0. Suppose -3*q - 80 = 4*j, j - 85 = 5*q - i*j. Do q and -21 have different values?
True
Let g(x) = x**2 - 7*x - 17. Let a be g(9). Let f be (1 - 4) + (-91)/(-30). Which is greater: a or f?
a
Let s be ((-318)/(-256))/(2/8) - 5. Suppose 0 = -3*j - 2*j + 3*x - 4, j + 2 = x. Is j <= s?
False
Let p = -39 - -41. Suppose h - p = -37. Is h less than or equal to -36?
False
Let d = 42438 + -97564964/2299. Which is bigger: d or 0?
0
Let b be (-69)/21*536/3096. Let q = b + 4/301. Which is smaller: q or -2?
-2
Let o be 701/70 - (-15)/(-50). Which is greater: 10 or o?
10
Let w = -350.1 - -350. Which is greater: 166 or w?
166
Let j = -424 + 261. Do -163 and j have the same value?
True
Let k = 5320 - 3176038/597. Which is bigger: -1 or k?
k
Let z = 347 - 340. Let i(n) be the third derivative of -n**6/120 + n**5/15 + n**4/4 + n**3/2 - n**2. Let b be i(5). Which is smaller: z or b?
z
Let m be 6/15 - 32/55. Suppose -2*i - 9 = -5*i, 0 = -3*c + 5*i + 156. Suppose 55*l = c*l + 2. Are m and l equal?
False
Let c be 10/(-45)*(-3)/2. Suppose 4*f + 2 = 5*f. Suppose f*i = 3*i. Is c > i?
True
Let f be (-7 - -2) + (-558)/(-114). Is f less than 0?
True
Let s be 1/((-2)/14*-7). Is 2/459 bigger than s?
False
Let z = 171 - 54. Let j be 2/8 - z/36. Which is smaller: j or -11/3?
-11/3
Let j be 29/2*(84/14 + 20). Is 377 > j?
False
Let k = -4167/4 - -1033. Let r(m) = -2*m - 27. Let h be r(-9). Which is greater: h or k?
k
Suppose 2*u + 4 + 2 = 0, 0 = 2*g + 2*u. Suppose -5*z = -g*z + 18. Let t be z/(-15) - -1*1. Is 3 smaller than t?
False
Let u = -5.1 - -3.1. Let n = -6 - u. Is n less than 6?
True
Let n be 3*9/(-540)*3. Which is greater: 2/3 or n?
2/3
Let q(r) = 2*r**2 - 10*r - 13. Let v be q(6). Let s be 3/((-3)/v) - 2. Is s <= 2/161?
True
Let n = 22 + -16. Let y = n - 3. Suppose z + 5 - 4 = -y*k, 4*z + 4 = -5*k. Which is bigger: 