))/((-15)/42). Is t bigger than m?
False
Let z = 432/7 + -5644/91. Suppose s + 7 = 3, 5*m - s = -311. Let f = -64 - m. Is f less than or equal to z?
True
Let m be (-3 + 1)/2 + -25. Suppose 0 = -649*n + 661*n - 264. Let u(j) = -2*j**3 + 44*j**2 - 23. Let b be u(n). Is m >= b?
False
Suppose 15*h + 582 = 102. Let w = -71 + 40. Which is smaller: w or h?
h
Let h = -24.026 + 27.026. Which is bigger: h or -198?
h
Let i(u) = u**3 - 4*u**2 - 8*u - 14. Let w be i(6). Let c be (-996)/8 + -3 + 5/w. Does c = -125?
False
Let t = 3097 - 3096. Let b(f) = -27*f**3 + f**2 - 2*f + 3. Let o be b(3). Let a be (o/183 - -5) + (0 - t). Are a and 0 unequal?
True
Let l be 1 - (0 + 0 + 1). Suppose 2*a + 2*a - 148 = l. Suppose 383*b = 8808 + 7265 - 1902. Is a greater than or equal to b?
True
Let m be 1/(-1)*(-128822)/66. Let l = m + -1952. Suppose -242*p + 243*p = 1. Is l bigger than p?
False
Let i = -5271 - -4941. Which is bigger: i or -331?
i
Let q be -1 - 3 - (-318 - 4). Let z be (7 - q/42)/(2/1). Which is greater: z or -387?
z
Let i be (-1 - 0)/((-7)/133). Suppose i*z + 708 = 2589. Which is smaller: z or 101?
z
Suppose 5*s = a + 4*a + 75, 0 = -2*s - 5*a - 12. Is 122 at most as big as s?
False
Let t = 182 + -233. Let j be t/(-2)*(-4)/(-15). Is 6 equal to j?
False
Let j = 1199 + -1198.215. Is 2 at most j?
False
Let j = -80 + 107. Let b = j + -27. Let z be b - (-6 + 7 + 39/(-24)). Are 0 and z nonequal?
True
Let h(o) be the third derivative of o**6/120 - o**5/20 - o**4/12 - o**3/3 + 31*o**2. Let p be h(4). Suppose 0 = -3*l - p*l - 189. Is l less than -19?
True
Suppose -531 = -4*f + 5*w, f + w + 36 = 162. Suppose -5*p - f = -29. Which is smaller: -2/3 or p?
p
Let t = -305/133 + 49/19. Let o = 5 + -4.2. Let k = 0 - o. Which is greater: k or t?
t
Suppose -79 = -7*t + 40. Suppose -3*z = 19 + t. Is z > -12?
False
Let m = 12.8 + -18. Let t = m - -5.16. Let k = -0.018 - -1.018. Which is greater: t or k?
k
Let h = -10536 - -11018. Which is smaller: h or 491?
h
Suppose d = -4*o - 301, 4*d + 1215 = -9*o + 4*o. Let f = d + 609/2. Is f at most as big as -72?
False
Let h = 29/88 - 10587/616. Suppose 13*g - 409 = -617. Is h > g?
False
Let o = 7/193 + 639/3667. Is 21 at most as big as o?
False
Let j = -135 - -108. Let r(l) = 6*l + 162. Let i be r(j). Are i and 3/253 unequal?
True
Let g = -27 + 32. Suppose g*c + 323 = -14*c. Let a = -3 - 14. Does a = c?
True
Let w be 12/1014*13 + 1992032/(-104). Which is smaller: w or -19155?
-19155
Let i = -1111 + 1828. Is 718 >= i?
True
Suppose u + 17 - 9 = 0. Let h(m) = 2*m - 9. Let x be h(u). Which is smaller: -29 or x?
-29
Suppose 5*u - 2*x + 444 = 130, 5*u - 4*x + 318 = 0. Let t be (0 + -2)*(-31)/u. Is t >= 3/79?
False
Let h be (-3 - -3) + 8 + -8. Suppose h*m + 86 = m + v, -v + 3 = 0. Is m at most 81?
False
Let d = -2504 + 4702. Is d at most as big as 2198?
True
Let v = -30 + 33. Let r be (-76)/12*(0 - v). Suppose -5*a + r - 4 = 0. Is a less than or equal to -0.09?
False
Let o be ((-6)/(-15))/((177952/(-40))/4). Is 0 bigger than o?
True
Let z be 27/(-7) + 0 - 12/12. Let w = -103/63 - z. Is 2 bigger than w?
False
Suppose 5*z = 4*f + 8, 2*z - 16 = z - 4*f. Let y be -3 + z + -2 - 3. Which is greater: y or -18/5?
-18/5
Let o(t) = 2*t - 18. Let g be o(11). Suppose 2*w - 13 = -4*j - 1, 0 = 4*j + g*w - 8. Suppose j*r - 4*i + 56 = 0, 5*r + 3*i + 76 = 2*i. Is r <= -15?
True
Let u = 11586 - 12732. Is 0.01 greater than u?
True
Let u = 46 - 46. Suppose 4*j - 2*z - 44 + 4 = 0, u = 4*z. Suppose -57 = -j*o + 33. Which is smaller: 2 or o?
2
Let y be (-14)/21 - (26/2)/((-96)/1996). Which is bigger: y or 271?
271
Let t be 0*((-9 - -4) + (-16)/(-3)). Which is bigger: t or 1/2290?
1/2290
Let i = 56 - -79. Let c = 133.08 - i. Are c and 1 non-equal?
True
Let i = -649477/12 - -54123. Let k = -0.01 - -2.01. Is k <= i?
False
Let f be ((-1*2)/(-1 - 1588))/(257 + -258). Is f at most as big as -1?
False
Let x be 0/(((-1)/2)/((-110)/(-20) + -5)). Which is greater: 2/13823 or x?
2/13823
Let z be (30/(-25))/(6/140). Let l = 55 + -61. Is l equal to z?
False
Suppose 0 = -3*a + 4*d - 7, 5*a - 3 = -21*d + 24*d. Suppose -a*f + 1 = -17. Let q = -4 - -9. Is f <= q?
False
Let u = 5332 - 5287. Suppose 0*k - 12 = 3*k, 3*b + 2*k - 5905 = 0. Let h be b/u - (-3)/15. Which is bigger: 43 or h?
h
Let d(w) = -134*w**3 - 3*w**2 + 10*w + 10. Let x be d(-1). Let a(o) = 34*o**2 - 2*o - 1. Let h be a(2). Do h and x have the same value?
True
Suppose -244*x - 5 = -245*x, -161 = -3*n + 2*x. Do n and 59 have different values?
True
Let b = -442/3 + 1541/6. Which is smaller: -3 or b?
-3
Let j be (7 - -8857) + (-3 - (4 - 6)). Which is bigger: 8862 or j?
j
Suppose -130 = -8*g - 482. Suppose 29*j = 9*j - 880. Is g > j?
False
Let j = -39.8 - -74.1. Let c = j - 33.23. Which is smaller: c or -1?
-1
Let h be 3*(-295)/(-2 + -3). Let o = h + -105. Do o and 74 have the same value?
False
Let y = 74.24 - 74. Let g = -25636/3 + 8464. Let f = -82 - g. Is f < y?
True
Let l = -327918789/1514 - -216591. Which is smaller: 0 or l?
l
Let d be 57/15 + (-3)/(-15) + 0. Suppose 2*q + 146 = -d*r + 2*r, 365 = -5*q + 5*r. Which is smaller: q or -72?
q
Let p be 10 - -21*484/33. Is 321 greater than p?
True
Let s = -5.074 - -4.874. Is -320 at most as big as s?
True
Suppose -4 = 4*p - 0*p. Let a = 1186.19 + -1179. Let q = 0.19 - a. Which is smaller: q or p?
q
Let a = -322.14 - -13.64. Let h = -346 - a. Which is bigger: 0 or h?
0
Let a = 311.387 - -33.483. Let i = a - 345. Which is smaller: i or -1?
-1
Suppose 2*q - 312 = -10*q. Let m = -178/7 + q. Are 3 and m unequal?
True
Let v = -1811 - -2079. Are 268 and v unequal?
False
Let s = -13 + 11. Let k be s/3 - (-14)/(-6). Suppose -2*i + 5*o + 3 = -0*o, 0 = -4*i - 3*o + 19. Which is smaller: i or k?
k
Let z(s) = 2*s**2 + 16*s + 69. Let n(o) = -2*o - 8. Let c be n(0). Let x be z(c). Which is greater: x or -1/4?
x
Let q(u) = u + 5. Let n be q(-6). Let y = 240366158/627 + -383359. Let m = -7/33 - y. Which is greater: n or m?
m
Suppose 12*y - 108 = 3*y. Suppose 0 = -q + 2*a + 6, 3*q - 4*a - 20 = -0*q. Suppose y = -4*w - q. Is w >= 0?
False
Let r be 5180/21 + (-4)/6. Suppose 2*n - 126 = 2*o, 4*o + 0*o - 2*n + r = 0. Which is smaller: o or -61?
-61
Suppose -37*f = -42*f - 5*j - 15, 3*f - 3*j - 9 = 0. Which is bigger: -62/57 or f?
f
Suppose -25*p - 2*j - 52 = -29*p, -5*p + 65 = -5*j. Suppose -12*s + p*s - 3 = 2*y, 3*s - 2 = -y. Which is smaller: s or 1/532?
1/532
Let t = 96 - 96.069. Let j = 28.069 + t. Let h = 31 - j. Which is smaller: -2/17 or h?
-2/17
Suppose 49*q + 4652 = u + 51*q, 5*u + 4*q = 23212. Which is greater: 4632 or u?
u
Let i(g) = 12*g**2 + 2*g - 2. Let h be i(0). Which is bigger: h or -120/103?
-120/103
Suppose -5 = z + 4*s, s - 2 = -3*z - 6. Let u be (-4)/208*76566/(-147) - 10. Which is greater: z or u?
u
Let h be (-12 + (-2508)/(-120))*2*(-5 - -6). Which is smaller: h or -39/5?
-39/5
Suppose -3*c - 9*v = -6*v + 261, c + 2*v = -86. Let r = 93 + c. Which is smaller: r or 3.2?
3.2
Let o = 1922 + -1912. Which is bigger: -75 or o?
o
Let f(x) = x**3 - 31*x**2 - 64*x - 59. Let j be f(33). Let l(i) = -i**3 + 8*i**2 - 5*i - 15. Let c be l(j). Which is smaller: c or -14/5?
-14/5
Suppose -8*t = t - 2817. Let f = t + -694. Is -380 greater than f?
True
Suppose 5*a + v + 269 = 0, -5*a + 4*a = 5*v + 73. Let c be -48 + (-6)/(-15) + (-27)/5. Is c less than a?
False
Let l = -29454 - -20053. Which is smaller: l or -9402?
-9402
Suppose 4*y = 4*w - 92, 2*w + 14 = -2*y + y. Let p = -21 - y. Let j be (-98)/204 + 6/12 + 0. Which is smaller: j or p?
p
Let j(z) = -z**3 - 5*z**2 - 3*z + 2. Let d be j(-4). Let o be d/9 + (-56)/(-333). Let l = o + 84/185. Is l greater than or equal to 0?
True
Let p = -317 + 319. Suppose p*m + q = -4, 2*m - q = 3 - 7. Let v = 0.24 + 0.02. Is v > m?
True
Let s = -19283 - -19285. Let l = -0.34 + 0.303. Which is smaller: l or s?
l
Let v be 4/12*(-6)/(-20). Let r = 203.136 - 204. Let n = r + -0.136. Which is smaller: v or n?
n
Let a = -0.593 + 0.527. Let k = -1/9 - 5/9. Is k at least a?
False
Let c = 8/55087 + -7669861/87918852. Let z = c + 1/266. Suppose -y - 6*y = -7. Which is bigger: z or y?
y
Let s(o) = -o**2 - 51*o - 48. Let m be s(-51). Is 9/2 greater than or equal to m?
True
Suppose 0 = -5*a - 2*j + 155, 4*j = -3*a + 62 + 17. Are 23 and a nonequal?
True
Let f be 1 + (