 = 4166. Which is smaller: p or -570?
-570
Let w be 1*-11 - 0/(-1). Suppose 3*h - 86 = -122. Let i = h - w. Which is smaller: -1/39 or i?
i
Let d(s) = s**2 + 36*s - 4717. Let r be d(-89). Which is bigger: -12/3569 or r?
r
Let t = -15 - 25. Let z = 46 + t. Suppose -31*v = -4*j - 29*v + 10, -j = 2*v - 15. Are z and j unequal?
True
Let q = -553615/9 + 61791. Let y = q + -278. Which is greater: y or -0.9?
y
Suppose -2*i - 3*j - 11 = 0, 11 + 7 = -i - 4*j. Let q be i/(-3)*6/4. Let w = -81/11 + 5449/737. Which is bigger: q or w?
w
Let s(j) = 95*j + 836. Let v be s(-9). Is -372/19 less than v?
True
Let g be (6/18)/((-214)/12). Let m(s) = 12*s**3 + 9*s**3 + 5*s**3 + 10*s**2 - 6*s - 7 - 28*s**3. Let p be m(4). Which is smaller: g or p?
g
Let z = 4898/2045 - -2/409. Let b(o) = -846*o - 32146. Let d be b(-38). Is d at least z?
False
Let w be (-2)/(-2456)*6*2. Let b = 17206 - 17205. Which is greater: w or b?
b
Let u = 9.1049 + 824.4051. Let y = 838 - u. Let x = -4.4 + y. Which is smaller: x or 0.1?
x
Let f = -73 + 138. Let p = f + -61. Let d(j) = -5*j**3 - 3*j**2 - j. Let n be d(-1). Is p != n?
True
Let t be (7 + -6 + -1)/1*2/(-2). Is t > -69/103?
True
Let w be (1 + 21/(-15))/((-88)/55). Which is bigger: w or 99?
99
Let z(j) = 3*j - 5*j**3 - 3*j**2 + 3*j**3 - j**2. Let f be z(2). Let w be 4/f + (-10)/(-65). Is w equal to -8/3?
False
Suppose k + 17 = 2*w, -8*w = 5*k - 9*w + 94. Let n(d) = d**3 + 0*d**3 - 11*d + 20*d**2 + 11 + 30*d. Let y be n(k). Which is greater: y or 34/3?
34/3
Let r = 8 + -16. Let g be (-48)/168 - (-416)/(-14). Let b = 32 + g. Is b at least r?
True
Let g = 116537/3 + -39843. Is -998 != g?
True
Let k(p) = 2*p + 7. Let h(r) = r - 9. Let d be h(5). Let v be k(d). Let s = -9599/21 - -457. Is v <= s?
True
Let i = -491 - -605. Which is smaller: i or 13?
13
Let a = -16 + 21. Suppose 25 = a*o - r, 0 = -4*o - 4*r - 1 - 3. Is 1 smaller than o?
True
Let b be 2/(-4) + (-638)/(-4) + -1. Suppose -3*z + 6*z - 4*u + b = 0, -4*z - 4*u = 220. Let o be ((12/(-2))/z)/(2/138). Which is greater: o or 8?
8
Let y be 76459/(-243507) - (2/3 - 1). Which is bigger: y or 0?
y
Let i be 556/6 - 5/(-15). Suppose -338 = -5*h - i. Let c be 49/18*140/h. Which is bigger: c or 9?
9
Let i be ((-17)/(-102))/(5/3686). Let m = i + -123. Is m less than or equal to -2/7?
False
Let g = -20 - -86. Let a = -786 + 851.81. Let v = a - g. Is -0.1 equal to v?
False
Let d = 531 - 529.74. Let l = d - -5.74. Which is smaller: l or -3/5?
-3/5
Let l = -970/43 + -24409/258. Let k = l + 117. Is k at least as big as 1?
False
Suppose 11*u = 26*u - 36015. Let j = 698693/291 - u. Is j <= 1?
True
Suppose -908 = -2*l - 4*t, 4 = 149*t - 150*t. Is l equal to 463?
False
Let l be 320/48*144/130. Let v = -6541/884 + l. Is -0.3 bigger than v?
False
Suppose 0 = -4*u + 43 + 53. Suppose -4*h + 26 = -2*h - 5*b, -u = -2*h + 4*b. Is 29/4 smaller than h?
True
Let a(v) = -401*v**2 - 3*v + 3. Let g be a(1). Let p = 522 + g. Is p <= 122?
True
Suppose -u = 10*u + 1485. Let b be 5517/u - 2/(-10). Let f = 878/21 + b. Which is smaller: -1/2 or f?
-1/2
Let f = 80.1242 + 0.0758. Let p = f - -2.8. Let m = 26 - p. Which is smaller: m or 1/2?
m
Suppose -3*d - 15 = 0, -2*s - 9*d + 5*d = -502. Is s smaller than 260?
False
Let q = 3154 + -3158.061. Are q and -0.1 unequal?
True
Let o = -232 - -234. Suppose w = -o*u + 38, 23 = -3*u - w + 80. Is u less than or equal to 16?
False
Suppose -l = -4*s + 3208, 5*s + 83*l = 78*l + 4010. Is s less than or equal to 799?
False
Let c = -15670 + 15749. Is c less than or equal to 2.9?
False
Let v(c) = -c**3 + 6*c**2 - 3*c + 10. Let i be v(6). Let f be (1 + 207/15)/(i/(-20)). Let t = 18 - -19. Is t smaller than f?
False
Let w be (-4 + 54/12)/((-2)/(-5492)). Let k = w - 34319/25. Is 1 equal to k?
False
Suppose 702381*u = 702409*u - 6748. Let q(t) = 8*t**2 - 7*t - 7. Let x be q(6). Which is bigger: x or u?
u
Let t(g) = 2*g + 0*g + 9*g**2 - 4 + 23*g**3 - 21*g**3. Let f be t(-4). Is 7 at least f?
True
Let h = -2051 + 2143. Which is bigger: h or -0.1?
h
Let z be ((-27)/33)/(-1*((-144)/12)/12). Is z less than -148?
False
Suppose -3*b = -4*b + 16. Let v = -8 + b. Let p be (30/22)/((-30)/(-220)). Is v greater than p?
False
Let f = 2.2 + 2. Suppose 8*j + 54 = 190. Let s(u) = -u + 18. Let t be s(j). Is f != t?
True
Let v = -898991/267 - -3367. Suppose -20*z - 14*z = -1666. Suppose -z = -13*j - 36*j. Which is smaller: v or j?
v
Let r = 430 - 6452/15. Which is smaller: 2/343 or r?
r
Suppose -r + 3 - 1 = 0. Let q = 32567/1036 + -220/7. Let j = q + -461/2516. Is j bigger than r?
False
Let s = 20.891 - 21.091. Is s != 0.08395?
True
Let n be ((-3)/(-106))/(10/25 + (-203)/770). Is n at most as big as 0?
False
Let d be (-6900)/(-28) - 2/14*3. Let i be 43036/(-35)*(-1)/(-5). Let g = i + d. Which is greater: 2/11 or g?
2/11
Let n = 49 + -45. Suppose -12 = 4*w - n*o, 2*w = -5*o - 6 - 0. Let i be w + 16/(8 - 4). Is 6 bigger than i?
True
Let a = -2409 - -2375. Do a and -20 have different values?
True
Let h = -154 + 160. Suppose -h*b + 1036 = 8*b. Which is greater: 149/2 or b?
149/2
Let l(w) = -66*w + 3129. Let h be l(38). Which is greater: h or 5578/9?
h
Let y(m) = 17*m**2 + 95*m + 181. Let j be y(-2). Which is bigger: 10 or j?
j
Let y = 14986 + -4636. Is y greater than or equal to 10351?
False
Let q be (468/(-5) - (-44)/(-66)*-3)*-20. Is q less than or equal to 1831?
False
Let k = -182.704 + -0.296. Let v = k - -182. Is -27/2 at least v?
False
Suppose -n = -5*n - 3*r + 484, 5*r - 374 = -3*n. Which is greater: n or 14?
n
Let k = 186 - 188. Is k at least as big as 349?
False
Let g = 1820108/2065 + -6170/7. Let v = -4347/3835 + g. Which is smaller: -2 or v?
-2
Let s(n) = n - 21. Let o = 46 - 27. Let k be s(o). Let r be k/5 + -2*(-138)/(-10). Do r and -29 have the same value?
False
Suppose 3*t - 5*a = -0*t - 8, 0 = -3*t - a + 16. Let q be (-2 - 0/5) + 2. Suppose -v - t = q, -4*v - 19 = o - 4*o. Is 3 less than or equal to o?
False
Let o = 274.81 - 245.81. Is 15.6 greater than or equal to o?
False
Suppose -21*b + 23*b + 31 = f, f = -b - 20. Let l(d) = -d**3 - 18*d**2 + 13*d + 3. Let n be l(b). Is -507 at least n?
True
Let f be 4/(-9) + -2 + 3. Let p = -980 + 466. Let d = p + 515. Is d < f?
False
Let l be 2/2 - (-59106)/(-3718). Let b = l - -164/11. Let r = 5531 + -5530. Which is bigger: r or b?
r
Let g be (-30)/26 - (-123)/((-7995)/(-10)). Let m = -7 + 13. Let s = -5 + m. Which is smaller: s or g?
g
Suppose -3*m + 1680 = -m. Which is bigger: 842 or m?
842
Let x = -7486/403 + 552/31. Is -4/7 greater than or equal to x?
True
Let s = -38/51 - 397/357. Is 1/3 smaller than s?
False
Suppose -v - 3*r = 2*v + 15, 5*r = v - 25. Let m be (-6 - 38/(-6))*3 - (-5)/((-900)/212). Which is smaller: m or v?
m
Let b = -2380/83 + 861172/29963. Which is smaller: b or 1?
b
Let h = 521.1 - 521.3. Which is smaller: -931 or h?
-931
Let j(l) = 34*l - 23. Let n = -126 + 124. Let u be j(n). Let o = 65 + u. Are -26 and o non-equal?
False
Let f = -308 - -153. Let v = 60 + f. Let g = v - -79. Which is bigger: -2 or g?
-2
Let z be (6 + -2)*17350/(-1900). Is z less than -38?
False
Suppose 38*o = -2517 - 5843. Let w(a) = -3*a**3 - a**2 - 3*a - 1. Let q be w(4). Is q less than o?
True
Let v be (-15)/(-81)*258/430. Are v and 619 equal?
False
Let g(z) = 43*z + 151. Let k be g(8). Let f be ((-66)/k)/((-1)/3). Which is bigger: f or -0.72?
f
Let y = 11 - 11. Let u = -46/119 - 108/119. Which is greater: u or y?
y
Let t = 144.02 + 0.98. Let u = 145 - t. Is 23 less than or equal to u?
False
Let o(w) = -285*w + 1996. Let b be o(7). Let u = -1936 + 1929.032. Let f = u - -7. Which is smaller: b or f?
f
Suppose 0 = -v - 2*v. Let r be (v + (-24)/9)/((-2)/3). Suppose -10 = -0*c - 5*c - 5*l, 2*l = 3*c + r. Which is greater: -2/23 or c?
c
Let l be (-1851*10/45)/(((-15)/27)/5). Which is smaller: l or 3703?
l
Let q = -0.4 + -1.6. Suppose -58*c - 6049 - 19123 = 0. Let x = c + 427. Is x less than q?
True
Let z be -8 - (-3084)/234*1. Let w = z - 21524/195. Is w at least as big as -105?
False
Suppose 4*d = 4, -2*x + 3*x - 5*d = -3. Is x at least 27/41?
True
Suppose 89*m - 24 = 86*m. Suppose m*v + 118 + 786 = 0. Which is bigger: -114 or v?
v
Let q = -12 + 12.7. Suppose -w - 5*x + 3*x = 124, -4*x + 216 = -2*w. Let i = -582/5 - w. Which is bigger: q or i?
q
Let q be ((-452)