*2 - 14*u + 53. Let g be w(-17). Suppose 0 = 3*y - 0*y - 9. Suppose -y*p = g + 1. Which is greater: p or -2/53?
-2/53
Let s be 6324/(-21) + 1 + 12/28. Let x = s + 299. Is 0 <= x?
False
Suppose -2 - 2 = 2*r + 3*g, 4*g = -2*r - 6. Let q be (r/(-2))/((-1)/(-12)). Let m be (-57)/(-5) - q/(-15). Is 9 at most m?
True
Let m be ((-891)/(-132) + -5 + -1)/(43701/(-504)). Which is greater: m or -1?
m
Let p = 30593/2 - 24260277/1586. Is p < -1?
False
Let g(z) = 2*z**2 - 7*z + 2. Let s be g(2). Let d = -5 - 0. Which is smaller: s or d?
d
Suppose 3*u + 5 = -5*b + 54, -9*u = -4*b - 109. Let m be (18/(-8))/(-3)*12. Let w = 21 - m. Which is greater: w or u?
u
Let f be (-24)/(-13) + 6 + -8. Which is smaller: f or -3/32?
f
Suppose -s = 4*v, -s + 26 = -3*v - 2. Suppose 0 = s*y - 4*y - 108. Which is bigger: 38/5 or y?
y
Let i = -138 + 195. Let h = i - 29. Suppose 0 = 5*o + g - 26 - 29, h = 4*o + 4*g. Which is greater: o or 11?
o
Let j = -2396/9 - -19159/72. Let w = 0.057 + -53.057. Which is bigger: j or w?
j
Let b(n) = -7*n - 146. Let z be b(-21). Suppose 3*j = -4 + z. Which is bigger: j or -134?
j
Let g(l) = 13*l**2 - 2*l + 2. Let y be g(-3). Let m(k) = 645*k - 147583. Let q be m(229). Is y <= q?
False
Suppose -59*v + 66*v - 70 = 0. Let i be (-28)/126 - v/(-15). Which is greater: -1 or i?
i
Let p = -700 + 692.1. Is p < 29?
True
Suppose -4*g - 501*w + 43432 = -497*w, -32584 = -3*g - w. Is g at most as big as 10864?
True
Let q be (2 + 0)/(3/(-480)). Let a be 2 + (q/(-18))/(-8). Let s = 0 - 0. Is a bigger than s?
False
Let z be (11448/(-50))/((-37)/74). Let k = -458 + z. Are 2 and k equal?
False
Suppose 0 = 2*f + 81 - 83. Let r be (f - -2)/((-1)/(536/(-24))). Which is smaller: 133/2 or r?
133/2
Suppose -3165*d = -3177*d - 57132. Is -4760 greater than d?
True
Let h be (3 + 84/(-8))*(-33440)/(-528). Do h and -490 have the same value?
False
Let f(o) = -762*o + 305. Let u be f(7). Which is smaller: u or -5030?
-5030
Let g(h) = 18*h**2 + 37*h - 161. Let v be g(4). Are v and 1374/5 unequal?
True
Let n(u) = -u**3 + 8*u**2 + 17*u + 19. Let w be n(10). Let l = w + 9. Let z be 7 + l - (-6 + 13). Are z and 11 unequal?
True
Let a(r) = r**3 + 10*r**2 + 5*r + 22. Let f be a(-10). Let w(k) = 8*k**2 + k**2 - 12*k - 8*k**2 + 2. Let i be w(8). Which is greater: i or f?
f
Suppose 0 = -2*s + 163 - 165. Let r be (102/24 - 0)/(s/8). Which is bigger: -4 or r?
-4
Let h = 80.4 + -217. Let x = h + 137. Which is greater: x or -2/109?
x
Suppose 313 = -v + 3*f, -2*f - 1537 = 5*v - 3*f. Let r = 49705 + -50014. Do v and r have the same value?
False
Let m(x) = x**3 + 4*x**2 - 6*x - 10. Let t be m(-4). Suppose 0 = l - 2*l - t. Let v be 132/(-77)*l/(-2). Which is smaller: -11 or v?
v
Suppose -78*m = -125*m + 137240. Which is smaller: m or 2922?
m
Let p = 558 - 372. Suppose 0 = -m - p + 209. Which is bigger: 7/4 or m?
m
Let z = 31 - 42. Let u = 17 + z. Let x be (2/2)/(u/(-6)). Is 4/9 < x?
False
Suppose 4*n + 2*c = 44, 0*n + 4*c + 42 = 5*n. Suppose n*m = 6*m + 8. Let f be ((-1)/((-3)/(-15)))/((-1)/m). Is -3 != f?
True
Let i be (1/((-14)/(-8)))/((-8)/(-28)). Let a be ((-2)/(-3))/i + (-72)/54. Let n be (-542)/182 - (-2 + -1). Which is bigger: a or n?
n
Suppose 5*v + 3*g - 35 = 0, 2*g - 26 = -5*v + v. Let m be v/10 + 3367/20. Let c = 168 - m. Which is smaller: 0.1 or c?
c
Let g = 27 + -25. Suppose g*j + 14 = 14*d - 10*d, -20 = -d - 5*j. Suppose -d*b = -6*b + 4*w + 23, -4*w = -2*b + 54. Which is bigger: 32 or b?
32
Let x(l) = -l**2 + 6*l - 5. Suppose -4*r = -8*v + 3*v - 26, -11 = v + 5*r. Let c = v + 10. Let n be x(c). Which is greater: 1 or n?
n
Let l = -4162 + 4688. Is l smaller than 528?
True
Suppose -1241 = -b + 2*s + 825, 0 = -4*b + 3*s + 8309. Which is greater: b or 2083?
b
Let u(q) = -q**2 + 20*q + 96. Let n be u(-4). Which is smaller: n or 49/184?
n
Let z be ((-29)/(406/28))/(3/(-66)). Is 822/19 at most z?
True
Let t = -36 - -69. Let z = 66 - 33. Let y = z - t. Which is bigger: -1 or y?
y
Let t(d) = d**3 - 34*d**2 + 32*d + 44. Let b be t(33). Which is greater: b or 27?
27
Let c = 500 + -502.17. Let f = 613 + -613.17. Let n = f - c. Is 0.24 not equal to n?
True
Let r(k) = -16*k**2 - 16*k. Suppose -17*l - 6*l - 69 = 0. Let i be r(l). Which is bigger: -0.2 or i?
-0.2
Let j be (1/(-3))/((-9)/(-6)). Let u = -503 + 505.43. Let w = -2.13 + u. Are j and w unequal?
True
Let f be (3 - (-56)/(-40)*5) + 48. Are 51 and f unequal?
True
Suppose -16*k = -20*k - 1348. Let m = k + 270. Is -67 at least as big as m?
True
Let z = -7834 - -6771. Is z bigger than -1069?
True
Let w = 29131/4102695 - -1/14705. Which is smaller: 40 or w?
w
Let l = 5.2 - -0.8. Let z = l - 7. Let p = -107 + 103. Is p <= z?
True
Let i = -39 - -34. Let r be ((-2)/4)/(i*(-9)/(-18)). Let g = 1 - 1. Is g bigger than r?
False
Let i = 9013 + -9026. Is i not equal to 114?
True
Suppose -4*c + 12 = 0, 4*c + 2478 - 465 = -5*l. Is -405 at most l?
True
Let k(s) = 2*s**2 + 18*s + 8. Let v be k(-8). Suppose 3*g = -10 - 20. Let a = v - g. Is a != -2?
True
Let m = 800011443/4693208 + 1/361016. Is m greater than 169?
True
Let w(b) = b**2 + 7*b + 12. Let i be w(-2). Suppose 4*r = -c + 2*r - 15, 0 = -i*c - r - 27. Let g be ((-3)/c)/((-15)/10). Which is greater: 0 or g?
0
Let h = 8142 - 16279/2. Is 33 >= h?
True
Suppose -9*g = -2*a - 14*g + 101, 0 = -g + 3. Let t = a - -64. Which is smaller: t or 105?
105
Let o = 703 - 806. Let j = o - -102. Are 23/7 and j unequal?
True
Let l(h) be the third derivative of -h**5/60 - 17*h**4/24 + h**3/6 + 5*h**2 + 4. Let s be l(-17). Let t = -2/587 + -876/87463. Is s at least t?
True
Let v = -7592 + 7445. Are 2 and v unequal?
True
Let i = -9684 + 3551. Is -6135 at least as big as i?
False
Suppose 4*l - 3*q - 20 = 0, q + 478 = -5*l + 484. Which is greater: l or -3137?
l
Let g = 31.1 + -31. Let u = -0.0006 + -51.9994. Is g equal to u?
False
Let h be ((140/(-6))/(-14))/((-1)/6). Let z(o) = 3*o + 73. Let d be z(h). Is 208/5 < d?
True
Suppose 5*x + 7*y - 4*y - 128 = 0, 76 = 3*x + 2*y. Suppose -c + 112 = 3*d, d = 2*c - 7*c + x. Let n = d - 39. Is 1 at most as big as n?
False
Let k(p) = 4*p**2 - 5*p - 11. Let l(v) = -5*v**2 + 5*v + 12. Let g(u) = 4*k(u) + 3*l(u). Let j be g(5). Are j and -25 equal?
False
Let t = -7723/17010 + 2/1215. Let s be 2 + (-381)/63 - (-12)/3. Let a = t + s. Which is smaller: 0.2 or a?
a
Let n(r) = -27*r - 1233. Let q be n(3). Which is greater: q or -1319?
q
Suppose 20 = 4*m + 3*o + o, -2*m + 4*o + 4 = 0. Suppose -14*q + m*d + 16 = -12*q, -5*d - 20 = -4*q. Which is bigger: -11/35 or q?
q
Let b be (1/2)/(88/176). Are b and -3/18860 non-equal?
True
Let t = -19/7287 - -860585/335646507. Which is bigger: 0 or t?
0
Let a = 143.77 - -72.23. Is -3/2 >= a?
False
Let a(w) = w**3 + 7*w**2 + w + 7. Let r be a(-7). Let s = -0.0562 - 2.4538. Let z = -2.67 - s. Which is smaller: r or z?
z
Let v(p) = 152*p**2 - 2*p - 4. Let w be v(-2). Let a be 80/w*(-12)/15. Suppose -4*j = -0*j - 4. Which is greater: j or a?
j
Let p be (-2)/(-4) + (-45933)/(-502). Which is bigger: p or 75?
p
Suppose 4*s = -11*c + 8*c + 94, -212 = -7*c - 2*s. Which is smaller: c or 48?
c
Let u = 7.95 + -0.95. Which is smaller: u or -49?
-49
Suppose 18*c - 2325 = 465. Let z = -155 + c. Which is bigger: z or 1/80?
1/80
Let i = 0.5463 - -45.5537. Is -2/3 less than or equal to i?
True
Let m(f) = f**2 - 10*f + 8. Suppose -3*c - 61 = -88. Let l be m(c). Is l >= 3/151?
False
Let l = -3844724/24057 + -2/2187. Suppose 5*a = a + 640. Let n = l + a. Is 7 at least n?
True
Suppose -8 = -6*t + 10. Suppose -t*j - 2*j = -20. Suppose 0 = -j*m - m - 5. Which is bigger: m or -3/19?
-3/19
Let s be 588/(-378) - (-8)/(-6). Let j be -2*3/12*0/3. Suppose -x - 2*h - 2*h + 12 = j, -5*x + 2*h - 28 = 0. Does x = s?
False
Let l = -55 + 49. Let g be 1 + ((-294)/40 - l). Do 1 and g have the same value?
False
Let q = -85 + -46. Let k = -159 + 295. Let h = q + k. Is h bigger than 5?
False
Let g = 34901 + -4886293/140. Let x = -3/28 + g. Suppose 30*t = 57*t - 44*t. Which is greater: t or x?
t
Let y = 549 - 551.29. Let o = y + 11.29. Is o <= -11?
False
Let d = -10563 + 11457. Is d > 898?
False
Let m = 246 - 231. Let s = -18 + m. Let c = 7 - 11. Is c > s?
False
Suppose v - 90 = -5*g, 3*g + 4*v = 2*g - 1. Let y = -3 - 178. Let c = y + 199. Which is bigger: c or g?
g
Let z = 5 + -8. Let x = z 