2 + 2*z - 1. Let b be y(-2). Let s be v(b). Let u = 13 + s. Are u and 10 equal?
True
Let k = 0.11 - 0.05. Let a = 0.51 - 0.05. Let v = k - a. Is v < 1/2?
True
Let u = 27155/12 + -2263. Are u and -0.41 non-equal?
True
Let q = 5/7 + -81/35. Suppose h - 15 = 3*n - 5, 2*h = -5*n - 13. Which is bigger: q or n?
q
Suppose 5*n = 3*r - 6, -2 = 2*n - 0*r - r. Suppose n*t + 52 = -4*t. Is -14 equal to t?
False
Let l be -1 + 1 + (-170)/(-1190). Let k = -0.3 - -0.28. Which is smaller: l or k?
k
Let m be 24/108 - (-34)/9. Suppose -m*i - 6 = 6. Let r be 1*(-2 - 4) - i. Which is smaller: -0.1 or r?
r
Let u be 7 + (-5)/10*16. Is u at least -3/218?
False
Let d = -827.31 + 827. Is d greater than or equal to -9?
True
Let f = -59 + 64. Suppose 0*o = -f*o + 85. Is o at least as big as 18?
False
Let j be (-10)/4 + 4/2. Let s = -0.945 - -0.935. Which is smaller: j or s?
j
Suppose -3*o - 839 = -5*w, 4*w + 330 = 6*w - 4*o. Suppose 0 = -2*a - 4*i - 80, -6*a + 10*a + w = -5*i. Is -1 greater than a?
True
Let m = -30329/45 - -674. Let j be (1 + -1)/(3/3). Is m >= j?
True
Suppose 0 = 4*v + 9 + 7. Let j(l) = l**2 + 3*l - 9. Let w be j(v). Is w equal to -4?
False
Let d be (-582)/(-12) - 30/12 - 6. Which is greater: d or 2/5?
d
Let v = -28 - -33. Suppose -v*q - 67 = -3*o, -2*o - 36 = q + 3*q. Are -11 and q non-equal?
False
Let q = 2324 + -2317.3. Do 2 and q have the same value?
False
Let g = 50 + 43. Is 93 bigger than g?
False
Let a = 1602.5 - 1611.067. Let q = a - 0.033. Is q > -2/5?
False
Let o be 2/(7/(1141/(-8))). Let f = o - -41. Which is bigger: 10/9 or f?
10/9
Let v = 6 - 6. Let k = v + -1. Suppose -2*g = 4*l + l - 4, 5*g + 32 = -2*l. Is g > k?
False
Let o(t) = t + 10. Suppose 0*i = -3*i - 27. Let h be o(i). Let f = -271/18 + 89/6. Which is smaller: h or f?
f
Let j = -36.13 + 34. Let k = 0.13 + j. Let a = 5 + k. Is 0 at least as big as a?
False
Suppose -4*t = -29 - 3. Let u = -12 - t. Let j = -6741 + 6740. Which is greater: j or u?
j
Let d(x) = -x**3 - 35*x**2 + 36*x + 2. Let m be d(-36). Which is greater: -25.1 or m?
m
Let l = -0.7 + 0.5. Let o = -0.106 + -3.894. Which is smaller: o or l?
o
Let x = -12357/8 - -1551. Which is bigger: x or 0.3?
x
Let g = 8 - 7. Let d be 80/12 - (-2)/(-3). Suppose 3*m = -5*p + 12, 0*m + p - d = 3*m. Is g < m?
False
Let f be 0/(3/(-1 + 4)). Suppose f = p - 3 + 1. Suppose p*i = 2*l + 8, -3*l + i + 12 = 6*i. Is l at least as big as -3?
True
Let u(g) = -g**2 + 2*g + 8. Let m be u(-2). Let t be (-232)/(-6)*(-3)/40*4. Which is greater: m or t?
m
Let k = -0.0537 - 23.2463. Let j = k + 23. Is -1/4 greater than j?
True
Let p = -13/11 - -244/253. Let r be (-12)/28 - (-40)/28. Do r and p have the same value?
False
Suppose 585 = 3*t - 630. Let x be (0 - 12)/(t/2100). Let y = 7226/117 + x. Is y less than or equal to -1?
False
Suppose -5*m - 1460 = 2*s, 0*s = 4*m + 5*s + 1185. Is m equal to -291?
False
Let s = 3/935 + 27777/85085. Let h = s + -3001/546. Do -5 and h have the same value?
False
Let l = 0.1 - 0.1. Let z = 88 - 128. Is l >= z?
True
Let w = -0.6 + 0.2. Let o = 3.06 + -0.06. Let s = o + -1. Is s >= w?
True
Suppose 4*d - 7 = 2*i + 3*i, -d = 2*i - 5. Let s(n) = n - 1. Let r be s(-12). Let j = r - -12. Do j and i have the same value?
False
Let k(s) = 64*s - 5. Let u be k(-1). Let z = 69 + u. Which is smaller: 9 or z?
z
Let x = 18.24 - 18. Let m = 2.24 - x. Which is smaller: 1.2 or m?
1.2
Let z = 31 + -90. Let u = z + 66. Which is greater: u or 0.05?
u
Let p(g) = g**3 - 13*g**2 + 33*g - 26. Let i be p(10). Suppose 2 - 14 = -2*w. Are i and w unequal?
True
Suppose -3*u - 2*u - f - 26 = 0, 0 = -2*u - 3*f. Let a = 1 + u. Which is smaller: -6 or a?
-6
Let q be 1 + ((-3 - -2) + 2)/1. Let j be ((-30)/56)/(q/(48/9)). Is -1 less than or equal to j?
False
Let u = 9 - 3. Suppose -j = -2*z - 3 + u, 4*z = j + 7. Suppose 3*l + 7 = -2*v, -z*v + 0*l - 2*l - 6 = 0. Which is smaller: v or -3/5?
v
Let u be (3/9)/((-1)/(-6)). Suppose -c + 0 = -u. Let h be 0 - (9/(-4) + c). Which is smaller: -1 or h?
-1
Let z = 64.5 + -157.5. Which is greater: -2 or z?
-2
Let j(l) = l**2 - 4*l - 5. Let u be j(5). Suppose u*k = k - 6. Suppose -4*p = -k + 10. Is p at least as big as -1?
True
Let a = 356 + -356. Which is greater: 3/103 or a?
3/103
Let r = 35.71 - 36. Let o = r - -1.29. Suppose -b + 3*t - 9 = 0, 0*b - 2*b = 5*t + 7. Do b and o have the same value?
False
Let j(d) be the second derivative of -4*d**2 + 0 + 3*d + 5/3*d**3 - 1/12*d**4. Let q be j(9). Which is smaller: q or 2/5?
2/5
Let u(a) = 3*a**2 + 10*a - 30. Let y be u(6). Let m = 213 - y. Is m >= 75?
True
Let q = -0.078 + 0.748. Let f = q - 0.64. Is -2/13 smaller than f?
True
Suppose 26*i + 578 = -98. Which is greater: 1/6 or i?
1/6
Let d(a) = -a**3 + a**2 - 1. Let p be d(0). Let s = -767/90 + 151/18. Is p > s?
False
Suppose -a - 252 - 339 = 0. Let h = a + 23089/39. Let v = 9/13 - h. Do v and -6 have different values?
True
Suppose 0 = -h - 3, -4*o = o + 2*h - 44. Suppose 6*m - o = -4. Which is greater: -4/55 or m?
m
Let r = 0.1983 + 0.1017. Is -0.272 <= r?
True
Let a(r) = r - 13. Suppose 2*g + 4*g - 78 = 0. Let d be a(g). Is -11/10 at least as big as d?
False
Let s(i) = -60*i - 234. Let k be s(-5). Is 68 at least k?
True
Let d(n) = n - 4. Let q be d(12). Suppose -4*x + q = -2*x. Let b be -1 - x/3 - -1. Which is bigger: b or 0?
0
Suppose -x - 3*z = -168, -x - 4*z = 27 - 193. Which is smaller: 175 or x?
x
Let g = -71 + 80.6. Let u = -14.6 + g. Are -4 and u equal?
False
Suppose -3*a + 2*s - 4*s - 31 = 0, -10 = 5*s. Which is smaller: 24 or a?
a
Suppose -4*h = 5*z - 2*z - 112, h - 1 = 0. Let r = z + -35. Which is greater: r or 6/5?
6/5
Suppose -21*m = -1759 - 4352. Which is bigger: 290 or m?
m
Let c(y) = -y**3 + 17*y**2 + 20*y - 23. Let f be c(18). Let z be 2 + f*2/(-14). Which is smaller: z or 4?
z
Let w = -0.03 + 2.03. Let m = -5 + w. Let z = 1184 - 1183. Which is smaller: m or z?
m
Let q(t) = -t**2 + 9*t - 5. Let u be q(8). Let p be (-66)/(-90) - 2/u. Is p at most -1?
False
Let o = -39.1 + 20. Let p = 19 + o. Let n = -4 - -3. Which is bigger: n or p?
p
Let d be 2/(-7) - (-1560)/7665. Is 1 <= d?
False
Let n(t) = 53*t - 261. Let s be n(5). Are s and 52/19 equal?
False
Let c = 1806 - 1262. Are c and 1 nonequal?
True
Let a be -12*((-4)/30 - -1). Suppose 40 = -4*o - 3*f, -f - 40 = -3*o + 7*o. Which is bigger: o or a?
o
Let p(r) = -4*r**2 + 3*r + 2. Let i be p(-2). Let y = 10 + i. Let k be -2 - (y/8 + 2). Is -4 bigger than k?
False
Let z be ((-96)/(-240))/(51/40). Which is smaller: -1 or z?
-1
Let q = 6665/10001 + -35/137. Is q less than or equal to -1?
False
Let c(m) = -59*m - 185. Let g be c(-3). Is -3 at least as big as g?
True
Suppose 84 = 4*q - x, q + 2*x - 4*x = 21. Let w = q - 146/7. Let h be (-26)/56 + (-9)/(-12). Which is smaller: w or h?
w
Let v = -34 + 23. Let x = -5.7 - -5.7. Is v bigger than x?
False
Let r be 36/(-9) + -55 + -1. Which is smaller: -59 or r?
r
Let u be 1/(4*3/60). Suppose 23*r - 28*r = u. Is 0 <= r?
False
Let j = 0 + -1. Let m = -6640 + 6639.4. Which is smaller: j or m?
j
Let t(x) = 7*x**2 + 478*x + 136. Let c be t(-68). Which is greater: 1/528 or c?
1/528
Let z(x) = -x**3 + 2*x**2 - 2*x + 4. Let r be z(2). Let t(s) = s**3 + 2*s**2 + 5. Let i be t(r). Does 0.3 = i?
False
Let v(b) = -3*b**2 + b - 2. Let w be v(2). Is -3 at most as big as w?
False
Let r = -4 - -4. Let d be (13/4)/(6/(-8)). Let b = 5 + d. Is b equal to r?
False
Let n = -14 - -19. Let s be 2 - (-5)/n - 18. Which is smaller: s or -17?
-17
Suppose -3*a - 2*a + 5 = 0. Let r be a/(2/303) + 2. Let v = r - 150. Are 3 and v equal?
False
Suppose 0 = 10*k - 8*k + 56. Let x = 35 + k. Is 6 at least x?
False
Let z be 1 - (-2 + 5)*-1. Suppose -2*n = -z*v + 3*n - 2, -6 = -4*v + n. Let d be 6 - (-7)/(7/v). Is d less than 8?
False
Let y be 5 - (0 - (-376)/56). Which is smaller: y or 0?
y
Let r = 2620 + -2608. Does -1 = r?
False
Let w = 9 + -4. Suppose 0 = -2*f + 3*q - 19, 4*q + 8 = f - w*f. Let l = -184 - -184. Which is bigger: l or f?
l
Let g = -487 + 487.416. Is -2/7 < g?
True
Suppose 5 = -4*c + 21. Suppose 0 = -f - 3*b - 7, 27 + 4 = 3*f - 4*b. Suppose -r + 3*n - 8 = 0, 0 = f*r - 4*r + 4*n - 13. Which is greater: r or c?
c
Let f be 7 - 12/(-8)*-2. Suppose 0 = 4*q - f*z + 20, -q - 3*q + 5*z - 25 = 0. Let g be (-3)/(-21)*(-2 - -5). Which is smaller: 