Let l be y(4). Suppose 2*r = -r - 12, -2*s + 110 = -4*r. Which is smaller: s or l?
s
Suppose 4*p - 22018 = 3*a, 5*p = 3*a - 10236 + 32255. Which is bigger: a or -1/4?
-1/4
Let n = 84 + -81. Suppose 3*i + 328 = -4*w + 6*w, n*i + w = -331. Which is greater: -112 or i?
i
Let h(u) = -6*u + 6. Let k be h(6). Let c = -300 + 300. Suppose -140 = 5*r - 3*z, c = 9*r - 6*r - 3*z + 84. Is r <= k?
False
Suppose 5*g = -x - 80, -g - 10 = 2*x + 15. Let f be 1055/(-25) + 12/g. Which is smaller: -44 or f?
-44
Let u = 31.3 + 5.7. Let o = 12 - u. Let v = o - -23.9. Which is greater: v or 0.2?
0.2
Let v be ((-2)/4)/((-1335)/2250). Let m = -2646/979 - v. Is m <= -5?
False
Suppose 229 = -14*u - 42 - 331. Which is greater: u or -45?
u
Let s = -53.42 + 51. Let p = 2.52 + s. Let y = 1.7 - -13.3. Which is bigger: y or p?
y
Let a = -1997 - -2294. Is a at most as big as 300?
True
Let t = -166 - -311. Let f(o) = o**3 + o**2 - 19*o + 146. Let d be f(0). Which is greater: d or t?
d
Let n = -136846 - -136842.9. Let w = 0.1 + 0.2. Are w and n non-equal?
True
Let x(t) = -7*t**2 - 36*t + 6. Let c be x(-7). Let r = 216 + c. Let b = 133 - r. Is 2 equal to b?
True
Let q = 9.49 - 11.4. Let h = -2.223 + 0.223. Which is smaller: h or q?
h
Let h be (-13)/(-4) + 6/8. Suppose 4*d - 51 = -h*o + 57, -116 = -3*o + 4*d. Let a be (-1210)/(-165)*(-18)/(-4). Is a equal to o?
False
Let j(d) = 13*d**2 - 55*d - 110. Let p be j(-2). Suppose 2*m + p = 104. Which is smaller: 24 or m?
24
Let z = -8.097 - 424.903. Is z >= 12?
False
Let x(f) = -2*f**2 - 24*f - 21. Let n be x(-11). Suppose 2*z + 0 - n = b, b = -z - 1. Let v be 50/8*2/(-15). Does v = z?
False
Let a(v) = -1485*v - 27677. Let o be a(0). Which is smaller: o or -27676?
o
Suppose 4*z - 228 = z. Suppose z*g - 70*g = -24. Which is bigger: g or -5?
g
Let c = -80 + 102. Let m(j) = 4*j - 29. Let q be m(8). Suppose -q*y + 26 = -34. Which is smaller: c or y?
y
Let z = -11 - -7. Let p(s) = 5*s**2 + 58*s + 89. Let k be p(-2). Is k at least as big as z?
False
Let m(j) = -1 - 8*j**2 + j**3 + 7*j + 17*j**2 - 4 + 9. Let u be m(-8). Suppose u*v - 7*v = 0. Which is smaller: -12/11 or v?
-12/11
Suppose -8 = 2*d - 48. Suppose -d*s + 16 = -18*s. Suppose 5*v - 4*v = -s. Which is greater: v or -47/5?
v
Let b = -627595.9 - -627594. Let u be -1 + 0 + (-16)/(-1). Is b bigger than u?
False
Let d = -23754 - -24046. Which is smaller: d or 5?
5
Let a be ((-91)/65)/(17/2). Let x = a - 2947/170. Which is greater: x or -1?
-1
Let x be (-24)/(-56) + 5705/(-49). Which is bigger: -118 or x?
x
Let s be 994/(-21) - (-3)/9. Let v = 70 + s. Suppose v = 4*u - 53. Which is smaller: -1 or u?
-1
Suppose 2 = -0*b - 2*b, -2*v = -5*b - 81. Let j = 46 - v. Suppose 0 = -j*c + 4*c - 40. Is -8 greater than c?
True
Suppose 0 = -48*v + 45*v + 393. Let k = v - 132. Which is smaller: k or 1/115?
k
Let h = 52804 - 529039/10. Is -101 >= h?
False
Let h = 45 - 30. Let d be 10*(29 + 21/(-7)). Suppose 72 = 266*v - d*v. Which is bigger: h or v?
h
Let v(t) = 4*t**2 + t - 1. Let m be 6/(-2)*6/9. Let k be v(m). Suppose -1610 = -87*s - 143*s. Is s at least k?
False
Let w be ((-5)/(-10))/((-1)/2). Suppose 0 = 11*x - 207 + 317. Is w != x?
True
Let a = 1067489/7 - 153379. Which is smaller: a or -881?
-881
Suppose 6*u - 3*d - 18 = 5*u, 2*d - 21 = -3*u. Is 129/16 greater than u?
False
Let m = -114/11 - -1585/154. Suppose 0 = -t - u + 1, -3*t = 4*u - 0*u - 4. Suppose t = 17*p - 13*p. Which is greater: p or m?
p
Let d = -1104/5 + 231. Suppose 2*h + 35 - 49 = -3*s, -3*h = -s + 12. Let j be 17 - (s/(-3) + 9). Which is greater: j or d?
d
Let t(v) = -5*v + 24. Let c be t(7). Let x(s) = s**3 + 13*s**2 + 23*s + 7. Let w be x(c). Suppose 15 = 5*q + 5. Is w > q?
False
Let o = 2468893/15 + -164695. Let r = o + 102. Let g = 8/15 + r. Is g less than -64?
False
Let j(y) = -2*y**3 - 13*y + 15. Let b be j(0). Suppose -2*r - 4*f = -3*r + 11, -5*r = -3*f - 72. Are b and r unequal?
False
Let j be 4/11*(-195)/(-260). Is -27 < j?
True
Suppose -3 - 15 = -3*m. Suppose -4 - 14 = -m*r. Suppose l + 1 = r. Is l less than 4/5?
False
Let x be 11*(-3)/(-5) + 6/15. Suppose -5*y = -4*y - 192. Suppose j - y = -x*j. Is 23 at least j?
False
Let x = -20677 - -20791. Which is smaller: 19 or x?
19
Let j be (3/(-2))/(6/(-8)). Suppose -56 - 24 = -5*d + 4*w, -j*d + 44 = -4*w. Suppose 0 = d*q - 9*q + 15. Which is greater: -4 or q?
-4
Let k(z) be the first derivative of -z**4/4 - 6*z**3 - 8*z**2 + 18*z - 27. Let r be k(-17). Let g be (-111)/(-234) + 1/(-6). Which is smaller: g or r?
g
Let u = 0 + 2. Let x = u + -3. Let l = -3/57254 - 28573/1030572. Which is smaller: x or l?
x
Let p be (-13)/156 + 87481/12. Suppose 2*l = 17*l + p. Is -485 at most l?
False
Let k be (-3)/((-3)/(-68)) + 0/(-5) + 0. Is k less than or equal to -1402/21?
True
Suppose 26*p + 0*p + 168 = -2*p. Is p smaller than -256/39?
False
Suppose 0 = 13*j + 7 + 19. Which is bigger: -65/61 or j?
-65/61
Suppose 0 = -355*w - 66*w - 14*w - 3161580. Which is smaller: w or -7269?
-7269
Let v = -373 - -35. Let q = -299 - v. Which is smaller: 2 or q?
2
Let g = 0.61 + 1.78. Let x = -0.21 - g. Let b = -0.15 - -0.15. Is b smaller than x?
False
Suppose 30*b - 517 = -307. Which is smaller: -79 or b?
-79
Let d be (-28)/(-35)*(-1)/(-2). Which is smaller: -8/7 or d?
-8/7
Let j = 255 + -336. Which is bigger: -74 or j?
-74
Let d(s) be the first derivative of s**4/4 + 4*s**3 - 7*s**2 - 178*s - 10. Let n be d(-12). Which is smaller: -11 or n?
-11
Let d = -3688 - -70156/19. Which is greater: d or 3?
d
Let q = 69 + -24. Let g be 8/20 + (-13)/q. Let o = -88131 - -88128. Is o < g?
True
Suppose 5*t + 16 = 6. Let k be (1/t)/((-3)/(-6)). Let u = -2773/1897 - -9/271. Is k greater than or equal to u?
True
Let d = 498.46 - 495.46. Let x = 0.03 + 0.37. Are x and d nonequal?
True
Let u be (-875)/(-1 + 2) - (20 + -23). Let l = -4037/12 - u. Let t = l - 535. Is 2 not equal to t?
True
Let z be (1/(-1))/((-135)/33 + 4). Let v be (1 - 1)*5/(-5). Suppose v = -3*j + z + 1. Is j < 14/5?
False
Let z(m) = 4*m - 35. Suppose 11*b = 5*y + 13*b - 45, 2*y + b - 18 = 0. Let h be z(y). Is 14 at most h?
False
Suppose -3*o - 212 = 4*p + 42, 3*o = 4*p + 266. Suppose 0*a - 4*a + 4 = 0. Which is smaller: a or p?
p
Let u be -1 - -9 - (-19 - 2)/(-7). Suppose -u*t - 25 = -3*j, -j - 20 = -2*j + 4*t. Suppose j = -s - 5*s + 6. Which is greater: 1/73 or s?
s
Let x = 3 + -3. Let t = -34612 - -12010334/347. Let p = t + -1846/10757. Which is greater: x or p?
x
Suppose -3*s = -2*y + 2*s - 23, 0 = -5*y + 4*s - 83. Suppose l - 4 = 0, -j + 5*l - 18 = -7. Let f = y + j. Is f bigger than -10?
False
Let a be 26/(-208) + ((-5)/(-40) - 3 - -3). Which is smaller: 2/433 or a?
a
Let p = 154 + -179. Let b be p/(-10)*(-6)/485. Is b != -1?
True
Let p = -5.726 + 0.076. Let x = p + -0.366. Let q = 0.016 + x. Is q equal to 0.05?
False
Let f be (5 - (7 + -4))/1 - 2. Let i be (-10)/(-5)*-1 - 1100/(-551). Which is greater: i or f?
f
Let r = -32966 + 32996. Which is bigger: r or 1.73?
r
Let t = -131/3 + 41. Suppose -5*a = -17*u + 19*u + 6, 0 = -a + 4*u - 32. Which is bigger: a or t?
t
Let j(o) = -9*o + 9. Suppose -5*z - 19 = -2*r + 23, r - 18 = z. Suppose -8*k = -r - 16. Let c be j(k). Is c less than or equal to -27?
True
Let y be (-30)/(-6) - 13 - (-16)/20. Which is smaller: -30 or y?
-30
Let q = 223 + -175. Let g = q - 49. Is g < -2/41?
True
Let b = -64 + -40. Let f = b + 102. Which is smaller: f or 51?
f
Let n be (1205/100)/((-28)/224). Does n = -97?
False
Suppose -8*f = 22 + 10. Suppose 3*t = -2*h - 15, -3*t + 4*h + 4 = 1. Let q be t + 4 - (-26)/(-6). Which is bigger: q or f?
q
Let d be 30/8*-78*200/(-9750). Let c = 2/5639 + 293214/39473. Is d less than or equal to c?
True
Let a = -15851 + 15857. Let o be 2/(-2) - (-1 - 3). Let l be (3/(-6))/(o/a). Which is smaller: l or 7/18?
l
Suppose -85 - 125 = 5*i. Let n(p) = 3*p**2 + 126*p + 980. Let s be n(-11). Is s > i?
False
Suppose -x = -6*l + l - 1165, 3*l = 3*x - 3459. Let p = 735 - x. Let n = -25313/61 - p. Which is greater: n or 0?
n
Let x = -510 - -1253. Let l = x + -744. Which is bigger: 5/34 or l?
5/34
Let c(v) = 9*v - 6. Let x be c(5). Suppose -t - 5*j = 9, -2*t + x = 2*t - 5*j. Let p be (600/(-81))/4 - (-8 + t). Which is smaller: p or 1?
p
Let u be 11/(-22)*(0 + -194). Suppose -u + 6 = -y. Suppose -4*m - 20 = 0, 