h is bigger: 285 or d?
285
Let l(v) = v**2 - 7*v - 15. Suppose -2*g + 13 = -0*g + 3*h, g - 12 = 4*h. Let y be l(g). Let o(r) = -3*r - 22. Let a be o(y). Which is greater: 1 or a?
1
Suppose 6*w = 2*l - 142, 0 = 143*l - 139*l - 3*w - 230. Which is smaller: 16 or l?
16
Let y = -394 + 879. Suppose -2*u + y + 559 = 0. Let a be (-58)/(-261) - -8*(-28)/u. Which is smaller: -1 or a?
-1
Let f(h) = h**3 + 7*h**2 - 967*h - 5797. Let b be f(-6). Suppose 4*j = 2*r - 82, 0 = 3*j - 7*j. Is b greater than r?
False
Let q = -52.9 + 47. Let j = -1427 + 1432.834. Let m = q + j. Which is greater: 1 or m?
1
Let d(f) = 201*f - 109. Let z be d(2). Is 1462/5 at least z?
False
Suppose 0 = -0*u + u + 4. Suppose 8*h + 4*h = 180. Let g(r) = -r**3 + 14*r**2 + 16*r - 20. Let n be g(h). Is u greater than n?
True
Let z be -6 - 87*19924/(-288915). Is 0 at least z?
True
Let c be -21*81/(-504) + (-6)/16. Suppose c*u + 13 = -20. Which is bigger: u or -13?
u
Suppose 0*v = 3*v - 180. Suppose 4*z + v = 19*z. Is z at most -43?
False
Let a be ((-56)/70)/((-1)/4). Let q = -1.4913 - -2.4913. Is a > q?
True
Let x = 90310/357 - 1769/7. Let t be (51 + (-270)/5)/((-2 + 8)/(-2)). Is x <= t?
True
Let t = -272 - -282. Suppose 0 = q + r + t, -49 = 3*q + q - 5*r. Is -17 bigger than q?
False
Let r = -0.128 - -0.128. Let g = 0.08 - -0.09. Let h = -0.161 + g. Which is smaller: r or h?
r
Let y = -22 - 13. Let u be (-3)/((-63)/y)*3 + 4. Let b be (-5)/(-3)*(-2)/(-185). Which is bigger: b or u?
b
Let j be 2/18 - ((-720)/81 - -1). Let t be (3 + (-20)/j)*(-132)/(-40). Which is smaller: t or 1?
1
Suppose 178*s = 174*s + 32. Suppose 11 = -3*j - s*j. Which is bigger: j or -2/569?
-2/569
Suppose 434 = -2*q + 16*q. Suppose -4*b - q + 23 = 0. Are b and 156 nonequal?
True
Let h = 2114011/7402 - -1/37010. Is h > 285?
True
Let y = -0.02 - -0.18. Let t = y - -0.04. Let f(m) = 13*m - 254. Let h be f(21). Which is smaller: t or h?
t
Let d = -249 - -247. Let p be (d - -3) + -2 + (0 - -56). Which is smaller: 54 or p?
54
Suppose 256*a = 224*a - 32. Which is bigger: -1084 or a?
a
Let t = -1191 - -1190.909. Let w = 2056.909 + -2056. Let y = t - w. Is 42 at least as big as y?
True
Suppose -5*r - 3*x - 120 = 114, r + 33 = 4*x. Let s be 0 + (-144)/r + -3. Do -15 and s have the same value?
False
Let h(a) = -142 + 306 + 9*a - 19*a - 137. Suppose 4*p - y + 3*y - 38 = 0, 3*p + 4*y = 41. Let s be h(p). Are -44 and s non-equal?
True
Suppose 1 = -3*g - 5*i + 365, -3*g = 3*i - 354. Is 123 at least as big as g?
True
Let g(o) = o**2 + o. Let m(s) = -s**3 - 9*s**2 - 6*s + 20. Suppose 0 = 2*k - 4*k - 2. Let p(j) = k*m(j) + 4*g(j). Let b be p(-12). Which is smaller: 9 or b?
b
Let r = -138 + 138. Suppose p = 2*v + 95, 4*p + r*p - 347 = -3*v. Do 91 and p have the same value?
False
Let v = 4213 - 4212. Are 224 and v equal?
False
Let g = 2011.81 - 2011.8. Which is smaller: g or 2666?
g
Let q = -4976 + 15600. Is 10624 >= q?
True
Let r be 6/(-18) + (-94)/100. Let c = r - -8/75. Is 5 bigger than c?
True
Let c = 0.0479 - 367.0479. Which is smaller: -3/2 or c?
c
Let s be -1497 + (1 + -4)*4 + 2. Is s less than or equal to -1507?
True
Let b(t) = t**3 - 3*t**2 - 14*t + 27. Let y be b(5). Suppose 2 = y*a - 5*a, -2*m + a + 9 = 0. Are -4 and m equal?
False
Let f(w) = 61*w**2 + 6. Let y be f(2). Suppose -4*h - y = -2*u, -4 = -2*h - 5*u - 123. Which is smaller: 0 or h?
h
Let x = 19030 + -97942/5. Let i = 558 + x. Which is bigger: -0.039 or i?
-0.039
Let z = 2002 + -2002. Is 30/37 >= z?
True
Let w be ((15327/27)/(-13))/(7/63). Is -1573/4 at most as big as w?
True
Let a = 266519/9 - 29467. Which is greater: 146 or a?
a
Suppose 10*l - 18*l = -5536. Suppose -1054 = 9*m + l. Which is bigger: -195 or m?
m
Suppose -4*q - 70 = 5*i, -q + 18 = -2*i - 10. Let f be (-26)/91 + 2/i*5. Let z be (32/56)/(f - (-6)/2). Is 28 != z?
True
Let f = 0.97 - 0.18. Let m = f - 0.84. Is -2/5 smaller than m?
True
Let q(w) = -11*w - 18. Let b be q(-9). Let k be (-3)/(b/(-276)) + 4/(-18). Suppose 3*d - d + j - k = 0, j = -5*d + 19. Is d at most as big as 0?
False
Let c = 354.7 + -349.7. Let o = 1 - 2. Is c at most as big as o?
False
Let p = 0.10686 - -199.89314. Is -0.17 < p?
True
Let f be ((-14)/4)/((-4)/(-6 + -2)). Let q be -3 + (-59 - (f + 3)). Suppose -234 = 4*j - u, -u - 6 = -4*u. Does q = j?
True
Let u = 152973/4556 - 572/17. Which is bigger: -1 or u?
u
Let b = -3.1 + 3. Let d = -61 + -9. Let t = 73 + d. Is b at most as big as t?
True
Suppose -3*j + 353 = m, -3*m - 881*j = -886*j - 1017. Which is greater: m or 326?
m
Suppose 5*o = 7*o + 28. Let c = -50 - -133. Let k = -99 + c. Which is greater: o or k?
o
Let f be 80/24 + (-17437)/(-141). Are 169 and f non-equal?
True
Let n be (-55360)/(-224) - 3/21. Is n smaller than 245?
False
Let n = 142405 - 421271/3. Which is bigger: n or 0.1?
n
Suppose 0 = -6*d + 100 - 34. Let k = -34 + d. Let l = -33 - k. Is -9 at least l?
True
Let p be -6*2/3 - -3. Let y be 0 - 24/21*p. Let v = 9/14 - y. Which is smaller: -2 or v?
-2
Suppose 149 = 6*n - 103. Let l be (-3)/(5/4 - 2). Suppose -4*x + l*t = 5*t - 163, -195 = -5*x - 3*t. Is n < x?
False
Let l = 2826 + -2824.233. Let s = l - 81.667. Let t = s + 80. Which is smaller: t or 1/72?
1/72
Let a(q) = -q**3 - 9*q**2 - 2*q + 49. Let p be a(-8). Which is greater: p or 2/165?
p
Let p(y) = -y**2 + 2*y + 9. Let v be p(4). Suppose v = -6*f + f - 3*j, 0 = 3*f - j - 5. Suppose -s + 6*s = 5*k + 80, -5*s + 5 = 0. Which is greater: f or k?
f
Let q be -1*-3*(-1)/(-6)*(2 - 2). Which is smaller: -13/445 or q?
-13/445
Let b = 35.05 - 0.05. Let c = -35.2 + b. Let x = 6.6 - 5. Is x smaller than c?
False
Let f(p) = -4*p + 12. Let l be f(-1). Suppose 4*o - 4*j = -l, -14*o - 5*j + 20 = -9*o. Which is greater: -7/69 or o?
o
Let y(b) be the first derivative of 7*b**2 - b**2 - 3*b**2 + 27 - 4*b**2 - 17*b. Let x be y(-9). Which is greater: x or 2/99?
x
Let h = -8/1083 - -14524/206853. Which is smaller: 0 or h?
0
Let z(o) = o**2 + 38*o + 36. Let t be z(-33). Let n = -129 - t. Which is smaller: n or -2/49?
-2/49
Let n = -318 + 569. Suppose -7*a - n = 127. Is -55 > a?
False
Let a(d) = 19*d + 3. Let u be a(7). Let b be 15/(-5)*(24112/33)/(-16). Which is smaller: b or u?
u
Let q = -43720 + 87435/2. Which is smaller: -763 or q?
-763
Let w(i) = 11*i**2 + 180*i + 28. Let c be w(-14). Is -334 < c?
False
Let p = 10.422 - -0.578. Are p and -78 nonequal?
True
Let y = -273196448/941294061 - 802/100469. Let l = y + 2/1041. Which is smaller: l or 0?
l
Suppose 35*w = 49*w - 14. Let h(d) = d**2 + 4*d - 1. Let i be h(-4). Let b = w + i. Is b < -2/11?
False
Let g = -447 - -237. Suppose o = 3*o - 1992. Let c be 1/((-5)/(-2)) - o/g. Is c > 6?
False
Let q be 4/(-6) - -1*7/(-3). Let x be -3 + 9 + -2 + q. Which is smaller: x or -4/15?
-4/15
Suppose -p + y + 1 = 0, -5*y - 8 = -0*p - 2*p. Suppose 5*r = 3*w - 9, 3*r + 5*w - 8 + 27 = 0. Let z be p*(-3 + 6 + r). Which is bigger: z or 2/37?
2/37
Let c(k) = -538*k**2 - 88*k - 193. Let z be c(-2). Do -2167 and z have different values?
True
Let s be 3 - 10/3 - (7 - 114/18). Are 3/2179 and s unequal?
True
Let j = -11 + -43. Let o = -143/3 - j. Suppose -2*z - 5 = -5*d - 44, 5*z - 50 = 3*d. Is o <= z?
True
Let o = -55277/3204 + 2/801. Let t(k) = 33*k - 1. Let y be t(1). Suppose 0*x = 2*x + y. Are o and x unequal?
True
Let t = -3.8 + -26.2. Let w = 30 + t. Which is bigger: w or -1/57?
w
Suppose -3*t = -5*w - 33 - 71, 0 = -3*w - 5*t - 42. Let l = 16 + w. Let g be -2 + 3 + 10/l + 3. Is g at least as big as -1/3?
True
Suppose 11*y = -2*v + 7*y - 398, -191 = v - 2*y. Let n = v + 230. Do n and 36 have the same value?
False
Let v be (0/11)/(2*(0 - (-2)/4)). Which is smaller: v or 1155?
v
Let y be 4/42 - (-57)/63. Suppose -3*x + y = -2*j - 7, 4*j + 16 = 5*x. Do j and -5 have the same value?
False
Let c(j) = 136*j - 487. Let d be c(5). Which is smaller: d or 1.4?
1.4
Suppose -14 = 2*k + 2*b, -12 = k + 3*b + 5. Let a = -43.5 - -62.6. Let f = a - 20. Is k != f?
True
Suppose p + 14 = 2*b - 26, -76 = 2*p - 2*b. Let m = -19 + p. Let t = -39 - m. Which is bigger: t or 17?
17
Let f = -2.557 + -285.443. Which is greater: -1 or f?
-1
Suppose 5*l = 95 + 150. Let g be (-14)/l + 409*(-2)/(-17612). Let q = -9/74 - g. Which is greater: q or -1?
q
Suppose -8*x = -2*y - 3*x + 16, -x + 1 = y. Suppose v = 3*u - 59, 0 = 2*u - y*u - v