28/(-14)*-6 - 0. Let l = m - z. Which is smaller: l or 1?
l
Let t be -1 + (637/287 - 1/1). Which is greater: -1 or t?
t
Let n be ((-6)/(-12))/((-2)/(-107)). Let w = 48 + -74. Let g = w + n. Which is smaller: 0 or g?
0
Let i = -2 + 4. Suppose -p + 5*n + i = 0, -n - 1 = -2*n. Let h(g) = -g**2 + 22*g - 34. Let k be h(20). Which is greater: p or k?
p
Let h be -15*(-2)/6 - (-2 + -2). Let i be 182/24 - 12/(-18). Which is smaller: i or h?
i
Suppose -3*h - 2*w + 1 = 0, -w = -7*h + 3*h + 5. Let g(v) = -14*v**2 + v + 3. Let p be g(-4). Let n be 2/3 + p/297. Is n < h?
True
Let t = 36.3 + -10.3. Let u = -60 + t. Which is smaller: 0.2 or u?
u
Suppose 4*a - 36 = -0*a. Suppose 141*t - 187 = 124*t. Which is bigger: a or t?
t
Let k = -14.5 + 18. Let d = -2 + k. Let f = d + -1.3. Which is bigger: f or -8?
f
Suppose 4*a - 8 = 2*s, 11*s = 10*s + 5*a - 10. Is s greater than -4/129?
True
Let u be (-21)/(294/728)*2/4. Let n be (3/(-6))/((-3)/6). Are u and n nonequal?
True
Let n = 232 - 2554/11. Let r = -1.106 + 0.506. Are r and n equal?
False
Let d be (-76)/(-15352)*1*-1. Is d at least -1?
True
Suppose -u + 3*t + 3 + 9 = 0, -2 = 2*t. Suppose 0 = d + 3*s - 4 - 4, 0 = -d + 4*s - 20. Let v = d + u. Which is smaller: 3 or v?
3
Let v = -34 + 205/6. Let a(c) = 2*c**2 + 26*c + 45. Let j be a(-11). Is j >= v?
True
Suppose 139*w - 297 = 142*w. Which is bigger: -100 or w?
w
Let m = 636 + -703. Which is smaller: -333/5 or m?
m
Suppose -3*z - 17 = -5*t, -9 - 10 = t + 5*z. Is 1/2 < t?
True
Suppose 4*i = -5*a + 34, -i - 34 = -5*a - 55. Is 79/8 greater than i?
False
Let x = 0.61 + -0.71. Is x >= -61.9?
True
Let q(t) = t**3 - 3*t**2 + 6*t - 6. Let a be q(2). Let p be a/5 + 3/5. Is p at most -1/12?
False
Let n = 17 - 15. Suppose 0 = -3*i + 5*p + 36, -4*i - n*p + p + 48 = 0. Is 1/2 greater than i?
False
Let i = -5.35 - 2.65. Is i not equal to -0.2?
True
Let z be -3 + 1 + 2 - 1*-2. Suppose -z*s + 32 = 32. Which is bigger: s or -11?
s
Let v be (-34)/(-8) + 1/(-4). Suppose 3*c = 6, 4*z = 2*c + 18 - 6. Is z at most as big as v?
True
Let k be -109*(3 + (-105)/36)*-4. Which is smaller: 35 or k?
35
Let h be (-1)/3 - 77/(-198). Is 1 equal to h?
False
Let r(c) = c**2 - 7*c + 2. Let v be -4 + 3 + 5 + 2. Let w be r(v). Suppose 0 = l - 0 + 2. Which is greater: w or l?
l
Let k(f) = f**3 - 13*f**2 - f + 15. Let p be k(13). Suppose 5*c - u = -2, 5 = c - p*u - 0*u. Which is smaller: c or -9/8?
-9/8
Let q = -1.33 - 2.57. Is q not equal to 0?
True
Suppose 8*u - 12*u + 120 = 0. Let t = u - -63. Is t < 93?
False
Let k be (16/90)/((98/35)/7). Is 4/9 greater than or equal to k?
True
Let q = -356 - -335. Which is smaller: q or -0.9?
q
Let q(r) = 2*r**2 + r. Let i be q(4). Let t = 33 - i. Let h be ((-10)/8)/(9/12). Is t greater than h?
False
Let y be (-4620)/23225 + (-7)/(-35). Is y greater than -1?
True
Suppose -5*j + 75 = 25. Let l = j + -11. Let g be l + 1 + (-4)/4. Which is greater: -3 or g?
g
Let x = 119 + -71. Suppose 0 = 6*g + 120 - x. Which is bigger: g or -2?
-2
Let p be (5516/84)/(2/(-8)). Is -263 >= p?
False
Let j(n) = -n**2 - 8*n + 12. Let o be j(-9). Suppose -o*c + 2 = -c. Which is smaller: c or -1/53?
-1/53
Let w = 226 + -223. Let x = 8 - 16. Let s = x + 13. Is w <= s?
True
Let n = -1280 + 2004. Is 724 smaller than n?
False
Let k(n) be the third derivative of n**5/60 + 17*n**4/24 + 8*n**3/3 + 10*n**2. Let c be k(-17). Let y be (-22)/(-20) - 8/c. Which is smaller: -0.02 or y?
-0.02
Let i = -98.09 + 98. Is -2/17 at least i?
False
Suppose 4*n - 4*b - 8 = 0, -7*b + 12 = 5*n - 11*b. Is 13/4 at least as big as n?
False
Let d = 21 + 6. Let x be (-8)/(-18) - (-6)/d. Let c be (0/(-1))/(-3) + 1. Is x at most c?
True
Let h(i) = -i**3 - 5*i**2 + 11*i - 17. Let m be h(-7). Let s be m/12 - (-10)/6. Which is smaller: s or 1/6?
1/6
Suppose 6 = -5*b - 4*h - 46, -4 = 2*b - 4*h. Let g be 18/(-1 + (-14)/b). Is g greater than or equal to 24?
True
Let a = -18 + 11. Let l = -209 + 209. Which is greater: l or a?
l
Let q(l) = -l**3 - 9*l**2 - 7*l + 8. Let z be q(-8). Let v(m) = -m**2 - 5*m - 4. Let r be v(-4). Suppose r = -3*o + 4*o. Is z != o?
False
Let g(d) = -d**2 - 5*d + 10. Suppose 2*h - 4*z + 7 + 27 = 0, 4*z = -5*h - 15. Let k be g(h). Let y be k/(-10) + 18/(-20). Which is bigger: 1 or y?
1
Let g(p) = 29*p - 1059. Let q be g(-17). Is q at least -1551?
False
Let t = 11 - 8. Let m(n) = -n**3 + 3*n**2 - 3. Let f be m(t). Let d(q) = q**2 + q - 4. Let r be d(f). Which is bigger: 3 or r?
3
Let w(n) = n**2 + 5*n + 4. Let y be w(-3). Suppose -12 = 3*p - 0. Let i be 9/p + (-2)/(-8). Is i smaller than y?
False
Let d be 10 - -32 - -1*5/1. Which is greater: 49 or d?
49
Let d(m) = m**2 + 8*m - 36. Let q be d(-14). Does q = 97/2?
False
Let q = 19 + -20. Let t be ((-9)/1188)/(14/(-260)). Let o = 2/21 - t. Which is bigger: q or o?
o
Let s = 8 + -10. Let j be ((-8)/(-16))/(s/8). Suppose n + 3*n + 20 = 0. Which is greater: n or j?
j
Let y = 4 + -5. Suppose p - q = 30, -p + 19 = 3*q + 1. Let i = -647/24 + p. Are y and i nonequal?
True
Let g = -64 - -61. Which is smaller: g or 39?
g
Let j(q) = -q**2 - 7*q - 2. Suppose -8*y = -4*y. Suppose y = -2*p - 9 - 5. Let b be j(p). Does b = 0?
False
Let v be 4/(-18)*15/4. Let p(d) = 18*d + 126. Let n be p(-7). Is v smaller than n?
True
Let q(d) = 5*d + 66. Let a(x) = 3*x**3 + 3*x**2 - 6. Let z be a(-2). Let i be q(z). Which is smaller: i or -22?
i
Let w = -41 - -49.5. Let u = -0.5 - w. Let k = u - -11. Which is bigger: -4 or k?
k
Let j be ((-1)/(-3) - 0)*2. Let f(p) = p**3 + 7*p**2. Let n be f(-7). Suppose -i - 3*q - 4 + 14 = n, -5*q + 11 = -4*i. Is i less than j?
False
Let s(r) = 19*r**2 + 6*r + 8. Let i be s(-2). Is -3 at least as big as i?
False
Let k = -2152/3 - -711. Let x be (-1 - -3 - 11) + 2. Is k greater than x?
True
Let h be (8/(-98))/((-6)/(-7)). Let w = h - -3/7. Let k = -23/10 - -9/5. Which is smaller: w or k?
k
Let v(t) = -19*t - 7. Let c be v(-3). Suppose -10*h - c = -5*h. Let f(a) = -2*a**2 + 4*a - 4. Let y be f(3). Is y less than or equal to h?
True
Let y = 8 - 8.2. Let b = -1.6 - -3.56. Let l = -0.04 - b. Which is bigger: l or y?
y
Suppose -5*q = 3*s - 8 + 35, 4*s = q - 13. Let k = -1639 + 1635. Is s less than or equal to k?
True
Let h = 178/15 - 3394/285. Which is smaller: h or 1?
h
Suppose 6*r - 7*r - 32 = -b, 126 = -4*r + 5*b. Is -32 at most r?
False
Let v = 84 - 60. Suppose -p - v = 3*p. Which is greater: p or -4?
-4
Suppose 4*b - 25 = g, g - 5*b = 4*g + 24. Suppose 2*a + 6 = a. Let l = g - a. Does -7 = l?
True
Suppose -11*d + 434 = 20*d. Do 12 and d have the same value?
False
Suppose -8*i = -4*x - 12*i + 916, -4*x + 919 = i. Is x equal to -3?
False
Suppose -10*y = -0 + 50. Are -34/7 and y unequal?
True
Let b = -221.69 - -222. Is b > 4?
False
Let w be (17/3)/((-3)/531). Let v = -8039/8 - w. Which is smaller: v or -3?
-3
Suppose -2*r - 13 = -4*m + r, -m + 2 = -2*r. Suppose o + 8 = l, -8 = l - m. Let b = o - -13. Is -5 less than b?
True
Let g = -739 + 737. Which is smaller: 68 or g?
g
Let l = -530 - -471. Which is smaller: -55 or l?
l
Let w = 32 + -22. Suppose 0 = 5*u + b + w, -3*b - 11 = u - 5*u. Is u <= -5?
False
Let o = -0.2 + 0.3. Let c = -0.1 + o. Let v = -3517.2 - -3517. Is v greater than or equal to c?
False
Let w = 6.2 + -6.2. Let g = 219 - 180. Which is greater: w or g?
g
Let a = 1811 - 1762. Are a and 548/11 nonequal?
True
Let f(o) = o - 6. Let h be f(12). Suppose -h*l + b - 23 = -l, -4*b = -2*l - 20. Let t = -6 - l. Is t greater than or equal to -1/2?
False
Let u be (-8)/1 + 20/10. Let t be (-2)/u*0/(-1). Let r = 48 + -47.93. Which is greater: t or r?
r
Let s = -0.06 - -9.06. Let w = -1 - 7. Let u = w - -7. Is u at most s?
True
Let f(y) = -y**3 - 5*y**2 + 14. Let n be f(-3). Let p(z) = -z**3 - z - 5. Let k be p(0). Let m be n/(5*(-2)/k). Which is bigger: m or -7?
m
Let z be (0 - -1)/2*2. Let c be 15 + (2/z - -1). Let a be 16/(-9) + (-4)/c. Is -1 greater than a?
True
Let c = 776 + -779. Which is greater: c or -43?
c
Let f = -877 - -460. Which is greater: -416 or f?
-416
Let h(x) = -x + 3. Let w be h(4). Let q be w - 17 - (-2 - 2). Suppose c - 2 = -0, 85 = -5*f + 5*c. Is q at least as big as f?
True
Let i = 0.21 - 0.33. Let s = 0.04 + i. Let f = s + 0.58. Is 1/4 greater than or equal to f?
False
Let a = 397/5 + -79. Is 1.688 less than a?
False
Let c(v) = 2*v 