 -5. Is x < y?
False
Let q be 16/(-6)*165/(-44). Let l = 12 - q. Let z be l/(0 - (-2)/(-7)). Is -6 greater than or equal to z?
True
Suppose -413 + 124 = 5*k + 4*v, 4*k + 227 = v. Let g = k - -47. Is -9 at most g?
False
Let y(c) = c - 13. Let n be y(9). Let b be (n/5)/((-6)/5). Let w = -0.08 - -0.68. Which is smaller: b or w?
w
Let t = -15 + 11. Let z be (-18 + 2)/(33*t/18). Which is bigger: 2 or z?
z
Let v be (3 - 1332/447)/(-3 - -12). Are v and 1 nonequal?
True
Let u be 3*3/9*-2. Let b(t) = -6 + 3 + 5 - 3 + t. Let q be b(u). Is q not equal to -5?
True
Suppose -6*h - 7 = -1. Are -16/35 and h non-equal?
True
Let b = -2644 + 1081394/409. Which is bigger: 0 or b?
0
Let q = 38 - 38. Suppose -3*m + 0*m - 6 = q. Let r be ((-1)/m)/(1/24). Which is greater: 2 or r?
r
Let j = -70.9 + 12.9. Let p = 47 + j. Is p bigger than -1?
False
Let s = -0.1832 + 0.1832. Which is bigger: s or -751?
s
Suppose 0 = 2*a + 3*l + 94, -2*l = -2*a + a - 40. Is 9 < a?
False
Let q = -2.079 + 0.139. Let f = q - 0.06. Is f at most -2?
True
Let a be 7 + ((6/3)/2 - 5). Suppose -4*r + r + p - 6 = 0, -a*p = 5*r - 4. Let h be (1/(-3))/((-20)/(-54)). Which is smaller: r or h?
r
Suppose -14*o = -19*o + 1770. Which is smaller: o or 353?
353
Let d be ((-4)/(-12))/(196/(-24) + 1). Suppose -2*m - 3*m = 0. Is m at most as big as d?
False
Suppose -3*w + 6 = 3*m, 4*w - 1 = 3*m - 0. Suppose -4*x + m = -7. Let y be 1 - (3 - (x + -1)). Which is smaller: y or 1?
y
Let n be (2/(-3))/((-1)/3). Suppose -18*m = -25*m + 112. Suppose -3*x - n = m. Do x and -8 have the same value?
False
Let k = -369 + 317. Do -53 and k have the same value?
False
Suppose 6*v - 3*v = 120. Suppose 0 = -8*l + 13*l - v. Let p be 2/11 + 1080/110. Which is smaller: l or p?
l
Let y(h) = -h**3 - 37*h**2 - 35*h + 59. Let o be y(-36). Which is greater: 7 or o?
o
Suppose -4*j = 4*i + 4, 3*j + 2*i + 1 = 3. Suppose -y + 5*b = -0*y - 17, 0 = j*y - 3*b - 17. Suppose 1 = -d + y. Is -2/5 > d?
False
Let v = -0.087 - -32.087. Let h = v + -35. Let m(j) = -j + 1. Let n be m(-1). Are h and n nonequal?
True
Let u(n) = -n**2 + 18*n + 40. Let c be u(20). Suppose c = 3*z, 3*h - 7*h - 4*z = -32. Are h and 8 nonequal?
False
Suppose 3*f - 5*s = -20, 3*f - 18*s + 8 = -16*s. Which is smaller: f or -5/98?
-5/98
Let v(f) = f**3 + 7*f**2 - 6*f + 15. Let n be v(-8). Let t be n*380/(-28) - 6/(-14). Is 14 <= t?
True
Let d(u) = u**2 + 18*u + 36. Let p be d(-12). Let l be (-4)/6 - 2*16/p. Is l at least as big as -1?
True
Let v be (1/3 + -1)*(26 + -1004). Which is bigger: v or 653?
653
Let u = 207.551 - 206.6. Let w = u - -0.049. Is w < 1?
False
Let p(m) = -m**2 - 16*m + 7. Let u be p(-11). Let k be (-26)/(-65) + u/(-80). Let r be (0 + -2)*4/(-8). Is r less than or equal to k?
False
Suppose -2*s = 9*i - 6*i - 12, -12 = 2*s - 3*i. Is 10 > s?
True
Let a = -321 - -601/2. Let x = 23 + a. Is 2 < x?
True
Let f = -804.6 - -806. Which is bigger: f or -0.1?
f
Let j(o) = 25*o**2 + 3*o + 2. Let y be j(-1). Let l = y + -27. Is l >= -3?
True
Let t be (-2)/((1 + 1)*(-17)/(-85)). Is t <= -4?
True
Let r(y) = 2*y**2 - 2*y - 5. Let l be r(3). Let o be 3*((-28)/(-144))/l. Let f be (-2 - 0)/((-2)/1). Do o and f have different values?
True
Let m = -0.42 - -28.42. Let u = -28.2 + m. Let x be -1*2*(-2)/16. Is u >= x?
False
Let u = 15 - -9. Let n = u - 22. Which is greater: 1.4 or n?
n
Let h = -2 + 2.2. Let v = h - -1. Let o = -3.2 + v. Which is bigger: o or 2?
2
Let u = 10 + -28. Suppose -16*q = -41*q - 425. Is u at least q?
False
Let y be 2/(-10) - 464113/910. Let r = y + 510. Let z be (-2)/3 - (-5)/3. Is r smaller than z?
True
Let m(b) be the first derivative of -b**2 - 5*b + 5. Let a(v) = -3*v - 9. Let w(c) = 3*a(c) - 5*m(c). Let p be w(7). Is p at least 5?
True
Suppose 5*r + 15 = 5*m, -5*r + m - 4*m + 9 = 0. Suppose -3*l + 3 = -r. Let g be (-12)/(-21) - 102/105*1. Which is smaller: g or l?
g
Let r(o) = -o**2 - 7*o + 1. Let g(p) = -p**3 - 6*p**2 + p - 1. Let b be g(-6). Let c be r(b). Is 12/11 < c?
False
Suppose -4 = f - 6. Let z be -2*f/4*-1. Let w = 247/1290 + -5/86. Is z >= w?
True
Let x be (11/(-3))/((-8)/(-3) - 3). Let o be x/(-5) + 0 + 30/150. Does -0.02 = o?
False
Suppose 0 = 5*r + 4*q + 98, -3*r = 2*q - 21 + 81. Let u = -23 - r. Which is smaller: u or 2/5?
u
Let a = -5 - -6. Let i(b) = b - 8. Let l be i(2). Let v be (a/(-7))/(l/(-12)). Which is smaller: -1 or v?
-1
Let z = 161.07 + -159. Let b = z - 0.07. Let d = -1.6 + b. Is 1/3 > d?
False
Let t = 76 - 172. Let d be 6/t*(-6)/15. Which is greater: 1 or d?
1
Let c = 217 - 216. Which is bigger: -9/56 or c?
c
Let j be (66/(-77))/(3/(-42)). Which is smaller: j or 10?
10
Let p = 25.6 + -3.6. Let s = 23 - p. Let g = -0.7 - -1. Which is smaller: s or g?
g
Suppose 114 = -7*n + 618. Let j = -65 + n. Is j less than or equal to 6?
False
Let r be (-1 - 21/(-12))/(15/130). Which is smaller: r or 8?
r
Let a = 10 + -7. Which is bigger: -5 or a?
a
Let s(r) = -2*r - 20. Let v(y) = y + 13. Let g(t) = 5*s(t) + 8*v(t). Let j be g(3). Is j < -2?
False
Suppose 5*b - 271 = -0*b - 3*k, 3*k = -2*b + 103. Let j = 55 - b. Let w = 9/10 + -227/230. Are j and w non-equal?
True
Let w = -5/8 + -97/24. Let o(s) = -8*s**2. Let h be o(2). Let f = -38 - h. Which is bigger: w or f?
w
Let s = -0.0427 - -0.0427. Which is greater: 4 or s?
4
Let s(h) = h - 41. Let k be s(16). Suppose v = -6 + 3, 0 = f + 2*v + 17. Let b = f - k. Do 14 and b have different values?
False
Let o(d) = -2*d + 8. Let v be o(10). Let y be -2*2/v*-3. Let p = -7 - -5. Is p at most y?
True
Suppose 6 - 15 = -5*z + 4*j, 0 = -5*z - 5*j + 45. Suppose c - 9 = -3*v + 1, -4*c - 24 = -4*v. Suppose v*p + 11 - 31 = 0. Is p <= z?
True
Suppose -o = -0*o + 2. Let a be -2*(3/o)/(-3). Let d = -1281/1528 - 7/191. Which is greater: d or a?
d
Suppose 3654 = -53*t - 10*t. Is t smaller than -59?
False
Let i(u) = u**2 + 11*u - 2. Let s be i(-12). Let t = s + -8. Suppose 4*y + 10 + t = 0. Is -5 <= y?
True
Let y = -486/2821 + 4/217. Let x = 12.8 + 0.2. Let j = -12.9 + x. Which is greater: y or j?
j
Let m be 0/(-2)*(16 - 15). Suppose -4*b - 208 = -m*b. Is -53 bigger than b?
False
Suppose -2*r + 68 = 2*r. Let n = r + -15. Suppose g - 6 = -2*g, 0 = 2*o + n*g - 32. Which is bigger: o or 2?
o
Suppose 8*j - 23*j = 15. Is j at least as big as 2/679?
False
Suppose a = -0*a. Suppose a = -2*y + 3 - 7. Which is bigger: -2/3 or y?
-2/3
Let m = 217 - 214. Let r = 9 + -4. Let y = -4 + r. Is y > m?
False
Let u be ((-2)/(-9))/((-286)/(-234)). Is u at least as big as -59?
True
Let o(i) = -2*i**3 + 7*i**2 - 2*i - 3. Let n be o(3). Let k be ((-3)/(-2) + -2)*n. Is 1 at most k?
False
Let f be -1*(-6 + 1 + 2). Suppose -f*c + 0*c + l - 41 = 0, -4*c - l = 57. Let s be (-63)/c + 2/(-4). Is 4 at least as big as s?
True
Let p(t) = -t**3 + 7*t**2 - 5*t - 4. Let w be p(6). Suppose l = -w*l - 129. Which is bigger: l or -44?
l
Let s(h) = -h**2 + 6*h - 1. Let z be s(5). Suppose -p - z*p + 30 = 0. Let c = 10 - p. Which is smaller: c or 0?
0
Suppose -4*j + 3*j + 3*a - 9 = 0, 3*j - 4*a = -22. Do -6 and j have the same value?
True
Let i(w) = 22 - 65*w + 1 - 9. Let k be i(6). Let z = 3003/8 + k. Which is smaller: z or 0?
z
Let u be (4 + -5)/(5/4)*-21. Let v = 23 + -5. Is v greater than u?
True
Suppose -3*a = -4*a - 321. Let x be (-953)/a*4/(-20). Let b = 2/321 - x. Are b and 2 equal?
False
Let c = 13/175 + -389/525. Which is bigger: 7 or c?
7
Let u(w) = -102*w + 3. Let d be u(-1). Which is smaller: d or 0.2?
0.2
Let q(g) = -2*g**2 - 5*g + 2 + 5*g**2 - 2*g**2 - 5. Let u be q(6). Suppose -5 = s + 5*k, 4*s - 1 + u = -2*k. Is s at least as big as -1/37?
True
Let o = -0.158 - -7.158. Let m = -886/11023 - -8/151. Let b = m - -79/219. Is b greater than or equal to o?
False
Let s(j) = 2*j + 45. Let g be s(-12). Is g equal to 21?
True
Let k be (4/(-50))/(((-154)/(-70))/(-11)). Which is greater: k or 14.4?
14.4
Let v = 0.018 + -37.018. Are -2 and v unequal?
True
Let u(k) = k**3 - k**2 - 2*k. Let a be u(2). Let d(l) = -l - 1. Let w be d(a). Let s be w*(-3 - (1 + -4)). Are 2/3 and s unequal?
True
Let q = 302 - 330. Which is greater: -1/6 or q?
-1/6
Let q(o) = -o**2 + 4*o + 2. Let m be q(4). Suppose 4*u = m*l - 10, 2*l + 5*u + 14 = -3. Are l and 6/13 nonequal?
True
Let a = -3 + 5. Suppose -p + a = 10. Suppose 3*d = 4*n + 39 - 2, 4*d = -4*n - 16. Which is s