+ 204 = -4*h + o. Is -49 greater than h?
True
Let v be 33/(-22) - 3/(-2). Is v less than 4/15?
True
Let f(l) = -2 + 2*l + l**2 + 4*l - 2*l**2. Let a be f(6). Let o = 3 - 5. Is a >= o?
True
Suppose -p - m - m + 11 = 0, 0 = 2*m - 8. Let b be (-126)/27 + 2/p. Is b < -4?
False
Suppose -19 = -9*q - 19. Is -2/75 less than q?
True
Suppose 2 = 4*q - 3*q. Suppose -q = -w - 0. Is 1 at least as big as w?
False
Suppose -15 = 5*s - 5*b, -3*b = 4*s - 2*s + 11. Is s <= -5?
False
Let z = -0.63 - 4.37. Which is smaller: 0.01 or z?
z
Let t = 18 + -17.8. Which is smaller: t or 1/8?
1/8
Let b = -2 - -3. Let u(p) = p**3 + 2*p**2 + 2. Let t be u(-2). Let j be (-6)/9*1/t. Is j greater than b?
False
Let x be ((-2)/(-58))/((-2)/4). Let f = x + -40/261. Let i = -165 - -494/3. Which is smaller: f or i?
i
Let c = 1/57 + 49/456. Suppose -4*q - 5*t + 3 = 0, -3*q - q + 3*t + 11 = 0. Suppose -2*n + 8 = -5*k, -4*k + q*n + 0*n = 8. Which is greater: k or c?
c
Let i = 0 + -0.2. Let q = i - -1.2. Let y = 0.9 - q. Is y at least as big as 1?
False
Let t(j) = j + 4. Let x be t(-3). Let h be (-1010)/72 + (-3)/6. Let q = 59/4 + h. Is q less than or equal to x?
True
Let b(s) = -2*s**2 + 4*s + 1. Let a be b(3). Suppose -2*x = -2*w - 7*x - 12, -3*w - 18 = 3*x. Is w bigger than a?
False
Let c = 729 - 3633/5. Let h = 0 - -2. Do c and h have the same value?
False
Let b = 137 - 218. Let a = -42623 + 297796/7. Let k = b - a. Is -1 less than k?
True
Let c be (-6)/(-4)*(-12)/(-9). Let p be (-16)/((4 + -3)/((-1)/7)). Which is bigger: c or p?
p
Suppose -6 = -3*p + p. Suppose 7*z - 4*w = p*z + 32, 0 = -4*z - 5*w + 59. Suppose -4 = 2*r - 5*b, 3*r + 4*b = 6 + z. Which is greater: r or 4?
4
Let j be 2/(-3) + 44/12. Which is bigger: j or 2?
j
Suppose 2*d - 5*r + 4*r = -2, -3*r = -4*d. Let u = 5 - 8. Are d and u equal?
True
Let v = -0.2 + 0.3. Let k = -965/9 - -107. Do v and k have different values?
True
Let v(p) = 2*p + 3. Let k be v(-2). Let c = k - 1. Suppose -5*g - 4*n - 22 = 0, -4*g + 7 = -0*n - 5*n. Is g at least c?
True
Let a be (-3)/(-6) - 14/4. Let l be -1 + (2 - (-3)/a). Suppose -k - 4*k - 5 = l. Is 0 > k?
True
Suppose 5*f + 15 = -4*n - 36, f = -3. Let h = 943/109 - -5/327. Let c = n + h. Is 0 < c?
False
Let n = -52 + 53. Do n and 0.2 have different values?
True
Suppose 0 = -2*g - g + 9. Suppose 8 = -g*c - c. Is 0 <= c?
False
Let v be (-1)/(-2 - (-14)/(-4)). Is v less than or equal to 1?
True
Let w be ((42/(-18))/(-7))/((-1)/69). Does w = 0?
False
Suppose 13 = -5*j + 4*j - 2*s, 0 = -2*s - 10. Which is smaller: j or 5?
j
Let r(q) = -q**3 - 4*q**2 - 5*q - 4. Let l be r(-3). Suppose -z = -2*d + 4, 2*z = d + 5*z - l. Are d and 2 nonequal?
False
Suppose -2 - 7 = -3*i, i + 51 = 2*b. Let w = -17 + b. Is 10 > w?
False
Suppose -4*k = -4*b + 32, 2*b + 0*k - 4*k = 22. Suppose -4*l - z + 6 = -l, -b*z = 4*l - 19. Is -2/23 > l?
False
Let d = 182/5 + -37. Which is bigger: d or -2/5?
-2/5
Let t = 11 + -8. Which is smaller: t or 5?
t
Let g(r) = 8*r**2 + 4*r + 4. Let x be g(-1). Which is bigger: x or 7?
x
Let s = -584 - -110. Let z be 2/s*(0 - 2). Let i = z - -460/1659. Is i greater than or equal to -1?
True
Let m be -2 - 1 - 230/(-150). Let f = m - -271/195. Which is greater: f or 1?
1
Suppose 2*f + 44 = -c - 6, 8 = -4*c. Which is greater: -25 or f?
f
Suppose 271 = -2*j + 255. Which is bigger: -16 or j?
j
Let k = 7 + -7.1. Let g be (-3)/9 - 1/3. Is g smaller than k?
True
Let w be 4/(-30) - (-4)/(180/(-669)). Is 1/2 at least as big as w?
True
Suppose 29 = 10*q + 19. Let b be (-2)/(-8) - (-7)/(-60). Is q at most as big as b?
False
Suppose -5*q + 42 = 2*q. Which is smaller: 3 or q?
3
Let n(t) = -8*t**2 - 5*t - 4. Let v be n(-2). Are -25 and v unequal?
True
Let t = 8 + -7.95. Let w = t - -0.05. Is w < 2/11?
True
Let o = 2/65 - 589/130. Do o and -4 have the same value?
False
Let z = 0.3 + -0.2. Let a = 0.63 + -0.55. Is a at most z?
True
Suppose -5*w = x - 4, 7 = -3*x + 6*w - 2*w. Is x greater than or equal to -2?
True
Let l be (-6)/(-15) + (-228)/45. Which is smaller: -6 or l?
-6
Let r = 1.9 - -0.1. Let a = 1.77 - 1.7. Let s = a + -0.07. Is s smaller than r?
True
Suppose 4*x = 5*i + 4, i = -3*x + 3*i + 3. Is -4/11 greater than or equal to x?
False
Let h = 8 - 11. Is h < 0?
True
Let w = 14 + -5. Let y be (-23)/48 - (-6)/w. Which is greater: 1 or y?
1
Let u be 2 - ((-1)/6)/((-8)/120). Is 1 at most u?
False
Let b = 7 + -5. Let k = 8 - 6. Suppose -3*u + 2 = -k*u. Is b at least u?
True
Let h = -33 + 36. Let k = 1 - 0. Which is greater: k or h?
h
Suppose -3*g = -2*t - 7, -5*t - 3*g - 9 = -2*g. Let c be ((-2)/t)/(4/(-8)). Let h be 2*-1*(c - -1). Does h = 1?
False
Suppose -3 = -0*n + n. Let v be -2*(-1)/n + 1. Which is greater: -3 or v?
v
Let m(s) = -s**2 + 10*s - 9. Let x be m(10). Are -9 and x equal?
True
Let c = -4.5 + 5. Let t = c - 0.1. Let j = t + -0.4. Which is smaller: j or -0.2?
-0.2
Let c be 14/(-6)*(-1 - -4). Let v = -15 - c. Let m be ((-3)/2)/(6/v). Is m greater than or equal to 2?
True
Suppose -4*c - 62 = -50. Which is greater: c or -6?
c
Suppose 6*n - 12 = -12. Which is smaller: n or 1/77?
n
Let v = 15 - 11. Suppose -v*p + 3 = -p. Is p > 0.1?
True
Let s = -25 - -42. Suppose 0 = -r - 2*b + 7, -r = -6*r - 4*b + s. Which is bigger: r or 1/8?
r
Let z = -59 - -45. Which is bigger: -15 or z?
z
Let o be (-1 + (-60)/(-63))/((-4)/24). Is o <= -38?
False
Let w = 0.17 + 0.13. Suppose 2*t - 277 = -109. Let n = t - 254/3. Which is smaller: w or n?
n
Let k = -0.02 - -2.02. Let x be (-1 - 0) + 9/7. Is x greater than or equal to k?
False
Let l be 1/(-2) + (-4 - (-55)/14). Is 0.02 less than or equal to l?
False
Let y = -108.7 - -107. Which is smaller: -0.1 or y?
y
Suppose -2*h = 3*x + 1, 4*x - 19 = x + 2*h. Suppose 2*p = d - 0*d + 5, 3*d + 7 = 2*p. Suppose 4*y - x*y + 2*z = -2, -y + 2*z = -p. Which is greater: -1/2 or y?
y
Let r = -1.3 + 3.8. Let m = 0.5 + r. Is m less than or equal to -1?
False
Suppose 0 = -3*n + 4 + 5. Suppose 2*g - 3*g = 4. Let a be (-6)/2*g/6. Which is greater: n or a?
n
Let l = 122/3 + -40. Which is smaller: l or 2/7?
2/7
Let s = -5 - -5. Let l = 2 + s. Do l and 3 have different values?
True
Let n(h) = 4*h. Let l be n(-1). Let o be (2/l)/((-2)/(-4)). Is 0 < o?
False
Let b = 0 - 0. Let i be 6*(-12)/27*3. Let o = 7 + i. Which is smaller: o or b?
o
Let o = -13 + 24. Which is greater: 21/2 or o?
o
Let w = -22.9 + 22. Let m = w - 0.1. Let l = -4 - -4.2. Is m at most l?
True
Let h = 24 - 17. Suppose 10 = 4*g - 2*r, -h*r + 15 = -2*g - 2*r. Suppose -c = -g*c. Which is smaller: c or -2/13?
-2/13
Let h = -64/1155 + -6/77. Let b = -14 + 13.83. Let t = b - -0.17. Which is bigger: t or h?
t
Let w be (-110)/(-26) - 13/((-52)/(-16)). Which is greater: -2 or w?
w
Let p(a) = -2*a. Let h be p(-2). Suppose -h*m = 16, -4*m - 11 = 2*s - 7*s. Let f be (1/18)/(s/(-4)). Is f at least as big as -1?
True
Suppose 0 = 2*i - 0*i - 16. Let q be 10/i*6/15. Which is smaller: -0.2 or q?
-0.2
Let m = -181.81 + 181. Which is smaller: 0 or m?
m
Suppose 1 = 2*b - 1. Let t = b + -1. Let a be (-4)/(-10) + 5/50. Does t = a?
False
Let v be -2 + 2 + 3 + -6. Let l be (-6)/v*2/4. Let q be 1*((-2)/(-2) - -1). Which is smaller: l or q?
l
Suppose -4*b = 5*b - 153. Is 17 at least b?
True
Let x = 2022436/11 + -183653. Let i = x - 205. Which is greater: i or 1?
1
Let o(z) = z. Let l be o(-2). Let d = -6 - l. Let m = -4 - d. Is -4/5 less than or equal to m?
True
Let y = 6.06 - 0.06. Let r = 7 - y. Which is bigger: r or 6?
6
Let c = 2.289 - 0.109. Let y = 0.22 + c. Let l = -0.6 - y. Which is smaller: l or 1?
l
Suppose a = 2*s + 3*a + 16, -a - 16 = 3*s. Are -4 and s nonequal?
False
Let m = 4 + 13. Let n = -8 + m. Let g = n - 10. Is g > 6?
False
Let p = 8 + -10. Let w = p - -3. Is w bigger than -3/2?
True
Let d(n) = -n. Let x be d(-7). Suppose -3*b - 6 = 5*k, -x*b + 3*b - 5*k = 8. Does b = -1?
False
Let q be 8/3*(-18)/4. Let y be ((-8)/6)/(2/q). Let t(x) = -x + 7. Let v be t(y). Do v and 0.1 have different values?
True
Let o = -14.79 + -1.61. Let f = o - -17. Is -0.1 <= f?
True
Let r = -143 + 107. Which is smaller: -34 or r?
r
Let u be (-6)/9 + (-2)/(-3). Suppose s + u + 2 = 0. Let v = 0.6 + -0.5. Which is bigger: v or s?
v
Let x = -0.2 - 0.3. Let q = -0.6 - x. Suppose -3*r + 4*v + 11 = 0, 2*v = 2*r - 7 + 1. Is q smaller than r?
True
Let m be 1 - (1 