Let l(h) = -7*h - 6. Let f be l(7). Let b = 55 + f. Which is smaller: 1 or b?
b
Let t(x) = x**3 + 9*x**2 + 13*x + 5. Let y be t(-13). Let s be 7/(196/16) + 459/y. Is -1 less than or equal to s?
True
Let r = 0.031 - -0.969. Let h = -191/5 + 38. Which is smaller: r or h?
h
Let a(g) = -14*g - 76. Let u be a(-11). Suppose 75*i - u*i = 0. Let r be 2/6 + (-28)/(-6). Is r greater than i?
True
Let b be (-5)/(-7) + (-4)/(-14). Let y(m) = -9*m - m**3 + 3*m - 1 - 11*m**2 + 18*m**2. Let i be y(6). Is b at most as big as i?
False
Let g be ((-1)/7)/(2/38). Let y = g + 157/63. Does 7 = y?
False
Suppose 14 = 4*c - 58. Is 93/5 greater than c?
True
Let w = -9 + -70. Is -75 at most as big as w?
False
Let s be (-101338)/(-10) - 12/30. Let q = s - 10230. Let d = 96 + q. Is d at most 0?
True
Let j(g) = 13*g**2 - 25*g. Let f(m) = -3*m**2 + 6*m. Let x(r) = 9*f(r) + 2*j(r). Let c be x(4). Let n be (6 - c)*(-5)/(-50). Is n greater than or equal to 1?
False
Let g be 2/(-4)*(-13)/(-5). Let u be (-1 - -6)/(-10)*0. Is g less than u?
True
Let o = -6.4 - -1.4. Let m = 6.5 + o. Which is smaller: 0.2 or m?
0.2
Let f(b) = 5*b - 22. Let w be f(5). Suppose -v - w*d = v + 5, -4*v = 5*d + 9. Is 1/8 at most as big as v?
False
Let s = 319 + -313. Is s at most 3?
False
Let z be (-6)/(-4)*24/(-18). Suppose -b - 4*o + 55 = 0, -b + 0*b - 2*o + 45 = 0. Let u be b/21*1/(-2). Are u and z nonequal?
True
Let q = -50 + 39. Let t = -38 - -27. Is t less than q?
False
Let r(w) = 24*w - 63. Let p be r(2). Let o(y) = y**2 + y - 5. Let j be o(-6). Suppose -4*z - 4 = 0, j = -5*n + 5*z - 50. Which is smaller: p or n?
n
Let k = -286 - -294. Is -2/71 bigger than k?
False
Let z be -1 + -2 + 77/25. Let r = 97 + -89. Let n = 7 - r. Which is greater: z or n?
z
Suppose -6 = -o - 8. Suppose -3*l = -10 - 2. Is o less than l?
True
Let b = -1756 - -1755. Let z = 0.2 - 0.49. Let l = -11.71 + z. Which is greater: b or l?
b
Let b be (0 + (-12)/(-20))/((-7)/665). Which is smaller: b or -61?
-61
Let k be 2*(18/22 + (-4)/(-22)). Suppose -3*s = -3*p + 2*s - 12, k*p + 3*s = 11. Let j be (-39)/(-12) + (-1 - 1). Is p > j?
False
Let n(k) = 660*k - 48. Let o be n(1). Which is smaller: o or 611?
611
Let n(a) = -7*a - 32. Let v(d) = 13*d + 63. Let l(k) = 5*n(k) + 3*v(k). Let h be l(-7). Is -1 < h?
True
Let o be (73/27)/(-3 - 64/6). Let t = -1/41 + o. Let g be 1/6 + 2/4. Which is bigger: t or g?
g
Suppose -5615 = -27*b - 755. Are b and 178 nonequal?
True
Suppose 0 = 9*g - 3*g. Suppose 2*c + 6 = 0, 3*y + 2*c + 9 = -g. Is -6 bigger than y?
False
Let p be 2/6*(-2556)/(-6). Let z = p + -1276/9. Suppose 2 = -5*x - 2*y, -4*x + 4*y + 3 + 1 = 0. Is z less than x?
False
Let c = 0.13 + -0.1. Is 4 < c?
False
Let o be ((-30)/60)/(22/12). Let y be -1 + (-1 + 2 - -1). Is o > y?
False
Suppose 3*r - r = 36. Let a be (-3 - 141/(-27)) + (-4)/r. Is a not equal to -0.1?
True
Let u be (6*14/(-1659))/3. Is u at most 1?
True
Suppose -7*c = -c - 18. Let z be (c/6)/((-711)/18). Let h = 235/158 - z. Is 1 < h?
True
Suppose 5*l + 6*l = -264. Let i(o) = 5*o + 21. Let k be i(-9). Is l bigger than k?
False
Let i = -894 - -894. Which is bigger: -20/87 or i?
i
Suppose 7*h - 4*h - 60 = 0. Suppose 0 = 5*q - 0*q + h. Let f be (-171)/324 + q/18. Which is smaller: -2 or f?
-2
Let g = -759 + 712. Which is greater: -45 or g?
-45
Let s = -184665/8 + 23196. Let m = s - 113. Which is smaller: 0 or m?
m
Suppose 9*i - 11*i = 0. Suppose i = -2*b - x - 7, b + 4*x + 11 = x. Which is smaller: b or -8/3?
-8/3
Let w = -1138 - -1143. Is w bigger than 94/15?
False
Suppose 960 = 2*b + 19*r - 15*r, -2*r - 984 = -2*b. Which is bigger: 487 or b?
b
Let i = -17 + 12.9. Let t = 2.9 + i. Let j = 0.5 + t. Is j bigger than 0.1?
False
Let w = -3403 - -78242/23. Is w greater than -1?
False
Suppose 3*s = -5*j - 49, -s - 5 = -j - 2. Which is smaller: s or 0.1?
s
Let f be (-5)/(3/(-3*7)). Suppose 37 = 4*v - f. Let z be ((-9)/v)/(1 + 1). Is 0 smaller than z?
False
Let b = -25735/1407 - -128/7. Is -1 > b?
False
Suppose 2*j + 13 = -3*p - 37, -p - 13 = -3*j. Let u = 20 + p. Let f be u - 1 - 17/6. Which is smaller: f or 1?
f
Suppose n = -4*n. Let a be (485505/(-435))/(6/(-4)). Let p = -744 + a. Is n greater than p?
False
Let q = -0.8 - -0.9. Let s = 0.72 - -11.28. Is s equal to q?
False
Let v = -2263 - -2264. Let k(a) = -a**2 - a. Let y be k(-1). Which is bigger: v or y?
v
Let v be ((-140)/48 + 3)/((-2)/6). Which is smaller: -23 or v?
-23
Let j(t) = t**2 - 4*t - 16. Let k = -24 - -31. Let v be j(k). Let d = -5 + 10. Is v greater than d?
False
Let v(t) = -t**3 + 4*t**2 - t - 4. Let s be v(4). Let r = 13 + s. Let m(f) = -f**3 - f**2 - 4*f - 4. Let i be m(-2). Which is bigger: r or i?
i
Let j = 248 + -248. Let s = -2 - -2. Is s smaller than j?
False
Let b = -6 - -2. Let u = -122/35 + 2/7. Which is greater: u or b?
u
Suppose -3*a + 84 = 4*r, 0 = a + 4*a + 3*r - 151. Let u = -45 + a. Let d = 9 + u. Which is smaller: d or -1?
d
Let u = 10 + -10. Suppose u = 4*d + 4, -w + d - 6*d - 5 = 0. Suppose w = 4*f - 10*f. Which is greater: f or 4?
4
Let r = -37 - -47. Suppose -8*u + 4 = -r*u. Do -8 and u have different values?
True
Let i = -2.6869 - -0.1869. Do i and 2/3 have the same value?
False
Let g(u) = 6*u - 17. Let j be g(7). Suppose -4*i + 2 = 5*w, 5*w + 0*i - 14 = 2*i. Suppose -w*r = b + j, -2*r - 4*b + 3 = 25. Which is bigger: 0 or r?
0
Suppose 0 = 5*z + 2*u + 589, -5*z - 3*u = -0*z + 591. Is -114 at most as big as z?
False
Let q = 29658/5 + -5932. Suppose 0 = -3*a + 2*a. Let u = a + 0. Are q and u equal?
False
Let u = -30464 - -212469/7. Let z be 3/(0 - 3/111). Let d = u - z. Which is bigger: d or -1?
d
Let a = -346 - 36. Which is greater: a or -381?
-381
Let a be 2 + 2 - (-34)/11. Which is smaller: a or 1/3?
1/3
Suppose l = -4*v - 5 + 2, 0 = 2*l - 4*v - 6. Suppose 3*p + 4*n = l, 0 = 2*p - 3*p - 5*n + 4. Are p and 5 nonequal?
True
Let d(n) = -n**3 + 7*n**2 - 7*n + 4. Let c be d(6). Let q be (-1)/c*14/7. Is q equal to -5/12?
False
Let c = 106 - 105.81. Which is smaller: 0.06 or c?
0.06
Let n = -703 - -704. Is n greater than 238?
False
Let i(h) = -h**3 + 4*h**2 + 5*h + 3. Let d be i(5). Let o be (-5)/((-4)/14 + 92/(-168)). Suppose -d = -o*k + 3*k. Which is smaller: k or 9/7?
k
Let a = 24 - 32. Let l = 16 + a. Suppose 2 + 2 = -t + w, 0 = t - 5*w - l. Is -7 bigger than t?
False
Suppose i - 10 = -a, -5*a + 6*i - 12 = -3*a. Suppose 3*v + 5*u - 6 - 30 = 0, 0 = -5*v - 3*u + 44. Is a less than v?
True
Suppose -3*h = 4*r - 350, 522 = 4*h - 4*r + 18. Does 123 = h?
False
Let g = -25 - -18. Suppose 77 = -37*s - 219. Which is greater: g or s?
g
Let z be 360/(-225)*10/4. Which is bigger: z or -74/19?
-74/19
Let p be 3/(-114)*(-48)/(-5). Let c = 1/19 + p. Let z = 446 - 446.1. Is z greater than c?
True
Let j = 2.5 - -32.5. Let m = j + -25. Let v = m - 10.04. Which is smaller: -1 or v?
-1
Let w = -15 + 9. Let u = -6.9 - w. Let p = 8 - 9. Is u >= p?
True
Let o = -70 + 77. Suppose -4*b = -3*g + 22, 2*g - o*g = b - 6. Is 2 at most g?
True
Let r be 1*19 + (-26)/(-13). Let k be ((-70)/r)/((-4)/(-78)). Let f be (-8)/20 - 6/k. Which is bigger: f or 1?
1
Let l = -500/111 + -6/37. Suppose 10*k + 11 = 8*k + a, -4*k + 3*a - 21 = 0. Is k at most as big as l?
True
Let m(l) = l**2 + 22*l + 57. Let c be m(-19). Is -6/23 less than or equal to c?
True
Let i = -79 - -42. Let c = 11 + i. Let s = c - -27. Is 1 equal to s?
True
Let h(u) = -248*u + 6. Let l be h(2). Let w = l - -3412/7. Let x = w - -17/7. Is x >= 0?
False
Let k(u) = 8*u + 16. Let h be k(-2). Which is greater: 1/1241 or h?
1/1241
Let k = -41360/63 - -5708/9. Which is bigger: k or -22?
-22
Let t be 10/4*(-4)/(-5). Suppose 23 = 7*z - 2*z + t*v, -5*z = v - 24. Let u = 10 - z. Is 5 less than or equal to u?
True
Suppose 0 = -5*r + 5*f - 4*f - 11, -3*r + 5*f + 11 = 0. Let q be (-1 - 6/(-10))/(r/(-5)). Which is smaller: 6/17 or q?
q
Let s = 3 + -4. Let i = -98 - -96. Let c be -5 - (i - (-92)/(-28)). Which is smaller: c or s?
s
Suppose -5*q + 2*y + 3*y - 25 = 0, 3*q + 2*y = 10. Let k(f) = -9*f + 3. Let j be k(3). Let b be j/(-714)*(-7)/(-6). Which is smaller: b or q?
q
Let s be (-33984)/(-2600) + -3 + -1 + 2. Let g = -146/13 + s. Is 0 >= g?
True
Let p be 1*7 + 4/(-2). Let d = -4 + p. Let z(h) = -h**3 + 3*h**2 + h - 1. Let r be z(3). Which is smaller: r or d?
d
Let k = -721 - -698.