t i(h) = -h**2 - 20*h - 19. Let a be i(g). Which is greater: a or -2/339?
a
Let s = 40 + -47. Suppose 2*r = 17 + 11. Suppose 5*a + j - 1 = 0, 2*j = 2*a + 6*j + r. Which is bigger: a or s?
a
Let d = 3234664/43 - 75225. Suppose u = -0 + 3, 3*y + 18 = 5*u. Do y and d have the same value?
False
Suppose -433*p - 92469 = -420*p. Is -7115 smaller than p?
True
Suppose -3*j + 0 = -6. Suppose 5*k = -a - 2*a - 136, 0 = j*a - 5*k + 74. Let p = a + 41. Which is smaller: -1/5 or p?
p
Let h be 17/(-85)*-40 - 78. Which is smaller: -41 or h?
h
Let a be (-5)/(-10) + 2 + 9/6. Suppose q = -0*t + 5*t + a, 2 = 3*q - 5*t. Let v be q*(1 + -1) + 4 + -4. Which is greater: v or 4/7?
4/7
Let u = 0.174 + -93.174. Let g = -54 - u. Let c = g + -43. Is c <= -1?
True
Suppose 4*z + 1728 - 610 = 3*f, 0 = 3*f + 2*z - 1106. Let x = f - 11841/32. Which is smaller: x or 2/3?
x
Let k(r) = r**2 + 3*r - 1. Let t be k(-3). Let v be (-1)/((-1)/113)*t. Let a = -111 - v. Which is smaller: 30/17 or a?
30/17
Let d be 1 - (-12)/8*2. Suppose -35 = -d*f + 5*f. Suppose -102 = 6533*x - 6530*x. Are f and x equal?
False
Suppose 4*n + 22 = -4*r - 22, -5*n + 2*r = 27. Let f(z) be the first derivative of -5*z**2/2 - 12*z - 10. Let y be f(n). Is 25 less than y?
False
Suppose 59*b - 58*b - 1823 = -f, -5*b = 3*f - 9113. Which is greater: b or 1823?
1823
Suppose 0 = -12*a + 4 + 20. Let z be (-9)/45*-26 - a/10. Let u(g) = g**2 - 13*g + 4. Let p be u(13). Which is smaller: p or z?
p
Let h = 249.2 - 261. Let y = 14 - h. Is y <= 1/2?
False
Let w = 704 - 11257/16. Suppose 81*g + 200 = 79*g. Let k = g + 100. Which is smaller: k or w?
k
Let p = 0.09025 - -0.00975. Is -2/261 greater than or equal to p?
False
Suppose -127 - 258 = -5*w. Let b = w - 54. Suppose 4*s - 19 = 5*d - 2*d, -3*d - b = -2*s. Is d not equal to -9?
False
Suppose 3*t = -2*m + 76, 3*t = -5*m + 28 + 45. Let n = 196 + -141. Suppose o - n = t. Is 81 at most o?
True
Let b(o) = 22*o - 124. Let l be b(6). Suppose 5*i + 5*j + 611 = 4*j, 2*i + 254 = 2*j. Let m be (-4)/(-5) + i/(-15). Which is smaller: l or m?
l
Let b = -27 + 36. Suppose -6*k = -b*k. Let l be (k - 122)*((-4)/(-8) - 0). Do -62 and l have the same value?
False
Let p be 2*(-3)/4 - -2. Let j = -2626.15 - -2626.1. Is j > p?
False
Let j(p) be the third derivative of -p**5/60 + p**4/6 + 42*p**3 - 44*p**2. Let k be j(-14). Is 2/1087 at most k?
False
Let d = 18 + -22. Let m be (d/(-21))/((-60)/(-18)). Let h = m + -1/5. Which is smaller: h or 20?
h
Let n = 5854 - 11709/2. Which is smaller: 2 or n?
n
Let q = -4850 + 4851. Which is greater: -6/467 or q?
q
Let f = -120705 - -246001/2. Are f and 2295 nonequal?
True
Let i be (-99 - 2)/(-155 - -156). Is i bigger than -114?
True
Let h = 3463 - 3469. Let r be (-25)/9 - (-2)/(-1). Are r and h equal?
False
Suppose 29526 = 19*v - 13*v. Suppose -v = 25*f - 1771. Is f > -126?
False
Let t = -148304285711165/82348167 + 430425149/239. Let h = t - -2/6501. Which is smaller: 1 or h?
h
Let r(v) = -155*v + 439. Let a = 409 - 403. Let g be r(a). Which is greater: g or -490?
-490
Let y(w) = w**3 - 7*w**2 - 2*w + 6. Let o be y(5). Let j be (o/9)/(174/(-4)). Suppose -56*p + 23*p - 33 = 0. Is j != p?
True
Let b = -63 - -65. Suppose -2*q = 5*g, -2*g - b*q = -5*g. Suppose g*f = -5*n + 3*f - 22, -5*n = -2*f + 23. Is n at most -11/2?
False
Let h = -6684 + 6755.508. Let w = 4.438 - h. Let l = w + 67. Does l = -1?
False
Let r be (-50)/(-84) - (-1)/(-4). Let w = -1225/8 - -8585/56. Let p = w - r. Is 1 <= p?
False
Let p(a) = 6*a + 10. Suppose -4*d + 2*j = 0, 14*d - 9*d - 4*j = 6. Let s be p(d). Is -11/9 <= s?
False
Let g = 6.04 - 0.04. Let a = g + -16. Suppose -18*l - 182 = -3*l - 242. Which is smaller: a or l?
a
Let h = 2.2785 + -5.6785. Which is smaller: h or 2.95?
h
Let n be 1/(-30)*-4*(1200/1644)/(-20). Is n greater than or equal to 1?
False
Suppose 6 - 14 = -2*l. Suppose -28*n - 208*n = 341 + 367. Which is smaller: n or l?
n
Let a be (3306/145 - 24)*(-4)/(-10). Suppose 3*w = 2*w - 1. Is a not equal to w?
True
Let u = 1880 + -1221. Which is smaller: u or 652?
652
Suppose 22*h = -1631 - 943. Let q = h - -12. Which is greater: -108 or q?
q
Let s(l) = -33*l**3 - 5*l**2 - 41*l - 406. Let h be s(-6). Is 6789 at least h?
True
Suppose -25 = 5*u - 10*u, 2*w = -u + 41. Let o be (5/(-225))/((-21)/w). Suppose -37*y - 174 + 137 = 0. Which is smaller: o or y?
y
Let i = -36.5 + -202.5. Let y = 238.59 + i. Is y greater than -2?
True
Let b = -7272/11 - -1541697/2332. Let o be ((-422)/477)/((-920)/(-75)). Let h = o + b. Which is smaller: 0 or h?
h
Let t be (-40)/(-30)*12/(-2008). Let g = -488/1757 + t. Which is smaller: g or -194?
-194
Let q(p) = 429*p - 4639. Let o be q(11). Is o bigger than 66?
True
Let w = -170 - -81. Let t = -55 - w. Let s = t - 34.1. Which is greater: s or 1.3?
1.3
Let i = 241 + -231. Let t = i - 81. Which is greater: t or 2?
2
Suppose 86 = 5*u - 2*u + 4*o, 0 = -3*u - o + 71. Let j = -39 + u. Let v be (-2)/(-15) - j/(-15). Are -2/13 and v unequal?
True
Let d = -0.1261 - 0.8739. Let i = -32 + -18. Is d >= i?
True
Let u = 12284/27 - 454. Let b = u + -133/54. Is -1/2 less than b?
False
Let f = -1.821 - -1.84. Let y = f - 0.819. Is y less than -4?
False
Suppose 200*j - 195*j - 15 = 0. Let m(s) = 53*s - 3*s**2 + s**2 - 48*s + 0*s**2. Let q be m(j). Is -3 not equal to q?
False
Let q = 51 + -51.12. Let o = -73.88 + q. Let n = 73.943 + o. Which is smaller: 1 or n?
n
Let m = -4043 + 4044. Which is smaller: m or 1625?
m
Suppose -y + 398 = 4*y - b, 4*b - 88 = -y. Suppose y*c + 3 = 77*c. Let i be 2/(4/6*c). Is i > -9?
True
Let s = 344 + -318. Which is smaller: s or 450/17?
s
Let h = 11064 - 10983. Do 66 and h have the same value?
False
Let k(v) = -294*v + 4086. Let w be k(14). Do 1/18 and w have the same value?
False
Let n(b) = 30*b + 10. Let t be n(7). Let h = 5498/25 - t. Let q = -0.26 - -0.16. Is q less than or equal to h?
True
Let q be (-41 - 4)*(-148)/1221. Is 6 >= q?
True
Let p = 8 + 28. Let v = -3116 + 3154. Which is greater: v or p?
v
Suppose 0 = 2*p + 8, 0*d + 8 = -2*d - 2*p. Suppose 4*k = -10 + 14. Let j be (-118)/204 + k + (-4)/12. Is j at least as big as d?
True
Let m(p) be the second derivative of p**4/12 - 13*p**3/3 - 57*p**2/2 - 5*p + 7. Let w be m(28). Which is smaller: -4/163 or w?
w
Let x be ((-6720)/(-54))/14*12/(-10). Suppose 5*i - n + 62 = -3, -2*i + 2*n = 34. Is i < x?
True
Let l = 229 - 175. Let o be 282/l + -5 + (-40)/99. Let v = 0.05 + 0.15. Is o > v?
False
Let y = 23.7 + -102.7. Let i = y - -78.18. Is i smaller than -2/7?
True
Suppose 5*c + 342 = -52*c. Let l be ((-6)/(-3))/(3 + 22/c). Is 54 > l?
True
Let p = -407 - -1327/3. Let r = 24 - p. Is r <= -11?
True
Let c = -1310 + 644. Let v = c - -669.8. Let b = -122 - -612/5. Which is smaller: b or v?
b
Let c = -121 - -849/7. Let k = 167 + -165. Let w(a) = a**3 - 8*a + 7. Let v be w(k). Which is smaller: v or c?
v
Let n be (-1*(-14)/8)/(24/(-288)). Let t be ((-12)/15)/(n/(-10) + -2). Is t smaller than -55/6?
False
Let k(u) = -2*u**2 + 14*u + 2. Let s be k(4). Suppose -3*z + s - 161 = 5*q, 0 = 5*q + 15. Let b be z/6*(-3)/13. Which is bigger: b or 2?
2
Let j = 73 + -190. Let o be 16/9 - 26/j. Let t be (-1)/o - 35/50. Is t less than -2?
False
Suppose -4*q - 4 = 2*w, 8 = -5*q + 5*w + 3. Which is smaller: q or -2/5801?
q
Suppose 3*a + 6*t - 30 = 3*t, -2*t + 30 = 4*a. Suppose 5*m + 241 = 2*o - a*o, m = -5. Is o less than -2/5?
True
Let z(a) = -a**2 - 160*a - 5825. Let x be z(-104). Is x > 55/364?
False
Let m be (2 - -12)*39/78. Which is bigger: m or 61/9?
m
Let m = -82534/3 - -27239. Which is smaller: m or -272?
m
Let j be (-16)/88 + 318/(-429). Suppose 3*s - 5 = -5*z, 35 = 2*s + s - z. Let n be 0*(4 - 45/s). Do j and n have the same value?
False
Let n be (-14)/(896/48072) - (-8 - 1). Which is smaller: -742 or n?
n
Let f be (-2 - 3)/(7/(-28)). Let t be (0 + (-12)/(-105))/(f/50). Is t at least -1?
True
Let o = -2563 + 2664. Which is bigger: 498/5 or o?
o
Let o(z) = 27*z + 432. Let d be o(-16). Do -3/6172 and d have different values?
True
Let b = 677 - 450. Is b greater than or equal to 220?
True
Let f be (70/4)/(83/(-498)). Suppose 0 = 25*d + 2832 - 232. Is f at least d?
False
Let g = -2 + 7. Let f be 3059/38 - (-1)/2. Let b be 18/f*12/g. Which is greater: 1 or b?
1
Let x be -4 + 36/4 - -11. Let m be ((-16)/4 - -