(k/56)/(10/16). Which is bigger: g or 16?
16
Suppose 0 = -6*y + 3*y - 6. Let m be ((-4)/(-330))/(y/(-10)). Let x be (15/(-90))/((-4)/(-6)). Is m > x?
True
Let h(f) = -147*f + 1. Let y be h(1). Let q(j) = -14*j**2 + 351*j + 191. Let p be q(26). Which is bigger: y or p?
y
Let q = -64 - -67. Let b be ((-6)/q + 4)*-4. Let y(o) = -o - 10. Let u be y(b). Is -2/3 < u?
False
Let x = -3113.7 + 3259. Let g = x - 145. Which is greater: g or -21/2?
g
Suppose -3*r - 14 = -4*t, 5*t = -r + 8 - 0. Let i = -245.06 - -245. Let k = -1.36 - i. Is k greater than or equal to r?
True
Let y(g) = -19*g**3 + g - 1. Let h be y(1). Suppose 374*n - 368*n = 78. Suppose -f = -k - 16, 3*k + 9*f + 47 = n*f. Which is bigger: h or k?
k
Let w be ((-16)/(-4) + -4)/2. Let h be -3 + 4 + 2 - 1. Let i be (h/7)/((-9)/63). Which is smaller: w or i?
i
Let n = 21992 - 21995. Which is bigger: -3709 or n?
n
Let n be (-334)/16 - (-3)/(-30 - -6). Let i = 26 - 45. Is n bigger than i?
False
Let k = 7202.8 - 7202. Is k at least 226?
False
Suppose 0 = 42*v - 43*v + 9. Let m(i) = -i**2 + 8*i + 10. Let f be m(v). Let h be -10 - (f - (4 + 1)). Is h > -7?
True
Let w be 60/60*(-2)/(-83). Let i be (153/(-27))/(1/3). Let c = 18 + i. Which is greater: c or w?
c
Let h(y) = 337*y + 1712. Let c be h(-5). Let m = 4222 + -21243/5. Let a = c + m. Which is greater: 7 or a?
7
Let u = 0.1 - 0.2. Let t = 112.63 - 228.63. Which is greater: t or u?
u
Suppose 38*l - 34*l = 44. Let b = -33 + l. Is b smaller than -20?
True
Suppose -5*k + 3*k + 5*q = -14, -2*q - 4 = 0. Let d be (-32)/(-24) - 65/(-3). Suppose d*x + 67 = 90. Which is greater: x or k?
k
Let d = 72 - 81. Let w = -0.059 + -7.941. Which is smaller: w or d?
d
Let v = 56.5 + -103.1. Let q = v - -42. Let j = 5 + q. Is j smaller than 2/9?
False
Let w = 877 + -935.2. Let q = w + 55.2. Which is smaller: -82 or q?
-82
Let j be (17 - 15) + -15 - -13. Is 4/2267 at least j?
True
Let n be 5*5/(-200)*-8. Let v = -1205/1728 + 111/64. Is v at least n?
True
Let v be 1*((-68)/(-12052))/17. Do -1 and v have the same value?
False
Let q(m) = 3*m**3 - 2*m**2 + 1. Let b be q(1). Let s be (6/(-4))/((-627)/342). Is s bigger than b?
False
Let b = 2.323 + -24.323. Is -1/14 bigger than b?
True
Let u = 1044 + -1043. Which is smaller: u or -2/5355?
-2/5355
Let d = -46823/672039 + 115/801. Is d > -1?
True
Let d = 155 - 162.3. Let z = 6.2 + d. Let r = z + 1.2. Is -0.23 less than or equal to r?
True
Let s(u) be the third derivative of -u**6/120 + 19*u**5/60 + 19*u**4/24 - 7*u**3/6 - 3*u**2 - 3*u. Let b be s(21). Is b at most as big as -490?
True
Let w be 256/(-48)*-4*1*6/(-4). Is -44 < w?
True
Let r = 16037 - 16034. Which is greater: r or 106/67?
r
Let v be (6/5)/(38/190). Let r be (v/3 + 0 + -3)/(-1). Is r smaller than -3/56?
False
Let w = -1/4109 + -2636/6052557. Which is smaller: w or -1?
-1
Suppose 0 = -6*n - 5*n. Let u(m) = -m + m + 20 + m + n*m. Let o be u(4). Which is bigger: 23 or o?
o
Let k be (-246)/(-3321)*(-3)/5306. Is 1 greater than k?
True
Suppose -5*q = 28 - 8. Let z be 39/60 - q/(-10). Let d = 280.26 - 280.282. Is z less than d?
False
Let h be (-1 - -2)*(3 + 1). Suppose 5*m = 2*m - 3, -3*n - h*m = -8. Let i(b) = -b**2 - 47*b + 266. Let y be i(-52). Which is smaller: y or n?
n
Suppose 25*n + 177 = 13*n + 9. Is 0.0471 > n?
True
Let p = -2513 - -1738. Let x = 34873/45 + p. Which is greater: -3/4 or x?
x
Let f = 2/13493 - 13501/53972. Are -0.2767 and f equal?
False
Let g(b) = -3*b**2 - 157*b + 104. Let n be g(-27). Is n not equal to 2156?
False
Let l(v) = 20*v + 52. Suppose 5*a = 0, -16 = g - 2*a - 10. Let y be l(g). Suppose 5*t + 4*m + 361 = 0, 7*t + 268 = 3*t + 2*m. Which is smaller: y or t?
t
Let n = -84088/469 - -1254/7. Let h = -27 + 28. Which is greater: h or n?
h
Let p be (68/(-36) + (-3)/27)/(22/15257). Is -9705/7 greater than p?
True
Suppose 25*r + 18295 + 580 = 0. Is r > -755?
False
Suppose u - 5*m = -3*u + 151, -4*u = 3*m - 191. Let a(i) = i**3 + 6*i**2 + 2*i. Let n be a(-5). Let j be (-6)/n - (-2664)/60. Is u bigger than j?
False
Let h = 0 - -4. Suppose 1 = -c + h*c + t, 0 = 5*c + t - 3. Suppose 147150*o + 18 = 147144*o. Do o and c have the same value?
False
Let d be (-10942)/(-12684) + (-138)/161. Is d greater than -1?
True
Suppose 5*i + 59 = 2*i + 5*m, 2*i + 2*m = -18. Suppose -5*z + 40 = -95. Suppose r - z - 24 = 5*t, -4*t - 44 = -4*r. Is i < t?
True
Let z be ((-223)/5)/((-26)/78). Is 134 > z?
True
Suppose 5*l + 2226 = -3*m + 682, -m - 928 = 3*l. Let s = l - -309. Let o = -84 - -1091/13. Which is smaller: o or s?
s
Suppose 0 = 3*c + 5*p + 22, -3 = 2*c - p + 29. Suppose 1634 = 8*d - 158. Suppose -4*x + 168 - d = 0. Is x at least c?
True
Let r = 3.04 + -0.04. Let g be (-12)/50 + (-40299)/525. Which is smaller: r or g?
g
Let z = -0.6 + 45.6. Let o = 44.95 - z. Let v = o - -1.05. Is v < 1.8?
True
Suppose 70*b = -33*b - 41 + 144. Which is smaller: b or -26?
-26
Suppose 4*s - 8476 = -2*x, -5*x - 1671 = -3*s + 4647. Is s smaller than 14818/7?
True
Let k = -87 + 50. Let u be ((1 + -1)/(1 - 2))/(-1). Suppose -26*s - 622 - 314 = u. Is s at most k?
False
Let d = 21 + -10. Let h = 721 - 308. Let s = -807/2 + h. Which is smaller: d or s?
s
Let s be -7 + 13 + (7496/1248)/(-1). Which is greater: -1 or s?
s
Let k be (7 - 6)/((-1)/(-5)*1). Let g(n) = 4*n**2 + 16 - 7 + k*n - 5*n**2 - 2*n. Let y be g(4). Which is greater: 3 or y?
y
Let p(q) = -q**2 - 8*q + 93. Let y be p(7). Let a be (-984)/(-38) + -1 + y/(-114). Is 28 bigger than a?
True
Let p(q) = -4*q + 19. Let z be p(13). Let l be ((-4)/12*z)/1. Let k = 286 - 282. Which is bigger: l or k?
l
Let z = -13/50 - -27/200. Is -178 != z?
True
Let s = 61293 - 305369/5. Are s and 218 non-equal?
True
Let d = 26.149 - 26. Let s = d - -0.051. Let r be 2 - -14 - (-10)/5*2. Is s < r?
True
Let k(a) = a**3 - a - 9. Let j be k(-7). Suppose 0 = 27*z - 1860 + 11148. Which is bigger: j or z?
z
Suppose -h - j - 19 + 15 = 0, 2*j = 4*h - 8. Is h >= -44/89?
True
Let t = 194 - 194.35. Let k = -7.35 - t. Is -4.4 < k?
False
Let b be 3/(0 - 3) + -45. Suppose 61*w = -107*w - 7560. Is b equal to w?
False
Suppose -8*o + 280 = -3*o. Let m be (2/(-8))/(1001/o). Let c = 433/286 + m. Is c smaller than 2?
True
Let u be -4*(18/2532)/(2 + 235). Are 0 and u nonequal?
True
Let c be (8*91)/((2 - -3)/5)*-1. Which is smaller: c or -733?
-733
Let j be 4/((-13)/(1144/(-16))). Suppose 28*c + 18 = j*c. Let w be ((-3)/(-5))/(4/(-10)). Is w at most c?
False
Let k = -146 + -547. Let v = 715 + k. Which is smaller: v or 0.2?
0.2
Let j = -11479/426169 - -42/1861. Let c = 4 - 9/2. Is c <= j?
True
Let t = -17656.201 + 17648. Which is smaller: 1 or t?
t
Let g = 1.512 - 0.961. Which is bigger: g or 2?
2
Let b be (-3640)/(-48) - 2/(-12). Suppose 9*q = 5*q + b. Is q greater than 25?
False
Let y(s) = s**2 + 5*s - 15. Let v be y(4). Let k be (96/42)/((-6)/v). Is -12 less than k?
True
Suppose -f = 2*o - 4, 3*o - o - 12 = -3*f. Let g(t) = -t**2 + 11*t - 24. Let s be g(f). Let i = -201/4 + 51. Which is greater: s or i?
s
Let b = 6308589/3218 - -150/1609. Is 1961 equal to b?
False
Let u = -84 + 158. Let v = -55 + u. Let r = 19.52 - v. Is r at least 1?
False
Suppose 12 = 2*p + 4. Let t be p/(-14) - (282/42 - 8). Which is bigger: 3/142 or t?
t
Suppose -6*s + 2*s + 3*d - 2 = 0, -2*d - 4 = 0. Let m be s - -1669 - 2/4*-2. Let g be ((-3)/4*2)/(m/16). Is -1 less than or equal to g?
True
Suppose 2*i = -36 - 22. Let o = -26 - i. Let w be o/(-4) - (-15)/4. Is w greater than -0.09?
True
Let d be 32/4 + (-1 - 3) + 2. Let b be d/(-16)*(-18)/27. Let c(h) = h**3 - 4*h + 3. Let l be c(2). Which is greater: b or l?
l
Let k = 13882 - 763483/55. Which is smaller: 3 or k?
k
Let k(g) = g**3 - g**2 + 2*g + 4. Let r be k(0). Let v be 1*(-10)/15*36. Let y be 3/v + 110/240. Is r bigger than y?
True
Suppose 4*z - 24 = 0, z - 288 = 4*l + 30. Which is bigger: l or -77?
-77
Suppose 0 = -p - 2*w + 14, -4*p + 4 = -2*p - 2*w. Suppose 3*n - p*n + 3 = 0. Let v be (n/(-14))/((-5)/60). Is 2 smaller than v?
False
Let o = -37035 - -36399. Is o bigger than -4448/7?
False
Let t be (297/1650)/((-3)/(-2)). Suppose -17 = d + 4*z, 2*z + 11 = -6*d + 3*d. Is d at most as big as t?
True
Let j = 478 - 475.764. Let u = j - 0.22. Let t = 0.016 - u. Is t at least -1.1?
False
Let v(t) = t**3 - 23*t**2 + 96*t + 1. Let o be v(5). Suppose -