 -0*d + d - g. Suppose -4*i + 3*i = -y - 1, -5*i - 5*y = 15. Which is bigger: u or i?
u
Suppose 3*q + 10 = 8*q. Let i = q - 3. Let p = 0 + i. Is 2/15 smaller than p?
False
Let w be ((-2)/(-5))/((-42)/35). Is -3 bigger than w?
False
Let z = 45 + -51. Is -6 equal to z?
True
Let t = 6 - 4. Let d be t/8*(-24)/(-21). Suppose r = 5*y - 2 - 7, 4*r + 5*y = 14. Which is greater: r or d?
r
Suppose 0 = -2*g + 1 + 1. Let z = 3 - 3. Is z less than or equal to g?
True
Suppose j + 3 = 1. Let c be 3/j*(-12)/3. Suppose 4 = -2*o + c*o. Is o less than 0?
False
Suppose -14 = r - 13. Are 3/38 and r nonequal?
True
Suppose -i = -4*a - 5, -i + 0 - 3 = 0. Let s be 56/(-48)*a/28. Is s bigger than 1?
False
Let s = -2.5 + 3. Let t = -2.8 + 3.5. Let u = s - t. Is -1 at most u?
True
Let q = 62 + -56. Let y be (4/6)/(4/42). Which is bigger: q or y?
y
Suppose 4*y + 4*g + 4 = 0, -2*y + g = -y - 9. Let j = 5 - y. Let h = -277 - -6369/23. Which is bigger: h or j?
j
Suppose -2*w - 3*p = w - 54, -5*w = p - 70. Let i = w + -8. Suppose -5*g + 5*d = -i, -3*g + 9 + 6 = 3*d. Is g >= 2?
True
Let r(y) = 3*y - 1. Let l be r(1). Suppose 4 = 3*x - l. Let g = x + -1. Which is greater: 0 or g?
g
Let z = 34 - 35.3. Let o = 1.4 + z. Which is bigger: -7 or o?
o
Let t = -22 - -22. Let b be (0/2)/(-2*1). Are t and b equal?
True
Let w = -1/6 - 0. Let x = -1.86 - 0.14. Is x at least w?
False
Let l = -2 - -1. Let d = 304 + -304. Is l greater than or equal to d?
False
Let t(i) = i**2 - 5*i - 8. Let c be t(6). Which is smaller: c or -0.1?
c
Let l(z) = -z - 7. Let c be l(-5). Let i be 0*(c + 1)/(-1). Which is smaller: i or 3/11?
i
Suppose 2*s + 0*w - 2*w = 6, 2*s - 3*w - 9 = 0. Let v be 2/(-2 + s + 0). Let o(y) = y**3 + 6*y**2 + 5*y - 1. Let r be o(-5). Is v > r?
False
Let v = -8 - -8.3. Let o = -2 + 2. Is o less than v?
True
Let q be (1/2 - 731/170) + 4. Which is greater: 0 or q?
q
Let v = -1.6 + 1.3. Let n(q) = q**2 - 10*q. Let a be n(10). Is a > v?
True
Let w(m) = m**3 + 9*m**2 - 11*m + 5. Let s be w(-10). Let b = 1 - -14. Suppose b = -4*i + 3*o, -5*o + s + 10 = -3*i. Is 1 smaller than i?
False
Let i(w) = -w**3 + 6*w**2 - 5*w + 4. Let d be i(5). Suppose 111 - 91 = 5*o. Is o less than d?
False
Let d = 10 + -11. Let j(h) = h**2 - 2*h. Let p = 1 + 0. Let f be j(p). Is f at least as big as d?
True
Let p be (16/12)/4*-3. Let a be ((-2)/8)/((-2)/(-4)). Which is smaller: p or a?
p
Let g = -1871616/301 - -6218. Let o be (-2)/3 - (-4750)/9933. Let q = o + g. Which is smaller: q or -1?
-1
Let f be (-5)/(25/(-10))*8. Is 15 less than or equal to f?
True
Let f be (-3)/(-9) - (0 + 0). Let k = 29 + -27. Which is bigger: k or f?
k
Let k(d) = -2*d**3 - 6*d**2 - 4*d - 3. Let s(f) = f**2. Let p(c) = c - 6. Let v be p(5). Let o(q) = v*k(q) - 2*s(q). Let y be o(-2). Are -7 and y equal?
False
Let g = -3/64 - -1827/64. Let s = g - 27. Which is smaller: s or 1?
1
Let t = 8 + -26. Which is greater: -3 or t?
-3
Let c be (-50)/5*(-2)/4. Suppose 2*f = -y - 3, 3*y + 18 = 8*y - f. Let b be (y/2 - 1)*8. Is c greater than b?
True
Suppose 85*g + 94 = 86*g. Which is smaller: g or 93?
93
Suppose 0 = -0*y - y + 4. Suppose -3*j = y*l - 0*l + 19, -4*j - l = 8. Let c(v) = -v**3 - 5*v**2 + 5*v - 6. Let q be c(-6). Is q not equal to j?
True
Let i = -1/651 + -940/217. Which is smaller: -4 or i?
i
Let m be (1 - (-2)/(-4))/(-2). Let h = m - 0. Is h at most as big as 0?
True
Let t be (-2 - 20/16) + 2. Is t smaller than 0?
True
Let l be (-2)/(-1) - (-1 - -2). Is l smaller than 1/4?
False
Suppose y - 1 + 3 = 0. Let u be (-2)/(y - 1 - -2). Which is greater: u or 3?
3
Suppose 5*c - 2*w + 9 = 0, c - 4*c - 12 = w. Are c and 2/5 nonequal?
True
Suppose 12 = v + 3. Suppose -v = -2*g + 1. Suppose g*m + 0 + 5 = 0. Which is greater: -1/7 or m?
-1/7
Let i(z) = z**2 - 2. Let c be i(-2). Is 13 at least c?
True
Let x be 492/156 - (2 + -2 + 3). Are x and -0.1 nonequal?
True
Let d(x) = -x - 4. Let u be d(-3). Let y be u + (2 - -1) + -4. Let z be (-3)/2*(0 - y). Is z equal to -1?
False
Suppose -4*x = 5*o - 28, 0*x + 2 = x. Let t = o - 3. Which is smaller: t or -3/8?
-3/8
Suppose -5*u - 4*z + 0 = -4, 2*u - 5*z = -5. Suppose -2*i + 2*h = -i + 14, 5*h - 21 = -i. Let d be u + (i + 2 - -4). Which is smaller: 1 or d?
1
Suppose 3*a = -8 + 2. Let z = 1 + a. Is z >= 2/7?
False
Let v = 61/88 + -7/8. Is 2 less than v?
False
Let v = -315/4 - -78. Which is smaller: v or 1?
v
Let s be -3 + 1 - 15/(-9). Is 3.2 bigger than s?
True
Suppose -3*m + 2*h = 42 - 0, -12 = 2*m + 4*h. Let b = m + 12. Which is greater: -2/53 or b?
b
Let f = -17732 + 141095/8. Let w = 95 + f. Are -1 and w nonequal?
True
Let a = -33 - -49. Is 14 greater than a?
False
Let y be (-22)/3660*-188 - 1. Let h = 12/61 - y. Which is smaller: 1 or h?
h
Let j = -7/39 - 2/13. Let a be (-12)/(-10)*(-10)/(-4). Suppose -a*z - 10 = 2*z. Is j equal to z?
False
Let t be 2*-1*(129/27 + -5). Does t = 0?
False
Let q = -3 - -2. Suppose -4 = -2*h, 16*j + 3 = 15*j + h. Is q less than j?
False
Let r = -12 + 6. Let j = r - -7. Is 1/2 > j?
False
Let p = -4.9 - -3.9. Which is greater: 3/17 or p?
3/17
Let a be (0 + -3)/(18/(-24)). Let b be (-80)/(-15)*(-3)/(-2). Suppose 0*t = a*t - b. Which is greater: 0 or t?
t
Let r be 0/2*(2 - 1). Suppose o + 0*o = 2. Suppose o + r = h. Which is bigger: 3/2 or h?
h
Let s(t) = -t**2 + 3*t + 1. Let f be s(4). Let a be 4 + (f + 0)/3. Suppose -k = -a*n + k, -4*k = n. Is 1/2 less than n?
False
Suppose -25 = -3*y - 2*y. Let x(j) = j**2 + 3*j - 3. Let o be x(-4). Let n be 2/(3/2 - o). Which is smaller: y or n?
n
Let d = 262 - 1304/5. Which is greater: d or 1?
d
Let u = 1/17 + 11/391. Is 1 > u?
True
Let b = 2714 + -192698/71. Let q = b + -106/639. Which is smaller: -2/3 or q?
-2/3
Let b(r) = r**2 - 4*r + 1. Let g be b(6). Let l = -18 + g. Is -5 >= l?
True
Let k = -3 - -5. Let a = -1.8 + k. Which is smaller: a or -1?
-1
Let k(z) = 2*z - 2. Let b be k(1). Which is smaller: 11 or b?
b
Let y = 106188743/848276 - 1/77116. Let b = y + -125. Is 0 greater than b?
False
Suppose 5*a + 61 = -4. Is -13 <= a?
True
Let b = -0.2 - -0.1. Let j = 0 + b. Let t = j - -1.1. Is 2/3 greater than t?
False
Let i be 6/(-4) + -2*1/(-4). Do i and 1/19 have different values?
True
Let h = 0.5 - -5.5. Which is smaller: 0.6 or h?
0.6
Let i be -1*2*(-6)/12. Is i at most 2/3?
False
Let t = -112 + 94. Do t and 1/3 have the same value?
False
Let y(j) = -j**2 + 2*j + 2. Let u be y(3). Suppose 0 = -2*a - 0 - 6, 2*o = 3*a + 9. Suppose 3*c + c = o. Is u != c?
True
Let l be -3 + 8 + 0/(-1). Let n be -1*(l - 2)/(-3). Is -0.1 <= n?
True
Suppose -3*r - 5*i = -6*r - 5, 0 = 5*i - 20. Suppose u = 6*u + r. Is u <= -8/9?
True
Suppose 5*g = -4*l + 60, 5*l - 57 = 3*g - 7*g. Which is greater: g or 78/11?
g
Suppose -5*s = -2*s - 15. Suppose -s*u = -4*u. Let p = 634 + -15848/25. Which is bigger: p or u?
p
Let a = 0.143 - 0.143. Which is smaller: -21 or a?
-21
Suppose -w + 4 = g, 8 = -3*g - 2*w + 3*w. Let q be (-66)/(-15) + -3 + g. Which is smaller: q or 1/7?
1/7
Let z = 16841/135 + -623/5. Is z smaller than 1?
True
Let c be ((-2)/4)/((-6)/(-120)). Let u(x) = -x - 8. Let t be u(c). Which is smaller: t or 3?
t
Suppose -4*q - q = -15. Suppose 2*u - u = 2. Suppose 2*o = u + 2. Is o at most q?
True
Suppose 5*s + 125 = -4*h, -7 = s + h + 18. Is s greater than -23?
False
Suppose -4*n + 3*y = -7*n - 3, 2 = -2*n + 5*y. Let r(a) = a**3 + a**2 + 1. Let v be r(0). Which is greater: n or v?
v
Let o = 1.3 + -4.3. Let p = -25 + 27.8. Let u = p + o. Is -0.1 <= u?
False
Let s(b) = b**2 - 2*b + 4. Let t be s(3). Let z = -13 + t. Which is smaller: z or 0?
z
Let r = 1.4 - 0.6. Let l = r + -0.2. Let k = -0.3 + l. Which is smaller: 1 or k?
k
Suppose -5*z + o + 0*o + 106 = 0, 100 = 5*z + 5*o. Suppose -j + 2*w = -9, -4*w = -4*j + j + z. Is j > 1?
True
Let s = 0.8 - 1.4. Let a = s - 0.4. Which is smaller: a or 1?
a
Let x be (-7)/(-3) + (4 - 4). Which is bigger: x or 3?
3
Let a(v) = -4*v - 17. Let n be a(-5). Which is smaller: n or 4?
n
Let p = 1.56 + -0.56. Which is smaller: p or -0.015?
-0.015
Let f = -0.0186 + 25.1186. Let d = -25 + f. Is d smaller than 7?
True
Let x = 24 - 15. Suppose -1 - x = 2*g + 4*p, -4*p = 3*g + 7. Let y = 20 - 19.9. Is g < y?
False
Let t = 0.04 + 0.76. Let w = t - -0.2. Is -1 greater than w?
False
Let a(k) = k**3 - 4*k**2 - 5*k - 2. Let y be a(5). Let 