- y + 2, -l - 2 = 2*y. Let z be (-6)/(-20) + 4/(-10). Which is smaller: z or y?
y
Suppose -4*z + 8 = 2*b, z = -4*b - 0*z + 9. Suppose 6*j = b*j - 8. Let q = -12 - -34/3. Is q less than or equal to j?
False
Let v(x) = -x**2 - 5*x - 3. Let i be v(-4). Let f be -1*2 + (-90)/(-18). Suppose 3*t = -f*z - 2 - i, -z + 2*t - 1 = 0. Which is bigger: z or -1/6?
-1/6
Let t(s) = -s**3 - 4*s**2 + 6*s + 6. Let f be t(-5). Suppose -4*c - c + 5 = 0. Is c at most f?
True
Let b(s) = -s + 5 - 3*s + s. Let y be b(2). Is -1 >= y?
True
Let a = 186 - 190.98. Let c = a - 0.02. Let j = c + 3. Which is smaller: 0 or j?
j
Let h = -7 + 7. Suppose -2*y + 0*t = 2*t - 2, -5*t + 5 = h. Is -1/4 not equal to y?
True
Let x = -108 + 863/8. Suppose -3*y + 8 + 1 = 0. Suppose -y*p + 3 - 6 = 0. Is p < x?
True
Let v(f) = -f**2 - 4*f + 5. Let j be v(-6). Let b be 4/2*1/j. Suppose 5*s - m - 3 = 4*s, 2*m - 6 = 0. Is s <= b?
False
Let w(z) = -z**3 + 6*z**2 + z - 1. Let y be w(6). Let j = -23/5 + y. Suppose -3*n = 4*r + 17, 10 - 4 = -2*n. Which is bigger: j or r?
j
Suppose 4*x = -16, 0*i - 5*i + 4*x = -1. Which is smaller: -5 or i?
-5
Let d be (-1 - 1)*-4 + -1. Suppose 3*x = d*x. Suppose -4*s - 7 = -3*q - 2*s, 3*q + 5*s + 28 = x. Which is smaller: q or -2?
-2
Suppose 2*f = -8*i + 4*i - 10, 3*f + 4*i = -7. Suppose 3*n - 18 = -f. Is 5 != n?
False
Suppose b = 4*v + 2*b - 11, 4*b = -4*v - 4. Suppose 0 = -0*l + 3*l + 2*i + 24, v*i = -2*l - 24. Which is smaller: -7 or l?
-7
Let w(o) = o - 5. Let a be w(3). Is a at most 11?
True
Let l(p) = 3*p**3 - 2*p + 1. Suppose -2*a + 4 = 2*a. Let o be l(a). Suppose -3*g = 5*d + 6, -2*g - 10 = -2*d + 3*g. Which is greater: o or d?
o
Suppose -2*t + 2*m + 6 = 0, -t + 5 = -2*m - 1. Suppose 3*l + l = t. Let z be 1/6 - 1/2. Are l and z equal?
False
Let w be ((-642)/(-9))/(5/6). Suppose -184 = 2*p + 4*k, 2*k + 255 = -3*p + 3*k. Let n = p + w. Is n smaller than 1?
True
Let n be 4/(-2)*231/18. Let t = n - -232/9. Which is greater: t or 1?
1
Let i = 49/186 + -1/6. Which is smaller: i or 0?
0
Let v = -1/20 - 3/20. Suppose 4*w + 2*j = 12, 0 = -3*w + 4*j + 12 + 19. Suppose -2*h - 25 = -0*h + 5*x, w = -5*h - x. Which is greater: v or h?
h
Let v(u) = -2*u**2 - 10*u - 7. Let n be v(-4). Which is smaller: n or 8/5?
n
Let x be (((-117)/27)/(-13))/((-6)/8). Which is smaller: x or -0.1?
x
Suppose 3*t - 4*s + 27 = 0, 6*t - s = 4*t - 13. Suppose -6 = 5*n + 9. Which is smaller: n or t?
t
Let i be 6/(14/4 - 2). Let c = 0 - -1. Suppose -2*s + 5 = -c. Which is smaller: s or i?
s
Let f = 6 - 2. Let q = f + -3. Suppose 2*b = -5*w - q - 9, b = 0. Is -2 greater than w?
False
Let u = 96001/96 + -1000. Do -1 and u have the same value?
False
Let j be (-6)/(-60)*6/(-2). Is j < 1?
True
Let b = 0.024 + -0.024. Which is bigger: b or 0.5?
0.5
Let u be ((-1)/(-1)*1)/(10/140). Which is smaller: u or -2/5?
-2/5
Let z = 2.3 + -13.3. Let k = z + 10. Let h = -0.4 - -0.3. Which is smaller: k or h?
k
Let g(z) = 3*z + 1. Let f be g(1). Is f bigger than 3?
True
Let s be -2*2*14/(-8). Let y(x) = -x**2 - x + 2. Let u be y(-2). Is u != s?
True
Let i be -3 + 4 + (-3 - -3). Is i less than -2/189?
False
Suppose -26*v + 2 = -28*v. Which is smaller: 0 or v?
v
Let i = -2 - 0. Let f be (-3)/1 + -1 + 1. Let b(l) = -l**3 - 2*l**2 + 3*l - 1. Let c be b(f). Which is smaller: i or c?
i
Suppose u = -2*j - 15, 3*u - 3*j - 10 = 2*u. Suppose 0*k - k = 5. Is k less than or equal to u?
True
Let x be ((-9)/(-15) + -1)*-5. Let o(y) = -y - 6. Let v be o(-8). Suppose v*a + 4 = -x*a. Which is smaller: a or 0?
a
Let w = 3.86 - 4. Let i = w + 0.04. Let u = 68/7 + -10. Is u != i?
True
Suppose -4*w + 0 - 8 = 0, 3*w + 13 = -z. Is z equal to 0?
False
Let y = 51 + -48. Which is greater: y or 0?
y
Suppose -2*l + 12 = -2*a, 10 = 2*l + 3*l + 5*a. Suppose 0 = -5*u + m + 15, 8*m = l*m. Let o be 1/u*9/6. Which is bigger: 2 or o?
2
Suppose 0 = -2*r + 6 - 2. Suppose r*y - 4 = -8. Is -3 < y?
True
Let g be ((-2)/(-6222))/(12/9243). Let y = g - 3/244. Which is bigger: y or 0?
y
Let y be (27/24 - -1) + -2. Which is smaller: 1 or y?
y
Let b(c) = -8*c - 1. Let o be b(1). Let s be (-57)/o + 2/3. Is s equal to 2?
False
Let t = 5 - 6. Let k = 0 - t. Which is smaller: -7 or k?
-7
Suppose 5*g = -3*r + 35, r - 21 = -0*g - 3*g. Let v(z) = -z**2 + 6*z + 6. Let j be v(g). Which is smaller: j or 1/4?
j
Let f = -6 - -6.2. Suppose g = 2*w - 10, 3*g + 0*w + 2*w = 2. Let d = 5 + g. Which is bigger: d or f?
d
Let t be 3/7 + 90/35. Is t smaller than -2?
False
Let m = -18 + 10. Let q = m - -3. Is q bigger than -3?
False
Let f = -2 + 2. Suppose 3*t - 6 = -f*t. Let b be ((-1)/t)/((-14)/16). Which is bigger: b or -0.1?
b
Let s = 33 + -299/9. Suppose -1 = 5*h - 4*h. Is h greater than s?
False
Let s(r) = r**3 - r**2 + r - 1. Let k be s(0). Is k less than -4/5?
True
Let u = -1/97 - -199/485. Suppose 2*o - 4*s + 28 = 6*o, -2*o + s - 1 = 0. Let w be (-3 + o)*(-1)/(-3). Is w at least as big as u?
False
Suppose 5*f - 3*j - 91 - 1 = 0, -4*f - 3*j = -52. Which is bigger: -2 or f?
f
Let x = -25 + 16. Which is bigger: x or 0.1?
0.1
Let f = 19 + -18. Which is smaller: 1/45 or f?
1/45
Suppose 110 = -21*u + 19*u. Is -55 at most u?
True
Let s = 14 + -14. Suppose 2*d + d + b + 20 = s, b = 5*d + 36. Which is bigger: -5 or d?
-5
Let o = 0.22 + -0.264. Is o greater than or equal to -1/4?
True
Let v be (418/(-133) - 1/(-1))*-1. Which is smaller: v or 2?
2
Suppose 4*s = -4*a + s - 62, 0 = 2*a - s + 26. Let y be -2*(-2)/a - 0. Let t be 1 - (32/(-14))/(-2). Which is smaller: y or t?
y
Let f be (-16)/102*(-57)/(-76). Is 0 smaller than f?
False
Let h = 458/5 + -91. Let k = -0.3 + 0.2. Let f = 0 + k. Which is bigger: f or h?
h
Suppose -4*d = -3 - 5. Which is smaller: 11/4 or d?
d
Let c be (2/(-1))/((-1)/2). Suppose c*f + 15 = f. Let g be 7/(-5) - 2/f. Which is smaller: -2/7 or g?
g
Suppose -6*k = -v - k - 13, -k + 41 = -5*v. Which is smaller: -2 or v?
v
Let t be (-68)/6*((-15)/4)/(-15). Which is smaller: -3 or t?
-3
Let m = -27/2 + 14. Is -6/19 >= m?
False
Suppose -3*k - 2*o = -7, 2*k = -2*o - o - 2. Let w = 2 - k. Which is smaller: -4 or w?
-4
Let i = -103 + 107.1. Let v = 4 - i. Which is greater: v or 1/2?
1/2
Let b be 3*(-1)/(-12) - 1. Which is smaller: b or 0?
b
Suppose 3*f = -0*f + 36. Suppose -3*v + 5 = 4*z + f, 3*v = -3*z - 6. Let c be (6/(-9))/(1/2). Is c != v?
True
Suppose 0 = 3*r - 2*r. Suppose -2*p + r = 5*j + 17, 4*j - 26 = 5*p. Let w be 2/(2 - 12/5). Is w greater than p?
True
Suppose 0 = 6*x + 10 - 16. Which is bigger: x or 11?
11
Let w = -13 + 27. Is -1/4 at most w?
True
Suppose -4*l + 4*m + 76 = 0, -m - 81 = -3*l - 6*m. Suppose -4*p + 5*c + l = -7*p, 4*c = -2*p - 16. Suppose -s - 1 = -5*k + 3, 5*s - k = -20. Is p <= s?
True
Let d(c) = 3*c**2 - 2*c + 14. Let p be d(3). Are 2 and p equal?
False
Let j(c) = 5*c**2 - 2*c**2 - 2*c**2 - c - 5. Let f be j(0). Let a = f - -7. Which is greater: 1/2 or a?
a
Let n = 7 - 7. Suppose n = -6*p + p. Suppose -2*f - 3*f = p. Which is greater: f or 2/17?
2/17
Let v = 21 + -21. Which is smaller: 4 or v?
v
Let h = -4 - -7. Suppose h + 1 = 4*u. Let f = 239 - 2631/11. Which is smaller: f or u?
f
Let w = 19 + -14. Suppose 3 = g + 3*x, -4*g - 3*x - w = 1. Is g bigger than -3?
False
Let h(w) = 3*w + 6. Let u be h(-2). Let q be ((-2)/(-84))/(1/(-4)). Which is greater: q or u?
u
Let h(s) = s**2 - 14*s. Let r be h(14). Suppose r = -b - 2*g + 6 + 5, 2*g = -4*b + 20. Which is smaller: b or 4?
b
Let k be 2/((-16)/(-252)) - 1. Is 32 less than k?
False
Suppose 4 = -2*f - 2. Is -18/5 bigger than f?
False
Let w be (-7 + 9)*(-1)/(-2). Let k be w + (0 - 0)/3. Are 2 and k nonequal?
True
Suppose n = -4*v + 18, 3*n = -4*v + 33 - 11. Suppose n*s - 26 = 3*l - 2*l, -s - 4*l + 31 = 0. Suppose 0 = -3*c - 2*c + p + 5, s = 3*p. Are 3 and c unequal?
True
Let g be 18/(3*28/36 + -3). Which is smaller: g or -28?
-28
Suppose k = -k + 8. Let i(y) = -y - 1. Let l be i(k). Let j be 3 + -5 - l/3. Which is bigger: j or 0.5?
0.5
Let z = -21 + 49. Let j be z/(-6) + 16/24. Is -4 equal to j?
True
Let h = -155 + 1547/10. Let n be 2 - 6*(-2)/(-4). Do n and h have the same value?
False
Let s(u) = -u**3 + 9*u**2 + 7*u + 7. Let d be s(10). Does -24 = d?
False
Let d(j) = -j**3 - 8*j**2 + 20*j + 24. Let i be d(-9). Is i bigger than -1?
False
Let w = 10/279 - 8/31. Which is smaller: -0.1 or w?
w
