(-8)). Is x equal to s?
False
Suppose -1110 = -5*z - 2*h, -2*z + h + 354 + 90 = 0. Suppose 3*l = -4*b + 154, -4*l + z = -4*b + b. Let n = l - 35. Are n and 20 equal?
False
Let x be ((-1)/(-3))/(10 + 363/(-36)). Let h be 6/x*(-64)/10128. Which is greater: h or -1?
h
Let k(l) = -2*l**2 + 25*l - 50. Let t be k(10). Suppose t = 9*c - 13*c. Is -11/21 greater than c?
False
Suppose 3*o - 384 = -3*h - 1497, 0 = -2*o + 5*h - 784. Is -381 at most as big as o?
True
Let t be (1 - 178)/((-2)/(-2)). Let l = 20069 - 20245. Is l greater than or equal to t?
True
Let k = 0.0166 - 7.1766. Let x = k + 7.2. Is x greater than -0.14?
True
Let z be 1 + 14 + -15 + -1. Which is greater: z or 2/3493?
2/3493
Suppose b = 4*w - 217, 4*w - 683 = -86*b + 89*b. Is b not equal to -237?
True
Let f = -8885 - -11573. Do f and 2689 have different values?
True
Let d(y) = 2*y**2 - 45*y - 125. Let h be d(25). Do h and -126/629 have the same value?
False
Suppose 8*o - 105159 - 24558 = 79*o. Which is bigger: o or -1826?
-1826
Let s = -20 - -15. Let g be (-3)/2*6/s. Which is bigger: 2/15 or g?
g
Let w = 35003 - 34306. Which is smaller: -9 or w?
-9
Let x = 13451 - 13452. Is 1917 not equal to x?
True
Let o(g) = -g**3 + 228*g**2 - 890*g - 7. Let y be o(4). Let j = 0.11 - -5.89. Is y greater than j?
True
Suppose 315*w - 383*w - 207536 = 0. Is -3055 at least w?
False
Let d be 34 + -3 - (2 - 1). Let v(n) = 14*n + 109. Let p be v(-10). Let x = d + p. Which is smaller: x or 6/23?
x
Suppose 5*d + 18*g - 16*g = -51987, 0 = -3*d - 2*g - 31193. Is d <= -10398?
False
Let a(k) = 4 + 2*k**2 + 3*k - 11*k - k - k**2. Let w be a(9). Suppose -2*d = -2*x - 6, 0 = -w*d + x + 2*x + 13. Which is smaller: d or 16/3?
d
Suppose 3*x + 594 = s - 661, 2105 = -5*x - s. Is x less than -417?
True
Let o = 0.03829 + 4.96171. Which is greater: -3.8 or o?
o
Suppose -4*u + 151 + 149 = 0. Suppose 7*b + 18*b - 1750 = 0. Let r = u - b. Which is bigger: -7 or r?
r
Let i(p) = 3*p**3 - p + 2. Let g be i(-3). Let u be (180/45)/(2/(-4)) + -66. Which is bigger: u or g?
u
Let t be (18/3)/2 + -3. Suppose 0 = 4*u - 4*c + 1524, t = -5*u + c - 2*c - 1899. Let z be (-210)/u + 1/(-2). Is 1 smaller than z?
False
Let w be (4 - (4 - 1))/(-1). Let n(u) = u**3 + 2*u**2 + 2*u. Let x be n(w). Is 21 > x?
True
Let g be 2*9*4/12*1. Suppose 6 = -6*m - g. Let i be (0 - m/(-9))/(3/(-9)). Which is greater: i or 1/15?
i
Let j = -6505/247 - -2643/19. Which is smaller: 112 or j?
112
Let m(w) = 3*w + 4. Let s(q) = -4*q - 2. Let z(c) = 4*m(c) + 5*s(c). Let x be z(1). Which is greater: -36/11 or x?
x
Let k = 542 + -534. Which is smaller: 24 or k?
k
Let k be 0 + -281 - (4/(-18))/(38/(-342)). Which is smaller: -280 or k?
k
Let r = 7/1221 - 1532/6919. Are r and 2/9 unequal?
True
Let y(h) = -h**3 - 8*h**2 - 10*h + 23. Let j be y(-5). Let w be -1*443*j*(-4)/8. Is w at least as big as -443?
True
Suppose -k + 45 = -5*q, -14 = -99*q + 97*q. Is 83 > k?
True
Suppose r = -3*a + 6 - 5, 4*r - 15 = -a. Suppose -5*s - 53*c + 48*c + 20 = 0, 0 = 5*s - c + r. Which is bigger: 1/133 or s?
1/133
Let b be 66/(-77)*21/30180. Is 1 greater than or equal to b?
True
Let x be (4170/11676)/((-30)/(-77)). Let i = 1 + 0. Is i greater than x?
True
Let m = 5 - 5.14. Let c = -0.06 - -0.7. Let b = c + m. Which is bigger: b or 0.1?
b
Let k be (5 - 1)*1 + 72/(-8). Let v be 3/k - 184/(-115). Let o be 4/(-14) - (-58)/252. Is v <= o?
False
Let n be (24 - 4)*-57*8/(-96). Is 112 less than n?
False
Let j(p) = 9*p**2 - 32*p + 11. Let h be j(6). Suppose -g = 2*m + 3*g - 286, -4*g = -4*m + 572. Is m less than or equal to h?
True
Let u = 33.7 - 54.8. Let v = u + 20.1. Which is smaller: v or 8/3?
v
Let o = 34386039/76853 - -27/10979. Is o smaller than 446?
False
Let t(u) = u**2 + 44*u - 90. Let m be t(-46). Is m equal to 1395?
False
Suppose 2*t + 43 - 7 = 0. Let o(s) = s**2 + 10*s + 19. Let n be o(-11). Let g be (-595)/n - (-3)/(-18). Which is bigger: g or t?
t
Let b be 2*-4 + (-3171)/(-126) + -17. Suppose -5*d - 14 = 31. Is b at most d?
False
Suppose 7 = 2*b + 3*c - 27, -4*b + 6*c = -44. Suppose 0 = 2*d + d + 39. Does b = d?
False
Let r = -594 - -576. Let n be (22/r - -1) + 136/(-36). Which is smaller: -7 or n?
-7
Let r = 7 - -34. Let p = r + -33. Let s = p + -6. Which is greater: 2/47 or s?
s
Let p be (36/42 - 6) + (-1)/(-7). Let q = -8 + 10. Suppose -3*r - 2 = 2*s, q*s + 8 = -3*r + 3*s. Which is smaller: p or r?
p
Let m = -54 + 60. Suppose 270 = -m*g - 420. Is g not equal to -115?
False
Let t = 15 - 39. Let v be 51/t - (-2)/16. Let g = v + 3. Which is smaller: g or -2/233?
-2/233
Suppose -x - v = -0*v - 4, -2*v = 4*x - 14. Suppose 4 = x*r - 5. Let p(c) = -c**3 + 5*c**2 - 5*c + 4. Let i be p(3). Is r <= i?
True
Let r = -4 + -4. Let w(c) = c**3 + 6*c**2 - 12*c + 1. Let o be w(r). Let n = 27 + o. Do n and -3 have the same value?
False
Let l(h) = 3*h + 3*h**3 + 6*h**2 - 3*h**2 - h - 2*h**2. Suppose 0 = 5*u - 317 + 322. Let w be l(u). Do w and -38/11 have different values?
True
Let t = -3814 + 3817. Is t less than 295?
True
Let b(i) = -79*i + 1. Let t be b(-1). Let f be ((-32)/48 + 6)*(2 - -13). Is f <= t?
True
Suppose -606*k + 135 = -605*k. Which is smaller: 112 or k?
112
Let p = -3811/75 - -1092/25. Let f = p - -39/5. Let h = -18 + 20. Do f and h have the same value?
False
Suppose 7 = q - 2*i - 3, 5*q - i - 5 = 0. Suppose -4*z - 14 = c, -4*c - z + 7 = 18. Let y be (c/(-54))/(-2 - -1). Which is greater: y or q?
q
Let l be ((-91)/39)/((-122)/60 + 2). Let z = 80 - l. Is z < 1?
False
Let b = -54.23 - -51.23. Does b = 418/5?
False
Let w = -0.058 + -84.942. Let z = w + 85.2. Let t = 6 + -12. Which is greater: z or t?
z
Let p = -56909 - -2447455/43. Which is smaller: 8 or p?
8
Let f = -5951/15 - -397. Suppose 4*r - 240 = -4*r. Let v be (-15)/r + (-2)/4*1. Do f and v have different values?
True
Let g = -6505278/11 + 598887. Suppose -6 = -2*v, 0*r + 3*v + 37446 = -5*r. Let z = r + g. Is 6 > z?
False
Let m = -326993 - -5560417/17. Which is greater: 89 or m?
m
Let d be (0 + (-45)/(-10))*-90. Suppose 5*i + 4*l - 6*l - 5981 = 0, l - 2 = 0. Let p be (-6)/10 + i/d. Is -4 at most as big as p?
True
Let j be (-2 - 0)/(4/(-64)). Let i be (8/j)/((-2)/12). Let g be (-1)/(12/(36/3)). Is i smaller than g?
True
Let q be (-12)/32*288/180. Let r = 21.008 + -0.008. Which is smaller: r or q?
q
Let n be (-15 - -6) + 9 - 1/162. Which is bigger: 1 or n?
1
Let o = -52 + -160. Let b = 171 + o. Which is smaller: -211/5 or b?
-211/5
Let c = -50 - -52. Suppose -3*n = -2*d + 9, -c*d + 31 = 3*n - 8. Which is greater: d or 58/5?
d
Let n = 121 + 189. Let k = n + -320. Which is smaller: k or -1/4?
k
Suppose -f - 2*z = -z - 2, z = 2. Let u = -3/1573 - -3359/111683. Is u < f?
False
Let b = 1.032 + 0.018. Let g = 1.095 - b. Let p = g - -0.055. Which is smaller: -73 or p?
-73
Let h = -9/191 + 70/5539. Let j = 4 + -3. Which is smaller: h or j?
h
Let c be (-15374)/31 + 0 - 0. Let x(o) = -o**3 + 18*o**2 - 8*o + 13. Let d be x(7). Let u = c + d. Which is bigger: 1 or u?
1
Let y be (-4)/24*0 + 1. Let v(g) = -43*g**3 + 3*g**2 - 2*g + 2. Let r be v(y). Is r at least as big as -40?
True
Suppose -3*f = -4*u - 306, 2*f - 882 = 12*u - f. Which is bigger: u or -71?
-71
Let n = 75 - -995. Is n at most 1069?
False
Let m = -20 - -102/5. Let p(n) = n**3 - 4*n**2 - 3*n - 9. Let x(h) = 2*h**2 + 6*h + 5. Let v be x(-3). Let j be p(v). Is m > j?
False
Let y(g) = -34*g - 1175. Let z be y(-15). Is z bigger than -662?
False
Let v be (38/147)/(3/17964). Let a = 1548 - v. Let r = -849/196 + a. Which is greater: -3 or r?
-3
Let j be (-2292)/27*1/2. Suppose 44603 = 33*u + 45956. Is j smaller than u?
True
Let a(n) = -n**2 - 72*n. Let l be a(-72). Which is greater: l or 1/2265?
1/2265
Suppose -l - i - 444 = 0, -22*l + 3*i = -17*l + 2204. Which is bigger: -429 or l?
-429
Let x be (-4)/1998*-1320 - 72/27. Is x greater than -1?
True
Let f(j) = -2*j**2 - 2*j + 3. Let i be f(-3). Let g = i - -8. Let v be (-63)/294*(0 + 6). Is v != g?
True
Let u = 3.0879 - -9.5331. Let o = 0.379 + u. Is -6 at most as big as o?
True
Let g = -546 - -823. Let z = -278 + g. Are z and 2/55 nonequal?
True
Let q = 3.5418 - 5.5418. Is -0.08141 less than or equal to q?
False
Let s(m) = 3878*m - 5815. Let g be s(7). Do g and 21331 have the same value?
True
Suppose 1047 = 84*w + 963. Is 2/8057 greater tha