99 + k. Which is smaller: h or -10?
-10
Let o be 504/(-20178) + 11 + -11. Is o smaller than 1?
True
Let j(q) = -q**3 - 19*q**2 + 6*q + 27. Let s be j(-19). Let g = s - -693/8. Suppose 4*b = 3*c, 5*b + 0*c - c = 0. Which is bigger: b or g?
b
Let i = 323/44 - 1/132. Let k be (7/(-2))/(2 + (-10)/4). Let z = i - k. Which is greater: -9 or z?
z
Let i(o) = -41*o - 109. Let g be i(-18). Let h be (555/g)/(6/8). Is 2 smaller than h?
False
Suppose -2138 + 1879 = 37*b. Is b greater than or equal to -186/29?
False
Let y = -1.7362 + 0.6662. Is 17/6 bigger than y?
True
Suppose q + 2*q - 5*t = 188, -t + 2 = 0. Suppose 0 = 7*d - d - q. Suppose -2*n + d = 9. Which is smaller: n or 8?
n
Let h = -0.1 - -5.1. Let b be (8 - (1 + 4))*(-4)/(-3). Let t be (-3 + b - 3/(-6))*-2. Which is smaller: h or t?
t
Suppose -153*u = -1715 - 733. Let s be (0 + -2 + 0)*-62. Let v be 2/7 - s/(-7). Are u and v unequal?
True
Suppose d = -h + 9, -5*d + 6 = h - 7. Let f(w) = 11*w - 130. Let r be f(13). Suppose -r*b = -23*b + 110. Is h > b?
False
Suppose 802*p = 790*p. Let n = 2/16392705 + -31506781168/17687728695. Let c = -23/13 - n. Do p and c have the same value?
False
Suppose 5*k + 200 = -0. Suppose 5*s + 5*r - 60 = 365, 2*r + 100 = s. Suppose 35 = -b + 3*x, b = -b - 4*x - s. Which is greater: b or k?
k
Let y(o) = 35*o - 2172. Let z be y(62). Which is greater: -71/56 or z?
-71/56
Let s = 151 - 135. Suppose -l - 1 = -5*g, 19*l = 3*g + s*l - 3. Is 2/673 smaller than g?
False
Suppose -23*z - 90*z - 308 = 1048. Which is smaller: z or -57?
-57
Let g(m) be the second derivative of -m**5/20 + m**4/6 - m**3 + 9*m**2/2 + 2*m + 53. Let b be g(0). Is 7 bigger than b?
False
Let x = -8884 - -8885. Which is bigger: -2/12061 or x?
x
Let m(k) = k**3 - 11*k**2 - 19*k + 80. Suppose 3*x + 10*i = 12*i + 36, 5*x - 60 = 5*i. Let r be m(x). Are r and -12 unequal?
True
Let n = -2915.3 + 2915. Which is smaller: 0.626 or n?
n
Suppose -3*y - 452 = 151. Let k = y - -258. Is k bigger than 1/3?
True
Suppose 16*r = -c - 696 + 729, 5*c - 2*r - 1 = 0. Let h = -2222 + 715483/322. Are h and c nonequal?
True
Let l = 118 - 116. Let a be 595/221 - (-2)/l. Which is greater: 4 or a?
4
Suppose 3*b - 128 = 11*b. Let o(a) = 5*a + 68. Let c be o(b). Suppose -6*d = -d + 70. Which is smaller: d or c?
d
Let j = -15931 - -15590. Which is smaller: -340 or j?
j
Let r = -16 + 6. Suppose 5*p - m + 62 = 0, -274 = 4*p + 5*m - 207. Which is smaller: r or p?
p
Suppose -17*a + 37843 = -20*a + 6979. Which is smaller: a or -10289?
-10289
Suppose z + 20 = 26. Suppose 0 = 4*f - 4*k - 56, -4*f + z*f = 5*k + 22. Which is smaller: f or 27?
f
Let i(s) = 337*s - 1590. Let u be i(3). Does u = 9?
False
Let j = -21057 + 23020. Is 1965 equal to j?
False
Let l = 100 - 213. Let y = 112 + l. Let v(b) = 9*b**3 + b**2 + b + 1. Let m be v(y). Which is smaller: -9 or m?
-9
Let d(t) = 5*t - 47. Let m be d(9). Let v be (-28)/m*25/(-10). Which is smaller: v or -34?
v
Let m(h) = -2*h - 7. Let s be m(-15). Suppose -8*w + 7*w + 3*c - 23 = 0, 4*w + 124 = 4*c. Let g be (-3)/((-15)/(-11)) + (w - -37). Which is smaller: g or s?
g
Suppose 0 = 4*v + 4*l - 29348, -9*l = -14*l + 25. Is 7332 smaller than v?
False
Let q be (-276)/(-16) - 2/8. Let h = q - 16. Suppose 3*z + 9*p - 28 = 4*p, z = -4*p + 21. Is h at most z?
True
Let f = -5.976 + -168.074. Let i = f + 174. Is i at most 4?
True
Let m = 152 - 147. Suppose 0 = -26*a - 177 - m. Is a >= -12?
True
Suppose z - 2 = 0, 2*x + 3*z = 12 + 6. Suppose x = 2*a - 2*n, -3*a + 7 = -n - n. Which is smaller: 2/483 or a?
2/483
Let u = 2/363609 + -1783502171/4726917. Let c = u - -377. Let r be 1/((-1)/(0 + 1)). Is r smaller than c?
True
Suppose -5*r - 9*r - 46 + 438 = 0. Do r and 454/17 have different values?
True
Let w = 146/71 + -35920/17537. Is 41 at least w?
True
Suppose 0 = 5*u - u - 8. Suppose q + l - 4*l = 5, -u*l = -4. Suppose 152 = -q*g - 2. Is g not equal to -10?
True
Suppose 3*z + 19324 = -4*p, -6452 = z - 5345*p + 5349*p. Is z at least as big as -6435?
False
Let z be 4*(-21 - (8 + -9)). Let s be (1 + 226 - -1) + z/(-20). Are s and 231 nonequal?
True
Let m = 731 + -356. Let d = m + -376. Are 1/254 and d unequal?
True
Let y = 45.214 - 45. Let o = -11522 - -11521.974. Let n = o - y. Is -2 bigger than n?
False
Let a = 332 + -1646/5. Let l(d) = 3*d**2 + 7*d - 8. Let m be l(3). Suppose 5*z - 5*y = m, -4*z + y = 5*y + 8. Do a and z have different values?
True
Let t(f) be the second derivative of -f**4/12 + 2*f**3/3 + 5*f**2/2 + 19*f. Let b be t(4). Let m be b + (1 - 6)/5. Is m at most 4?
True
Let n be (-3846)/8 + ((-84)/16)/(-7). Let r = n - -672. Suppose -7*m + 10*m = r. Which is bigger: m or 63?
m
Suppose -12*v = -4*g - 11*v + 11, 32 = -3*g - 5*v. Are -2/1001 and g equal?
False
Let u(z) = z**3 + 4*z**2 + 31*z + 4. Let r be u(-4). Let k = 56 + r. Are -64 and k equal?
True
Let g = -150.9945 + 151. Let l = 3.9455 - g. Which is bigger: 0 or l?
l
Let f(y) = -y**2 - 9*y - 12. Suppose -z - 36 + 31 = 0. Let l be f(z). Let a be (2/58)/(16/l). Which is bigger: a or -1?
a
Let t be 2*(6/(-3))/(-4). Which is bigger: t or 2/10537?
t
Let l(c) = -60 - 56 - 65 - 63 + 257 + 7*c**2 - c**3. Let f be l(6). Which is smaller: 55 or f?
f
Let h = 0.681 + 19.319. Is h greater than or equal to -2/125?
True
Let j = -83.6 + -5.4. Let s = j - -102. Which is greater: 1 or s?
s
Suppose 12*b - 14*b + 32 = 0. Suppose b*h = -2*h. Which is greater: -5/9 or h?
h
Let m = 103 + -77. Let g = m + -25.6. Let c(k) = -k + 2. Let b be c(9). Which is bigger: g or b?
g
Let z = 11932 - 11089. Which is smaller: 4221/5 or z?
z
Let j(c) = c**2 - 103*c - 7861. Let q be j(-51). Which is smaller: -6 or q?
q
Let i = 4597.7 - -987.3. Which is smaller: i or -1?
-1
Let j = -191614.191 - -191516. Let n = j + 0.191. Let k = 97 + n. Is -8/7 not equal to k?
True
Let z be (2 + 220)*(-2)/3. Let n(u) = 532*u - 148. Let v be n(0). Is v at most z?
True
Let q(o) = 47*o - 2192. Let c be q(45). Which is bigger: c or -49?
-49
Let a = -242 - -101. Let p(r) = -4*r**3 - 23*r**2 + 60*r + 36. Let m be p(-7). Do m and a have different values?
True
Let y be (2/(-6))/((-734)/(-734)). Which is smaller: y or 8741?
y
Let v = 8978 - 9765. Is v < -797?
False
Let r = -47534 - -5561447/117. Which is smaller: 0 or r?
r
Suppose 3*f + 16 = -s - 14, 0 = 5*s - 5*f + 70. Let a be (33/44 + (-6)/8)/(-1). Let h be (-288)/18 - (a + 2). Is h greater than s?
False
Let w = 37399/149628 - -2/37407. Are w and 7993 non-equal?
True
Let v(o) = -17*o**3 + 10*o + 11. Suppose 18*w + 44 = 26. Let k be v(w). Which is greater: k or -5?
k
Let c = -38183/3 + 3557789/273. Let y = c + -4360/13. Which is smaller: -30 or y?
y
Suppose -r + 3*g = 195, -g = 4*r - 5*g + 756. Suppose 54*x - 57*x = 27, 3*x = -2*o - 401. Are r and o nonequal?
True
Suppose -5*d - 2*y - 19 = -24, 2*d = y - 7. Are d and 2/7871 non-equal?
True
Let k(u) = -1202*u**3 - 7*u**2 + 3*u + 10. Let v be k(-1). Is 1203 at most as big as v?
False
Let n = -76 + 75. Let a be (-4 - (-110)/27)*(13 + n). Suppose -3*f + 8*f + 20 = 2*b, 5*f = -3*b - 20. Which is bigger: a or b?
a
Suppose 5 - 5 = -7*w. Let i be w + 2 - 7*(-7)/(-98). Which is greater: -0.5 or i?
i
Suppose 0 = -3*a - 2*z + 21, 15 - 1 = 2*a - 3*z. Suppose 3*i = f + a, 5*f = 13*i - 10*i - 23. Let j be 43/(-126) + (-4)/(-14). Is i <= j?
False
Let s be 2/(-8) - 2450/(-200). Let r(m) = 2 - 2*m**2 - 2 - m + 12*m**3 + 1 + 1. Let x be r(1). Which is smaller: s or x?
x
Let o = -5799 + 5756. Suppose 5*q - 2*q = 0. Suppose 2*d + 20 + 66 = q. Is d bigger than o?
False
Let b = 65 + -24. Suppose 35*c = b*c - 6. Let a be (-61 + -1)/((-6)/(-3) - c). Which is smaller: -63 or a?
-63
Let o be -2 - 0 - (-2 + (-254)/836). Let p = 9/22 - o. Suppose 2*i - 8 = 2*z, 0 = 4*z - 5*i + 3*i + 6. Which is greater: p or z?
z
Let j(h) = h**2 + 32*h - 64. Let l be j(-34). Let n be 73/l + 195/(-260). Let i = -1 - -18. Which is bigger: n or i?
n
Let z be (5 - 3 - 3)/(2/(-4)). Let h be -2 - (z/(-6))/((-2)/(-42)). Suppose h*o + 13 = 3, -4*o = n + 10. Are n and -2 nonequal?
False
Let u = 12191/24 - 508. Suppose 5*g = -3*d + 5 + 18, 0 = 5*d - 4*g + 11. Which is smaller: u or d?
u
Let w(s) = s - 8. Let k be w(7). Let q = 95 - 79. Let x be ((-4)/q)/(-1)*-1. Is x bigger than k?
True
Let j = 508806 + -2526544/5. Let a = 3417 - j. Is -81 at least a?
False
Suppose