 Suppose -2*d - 6 = -i. Let y = -1 - d. Which is bigger: 1 or y?
y
Let l = -6 + 4. Let z be l + 3 + -3 - 1. Let h be 8/6*z/(-7). Which is bigger: h or 1?
1
Suppose 4*y = 5*c, 3*c = 6*c + 3*y - 27. Suppose -s + c = -2*d - 0, -3*d = -3*s - 3. Let q = s + 4. Which is smaller: q or -3?
-3
Let b = 0.03 + 0.11. Let c = -7.14 + b. Let f = c - -6.7. Which is smaller: f or -2/5?
-2/5
Let d = -7 - -9. Let x = 1 - d. Which is greater: 1 or x?
1
Let d be ((-64)/(-24))/((-1)/(-18)). Let j be (2/(-24))/((-90)/d). Let x = j + -19/90. Do 0 and x have the same value?
False
Suppose 0 = -4*n + 4 + 12. Let p = -44 - -64. Suppose 0 = -4*d - 0*d + p. Which is smaller: d or n?
n
Let q = -1.9 + 0.1. Let t = q + -0.2. Let a = -1.9 - t. Which is bigger: a or -2?
a
Let w = -63162/5 + 12746. Let z = 114 - w. Let a = 8 + -7. Which is smaller: a or z?
z
Let j(q) = -3*q - 2. Let l be j(-3). Which is bigger: l or 6?
l
Let t be -1 - ((-174)/48 + 2). Is t greater than 2?
False
Let p be (-2)/((-3)/(9/(-6))). Which is smaller: -2 or p?
-2
Let d be (-4)/3*3/(-12). Let n = -1 - -1.4. Is n at least as big as d?
True
Suppose -2*i + 11 = -o, 0 = -i + 4*i - 3*o - 24. Suppose -16 = -i*f + f. Let u(b) = 10*b**2 + 2*b + 1. Let c be u(-1). Is c <= f?
False
Let v(z) = z**3 + 8*z**2 + 13*z + 4. Let a be v(-6). Is -14/5 != a?
True
Suppose -15 = -a - 2*a. Suppose a = -s - 4*s. Is s less than 2/9?
True
Let q be (-9)/12 + (-7)/(-28). Is -9.3 bigger than q?
False
Let b be 1/((-171)/85 + 2). Let l = b - -679/8. Which is smaller: l or -1/3?
-1/3
Let w = -5.75 + 6. Let o = 0.05 + w. Let c = -0.2 + o. Is c less than -1/11?
False
Let z = -1.1 + -1.3. Let r = z + 2. Let a = r - -0.5. Which is smaller: -2 or a?
-2
Suppose 2*o - 25 = -3. Do o and 10 have different values?
True
Suppose -1 = -3*j + 2*n - 11, -2*n - 4 = 4*j. Which is smaller: j or -30/11?
-30/11
Suppose 4*s = -0*p + 3*p - 2, -6 = 5*p - 2*s. Which is bigger: -7/5 or p?
-7/5
Suppose -3*p + p - h + 9 = 0, -4*p - 17 = -5*h. Which is smaller: p or -2?
-2
Let p = 24 - 20. Let a = -0.3 + 0.4. Which is smaller: a or p?
a
Suppose -v + 6 = 2*y, -5*y + 4 = 2*v - 10. Suppose -4*c + 3*q + 11 = 0, y*c + 2*q + 5 = -7. Let m = 187 - 1306/7. Do m and c have the same value?
False
Let o be 4/(-3) + 2 + 2. Let b(v) = -3*v**3 - 2*v**2 - 3*v - 2. Let w be b(-1). Are o and w non-equal?
True
Let l = -5.7 - -7. Which is smaller: l or 1?
1
Let s be (-4)/(-6)*6/10. Is s at least as big as 0?
True
Let l be ((-671)/11)/(3/3). Which is smaller: -60 or l?
l
Let q(l) = -2*l - 10. Let w be q(-7). Let z(c) = -c + 1. Let p be z(-1). Let r be (-7)/(-3) + p/3. Is r < w?
True
Suppose -m = 4*m + 60. Let b be 1 + 2*(-3)/m. Is 1 smaller than b?
True
Let y = -2/15 + -2/3. Is y less than -1?
False
Let c(u) = -43*u**3 - u + 1. Let s be c(1). Let a = s + 171/4. Which is bigger: a or 1?
1
Let d = -13 + 14. Let r be 4 - d*(1 + -2). Which is smaller: 4 or r?
4
Let m = 1 + 0. Is m at most as big as 2?
True
Let r = -0.3 + 0.2. Let c = -0.1 - r. Let u = 39.1 - 39. Which is smaller: u or c?
c
Suppose -3*t - 8 = -2. Is 0 greater than or equal to t?
True
Let n be ((-4)/6)/((-3)/18). Suppose -5*r + 3*f = -8 - 4, r = n*f + 16. Suppose r*i + 4*i = 4. Which is bigger: i or -1/9?
i
Suppose 0 = -2*m - m. Suppose -5*b - 4 = 6. Let p be 2/(-4)*b/9. Is p > m?
True
Let u = -79 - -23. Let k be 2/(-14) + (-1)/u. Is k greater than -1?
True
Let v = 7 + -6.9. Let s = 0 - 0.4. Let i = 0.3 + s. Is i not equal to v?
True
Suppose -g = 2*g - 6, g = -2*c. Let l be (4/(-20))/(8/(-10)). Which is bigger: l or c?
l
Let h = 2 + -1. Suppose h = 3*n - 11. Let b = -5 + n. Are b and 0 nonequal?
True
Suppose -2*z + 3*k - 10 = -0*z, -5*z + k = 12. Which is smaller: -1/2 or z?
z
Let m(s) = -s**2 + 5*s - 2. Let v be m(5). Suppose 15 = -2*y + 5*y. Which is smaller: v or y?
v
Let t = -43 + 43. Let q(f) = -f**3 - 4*f**2 + 4*f - 5. Let v be q(-5). Does v = t?
True
Let w be (9/(-7) + 1)*-7. Let o = 25/14 + -2/7. Which is smaller: w or o?
o
Suppose 24 = 3*z - 0*z. Suppose 7*w - 3*w + 5*h = 10, -4*h = 4*w - z. Let n = 0 - w. Which is smaller: -1 or n?
-1
Let v = 771 + -6950/9. Which is smaller: -1 or v?
v
Suppose -k + 5 = 4*k. Let a be -1*k - (-2)/8. Let l = -62 + 60. Is l at most as big as a?
True
Let h be 2 + (-27)/15 + 0. Which is smaller: 0 or h?
0
Let n be 203/42 - (-1)/6. Let d = -5 + n. Which is greater: -1/4 or d?
d
Let p be (-34)/(-6)*(-10)/309. Let m = p + -4/103. Suppose 0 = 2*a + 2*g + 2, -4*a - 3*g = a + 3. Which is smaller: m or a?
m
Suppose 6*u - u = -3*j + 20, -3*u - 5*j + 28 = 0. Let o = 29/20 - 5/4. Is o > u?
False
Let v be (-2 - 1 - -17)*1/2. Do 7 and v have different values?
False
Let c = -9 + 8. Which is greater: -1/13 or c?
-1/13
Let i be (-2)/13 - (-500)/(-130). Is i smaller than -3?
True
Let k = 6 + -4. Suppose -6*q + 9 = -3*q. Suppose -f = -q*f - k. Do -1/7 and f have the same value?
False
Let u = -1.06 - -0.06. Let r be 2 - (4 - (-2 - -2)). Which is greater: u or r?
u
Let c(q) = -2*q - 20. Let a(k) = -2*k - 19. Let o(t) = 7*a(t) - 6*c(t). Let y be o(-7). Which is smaller: 4 or y?
y
Suppose 5*n + 5 = 0, 0 = 5*o - 4*n + 237 - 51. Which is greater: o or -39?
o
Suppose 4*r = -0*r. Suppose -2*q + 3*j + j + 2 = r, q = j - 3. Which is greater: q or 1?
1
Suppose -5*l - 21 = 129. Suppose -4*k - 132 = -k. Let m be (-8)/44 + l/k. Is 0 >= m?
False
Let x(o) = -9 - o + 1 - 1. Let m be x(-8). Let a be ((-99)/440)/((-3)/(-4)). Is m > a?
False
Let h = 22 - 46. Let u = h + 95/4. Is 0 < u?
False
Let a = -12/25 - -1058/225. Is a less than or equal to 3?
False
Let k(i) = -5*i + 8*i**2 + 2*i - 4*i - i**3 - 2. Let c be k(7). Which is smaller: c or -4?
-4
Let f = -1 - -3. Is f less than 5?
True
Let a be 2/(-4) + (-5)/2. Let g = -85 + 165/2. Let y = g - a. Which is smaller: y or 0?
0
Suppose 0 = 3*h - 3*p - 396, h + 428 = 4*h + 5*p. Is h bigger than 136?
False
Let d(u) = -2*u**2 + 5*u - 3. Let m be d(4). Is m greater than -17?
True
Let b be (-38)/(-33) - (-54)/81. Which is smaller: 2 or b?
b
Let h = -0.68 - -3.78. Let k = h - -0.9. Is k smaller than 1?
False
Let c be (2 - 10/4)*-10. Suppose -2*r - c*w = -6*r + 2, 0 = 2*r + 3*w + 10. Let u be -5*r/(30/9). Which is smaller: 3/2 or u?
3/2
Let o be ((-4)/12)/(4 + -3). Is o less than -3?
False
Let j = 14 + -13. Are -1/18 and j equal?
False
Suppose -u + 3 = 0, j - 3*u - 8 = -5*u. Let y be j/8 + (-18)/8. Which is bigger: y or -1?
-1
Suppose 4*x + t = 20, -2*x + 4*t - 2*t + 10 = 0. Suppose 8*b = 3*b - x. Is 1/12 not equal to b?
True
Let u = 3 - -4. Let d be -1 + (-2)/((-2)/u). Which is greater: d or 5?
d
Let r be 8 - (-1 + -2 + 3). Let x be ((-1)/2)/1*r. Let a(w) = -w - 7. Let k be a(-3). Does k = x?
True
Suppose -b - 3*b = -56. Suppose b = 5*r - 1. Suppose 5*n - h - 51 = r*h, 0 = 5*n + 3*h - 23. Is n < -0.1?
False
Let p(y) = y**3 - 4*y**2 + y - 3. Let z be p(4). Let v be 0/1*(-3)/(-6). Suppose -6*j + j = v. Which is bigger: z or j?
z
Let k = 0 + 0.4. Is k greater than 0?
True
Suppose -1 = -2*j + 15. Suppose j = -3*d + d. Which is bigger: d or -5?
d
Let m be 18*(2 + (2 - 5)). Let p be (16/24)/(20/m). Is p bigger than -1?
True
Let b be -3 + (12/(-4) + 2)*-2. Is b < 3/25?
True
Suppose -4*j + 3*j = 1. Let i = j + -3. Let q be (i/(-5))/(2/5). Which is greater: q or 3?
3
Suppose -3*y + 9 = -3*c, -2*y - 3*y = 2*c + 6. Which is smaller: 2/59 or y?
y
Suppose -2*l + p + p + 4 = 0, -l + 4*p = -5. Is l greater than 2/91?
True
Let v = -3.09 + 3. Let g = v + 0.04. Let a = g + 3.05. Is a greater than -0.1?
True
Suppose -m = 4*q + 32, -5*q + 0*q + 4*m - 19 = 0. Let c(s) = -s**2 - 6*s + 9. Let r be c(q). Is 1 at most r?
True
Let d(b) = b**2 + b + 3. Let y be d(0). Suppose -8 - 8 = -4*m. Suppose -j = -m*j + 6. Is y <= j?
False
Let y = 2 + -3. Let t be (-18)/384*14 - 6/(-8). Which is bigger: t or y?
t
Let o(c) = c**2 - 9*c + 6. Let g be o(8). Let w be (-10)/54*g/(-5). Are w and 1 unequal?
True
Let c be 64/(-24)*(-18)/(-8). Which is bigger: c or 0.1?
0.1
Let q = 52.98 + -53. Which is bigger: -0.1 or q?
q
Let x = 1435 - 1425.23. Let j = x - -0.23. Which is smaller: 1 or j?
1
Let t(q) = q**3 - 2*q**2 - q - 4. Let w be t(3). Suppose 5*u - 20 = w*h, h = -4*u - 3*h - 12. Are 0 and u unequal?
True
Let q = -29/132 + -1/33. Suppose 0 = -v - 4*w - 2, -v = -3*w - 3 - 2. Let n be (-4)/(-8) + (-1)/v. Which is great