6*h - 5*h + 6*h + 0*h + 6*h**2 - 122*h**3. Let m be q(-1). Is 121 at least m?
True
Let d be 7 - (-6 + 15 + 3) - (1769 - 1). Which is smaller: -1774 or d?
-1774
Let g(r) = 7*r**2 + 56*r - 1. Let c be g(-8). Which is smaller: 3/64 or c?
c
Let j be 20/3*6/8. Let m be (-1 + -1)*j/14*19. Which is greater: m or -13?
-13
Let v be (-442)/(-9) + 40/(-360). Let c be (-1890)/v*(-1)/3. Is 14 smaller than c?
False
Suppose -5*d - 23 = 3*j, 5*j - 2*d + 13 + 15 = 0. Is j at most as big as 2?
True
Let p = -44 - -48. Suppose 5*f + i + i = 20, -i + p = f. Suppose -4*n - s = 40, -5*s + 0*s = f*n + 56. Which is bigger: n or -8?
-8
Let l(w) = -w**2 + 6*w - 6. Let j be l(3). Let b be j + -4 + 4 + 47. Which is greater: b or 1?
b
Let t(f) = -765*f - 5356. Let i be t(-7). Which is smaller: -61/34 or i?
-61/34
Let w be -10*(-6)/(-15) - -460. Let d = w - 322. Which is smaller: 135 or d?
d
Let k = 0.027 - -0.073. Do -99.4 and k have different values?
True
Let j(b) = b**3 - 11*b**2 - 94*b - 81. Let w be j(15). Is w less than -590?
True
Let m = 65805/4 + -16548. Let k = -97 - m. Is -0.24 equal to k?
False
Suppose 0 = -5*j + 3*p + 2 + 8, 2*j = -3*p + 4. Suppose 0 = j*n - b - 15, -5*n = -b - 0 - 36. Let t be 0*((-1)/2)/(n/(-14)). Is t >= -2?
True
Suppose 620*c - 24991 + 38383 + 32488 = 0. Let m be 0 + -2 + (0 - 74). Is m greater than c?
False
Let i(c) = 5*c**3 + 202*c**2 + 85*c + 202. Let t be i(-40). Is 137/44 greater than or equal to t?
True
Let f be 4 - -12*(-86 + -1). Is f <= -1046?
False
Let w(z) = -5*z - 12. Let t be w(-7). Suppose -t = 2*k + 4*x - 9*x, -4*k - x = -9. Let h be (11/(-66))/(k/(-2)). Which is smaller: h or 26/7?
h
Let x(y) = -y**2 + 3*y + 1. Let p be x(3). Let f be 1*(-6)/15 - 77/(-185). Let w = f + -242/3515. Is p bigger than w?
True
Let i be ((-182)/(-35) - 4)/(4/(-30)). Let s be ((-12)/(-9))/((-6)/i). Is 12/23 at most s?
True
Let f = -10.9 - -16. Let v = -5.405 - -0.475. Let u = v + f. Which is smaller: -2 or u?
-2
Suppose -6*j = 5*j - 23738. Suppose j - 790 = -9*f. Which is greater: f or -154?
f
Let n be 33/((-1400)/(-1250)*(-1 + 6) - 5). Let o(a) = 8*a**3 - a**2 - 4*a + 3. Let r be o(2). Is r bigger than n?
False
Let y be 2 + (-1 - -1) + 2. Let i be ((-6)/(-3))/(y/50). Let v = -121 + 145. Which is smaller: i or v?
v
Let l be ((-564)/300)/(78/15). Let x = l + -1/10. Which is smaller: -1 or x?
-1
Let j be (6/(-3) + 1010/(-35))/(47/(-329)). Are 205 and j equal?
False
Let p(w) = 32*w + 29*w - 9 - 58*w. Suppose -5*v - 5*t = 0, -4*v = -0*v - t - 15. Let h be p(v). Which is greater: h or -2/177?
h
Let u = -1.9 + 1.8. Let d = 4413 - 4885. Which is greater: u or d?
u
Let c(q) = q**3 + 16*q**2 - 17*q - 10. Let j be c(-17). Let h(g) = -5*g - 48. Let t be h(j). Is t at most -4?
False
Suppose 4*h + 5*h - 54 = 0. Suppose -h*b = -b + 3*b. Does b = 14/13?
False
Let z = -164154/1573 + 1356/13. Let x = -530 - -531. Is z less than x?
True
Let b = 78 + -43. Let h be 4/((-16)/(-4)) + b. Let c be ((h/(-21))/6)/5. Which is smaller: 1 or c?
c
Let l(m) = 15*m - 15. Let a be l(5). Let k be 10/a + 7*1/(-26). Is 0 > k?
True
Suppose -4*a = 16 + 8. Let m = a - 44. Let l = m + 49. Which is smaller: -6 or l?
-6
Let o(f) = -67 - 35 - 6*f - 33 + 32. Let n be o(-17). Are n and 4/255 equal?
False
Let g = 22565 + -2865773/127. Which is bigger: g or 1?
1
Suppose 0 = -2*y + y + 3. Let z be y/18*0 + 2*3. Let b = 122 + -116. Is b bigger than z?
False
Let r(g) = -g**3 + 4*g**2 + 3*g - 12. Let h be r(4). Let f = 44 + -36. Which is smaller: h or f?
h
Let c = -60 + 61. Let d(y) = y**3 - y**2 + 4*y + 4. Let h be d(-3). Is c >= h?
True
Let k(g) = -5*g**3 + 6*g**2 + 6*g - 5. Let l(b) = -15*b**3 + 18*b**2 + 15*b - 14. Let x(o) = 8*k(o) - 3*l(o). Let t be x(3). Which is bigger: t or 94?
94
Let r(z) = -4*z + 17. Let m be r(5). Let q be m/(-15) + (2 - 1258/(-10)). Let t = -880/7 + q. Which is smaller: t or 1?
1
Let z = 6 + -5. Let d be ((-1)/3)/(1*9/(-54)). Let f be 2/(260/345) - d/13. Is f at least z?
True
Suppose -102*u = 43*u - 145. Which is smaller: 5/354 or u?
5/354
Suppose -7*h + 510 = -57. Let b be (-58)/228 + 9*3/h. Which is bigger: b or 1/2?
1/2
Let h(u) = 2*u**2 + 2*u - 1. Let m be h(-2). Let g(r) = -15*r + 4. Let s be g(m). Let y be ((-3)/2)/(2/21)*(-3288)/(-1233). Which is bigger: s or y?
s
Let t be (-2)/(-5) + 12 + (-938)/70 + -2206. Is -2209 equal to t?
False
Let k be (-2)/(8/79) - (-410)/(-328). Let n be 15/6*-8 - 1. Let i = k - n. Which is smaller: i or 2?
i
Let y be -9*(-99)/567*10111 + 2/7. Which is smaller: y or 15890?
y
Let n(s) = 169*s + 2301. Let u be n(-14). Which is greater: -74 or u?
u
Suppose -2*r = -28 + 20. Suppose -3*s = -6, -r*s + 148 = -8*b + 3*b. Which is bigger: -26 or b?
-26
Suppose 0*s + 4*s + 64 = -4*n, 2*n - 6 = 0. Let p be 1 + (-7 - 5) + 0*1/(-8). Which is smaller: s or p?
s
Let y(m) = 4*m + 45. Let w be y(-9). Let n be (-119)/14 + w - (-6)/(-13). Is 1 != n?
True
Let h = 6.8 - 3.95. Let r = h + -2.75. Is -57 >= r?
False
Suppose 11*c - 3*h + 180 = 8*c, 5*c + 2*h = -265. Which is smaller: c or -717/13?
-717/13
Let c = -6794845/8046 - -1689/2. Are c and 0 unequal?
True
Let u = -3529/3 - -10514/9. Are -7 and u equal?
False
Let d be (1 - 2) + -2 - 47/(17296/(-66102)). Which is smaller: 176 or d?
176
Suppose 8*d - 3*d - 20 = 0. Let t be (-111)/(-5) + 3/(-15). Let l be (t/d)/((-24)/16). Which is smaller: -5 or l?
-5
Let t = 197 + 123. Let v = t + -348. Is v greater than -117/4?
True
Let p be (-8)/(-1) + 31779/(-17172)*4. Which is bigger: 0 or p?
p
Let d = 5 - 4. Let f be (d/(-2))/((-1)/2). Which is bigger: f or 1/213?
f
Let w(n) = -88*n**2 + 55*n + 48. Let a be w(-9). Is -7575 at least as big as a?
True
Let u be 6/4 + 3/(-6). Let p = -142982/42813 + 237/71. Which is smaller: p or u?
p
Let h be 8/(-6)*(3/(-2) - 0). Suppose -p - 4*v = -6*p + 84, 30 = 2*p + h*v. Suppose -20*z + 8 = -p*z. Is -4 greater than z?
False
Suppose -2*p + 0 + 28 = -3*h, -2*h + p = 18. Let k be 9/12 + (654/h - 6). Which is greater: k or -0.3?
-0.3
Let z = 9 + 0. Let u = -7 + 7. Let v be u*(1/9)/(3/z). Is v < -2/63?
False
Let n = -0.36 - 15.64. Let r = -3474 + 3473.9. Which is bigger: r or n?
r
Suppose -26*p - 9259 = -263. Which is bigger: p or -342?
-342
Suppose 3*v + 3*h + 0*h = -45, 2*h - 70 = 3*v. Suppose 431 - 55 = -94*b. Is b less than or equal to v?
False
Let z = -25415927627/27027 + 72027206/77. Let p = 4972 + z. Does p = 1?
False
Let y = -99.65 + 105.25. Which is smaller: y or -18?
-18
Suppose 2*l + 2*k = -14, 4*l - 3*l + 3*k = -15. Let i be 92/68 + -1 + l/6. Which is bigger: -1 or i?
i
Let j = -230 + 326. Let q = j - 66. Let i = 29.4 - q. Which is greater: i or 0?
0
Let c = -164 + 157. Suppose 6*o + 10 = -20. Which is greater: c or o?
o
Suppose -13*q + 37*q - 92596 = -4*q. Is 3308 != q?
True
Let g be ((-57)/532)/(((-36)/240)/((-6)/(-15))). Is -411.6 != g?
True
Suppose 709 = -2*n - y, 0 = -50*y + 46*y - 4. Let c be (-1 + -141)*(-15)/(-6). Is c at least as big as n?
False
Suppose 5*w + 2*q - 3 = 35, 3*w + 5*q = 19. Suppose -w*l - 12 + 20 = 0. Are -13 and l nonequal?
True
Let j(g) = g**2 + 1323*g - 7973. Let o be j(6). Let f = -23/119250 + -1/250. Which is greater: o or f?
o
Let v(m) = -m**3 - 34*m**2 + 71*m + 20. Let n be v(-36). Let l(b) = b**3 + 4*b**2 + 2*b - 3. Let o be l(3). Let q = n - o. Which is smaller: q or -5?
q
Suppose 615*g - 612*g = 507. Let o = g + 138. Is 307 smaller than o?
False
Suppose -101 = 19*u - 120. Which is bigger: 4/403 or u?
u
Let v = -14 + 7. Let h(r) = -8 + 27 - 2 - 2*r**2 - 18 + 13*r + 4*r**2. Let t be h(v). Which is smaller: -6 or t?
-6
Let m = -0.0697 - -449.0697. Let u = m - 468. Is u less than or equal to 0.12?
True
Let g(k) = -5*k**2 + 37*k - 272. Let s be g(8). Which is greater: s or -298?
s
Let o = 451 - 455. Let s = 0.012 + -18.012. Let x = -9 - s. Is o greater than x?
False
Let h(l) = 15*l + 7. Let t(w) = w**3 + 19*w**2 - 2*w - 39. Let d be t(-19). Let i be h(d). Let j be (-112)/(-128) - (-2)/i. Is 1 bigger than j?
True
Let g(o) = -o**2 - 30*o - 175. Let t be g(-10). Suppose -u + 66 = -12. Let x be u/(-27)*3*-3. Which is bigger: x or t?
x
Let p = 8.88 + 0.12. Let t = 9 - p. Let g = -1.337 - 7.663. Which is greater: g or t?
t
Suppose -4*q + 21 = 5*i, -40*i + 37*i + 15 = 0. Let x be 35 - q - (160/(-16) - -11). Which is smaller: 109/3 or x?
x
Let f = 3 -