ppose 63 = z - 3*w, 3*z - 7*w + 2*w - 201 = 0. Let k be 3/((-9)/28)*(-510)/68. Which is bigger: k or z?
z
Let c be (27 + 16/4)*(2 + (3 - 8)). Is -88 < c?
False
Let i be (-11 - -23)*8/28. Which is smaller: 2 or i?
2
Let q be (-5)/(-5)*(-17 - -6) - -12. Do q and 1/10978 have the same value?
False
Suppose 0*p + p = -1, -p - 139 = 3*z. Let i be 932/(-20) + (-120)/75*(-1)/(-4). Are i and z equal?
False
Let g = 36408139707/41321 - 881105. Is 1 equal to g?
False
Let o = -1754 + 1755.61. Is o less than -7?
False
Let z = 71 - -173. Let u be (-2)/((-8)/z) + -1. Suppose 33*s + 118 = 35*s. Which is smaller: s or u?
s
Let g = -0.034 + -0.066. Suppose -1800 - 390 = 6*y. Let p be y/(-480) + 6/(-8). Which is smaller: p or g?
g
Let z be 9/(-6)*193/63. Let p = z - -31/6. Suppose -5*o + g = -10, -2084*g = -2088*g. Is o less than p?
False
Let p be (-4)/(-5) - 2/3. Let y(j) = 2*j**3 - j**2 - 8*j - 2. Let o be y(-2). Let g be -2 + -2*(o + (-150)/(-36)). Which is smaller: p or g?
p
Let z = -9 - -7. Suppose 3*o - 5*j - 4 = 0, o + 2*o = 3*j + 6. Suppose -5*d + 5*a - 36 = -2*d, -o*d + 2*a = 27. Which is greater: z or d?
z
Let s be (-50)/14 + 3 + 2/(14/(-3)). Which is smaller: s or 1/68?
s
Suppose -4*r - 13 = c, -3*r = 4*c - 2*r + 52. Suppose 2*j = 5*j + 2*f - 45, 0 = -5*j + f + 88. Let h = j + c. Are h and 6 nonequal?
True
Suppose -489*a + 493*a - 2*t = -4, -4*t = 0. Is 4200 <= a?
False
Let c(i) = i**3 + i**2 + 2*i - 4. Let f(y) = y**3 - 13*y**2 + 10*y + 22. Let t be f(12). Let s be c(t). Let a be (-8)/s - (-3 - -3). Which is bigger: a or -5?
a
Suppose -3*j - 8 - 79 = 0. Let g(z) = z**3 + 25*z**2 + 23*z + 8. Let l be g(-24). Let x = l + j. Which is greater: 6 or x?
6
Let j = 55 + -55. Let s = 2309/74226 + -20/417. Which is bigger: j or s?
j
Let i = 179 + -108. Let x = 0.0848 + 71.0152. Let u = i - x. Which is smaller: 0.21 or u?
u
Suppose f - 5 = -u + 2*f, -17 = -3*u + 5*f. Let z be (441/714)/(u - 7). Which is smaller: z or 0?
z
Let j = 20 - 17. Suppose -5*i = -j*i. Suppose -4*b - d - 22 = 0, 0 = -i*d + 2*d + 4. Is -9 < b?
True
Suppose 0 = s - 3*v - 2*v + 16, 0 = -5*s - 5*v + 10. Let l = -37.809 + -0.591. Let y = 38.39 + l. Which is greater: s or y?
y
Let d = 197 + -357. Let z = d - -161. Is z at most 2/203?
False
Let f be (214/(-54) + 4)*24/(-148). Suppose 7*q + q - 2*q = 0. Are q and f equal?
False
Let n be (237/(-6))/(0 - 4/8). Suppose -n = -8*i + 17. Let r be 9/(1/(8/i)). Does 9 = r?
False
Suppose -44*a + 2 - 2 = 0. Suppose a = 14*y - 4*y + 10. Which is smaller: y or -2/451?
y
Suppose -6*u + 21*u - 1692 + 1677 = 0. Is 1/12759 <= u?
True
Let o be (8 - (-2093)/(-624)) + -5. Is o bigger than 0.2?
False
Let h be 64/(-40) + -16 + 8. Let g(d) = -12*d**2 + 1. Let a be g(1). Is h greater than a?
True
Suppose -183 = -25*c + 67. Let o be (-5)/c - (115/(-10) + 5). Is o greater than 30?
False
Let s be (-274)/(-2055) - 60394/30. Which is smaller: s or -2015?
-2015
Let n = 3676/5 + -3709/5. Is n > 17?
False
Let m be -3 - -325 - -3 - 4/4. Let f = 644 - m. Is f greater than 320?
False
Let p = 2.55 + -2.9. Let k = p + 0.21. Let n = -0.06 + k. Is n != 0.5?
True
Let q = -1039/7 + 7025/42. Let j = q - 1933/102. Let u be (-10)/(-15)*(-6)/4. Which is greater: u or j?
j
Let w be (-268)/(-22) - (-2 + 48/22). Let h be 1/((-8)/2) - 21/w. Let p be 8/(-16) + h/(-12). Which is smaller: 1 or p?
p
Let i be 8/(-4) + (-19 - 0). Let q = 23.19 + -23.19. Is q less than or equal to i?
False
Let r = -5558 + 5508. Does 5 = r?
False
Let z = 154 + -149. Suppose -5*x + 6*x - 47 = -4*r, 0 = -z*x - 2*r + 145. Let m be ((-4)/(-8))/(1/52). Which is smaller: x or m?
m
Let x = 0 + 0. Let w = -82560680 - -1566671463023/18976. Let g = -2/593 - w. Which is greater: x or g?
g
Suppose -138*k - 217 = -131*k. Let c = 157/5 + k. Is -0.033 at least as big as c?
False
Let g(c) = c**3 + 7*c**2 - c - 14. Let j be g(-7). Let r(p) be the third derivative of p**4/24 + p**3/6 - 3*p**2. Let t be r(-6). Which is smaller: t or j?
j
Let r(i) be the third derivative of -i**4/24 - 5*i**3/6 - 1048*i**2. Suppose -2*v - 2 - 10 = 0. Let x be r(v). Is x less than 1/14?
False
Let b = 921 - 920. Let d = 0.58 + -0.424. Is d less than b?
True
Let m(r) = -r**2 - 10*r + 10. Let y be m(-10). Let l = -8 + y. Let j be 7/(-14)*l/(-3). Which is bigger: j or -12?
j
Suppose -189*m + m = -188. Is 5/182 less than m?
True
Let h be 2*863/(-252) - -2. Let v = -43/9 - h. Let j(s) = s**3 - 11*s**2 + 1. Let w be j(11). Is w greater than v?
True
Let k = -373 - -155. Let p = -453 - k. Is p smaller than -235?
False
Let l be (-2 + 9 - 6)*-1731 - 14/(-2). Is -1724 at least l?
True
Let m(i) = -434*i**2 + 1721*i + 58. Let t be m(4). Let s be (4 + -6)/(-1*1). Let c be (s + 14/(-10))/(-1). Which is bigger: c or t?
c
Let s = -661 - -594.1. Let w = 67 + s. Let o = 38.1 - 36. Is w less than or equal to o?
True
Let s = 2518/45 - 282/5. Let u(l) = 7*l - 2*l - 6*l. Let z be u(1). Is s >= z?
True
Suppose 2*s - 3*x + 3784 = 0, 2*s + 3742 = -27*x + 23*x. Does s = -1881?
False
Let u be (-3)/6*(14 + 2). Let c(b) = 2*b**3 + 15*b**2 - b + 17. Let d be c(u). Which is bigger: d or -42?
d
Suppose 116*p + 432 = 9*p + 215*p. Let h = -69 - -118. Is h greater than p?
True
Suppose -7933 = 111*r - 2272. Is -42 not equal to r?
True
Let s = 22822 + -22820. Which is bigger: 211/109 or s?
s
Let n = -0.31 - -0.31. Let j be (-1070)/(-321)*246/(-5). Which is greater: n or j?
n
Let o be (-76)/(-16)*(16 + -31*(-5)/(-10)). Let c(h) = -h**3 - h + 2. Let f be c(0). Which is smaller: f or o?
f
Let f = 231024248 - 3546684254083/15352. Let c = f + -9/152. Which is bigger: c or -1?
c
Suppose 12 = 2*y - 6. Suppose -5*f + y = 2*m, 4*f - 3 = -5*m + 11. Let c be f/(-38)*(-3 - -1). Which is smaller: -1 or c?
-1
Let p be 300/90*(-306)/(-5). Is p at most 204?
True
Suppose -286 = 8*f - 34*f. Let w(g) = -g**2 - 10*g + 251. Let m be w(f). Is 20 at most as big as m?
True
Let r = 87.08 - 86.88. Which is greater: -30 or r?
r
Let d = 41549/10 - 4163. Let y = d + 106/35. Let h = y - -39/7. Which is bigger: -0.5 or h?
h
Let g be 3/((-108)/(-2874)) + 2/12. Suppose -2*c + g = 2*z, -4*c + 9*z + 160 = 4*z. Are c and 36 equal?
False
Let z(d) = 173*d**2 - 48*d - 49. Let c be z(-1). Which is smaller: 181 or c?
c
Suppose 0 = -34*u + 37*u + 69. Suppose -55*r + 24*r - 806 = 0. Is u greater than or equal to r?
True
Let f be (8 - 11/(231/182))/(12/(-14)). Is f < -66?
False
Suppose 475*r = 501*r - 26. Is 9/95 equal to r?
False
Let h = -1577/78 - -515465/546. Is h > 924?
False
Suppose 10846 + 9047 = -19*l. Which is smaller: l or -1051?
-1051
Suppose -359 = -4*d - 5*y, -3*d + 249 = -2*y - y. Let w = d + -108. Which is greater: w or -20?
-20
Let j = -2.265 + 2.065. Let v = 5.6 - 41.6. Is v less than or equal to j?
True
Let g be (-455)/(-910) - (-447)/(-938). Which is smaller: 1 or g?
g
Let y = -831 - -838. Suppose -7*v = -0*v - y. Is v > 109?
False
Suppose -5*a = 67 - 92. Suppose 9*b - a*d = 12*b - 12, 0 = -b - d + 2. Which is bigger: -2/15 or b?
-2/15
Suppose -11*s - 18275 - 90515 = 0. Let h = s - -39329/4. Is -59 >= h?
False
Let j be (-1)/5 + 3472/35. Let f = -499 + 598. Is f > j?
False
Let m = 373671 + -373673. Let c be (-2)/3 - (-64)/42. Which is greater: c or m?
c
Let a(b) = b**2 - b - 37. Let r be a(7). Suppose 0 = q - 4, 7*m - r*q + 18 = 5*m. Which is smaller: 2/183 or m?
2/183
Let m = 247 + -253. Suppose -j - 2*c = 4*j, 0 = 3*c + 15. Let y be (j - 10/4) + (-63)/12. Which is smaller: m or y?
m
Suppose 0*a + a = 12. Let f(c) = c**3 + 129*c**2 + 129*c + 142. Let z be f(-128). Which is greater: a or z?
z
Let q be 316/2528 + (-1005)/616. Which is bigger: q or -2?
q
Let d be (-49)/344 + ((-36)/(-6) - (-540)/(-96)). Which is bigger: 0 or d?
d
Let g(f) = -3*f - 73. Let l be g(-21). Let d be 35*(12/20 - 1). Let o = 7 + d. Are o and l non-equal?
True
Let z = 0.088 + -0.059. Let y = 0.029 - z. Suppose -3*r - 36 = 57. Is r greater than y?
False
Suppose 2*m + 0*m - 10 = 0. Suppose 0 = 5*w - 15, -3*h - 2*w = 2*h - 6. Suppose -6*f + f + 9 = u, h = -3*f - u + m. Are f and 11/7 equal?
False
Let p = -2357 + 2336. Which is bigger: 16 or p?
16
Let n be (2 + -2)/2 - -5. Let k be (2 - 0 - -1)*(22 - 732/36). Is n at least k?
True
Suppose 36*c + 6*c - 168 = 0. Let p be c + 4*136/(-96). Which is smaller: p or 4?
p
Let d be (13/(-6) + -2)*6185/(-50)