et i = 136 - 202. Let w = i - -66.1. Which is greater: -105 or w?
w
Let d be (2*1/2)/(-4*3/(-1884)). Is d at least 156?
True
Let t = -38.05 - -0.05. Let j = t + 38.3. Let h = 47 - 51. Which is bigger: h or j?
j
Let c be (-159)/(-51) - 3 - 426723/51. Are -41828/5 and c non-equal?
True
Let f(c) = -59*c**2 + 5*c + 5. Let g be f(-2). Let d = g + 259. Which is smaller: 58/3 or d?
d
Let p be (57516/(-40))/(108/5). Let o = p - 41/9. Let q = o - -71. Which is greater: -2 or q?
q
Let x = 765397 - 765394. Suppose -y - 6 = -2*y. Let p be 14/12 + 2/y. Is x less than p?
False
Let i(p) be the third derivative of -p**5/60 + 7*p**4/12 + 7*p**3/3 + 46*p**2. Let j be i(15). Is 4/45 at least as big as j?
True
Suppose 3*b = 12*b - 9. Let n be (b + -1)/2 + -14 + 13. Let m = 2/101 - 430/1313. Is n at most as big as m?
True
Suppose -52 = -a + 5*h + 9, 246 = 3*a - 6*h. Which is greater: 1822/19 or a?
a
Let r = -2904937/3728 + 12465/16. Does r = 1?
False
Let f(b) = -14*b - 5. Let w be f(-1). Suppose -4*v - 14*g = -w*g - 1, -2*v = -3*g + 27. Let q = 16.93 + -17. Is q at least as big as v?
True
Suppose 4*s + 2735 = 9*s - 5*i, 1102 = 2*s + 2*i. Suppose -5*j + s = -141. Let g = 120 - j. Are g and -16 non-equal?
True
Suppose 2*m = -29 + 89. Let a be 9897/m + 1/10. Is 329 at most a?
True
Let v = 278 - 233. Let j be (v/12 - -2)/((-2)/16). Is -46 equal to j?
True
Let z(r) = -2*r**3 + 22*r**2 + 13*r - 23. Let l be z(12). Let f = 159 + l. Is f > 3?
True
Let g be (-15)/((-585)/26*(-3)/(-5)). Let n = 9 + -13. Let q be -2 + 2 - (n + 2). Is q greater than g?
True
Suppose -21*m + 40*m = -2964. Let l = 156 + m. Which is greater: 2/1153 or l?
2/1153
Let q(d) = 2*d - 1. Let o be q(1). Let w be -22*(o - 6/3). Suppose 2*x = x - 223 + 245. Is x < w?
False
Let p = 18800 + -19136. Are p and -341 equal?
False
Let k = 0.78 - -0.02. Let y = k + -1. Let c = 2.7004 - 3.6004. Is y < c?
False
Let f = 2951043/17 - 173539. Do f and 51 have different values?
True
Let t = 0.05 + 31.95. Let o = 18148 + -18147.9. Is o equal to t?
False
Let x(v) = -v**2 + 56*v - 344. Let u be x(49). Is u greater than or equal to 1/35323?
False
Let k(g) = -3*g**2 - 8*g - 37. Let q be k(-7). Is -128 > q?
False
Let a(g) = g**3 + 10*g**2 - 9*g - 20. Let w be a(-12). Let b be (w/(-30) - 8)*(-1)/(-3). Is b bigger than 1?
False
Let a = 0.168 - 0.37. Let k = 0.292 + a. Let r = -3 - -8. Are r and k unequal?
True
Let i be (-3 + 6207/(-39))*5/(-5). Which is bigger: i or 163?
163
Suppose -r = l + 1 + 11, 6*l + 3*r = -66. Which is smaller: l or -548/55?
l
Let u = 31 - 12. Suppose u = 13*n - 20. Is n greater than 17/7?
True
Let d be ((-3)/12)/(99/6732). Is -3/325 <= d?
False
Let j = -53 + 26. Suppose 31 = -45*f - 239. Let u be 0*(f/j - 68/144). Is 9/7 != u?
True
Let t = -121 - -139. Suppose -t*w = -10*w - 280. Is w equal to 35?
True
Let x = -47122 - -91519/2. Which is bigger: -1364 or x?
x
Suppose -20*v = 32*v - 35*v + 22*v. Do v and 5/17 have the same value?
False
Let w(y) = -10*y**2 + y. Let z be w(1). Let d be (z/14)/(6/21). Suppose 20*v = 38*v + 18. Is d less than or equal to v?
True
Suppose -3 = -3*q - 0. Let w be (-28)/1 + (-6)/(-1). Let m be 14/(-24) + (-11)/w. Which is smaller: m or q?
m
Suppose 40*b = -78*b - 249216. Which is smaller: -2113 or b?
-2113
Suppose -4*x + 0 = 28. Let t be 4/(-6) + (640/30)/2. Which is smaller: t or x?
x
Let t(c) = 36*c - 497. Let w be t(12). Let f = -187 - -124. Is w greater than f?
False
Let x = 1.1 - 1. Let c = -1840/47 - -31186/799. Which is bigger: x or c?
x
Let y be (7 - 8) + (5 + -3 - (-49)/(-21)). Let h be (4 - 6)*(-4)/2. Suppose h - 12 = 4*b. Are b and y unequal?
True
Suppose -9*g = -58 - 59. Suppose -9*z - 4*z - g = 0. Is -1/357 bigger than z?
True
Let g = 4.2 - -12. Let o = 21 - 37. Let h = g + o. Which is smaller: 1.6 or h?
h
Suppose -476 = 11*t - 10772. Is 1871/2 at most as big as t?
True
Let l = -56 - -57. Let f(y) = -y**3 - 5*y**2 - 6*y - 5. Let a be f(-4). Suppose 2*g - a*s = -l, 6*g - g + 2*s - 26 = 0. Is 4 bigger than g?
False
Let f = -0.38 + -0.02. Let d = -0.4 - f. Let q = 11.25 - 11.51. Is q at least d?
False
Let r be (-6696)/192*(-2928)/45*11/44. Is r at least 566?
True
Let q = -0.1 - -0.05. Let u = 476 - 444. Suppose 46*j + u = 14*j. Which is smaller: j or q?
j
Suppose 0 = 3*j - 2*l - 176, 0*l + l + 175 = 3*j. Let u = j - 83. Let r be ((-6)/(-5))/(5/u). Are -5 and r nonequal?
True
Let d = 28.37 - 32.37. Which is smaller: d or 38?
d
Let a(s) = 71*s + 63. Let w(b) = 31*b + 30. Let c(d) = -3*a(d) + 7*w(d). Let n(l) = 2*l + 3. Let g be n(-6). Let r be c(g). Which is greater: r or -13?
-13
Let f = -28.798 + 291.648. Which is greater: 0.1 or f?
f
Let i = -5275 + 5276. Which is smaller: i or -12/109?
-12/109
Suppose 14*j = 2*h + 9*j + 15, 5*h + 4*j = 12. Let o(s) = 246*s**2 - s. Let m be o(1). Suppose h = -20*q + 25*q + m. Is -48 at most q?
False
Suppose 3*d = 7 + 8. Suppose d*a = 9*a - 40. Let n = 3 - a. Is -27/4 at most n?
False
Let h = 464 + -828. Let m = h - -363.9. Which is greater: 16 or m?
16
Let t = 96369 - 96351. Let y = 64 - 44. Is y greater than t?
True
Let p = 76.425 + 1.275. Let a = p - 71.7. Is 0.34 at most as big as a?
True
Suppose -d - d = -78. Let a = d + -39. Suppose -3*x = -a*x. Is -16/11 smaller than x?
True
Suppose 21 + 13 = 5*m - p, 4*m - 5*p - 23 = 0. Let k = 6 + 6. Suppose -5*o + 24 = 4*z, o - z = -0*o + k. Is o <= m?
False
Let n(q) = -17*q**2 + 59*q - 4. Let h be n(-3). Which is smaller: h or -365?
-365
Let r be ((48/(-55))/(-2))/(7 + 72/(-10)). Which is bigger: -2 or r?
-2
Let q be (-4*1 - 0 - 0)*-11. Let a = -57 + q. Let h be (-11)/39 + a/(-39). Is h < -1?
False
Let t = 234 + -50. Let v = t - 173. Which is smaller: v or 0.4?
0.4
Suppose -361 + 154 = -v - 117. Which is smaller: 715/8 or v?
715/8
Suppose -3 = -j + 2. Suppose 4*m - 34 = m - 4*u, -m = -j*u - 24. Let k = -20252 + 20265. Which is greater: m or k?
m
Suppose 0 = 4*z + 5*n - 3, -2*n = 2*z - 3*n - 19. Let w be 18/z + 6/14. Let u be (-1)/(3/(-3)) + 9/w. Which is bigger: u or -3?
u
Let b = 156 - 66. Let p(u) = -1745*u + 5327. Let f be p(3). Which is bigger: f or b?
f
Let v = 3.1 + -3. Let s = -14.59 + 14.54. Which is smaller: v or s?
s
Suppose 0 = 14*g + 4 + 108. Let l(a) = -2*a**3 - 15*a**2 + 10*a + 1. Let c be l(g). Which is smaller: -1 or c?
c
Let z = 45 + -41. Let q be (-13)/z - (39/(-12) - -3). Let l be (-6)/2 - 234/(-81). Is l > q?
True
Let u = 69275/2 + -1489311/43. Let x = -9190 - -395164/43. Let p = x - u. Is -3 at most as big as p?
True
Let g = 208 + -205. Let l = -54 - -57.1. Let q = l - g. Is q less than or equal to -3/7?
False
Let r = 2.1 + -1.42. Let x = r + 0. Let b = 0.32 + x. Is 10 at least as big as b?
True
Let j be (46/(-69))/(((-4)/15)/2). Suppose 7*m = j*m. Let x = 2243 + -352149/157. Which is bigger: m or x?
x
Let z = -89 + 183/2. Let b be (-2 - -1)/(1/(-31)). Let o = b + -27. Which is greater: z or o?
o
Suppose -33*f = 418 - 22. Let x = -164/3 - -54. Is x != f?
True
Let b = 3419 - 4483. Which is smaller: b or -1062?
b
Suppose 4*t - 240 = -4*p, 0 = -t + 3*p + p + 45. Suppose 2*g + 67 + t = 0. Let i = g + 63. Which is bigger: -2/71 or i?
i
Let u = -9 + 13. Suppose 25688*k = 25720*k + 49 + 15. Are u and k unequal?
True
Suppose -3*j + 5*b - 17 = 0, -26*b = -25*b - 4. Is -1/2914 <= j?
True
Let b = 197/116 - 1715/1044. Let j = -2.1 - -2. Which is smaller: b or j?
j
Suppose 5*o - 2*h = 7*o + 10, 14*o + 3*h = -15. Which is greater: o or 2/11?
2/11
Let d = -26368 - -26365. Which is greater: d or -6621?
d
Suppose -4*w - 2*f = -4174838, -2*f = -5*w + 3920874 + 1297651. Let c = 861058072/825 - w. Let x = c - 2/75. Which is greater: x or 0?
0
Let j(p) = 49*p**2 + p. Let z be j(1). Suppose -z*s - 7783 = -35233. Are 548 and s equal?
False
Suppose -3*s - 1826 = -2870. Let x = -348 + s. Is x not equal to 6/155?
True
Let r = 2289 + -700. Let h = r - 87389/55. Is -1 greater than h?
False
Suppose 11*k = 41*k - 480. Let m(o) = o**3 - 3*o - 3. Let q be m(3). Let y = k - q. Is 4 smaller than y?
False
Let c be (-2)/(-8)*307*-16*(-2)/3. Which is smaller: c or 820?
c
Let q be (-8 + -2)/1*(-7 - -3). Is q < 676/17?
False
Let x = -3812 - -3813. Which is smaller: 5/121 or x?
5/121
Suppose 1745*f + 3*r - 14520 = 1742*f, 2*r + 9652 = 2*f. Is 4834 > f?
True
Let m be (9/15 - (-63504)/(-106155))/(2 + -3). Wh