2. Let r be z(m). Suppose -p - p + r = 0. Which is smaller: 5/3 or p?
5/3
Let u = -822486/149 + 5520. Let g(j) = j**2 - 1. Let f be g(1). Which is smaller: f or u?
u
Suppose -4*a = -5*v + 43, -3*a - 35 = -2*v - 1. Let b be ((-200)/a + -4)*36/3. Which is bigger: 151 or b?
b
Suppose 4*q + 3*a = -9054, -7*q + 4*q = 3*a + 6795. Which is greater: q or 3?
3
Let u = 441905378 - 110918074182/251. Let n = -700 + u. Which is bigger: n or -1?
n
Let i be (-2)/3 + 3328/4974. Let j be -25*(-42)/140*2/15. Is i smaller than j?
True
Let l = -2/11727 - 140590/785709. Which is smaller: 1 or l?
l
Let w(x) = -40*x - 9. Let l be w(14). Let f = l + 12521/22. Let q be 4/8*-2 + 0. Which is bigger: f or q?
f
Let l = 0.5 - 6884.5. Is l at least as big as -0.1?
False
Let m = 0.81745 - 0.00945. Which is smaller: -1/3 or m?
-1/3
Let r be ((40/(-34))/5)/(-2) + (-16880)/141168. Which is bigger: r or -1?
r
Suppose -65*f = -80*f + 300. Let d be 270/(-450) + ((-93)/35)/(-3). Which is smaller: f or d?
d
Let i = -128763/5 + 25905. Is 0.1 != i?
True
Let f = 790 - -68. Let t = f - 618. Which is greater: t or 241?
241
Let m(f) = -18*f + 10. Let t be -1 - (16 - 1)/(-5). Let x(c) = -c**2 + 37*c - 19. Let n(v) = t*x(v) + 5*m(v). Let p be n(-6). Which is smaller: 37 or p?
p
Let n be (2 + (-5)/((-15)/(-12)))*(732 - 5). Which is smaller: -1456 or n?
-1456
Let r(a) = a**2 + 10*a + 5. Let s be r(-6). Let k be (-5 - -3)*(-1)/(-2) - s. Suppose -w + k = 5*w. Which is smaller: 27/10 or w?
27/10
Let z be (-73)/365 - (-4)/(-14). Does 0 = z?
False
Let k be -9 + 12 + 100885/(-33625). Are k and -1 equal?
False
Let k = 98 - 97.01. Let u = 0.4 - k. Let o = u + -0.41. Which is smaller: 8/5 or o?
o
Let l = -1289 + 1288.9. Let c = -721438/167 + 4320. Which is bigger: c or l?
c
Let s = 147 + -96. Let o be -45*((-6)/(-25))/(s/(-170)). Which is smaller: o or 40?
o
Suppose -3*c - t + 572 + 58 = 0, -5*t - 420 = -2*c. Let o = c - 367. Which is bigger: -158 or o?
o
Let g = -238/11 + 5972/275. Let y be (-2 + 2 + 2)/2. Which is smaller: y or g?
g
Let c be 50/196*-5*(-12)/50. Let y = c + -2645/637. Let b = y - -539/130. Do -2/3 and b have the same value?
False
Let h(z) = -8*z**2 - 8*z - 10. Let d be h(-2). Let c be (-76)/3 - (0/2)/1. Is c at least as big as d?
True
Let x = -3450 - -3451. Let u = 1.04 + -0.04. Let c = u + -1.4. Which is greater: x or c?
x
Let h = -2/871 + 991/52260. Let j = -27 - -27. Which is bigger: h or j?
h
Let j = 8.043 - 7.56. Let v = -0.533 + j. Which is bigger: 1/17 or v?
1/17
Suppose -2*o + 2*w + 414 = -496, -2296 = -5*o - 2*w. Let b = o + -336. Which is smaller: -0.1 or b?
-0.1
Let i = -3334 - -2529. Is i at least as big as -807?
True
Let a(r) = -499*r + 3420. Let f be a(7). Is f at least -507/7?
False
Let w = 136 + -137.4. Let n = 0.4 + w. Which is bigger: -113 or n?
n
Suppose -8 = -5*d - 3, -4*z - 3*d = -567. Suppose 4*u + 403 = 3*x, -13*x - u = -11*x - 287. Is x < z?
False
Let i = 0.229 - 195.229. Let f = i + 196.5. Is -6/13 at most f?
True
Suppose -6564*u + 7974 = -6582*u. Which is greater: -441 or u?
-441
Let c = -24005 - -21255. Is -2749 < c?
False
Suppose -4*h = -3*f - 1337, -196 = -h - 2*f + 130. Suppose 0 = -2*b + 4*m + h, 3*b = 2*m + 3*m + 500. Let l be 3/b + 8/80. Does 1 = l?
False
Let y be (4/13)/(-2) + 4*7000/4888. Is 5 not equal to y?
True
Let x = -903821/193 - -4683. Let j(w) = 2*w**3 + 86*w**2 + 4*w + 171. Let h be j(-43). Which is bigger: x or h?
x
Let y = 8.236 - -1464.764. Which is smaller: -0.9 or y?
-0.9
Suppose 13*c = 2*c - 2739. Let b = c + 161. Do b and -88 have the same value?
True
Let n be (-1 + -11)/((-42)/70). Let r be (-7 + 145/n)/((-2)/8). Is r at least as big as 7/58?
False
Let o be 760/(-912) - (1 + 5/(-6)). Let f be (-86)/20*354/(-507) + -3. Which is smaller: f or o?
o
Suppose -l = r - 18, 5*l - r - 114 = 2*r. Let k = -104 - -98. Let g be 7 + 18 + (-3)/(k/(-8)). Is g less than l?
False
Suppose -5*f - 22 = -132. Let s be (-1646)/f - 6 - (-4)/(-22). Which is smaller: -245/3 or s?
-245/3
Let j be 12 - (16 + -4) - ((-16)/20 + 1). Which is greater: -47/8 or j?
j
Suppose 3*y - 4*y + 60 = -2*w, -3*w + 5*y = 76. Let s = -6 + w. Let z = 1932 + -1970. Is z > s?
False
Suppose -3 = -8*j + 29. Let z be 7 - ((-8)/4 + j). Let w be 7*z/105 + 113/(-33). Which is greater: -4 or w?
w
Suppose 0 = 50*q - 72 + 22. Let h = 53 + -20. Is q >= h?
False
Let g = 1/459 + 1681/918. Do 6 and g have the same value?
False
Let k = -12/935 - -8164/53295. Let v be 70/(-40) - 3/(-4). Are k and v unequal?
True
Let v(m) = m**3 + m**2 - 2*m - 215. Let i be v(0). Let g = i + 217. Let n be 2 + (-16)/(-14) - 2. Is n >= g?
False
Let u = -88 - -96. Let a be 22/(-187) - (-535)/68. Which is greater: a or u?
u
Let b be (-32)/24 - 16/(-12). Suppose c = r + 103, 2*c = -b*r - r - 88. Is -98 at most r?
True
Let v be (-9524 + 0)/(((-56)/49 - -1)*-14). Is v > -4763?
True
Suppose 0 = 2*f + 3*f - 405. Let t be 28 + (1777 - -43)/35. Which is bigger: t or f?
f
Let p be 41/(-82)*3/661. Which is smaller: 1 or p?
p
Let y = -581683/3724 - 48/931. Let s = y - -154. Which is bigger: -3 or s?
s
Let t = -635 + 357. Let x = -277.89 - t. Is x less than or equal to -1?
False
Let y = 99.4 + -109. Let i = 9.57 + y. Does -0.05 = i?
False
Let v = -145.653 + 162.64. Let c = v - -0.013. Which is bigger: 0.1 or c?
c
Suppose 6*c = 21*c - 2370. Let x = 185 - c. Is 27 greater than x?
False
Suppose 0 = 183*w - 185*w - 2. Is w <= -17/177?
True
Let m = 418 - 366. Let j = -52 + m. Is -1/9 < j?
True
Suppose -7949*h = -7962*h + 4136 + 1129. Which is greater: 407 or h?
407
Let w = 4.59 + -4.6387. Let n = w - -219.0487. Which is bigger: n or -0.1?
n
Suppose 0 = -2*u + 4*t + 16, 5*u + t = 6*t + 25. Suppose 110 = -4*v + 3*w, -u*w = w - 6. Which is greater: v or -29?
v
Let y = -4 + 7. Let k be 0*(-7)/(-16 + 2). Suppose -y*m - f = -2*f, k = 3*m + f + 6. Is m <= -2/89?
True
Let j = 0.4857 - 0.0857. Is j at least 32?
False
Let j = 0.11198 + -1.87198. Which is smaller: 11 or j?
j
Let g be 3180/(-36)*1*-3. Let j be g/(-3) - 22/33. Is j equal to -615/7?
False
Suppose 0 = 36*k - 58*k + 39*k - 68. Let a = 17.41 - 0.41. Is a at most as big as k?
False
Suppose -50 = -34*t - 254. Are t and -8 nonequal?
True
Let q = -4802 - -4803. Are q and -6/443 nonequal?
True
Suppose -3*g - 33921 = 5*i, 7*i + 3*g + 34127 = -13372. Which is smaller: i or -6791?
-6791
Let l = 390053/5285 + -369/5. Is l < -1?
False
Suppose 7 + 11 = 9*j. Let x be (3/30*-4)/(j/5). Let b(u) = -u**3 + 11*u**2 + 10*u + 11. Let t be b(12). Is t at most as big as x?
True
Let c(v) = -v**2 + 9*v - 20. Let l be c(2). Let y be 8 + l + (-2 - -73). Is y less than 70?
False
Let p = 6635 + -6606. Is -114 less than or equal to p?
True
Let n = 7 - 2. Let z be (44/8)/(357/306). Which is smaller: n or z?
z
Let o = -4 - -7. Let y(d) = 4*d**3 - 55*d**2 - 72*d + 108. Let u(h) = -9*h**3 + 117*h**2 + 143*h - 215. Let a(w) = -3*u(w) - 7*y(w). Let g be a(36). Is o <= g?
False
Let k be 1/(-4*2/(-16)). Let h be 6/k - 3 - 39/(-4). Let n = 191/20 - h. Which is smaller: -1/2 or n?
-1/2
Let d be 13/(-2) - (-21 - (-10 - 0) - -4). Is d less than or equal to 4/9221?
False
Suppose 0 = 242*n - 453*n - 64144. Is n >= -309?
True
Suppose -3*h + f - 2 = 0, -4*h + 3*f = h + 10. Suppose 2*b - h + 0 = 5*j, 2*j = -2*b - 6. Let g be (11/(-4) + 3)/(b/(-20)). Which is smaller: -1 or g?
-1
Let k = 294/85 - 29175/8432. Is 1 < k?
False
Let g = -0.16705 - -17.93705. Which is greater: -1/9 or g?
g
Let p = -752.2 + 752. Let v = 23 + -21. Suppose -2*k = -3*o + 5, -v*k + 4*o - 10 = -2. Which is greater: k or p?
k
Suppose 5*d - 24 = -x, 5*x + 2*d - 5 = -0*d. Is 11 > x?
True
Let x be 24294/4*(-4)/21 + 115/(-805). Do x and -1158 have the same value?
False
Suppose -9 = -11*h + 13. Let t be -35*5/(-2075)*h. Which is smaller: t or -1?
-1
Let q = -0.127 + 0.18. Let a = q - 0.093. Let t = a - 1.26. Are t and -2 equal?
False
Let u = -124 - -106. Let t(v) = -v**3 - 17*v**2 + 20*v + 35. Let a be t(u). Is 2/49 not equal to a?
True
Let t = -22255/7 - -3181. Let x(w) = w**2 + 3*w - 2. Let u be x(-4). Which is bigger: u or t?
u
Let m = -10055.237 + 10055. Do m and 0.08 have the same value?
False
Suppose 16*a - 15*a - 23 = 0. Let v = 7 + 2. Suppose -v = -3*r + 3*b, -3*r + a = -6*r - 5*b. Which is bigger: -29 or r?
r
Let q(x) = -3*x**2 + 8*x + 2725. Let f 