) - -4)*-2. Let x be (-5 - 0)/10*2. Which is bigger: x or j?
j
Let b = -0.191 - 0.381. Let f = 0.672 + b. Which is greater: 427 or f?
427
Let c be (-15225)/(-2100) - 17/4. Suppose -2*k + k = -97. Which is smaller: c or k?
c
Suppose 2*h = -5*m + 2*m + 206, -4*h = 2*m - 404. Suppose h = o + 2*t, -4*o + 159 = -t - 250. Which is smaller: 99 or o?
99
Let j = -102598257/4753 - -21586. Which is greater: j or 0?
j
Let v be 3/(-65) + 148/740. Let n = 37.1 + -39. Let c = n + -0.1. Which is smaller: c or v?
c
Suppose -2*g + 46 = 4*s, -s = -g - 2*g - 29. Suppose -s = -f - 9. Suppose x = -a - 0 + 1, -3*x - 13 = -f*a. Is -2/69 >= x?
True
Let d be 30/13 - ((-285)/19 - -15). Suppose -f + 27 = 5*v, -2*v + 15 = -f + 7. Does f = d?
False
Suppose 5*x + 109 - 209 = 0. Suppose 0 = p - k + 6*k + 8, 5*k = 5*p - x. Suppose 5 = -f + 6*f. Is f equal to p?
False
Let r be (4/6)/(-13 + 645/45). Suppose 72*b = 73*b + 23. Is b less than r?
True
Let w = 4133.1 - 4133. Is w <= 7/332?
False
Let n be 11/(2420/432) - 2. Let t(x) = 2*x**3 - 17*x**2 - 11*x + 17. Let r be t(9). Is r greater than or equal to n?
False
Suppose 10*g - 1 = 119. Let k be ((-1)/3 - -1)*g/8. Is 3/560 less than or equal to k?
True
Let c(f) = -8*f + 225. Let q be c(28). Let s(v) = -6*v - 2. Let l be s(q). Which is smaller: l or -14?
-14
Let k(f) = -f**3 + 14*f**2 + f - 3. Let n be k(14). Let c be (-1 - (3 + n))*1. Do c and -14 have the same value?
False
Let i = -135 + 135. Suppose 4*s - 1 = 7, i = 5*j - 5*s + 85. Which is smaller: j or 0?
j
Let k = 4355 - 4424. Is k > -72?
True
Let y be ((-2)/(-3))/(4/(-906)). Let i = y + 192. Is 1 less than i?
True
Suppose 4 - 19 = -3*s + 3*o, 0 = -3*s - 5*o + 7. Suppose s*j = -2*d - 196, 6*j + 251 = j - d. Do j and -53 have different values?
True
Let q be (-74 + 57)*4/(-34). Suppose x - 2*v - 1 = 0, 5*x - q*v + 8 = 5. Which is smaller: -21/13 or x?
-21/13
Let d = 23.45 + -23. Let u = 0.55 - d. Let y = 0.6 + u. Which is smaller: 0.1 or y?
0.1
Let n = 2051 + -1967. Does 251/3 = n?
False
Let k be 175/25 + 4*2. Suppose 5 = b, -3*a - 2*a - 2*b = -k. Which is smaller: -8/19 or a?
-8/19
Let q = 7 + -4. Suppose 167 = q*g + 32. Let y = 16455 + -16410. Is g at least as big as y?
True
Let x be ((-8)/(288/(-40) - -10))/((-4)/602). Is x equal to 429?
False
Let y be (12/(-18))/((-2)/6). Suppose -y*j + r + 1 = -6, 5*r + 28 = 3*j. Let z = -43/145 + -3/29. Which is smaller: z or j?
z
Suppose -8*f + 4*f = 656. Let n be 12/2*492/(-18). Is n smaller than f?
False
Suppose -46 = 3*s - 2*r, -4*s - 5*r - 46 = -0*r. Let x(h) = h**3 + 13*h**2 - 13*h + 6. Let p be x(s). Let j = -4 - p. Is 9 greater than j?
True
Let o = 0.077 - -0.913. Let w = o - 1.19. Which is bigger: 1/105 or w?
1/105
Let l = 6493 + -6455. Is l not equal to 8/5?
True
Let g = 59 + -28. Let c be 28/(-15) + -5*2/(-6). Is c less than g?
True
Let g = 28999 - 28999. Does g = 69/61?
False
Let x be 1/(-7205)*-37*(-845)/(-26). Let v = x + -4/131. Are 0 and v unequal?
True
Suppose 1 = -3*w - 8. Suppose 70*q = 57*q + 78. Which is greater: q or w?
q
Suppose -m - 4*c + 1374 = 0, 0 = 3*m + c - 3*c - 4164. Suppose 2*b - 16*b = -m. Suppose -5*u + 502 = 3*z, 0 = u - 3*z - 55 - 31. Which is bigger: b or u?
b
Let o = 5 - 2. Let c = -1 + o. Let h = 8099 - 8097.8. Are h and c non-equal?
True
Let v be 2/8 + 236/16. Let k = 490 + -496. Let l be 10/k*3/((-60)/(-4)). Which is greater: v or l?
v
Let g(z) = -3*z**2 + 15*z - 19. Let l = 7 - 3. Let d(n) = -7*n**2 + 30*n - 39. Let h(y) = l*d(y) - 9*g(y). Let m be h(-11). Is m at least 58?
True
Suppose 7*y - 2*d + 3456 = 0, 3*d - 8*d + 1998 = -4*y. Is -495 < y?
True
Let q be (2 + (-5)/2)/(9/(-5778)). Let m = q - 242. Which is bigger: m or 78?
m
Let i(k) = k**3 - 5*k**2 + 3*k + 8. Let y be i(4). Let c be (3 - y/20)*35. Let n = -108 + c. Is 0 > n?
True
Suppose -858 = -2*q - 4*g, -4*q + 48*g + 1719 = 53*g. Is 2149/5 smaller than q?
True
Let j = 500 + -501. Let l be (-5262)/(-7920) + 2/(-3). Are j and l nonequal?
True
Let k be 7*(-15)/105*-1. Is k > -2/6639?
True
Let b = 10.788 - 10.768. Which is smaller: -443 or b?
-443
Let a(g) = -125*g**2 + 41*g - 162. Let v be a(4). Is 2/3 at most v?
False
Let w = 22.9 - 22. Let d = -17.4 - -351.4. Let r = 334.1 - d. Is r greater than or equal to w?
False
Let j be (-22*(-22)/(-30))/((-28)/1295). Let w = 746 - j. Which is bigger: -2/15 or w?
-2/15
Let k(o) = o**3 - 5*o**2 + 2. Let f be k(5). Suppose 682*l = 680*l + 2. Let j be (f/4)/(l/(-38)*1). Which is greater: -18 or j?
-18
Let n = 844100/9 + -94014. Let v = 225 + n. Are v and -1/8 equal?
False
Let c be (63/14)/((-1)/(-4)). Let b(s) = -17*s + 36. Let l be b(2). Suppose 0 = -l*z - 32 + 66. Which is greater: z or c?
c
Let t be (-10*(-3)/(-6))/(9/(-9)) - 6. Which is smaller: t or 1/5778?
t
Let c(h) = 198*h + 10. Let x be c(6). Let p = x - 85061/71. Which is smaller: p or -1?
-1
Let f be (401/802)/(((-5)/(-4) - 2)*-2). Suppose -3*k = 3 - 12. Suppose 8*i - k*i - 110 = 0. Which is bigger: i or f?
i
Let p(c) = -56*c + 66*c + 36 + 35. Let x be p(-9). Which is bigger: -22 or x?
x
Let g(k) = 4*k - 45. Let d be g(6). Let c be 4 + 13/(-3) + (-217)/d. Which is greater: 9 or c?
c
Let f = -156.36 - -158. Let q = 1.34 - f. Which is bigger: -4 or q?
q
Let v = 108 + -114. Let x = 101 + v. Let p = x + -58. Is p at least 0.1?
True
Let o(u) = u**2 - 22*u + 105. Let r be o(24). Is r less than 151?
False
Suppose 0 = 110*p - 92*p - 72. Which is smaller: -317 or p?
-317
Let b = 312/2251 - -14901442/33765. Which is smaller: b or 441?
441
Let y = -14/55 + 4/55. Is -0.215 bigger than y?
False
Let v be 750/70 - 15/21. Which is greater: -15 or v?
v
Suppose 4*r = 12, -69*r + 70*r - 13651 = 4*g. Is -3412 smaller than g?
False
Let f be (2/4)/((-55)/(-84920)) - 3. Suppose 0 = -u, 26 = 4*b - 4*u - 26. Suppose -b*g + f - 210 = 0. Is g at most 43?
True
Let r = 0.09 + 0.048. Let o = r + -0.128. Let p = -1.4 + -0.6. Which is bigger: o or p?
o
Let r be 20/12 + 1159/(-159). Let x = 254114/477 + r. Let q = x + -538. Is -11 smaller than q?
True
Suppose -5*j + 1156 + 2316 = -2*f, -4*j - 5*f = -2771. Let b be 29 + -30 - (0 + (-698)/j). Is 1 smaller than b?
False
Let f be (-40)/110*(-3 - 2/8). Which is greater: f or -0.07?
f
Suppose -27*m + 4*f - 13 = -24*m, -f = -4. Which is smaller: m or -1/2890?
-1/2890
Let r = -934323/229 - -4080. Which is greater: r or 0?
0
Let w = 11.68367 - 0.78367. Let q(x) = -x**2 + x + 1. Let h be q(0). Does w = h?
False
Let m = 322.9688 + -323. Let f = m + -0.9688. Which is smaller: 107 or f?
f
Let h = 1.0157 + -1.4606. Let w = h + 0.0319. Let u = -0.113 - w. Which is greater: -0.08 or u?
u
Let n = -25 - -14. Suppose 25 = -4*p + 4*d - 3, 4*p + 36 = -4*d. Let j be p/(-28) - (-432)/(-42). Which is smaller: n or j?
n
Let o = -8735 - -8636. Is -1781/18 > o?
True
Let o = -21 - -30. Let b(z) = -z**3 + 9*z**2 - 3*z + 26. Let w be b(o). Let r be (-7 - (-9 - -3))*0/w. Which is smaller: 10/17 or r?
r
Let w = -2474 + 660556/267. Suppose 4*s = 20 - 76. Let z = -14 - s. Is w at least z?
False
Let a(m) = m**3 - 20*m**2 - 18*m - 28. Let r be a(21). Let z be -2*(r/12 + -3). Suppose 0 = -j + 7*j - 18. Which is smaller: j or z?
z
Let m(d) = 6*d - 19. Let t be m(11). Let v = -94 + t. Let h = v + 143/3. Which is greater: h or 2?
2
Suppose -174*u + 205*u = 47554. Which is smaller: u or 1535?
u
Suppose -30*y - 45*y = -2*y + 4*y. Is -8/179 < y?
True
Let p(k) = 2*k - 11. Let q(c) = c**2 + 6*c + 13. Let m be q(-5). Let u be p(m). Suppose -3*b - 4*o = 4, b - 2 = -3*o + u*o. Is b > -9/7?
True
Let l = -194/76323 + -43/309. Does l = 0?
False
Suppose -85*w + 850 = -95*w. Let r be 15/3*88/(-5). Are w and r equal?
False
Suppose -3*h + 3 = 0, s + 2*h = 8 - 22. Let a be (-4 - s)*(-2)/(24/9). Is a at most as big as 0?
True
Let i = -11732 + 11726. Let v be (-14)/(-4 + 5 + 0). Which is greater: v or i?
i
Let v(g) = -6*g. Let n be v(-3). Let u be (80/n - 2) + -1. Let w = -113928 - -113930. Which is smaller: w or u?
u
Suppose 3*x - x = -178. Let s be 1493 + (-3 - (-3 + -1)). Suppose 28*m + 998 = -s. Is x < m?
False
Suppose -88*i = 65*i + 155 - 2. Which is smaller: i or 1/32613?
i
Let d = -43.8936 + 0.1736. Let m = 0.92 + d. Let n = m + 43. Are n and -0.2 nonequal?
True
Let q(o) = -o**2 + 3*o - 3. Let j be q(4). Let x be j/(-21) + (-256)/(-6). Let f = x - 65. Is f greater than -