= 379 - 69. Let h be 2/l*5/15*-3. Is h <= 0?
False
Let z = 279 + -275. Let i = -2 - 3. Let o = -2 - i. Is z at most as big as o?
False
Let l(c) = -c**3 - 2*c**2 + 31*c + 43. Let u be l(-6). Is 17/36 bigger than u?
False
Let p = 23.1 - 0.1. Let t = 24 - p. Let d = 2 - 12/7. Which is greater: d or t?
t
Suppose -4*p - 3*j + 14 = -9*p, 0 = -5*p - 5*j + 10. Which is smaller: -22/13 or p?
-22/13
Let x = 0.614 - 0.68. Let u = x - -0.166. Which is greater: 0.21 or u?
0.21
Let z(n) = n + 7. Suppose -2*t - 5 = -2*m - 1, -t - 2 = 3*m. Let k be z(m). Suppose -3*c = k - 4. Which is smaller: c or 1?
c
Let t = 12 + -42. Let f = -29 - t. Which is smaller: -0.1 or f?
-0.1
Suppose r - 4*q = -0*q + 8, r + 5*q = -10. Suppose 9 = 4*k + 1. Is r >= k?
False
Suppose 5*o + 4*q + 6 = 0, o = 3*o + 4*q + 12. Let r be 6/16*o/(-12). Let a = -361 + 360. Is r greater than or equal to a?
True
Let p be (-1 - 0)*(6 + -8). Suppose -p*y + y = -34. Is y bigger than 33?
True
Let k be 10/16*((-798)/95 + 8). Let v = 3.89 + 0.11. Which is smaller: k or v?
k
Suppose w + 214 = -w. Let x = -71 - w. Let t = x - 34. Is t at least as big as 4/5?
True
Suppose -5*n + 3*n = 8, 4*h - 3*n - 48 = 0. Suppose -s + 5*b + 16 = -2, 2*s - b + h = 0. Is s at most -7?
True
Suppose -5*d + 0*d = -j - 25, 2*j + 20 = 4*d. Suppose 3*n - 3 = -0. Let r be 0*(-3 - (n + -5)). Is r less than j?
False
Let d = 1 + 0. Let p(k) = -k**2 + 20*k - 87. Let b be p(7). Is d greater than b?
False
Suppose 2*a - 2*i - 14 = -3*i, -2*a - 6 = -4*i. Suppose -10*j = -5*j + a. Is j at least 1/123?
False
Let b = 69389/90 - 771. Which is smaller: b or 0?
b
Suppose 0 = 2*g + 2*z - 4, 5*g + 7*z - 3*z = 11. Let w(t) = -t - 1. Let u(y) = 7*y + 4. Let v(l) = -u(l) - 6*w(l). Let x be v(-2). Is g < x?
True
Let m(z) be the second derivative of -z**3/3 + 9*z**2/2 + 27*z. Let x be m(-2). Which is smaller: x or 11?
11
Let s = -52.7692 + -0.0308. Let h = 8.2 - s. Which is greater: 0.1 or h?
h
Let n = -35 + 56. Let p(c) = -424*c - 403. Let b be p(-1). Is b not equal to n?
False
Let y(w) = -16*w**3 - w**2 + w - 1. Let o be y(-2). Suppose 3*g + 296 = -o. Let m = g - -693/5. Which is greater: 0.2 or m?
0.2
Let u = -11 - -25. Suppose 42 = -4*g + u. Is g <= -7?
True
Let i(p) = 3*p + 46. Let c be i(-6). Suppose 6 = -c*a + 25*a. Is -22 > a?
False
Let h = -1.59 + 2.53. Let z = -1.94 + h. Which is smaller: z or -0.047?
z
Let u be 10/(-20)*15*(-4)/21. Let y be ((-1)/(-3))/(3/18). Are u and y equal?
False
Let s(k) = k**3 - 4*k**2 + 3*k + 4. Let o be s(3). Suppose -3*p - 64 = 5*v, 0 = 5*p - 3*v + 7*v + 98. Let g be (-97)/(-21) + p/63. Is o less than g?
True
Suppose 9*q - 13*q = 0. Let u = 7/12 - -3/4. Which is bigger: u or q?
u
Suppose -5*p - 4 + 59 = 0. Let i(h) = -h**2 + 11*h + 2. Let u be i(p). Suppose u + 21 = a. Is 24 at most a?
False
Suppose 2*v + 24 = -4*o, -3*v + 5*v + 48 = 4*o. Let l = v - -18. Suppose -m = -l*m - 2*s + 1, -m = 2*s - 3. Is 3 at most as big as m?
False
Let v(y) = -y**2. Let d = 2 + 0. Suppose -6*u - 4 = -d*u. Let o be v(u). Which is smaller: 0 or o?
o
Let r be 5 + -5 - 3/(-15). Let h = -12.09 + 12. Do r and h have the same value?
False
Suppose 16 = -w + 5*w - 2*c, 0 = -3*w + 4*c + 2. Suppose w*k = 3*k + 18. Which is smaller: k or 5?
5
Suppose 0 = -0*x - 3*x + 15. Suppose 4*q - 2*n - 3*n = 10, x*n = 2*q. Suppose 4*h - q = 9*h. Which is smaller: 0 or h?
h
Let o = -18 - -81. Let n = -62 + o. Let k = -97/3 + 33. Do n and k have different values?
True
Let g be (1/(-2))/(6/(-12)). Let x be 72/30*560/(-9). Let b = x - -151. Which is smaller: b or g?
g
Let u be 297/(-495) - (-1549)/2565. Which is smaller: -1 or u?
-1
Let n(d) = -d**2 + 6 + 0*d**2 - 3*d**2 + d + 5*d**2. Let c be n(0). Let g be (c/(-8))/((-6)/12). Is g > 1?
True
Let t be 72/20 - 4 - 852/(-5). Is 170 < t?
False
Let p = -46 + 47. Which is smaller: p or -155?
-155
Let j = 7424040/17 - 436857. Let t = j + 149. Are 0 and t equal?
False
Let f = 151677/80 - 1896. Which is smaller: -1 or f?
-1
Suppose 7*z - 9 = 5. Let v be 1/(-1 - z/(-1)). Which is smaller: -1/39 or v?
-1/39
Let f(c) be the first derivative of -c**3/3 - 5*c**2 - 13*c + 10. Let i be f(-6). Is -1 smaller than i?
True
Suppose 47*p + 14*p = -2 + 2. Let g = 18 + -86/5. Are p and g equal?
False
Let m(k) = -3*k**2 - 9*k - 15. Let i be m(-10). Let q be (-904)/(-39)*i/10. Let z = q + 522. Is -1 at most z?
True
Let c(u) = -4*u**2 - 103*u + 9. Let b be c(-26). Is b < -9?
True
Suppose s = -0*s. Let i = 70 - -18. Let j = 90 - i. Do j and s have the same value?
False
Let j be 28/21 - 2 - 232/(-6). Which is bigger: j or 33?
j
Let c = -2.838 + -0.372. Let h = 0.79 - c. Which is bigger: h or -1/12?
h
Let p be (-13676)/(-39)*(-18)/(-24). Which is greater: 264 or p?
264
Let a be (119/14 + -9)*2. Which is bigger: 1/152 or a?
1/152
Suppose -3*r - 9 = 3*j, 5*r - 27 = -6*j + 7*j. Which is smaller: j or 0.17?
j
Let z = -27 + 32. Suppose 10 = -9*b + 4*b, -1306 = 4*h + z*b. Let m be (h/(-80) - 4)*2. Which is greater: m or 1?
1
Suppose -s = 5*t - 204 + 156, -4*s - 6 = -2*t. Do t and 238/25 have the same value?
False
Suppose -4*r + 1386 = 2*r. Which is greater: 0 or r?
r
Let y be (20/(-15))/(4/(-6)). Suppose 0 = y*z + 4*q - 1 - 9, 0 = 2*z + 5*q - 12. Is 1/14 > z?
False
Suppose 7 = -5*l + 23*a - 27*a, 3*l + 5*a = -12. Which is bigger: -0.942 or l?
l
Let g = 16293/11 - 1478. Is g at least as big as 3?
True
Suppose -41 = 4*v - 5. Let y be v/(-15) + 72/30. Let g be 1 + y + 0 + -11. Is g less than or equal to -9?
False
Let n = -4794 + 33560/7. Let a = -17 - -39. Which is greater: n or a?
a
Let a be 20/(-70)*6/356. Which is smaller: a or -1?
-1
Let w be 130/112 + 2/(-7). Suppose -12*r - 50 + 386 = 0. Suppose r - 6 = 5*g - 4*u, -g + 5*u = -17. Is w less than g?
True
Suppose -87*y - 25802 - 20308 = 0. Which is bigger: -531 or y?
y
Suppose -6178 = -16*k - 112706. Let n = k + 2004056/301. Is 0 greater than n?
True
Let c be 2/10*30/4. Let p = -47.4 + 47.5. Does p = c?
False
Let r be 2*-38*(-15)/36. Let o = 32 - r. Suppose m + 0*m = p + 5, 4*m - 16 = 0. Is o less than or equal to p?
False
Let k = -72 - -183. Do k and 108 have different values?
True
Suppose 4*i + 5*j = -29, 5*i + j = 3*j + 5. Let f = -115/1884 + -7/314. Is i > f?
False
Let k = -86 - -52. Suppose 4*t = -8, -j + 4*t + t = 24. Is k >= j?
True
Let g = -94 + 96. Suppose 0 = 5*c - 7*c + g. Which is smaller: -2/29 or c?
-2/29
Suppose -35 - 5 = -5*s - 4*k, -4*k + 12 = -2*s. Suppose 3*j - 7*j + s = 0. Let i = 3 + j. Is i at least as big as 4?
True
Suppose -3*u + 22 = 4*y + 156, -4*y = 20. Is u > 5?
False
Let v be -1 - (-3 + 15)/4. Let d be (-126)/v - (-1)/(-2). Let y = -18 + d. Which is smaller: y or -0.1?
-0.1
Let v = 1090 + -1089.971. Which is greater: v or 1/2?
1/2
Let y be (4 - -4) + -2 - -5. Which is greater: -2 or y?
y
Let h be (5 - -4)/3 - 3. Does -2/273 = h?
False
Let h = -2 - 1. Let v = 64 - 705/11. Which is smaller: h or v?
h
Let i be 4/(-26) - (-5 + 10050/2106). Which is greater: -1 or i?
i
Let n = -217 - -214. Which is smaller: n or -53?
-53
Let u(p) = p**3 - 9*p**2 - 2*p. Let s be u(9). Let g = 15 + s. Let t be 1 - (4 + -1) - g. Is 0 greater than or equal to t?
False
Suppose 3*t + 0*t + 5*f = 24, 4*t + 3*f = 21. Let q = -8 + 14. Let s = -5 + q. Is s at least t?
False
Let o = 71/680 + -1/34. Suppose -4 = 3*a + a. Are a and o nonequal?
True
Let m = 2 + 1. Suppose -m*b - 2*b = 5. Let t be (72/(-224))/(3/(-2)). Is t >= b?
True
Let h = -814 + 852. Let i(p) = -40*p**3 - p**2. Let z be i(-1). Is h smaller than z?
True
Let z = 26523 - 32225443/1215. Is z less than 0?
False
Suppose 15 = 13*b + 2. Which is smaller: b or 4/95?
4/95
Suppose -2*z = -7*z + 5. Let p = 1173 - 116129/99. Are z and p unequal?
True
Let p = 16 - 12. Let o = 8 + -4. Let r = p - o. Is 0 at most as big as r?
True
Let r(c) = c**3 + 9*c**2 - 12*c + 12. Let y be r(-9). Let o be (y/98)/(6/(-21)). Is -4 less than or equal to o?
False
Let s = -1697 - -741591/437. Which is greater: 1 or s?
1
Let d = 369 + -270. Is d >= 101?
False
Let c(p) = -55*p**2 + 3*p - 2. Let k be c(3). Let o be (-12)/(-28) - k/(-28). Is o greater than or equal to -0.1?
False
Suppose 4473 = 38*a - 59*a. Is a less than -216?
False
Let b(t) = 2*t**2 + 3*t + 2. Let x be b(-1). Let n be 74/(-66) - (-8)/12. Is x less than n?
False
Let o = -9.2 - -9.11. Let b = -0