t f = -554 + 554. Which is greater: -3/170 or f?
f
Let o = -13 + 5. Let h = -44 - -47. Let f be ((-2)/h)/(5/(-3)). Which is greater: o or f?
f
Let w(y) = -8*y + 8. Let a be w(1). Which is bigger: a or 4/37?
4/37
Let t = -686/195 - 11/39. Suppose 14 = -2*n - 2*g, -5*g + 3*g = 5*n + 26. Is t greater than n?
True
Let l be (-24)/(-16)*(4 - 56). Is -82 at least as big as l?
False
Let k be 8 - (2 - (-2324)/315). Is k bigger than -2?
True
Let v = 1547 - 583218/377. Is v at most 1?
True
Suppose 17*y - 35*y = -2088. Is 118 less than or equal to y?
False
Let u be 15/9 - (22/(-3) + 7). Which is bigger: u or -15/4?
u
Let j be -67 + (7 - 9 - 5). Which is smaller: -76 or j?
-76
Let h(y) = y**2 + 14*y - 20. Let w be h(-15). Let d be (15/(-9))/w - (-2)/3. Is d equal to 0?
False
Let f(p) = -17*p**3 + 2*p**2 + 4*p + 1. Let c be f(-1). Is 9 not equal to c?
True
Let v = 1213.1 + -1150. Let h = v + -5.1. Which is smaller: h or 1?
1
Suppose 2*v + 166 = -4*y, -2*v + 0 + 2 = 0. Let t be ((-1)/(-2))/(14/y). Is t greater than -1?
False
Let l = 25 + -82. Let z = l + 56.9. Let i = 0 - 5. Which is smaller: i or z?
i
Let l = 838 + -1286. Let q be 2/6 - l/24. Do -2 and q have the same value?
False
Let u = -176.9843 + -0.0157. Is 0.1 <= u?
False
Suppose 0 = -4*o + 6 - 38. Let b = 15.1 - 15.1. Which is bigger: o or b?
b
Suppose -f = -5 - 0. Suppose 2*h - 4 = f*m, -3*m - 2*m + h - 2 = 0. Suppose -4*i + 131 - 43 = m. Which is greater: i or -0.1?
i
Let k(d) = -5*d + 2. Let o be k(2). Let u be 212*(-2)/(-33) + o/44. Is 13 greater than u?
True
Let w(o) = -o**2 + 10*o + 10. Let l be w(11). Which is bigger: -1/1036 or l?
-1/1036
Let m(q) = -q**3 - 4*q**2 + q + 3. Let c be m(2). Let y = c + 18. Are 10 and y nonequal?
True
Let g(f) = 5*f + 5. Let i be g(-5). Let s = i + 30. Suppose 4 = -3*n + s. Is 4/5 < n?
True
Suppose -13*n = -9*n + 176. Are n and -46 nonequal?
True
Let m be 1/((-12)/(-32))*18*3. Which is bigger: m or -4?
m
Let x be 132/220*45/102. Are -1 and x equal?
False
Let g = -21 - -15. Let f = -7 + g. Let w = f - -10.7. Is 2/3 < w?
False
Let r be (-2)/1*22/4. Let l = -290 + 283. Are l and r unequal?
True
Let j(f) be the second derivative of 3*f - 7/3*f**3 + 1/12*f**4 + 0 + 0*f**2. Let p be j(14). Is p < 2/7?
True
Let j = 18.6 + -18.4. Is 48 <= j?
False
Let t = -312 - -317. Is 0 less than or equal to t?
True
Let w(i) be the third derivative of i**6/120 - 3*i**5/20 - 5*i**4/12 + 18*i**2. Let b be w(10). Is 0.025 bigger than b?
True
Let l = -123655/232 + 533. Is 0.1 > l?
True
Let f(w) = w**3 - 8*w**2 - 9*w - 10. Let o be f(9). Let i = -5887/3 + 1952. Is i <= o?
True
Suppose 39 = -0*b - 3*b. Let p = -14 - b. Let u = 98/3 - 33. Which is bigger: u or p?
u
Suppose -q - 5*a = 0, q - 5*a = -q + 15. Suppose -q*s = -2*f - 7, -4*f + 6*s = s + 39. Which is smaller: f or -1?
f
Let p be (-1)/(-4) - (-49)/28. Let g = 8 - p. Let m be (g/9)/(4/6). Which is greater: -4/5 or m?
m
Let c be 112/35 + 8/10. Suppose -22 = -c*i - 2. Suppose f - i*d = -3*f - 37, 0 = -5*f - d - 10. Which is greater: f or -8/3?
-8/3
Let w be 4/(-3)*42/(-56) - -19. Is 318/17 at most w?
True
Let q = -64026/527 - -2050/17. Which is greater: q or 0?
0
Suppose -8*p + 13*p - 60 = 0. Suppose 8*c = 4*c + p. Suppose c - 6 = -3*d. Which is bigger: d or 5/8?
d
Let f = 0.05 - 0.04. Let a = f - 2.01. Let h be (-30)/8 + 1 + 0 + 2. Are a and h equal?
False
Let z = 1169 + -1407. Which is smaller: z or -236?
z
Let z(w) = -w**2 - 5*w + 4. Let o be z(-5). Suppose -o*c - c - 80 = 0. Let y be ((-153)/(-18))/((-3)/6). Which is smaller: c or y?
y
Let d be (806/(-78))/((-4)/(-3) + -1). Which is bigger: d or -32?
d
Suppose -5*z + t - 34 = 0, z + 20 = -z + 2*t. Let c be 3/(-6) - 3/2. Let m be (-1)/c*4/z. Which is smaller: m or 1?
m
Let h = 920/1377 - 2/1377. Which is smaller: 0.2 or h?
0.2
Suppose -2*p = v - 28, -75 - 17 = -3*v - 2*p. Suppose 28 - v = 2*a. Are -1/6 and a equal?
False
Let u be -6 + (-3020)/(-16) + 4. Is u at most 186?
False
Let z(h) = h**3 + 8*h**2 - 21*h - 8. Let o be z(-10). Suppose o*a - 4*r = -2*a, 4*r + 45 = -5*a. Which is bigger: a or -6?
a
Let k(y) = y**3 - 23*y**2 - 12*y - 76. Let r be k(24). Is 213 not equal to r?
True
Let x = 21 + -16. Let z = -4.9 + x. Let t = -0.1 + z. Is t not equal to 2?
True
Let r(y) = 3*y - 5. Let x be r(5). Suppose x*o = 5*o + 5*b + 395, b = 2*o - 163. Let n be 3 - (-3)/(o/(-80)). Which is smaller: n or 0?
0
Let s be (-2 + 3)*1*-5. Let f(r) = -r - 20. Let g be f(-11). Let z be 37/g - (-3)/27. Is s bigger than z?
False
Let o = -166521357/2695 - -61789. Which is smaller: o or -1?
-1
Let l(t) = -2*t - 3. Let k be l(-3). Suppose 11 = -u + k*h + 2, -3*u + h = -5. Let c = 0 + u. Which is smaller: c or 0.3?
0.3
Let f = -48 - -98. Let o be (-6)/f*(-6)/9. Which is greater: o or 0?
o
Let j be 3 + (-5)/10*2. Let h be ((-5)/(-245))/(1/j). Which is greater: -1 or h?
h
Let n(g) = g**3 + 7*g**2 - 8*g - 5. Let q be n(-8). Let a be (-14)/17 + 6 + q. Which is smaller: a or -1?
-1
Suppose 0 = l + 4, l - 20 = j + 4*l. Let v be (6/(-4))/(3/j). Let p be (-9 - 27)*(-2)/v. Are p and 17 nonequal?
True
Let b be (-3)/24 + (-1)/4. Let u = 18 - 18. Does u = b?
False
Let b be 2/10 + (-106)/630. Let o = -68.7 + 67.7. Which is bigger: o or b?
b
Suppose -t + 5 + 1 = -f, 0 = 2*t + 5*f + 2. Suppose 3*w = -w + t. Let n = 31/304 + 1/304. Are n and w unequal?
True
Suppose 5*w + 2*d = -3*d + 5, d = 4*w - 9. Let q be (-3)/3*0*1. Suppose -4*l = -q + 4. Is l >= w?
False
Let l(o) = o**3 - 14*o**2 + o - 14. Let t be l(14). Let i be (-3 + -80 + t)/(4 - 1). Is i at most -28?
False
Suppose 4*i + 0*i = -l + 12, -5*i + l = -24. Suppose -y = 6 + i. Which is smaller: -47/5 or y?
y
Let m = -233/4 + 58. Let r be 11/(-44)*8/2. Is m > r?
True
Let b be ((-22)/6 - -4)*18. Suppose b*m = -0*m. Suppose m = -2*u - u + 18. Which is smaller: u or 5?
5
Let i = 408 + -436. Which is smaller: i or -32?
-32
Let y = -167 + 172. Let r = y + -3. Suppose -9 = -i - 2*c, 11 + 19 = 4*i + 5*c. Which is smaller: i or r?
r
Let u be (14/(-6))/(405/1701). Which is greater: -11 or u?
u
Let d = 340 - 339. Which is bigger: 159 or d?
159
Let o = -0.081 - 6.919. Is 9.1 at least as big as o?
True
Let b be 56/(-7) + (-4 - -720). Is 708 smaller than b?
False
Let d be (-4)/18 - (-4864)/8037. Which is greater: d or 0.1?
d
Let d(n) = n**3 + 5*n**2 - 36*n - 1. Let o be d(-9). Do 1/85 and o have the same value?
False
Let c = 1083 - 16243/15. Is c > -238?
True
Let h = -6/473 - -24/43. Let m = -4 + 6. Suppose i = m*i + 3*v - 8, i - 4 = -v. Is h bigger than i?
False
Let z be (-33)/21*-33 + 1. Let c = z + -956/21. Suppose 34 = -0*s + 4*s + 2*d, 5*s + 2*d = 41. Is c greater than s?
True
Let t be 103/5 - 4/(-10). Let l(a) = 2*a**3 + 2*a**2 - 29*a + 56. Let z be l(2). Is t at least as big as z?
False
Let v = 29.1841 - 0.0841. Are -2/3 and v equal?
False
Let c(r) = -4*r**3 + 2*r**2 + 5*r - 6. Let t(y) = y**3 + y**2 + y. Let z(m) = -c(m) - 3*t(m). Let b be z(6). Let i be ((-4)/b)/((-8)/(-12)). Is i at most 2/5?
False
Let z be -3 + -3 + (-8204)/(-1367). Is 1 at most as big as z?
False
Suppose -11*u = -5*h - 7*u - 385, -2*h - 2*u = 172. Which is smaller: -82 or h?
-82
Let h be ((1548/56)/9)/(1/(-2)). Which is bigger: -6 or h?
-6
Suppose 30 = 4*u + 5*q - 38, -u = q - 16. Suppose -u = -t + 20. Is 1 < t?
True
Let h(x) = -x**3 + 7*x**2 - 7*x + 7. Let z be -4 - 15*6/(-9). Let t be h(z). Let o be 2 - (-12)/14*55/(-22). Which is smaller: t or o?
o
Let f be 42/7 - 62*172/(-8). Is 1339 <= f?
True
Let k be 2/14 - 34/(-7). Suppose 4*l = k + 3. Suppose -p - p = -l. Is 2/3 at most p?
True
Let u = 4.184 - 3.14. Let q = u + -0.044. Which is smaller: 19 or q?
q
Suppose -7 = -p - 0. Let j = -2 + p. Let d(k) = -4*k + 28. Let b be d(6). Which is smaller: b or j?
b
Suppose 0*q + 57 = -q - 3*g, 285 = -5*q - 5*g. Let s = 193 + -250. Does s = q?
True
Let p(z) = -3*z + 4. Let g be -12*(-5)/40*8/6. Let x be p(g). Are 14 and x equal?
False
Suppose 2*i = -3*i + 70. Let u be (-16)/(-6)*75/(-10). Let y = -7 - u. Is y < i?
True
Let l = 239/72345 - -2/5565. Is -2/5 at least as big as l?
False
Let s = 82 + -86. Let k be (-32)/(-64) - (18/s)/(-3). Which is smaller: k or -4?
-4
Suppose -4*r - 17 = 3*d + 9, r + 2*d = -9. Let k be 1 + r/5 - 34/12. Let t(b) = -b**3 - 5*b**2 + 8*b + 8. Let s be t(-6). Which is bigger: k or s?
k
Let