*z - 145, 0 = -22*z + 21*z - s - 30. Suppose 0*l + 68 = -2*l. Is z at most l?
True
Let u(j) = -j**3 - 7*j**2 - j - 7. Let y be u(-5). Let o = y + 45. Let s be 1 - (-8)/o - (-63)/147. Is -52 at least as big as s?
False
Let c be 2272/(-20) - 10/25. Let z = c - -149. Suppose -z*u + 39*u = 16. Which is smaller: u or -8?
-8
Let y = -197.98 - -203.98. Which is smaller: y or 419?
y
Let g = -1186 + 5799. Is g < 4612?
False
Let l = -11592 - -23187/2. Is l not equal to -1/342?
True
Let s = -250 + 107. Let b = 124 + s. Which is smaller: b or 0.1?
b
Let d = -551/12285 - -1/2457. Is 226 > d?
True
Let n be (1 + (-1)/(-2))/((-8)/16). Let w be (-16)/(-60)*n*-5. Suppose w*v - 6 = 6*v, 0 = 3*f + 2*v - 6. Which is smaller: 2 or f?
2
Suppose -o - 20 - 16 = 0. Let g = -294567 + 294528. Is o at most g?
False
Let w = 8 - 8. Suppose -3*g = -4*p - w*g + 95, 30 = 2*p + 2*g. Suppose 18*s - 18 = p*s. Is -42/5 >= s?
True
Suppose 4*a = -9*y - a + 3435, 0 = 3*y - 5*a - 1125. Which is smaller: y or 407?
y
Let x = 0.48704 - 0.4993. Is -0.1 != x?
True
Suppose 10 = -3*h + 4*y, 0*h + h - 6 = -y. Let p be (-284)/(-300) + h/(-25). Is 0 not equal to p?
True
Let x(u) = -2*u**2 - 11*u - 24. Suppose 3*m + 18 = 2*m - 3*a, m + 14 = -a. Let r be x(m). Let j = -135 - r. Is j less than 46?
True
Let d = 207 - 205.34. Let v = -1.56 + d. Is v > -66?
True
Let t = 35341784/1849 + -19114. Do -1 and t have the same value?
False
Let g be (-260)/125 + 8/100. Let y be 1/(8/(-13)) + 1. Are g and y equal?
False
Let u = 6175/9 + -685. Which is bigger: -6/7 or u?
u
Let j = 141 + -137. Let m(u) = -9*u**2 + 3*u + 5. Let q be m(j). Let c = q - -126. Which is smaller: -3/8 or c?
c
Suppose 29 + 31 = 4*w. Let d be ((-5)/w)/(3/9). Which is smaller: 1/147 or d?
d
Let d be (2 - -252)/(1*(-36)/51). Let k(m) = -28*m - 5. Let h be k(-13). Let g = d + h. Which is smaller: g or 0.1?
g
Let k(n) = 8*n - 149. Let b(i) = 7*i - 148. Let l(r) = -3*b(r) + 2*k(r). Let f be l(29). Let d = 3 + -4. Which is smaller: f or d?
d
Let i(k) = -66*k - 66*k - 42*k + 39*k - 5*k**2. Let s be i(-27). Does s = -156/7?
False
Suppose 4*m + 3*k = 19, 2*m - 1004*k + 1000*k = -62. Let z = 12 - 5. Is z at most m?
False
Let a = -20.228 - -16.228. Suppose -4*f + f + 6 = 0. Which is smaller: a or f?
a
Suppose 17 = 4*d - 3. Suppose d*k + 21 = 1. Let u be k + ((-104)/14)/(-2). Is 8 < u?
False
Let y(g) = -g**2 - 15*g + 15. Let q be y(-16). Let t be q/3 - (-5)/18. Suppose -2*p = 5*x - 22, p = 2*x - x - 3. Which is smaller: p or t?
t
Suppose 0 = -w - 3*a + 142 + 173, -4*w - 5*a = -1239. Let i = 682 - w. Which is smaller: 377 or i?
i
Let o(j) = j**3 - 4*j**2 - 12*j - 4. Let d be o(6). Let q be (1 + -7)*((-258)/36 + 4). Which is bigger: q or d?
q
Let g = -0.15 - -0.05. Let m = -0.06 - g. Let t = -2635 + 2632. Which is greater: t or m?
m
Let i(l) be the second derivative of -l**5/20 - 5*l**4/12 - l**2 - 7*l. Let m be i(-5). Let n = 11 + -13. Is n smaller than m?
False
Suppose -2*q + 7 = 5*b, b = q + 4*b - 5. Let g be ((2 + (-36)/16)*q)/1. Let o be 2/g - 4 - (-6)/3. Which is smaller: o or 19?
o
Let b(h) = -h**3 + 4*h**2 - 1. Let s = 17 - 13. Let g be b(s). Let a = -68/65 + -2/13. Is a at most as big as g?
True
Suppose -629*n + 3*v = -631*n + 24416, -2*n + 24404 = v. Which is bigger: n or 12198?
n
Let g = 28171730/3939 + -7152. Is -1/5 >= g?
False
Let g(h) = h**3 + 10*h**2 + h + 12. Let s be g(-10). Suppose s*x + 34 = -2*k, -2*k + 2*x = -6*k - 68. Is k < -19?
False
Let b be (-13614)/666*(4 - 3). Let i = -41/37 - b. Which is smaller: i or 19?
19
Suppose 130937 = 129*r - 209441 - 104414. Are 3451 and r nonequal?
True
Suppose 9*n = 32 + 130. Let b = n + -7. Is 61/6 bigger than b?
False
Let n(b) = -4*b. Let o be n(2). Suppose 2*r + 2*i = 0, r + 6*i - i = -12. Suppose -r*f = -2*u - 31, 3*u + 6*f = 2*f - 21. Is u at least o?
False
Suppose i - 3 = -2*i. Let g = i + -1/2. Let x = -17.6 - -17.55. Which is smaller: x or g?
x
Suppose 3*s + 2*m = 2428, -2*s - 64*m = -65*m - 1635. Which is smaller: 5703/7 or s?
s
Let k be 0/6 - 21/(-3). Suppose 2*s + 1953 = -k*s. Does -218 = s?
False
Let d be 10 + -7 + (-4)/((-648)/(-510)). Suppose r + 10 - 1 = 0. Let a = r + 9. Which is greater: a or d?
a
Suppose -a - 2*a + 2375 = 5*l, 4*a = 3*l + 3157. Let m = 1113 - a. Which is greater: 324 or m?
324
Let z = -2945 - -2896. Which is smaller: -43 or z?
z
Let j = -50 + 45.1. Let v be ((-1384)/519)/(84/9). Which is greater: j or v?
v
Let r = -8093381 + 104428894685/12903. Let h = 1/391 - r. Suppose 4*v + l - 7 = -0*v, 0 = -2*v + 3*l - 7. Which is smaller: v or h?
h
Let l be (-492)/(-2091)*164/(-32). Does l = -0.4?
False
Let l be 2 - -150*(4 + (-138)/12). Are 1 and l non-equal?
True
Suppose 4*p - 5280 = 2*q, -1071 - 5502 = -5*p - 2*q. Which is smaller: p or 1318?
p
Let t be (-34)/(-10)*(-227 + 72). Which is bigger: -525 or t?
-525
Suppose 0 = 5*x - x + 720. Let y be (6/x)/((-1)/3). Let r = -270 + 269. Is y less than or equal to r?
False
Suppose -36*n + 199 = 163*n. Are n and -2/39809 nonequal?
True
Suppose 2*x - 26 + 16 = 0. Suppose -w - 3*o = -20, -x*w - o = -5*o - 157. Let g be (w + 1)*(1088/264 - 4). Which is smaller: g or 3?
3
Suppose -4*y = 299 - 27. Let k = -67 - y. Let z be k*9*140/(-1428). Which is smaller: 0 or z?
z
Suppose 2 - 7 = -5*b. Let u = 120311/598 - 9191/46. Which is greater: u or b?
u
Let g = -1071910/538549 - -344/173. Which is smaller: g or 0?
g
Suppose -3*w - x = 4, 2*x + 6 = 3*w + 5*x. Let k = -2015.2 - -1746. Let b = -269 - k. Is w > b?
False
Let f be 10 + -8 + 3 + -5. Let j be 2 - (-2 - 2157/(-537)). Is f greater than or equal to j?
True
Let d = -151 - -165. Let h = 8478/13 + -652. Are d and h equal?
False
Suppose 437*d - 321 = -840*d + 1598*d. Let z(r) = -3*r**2 + 1. Suppose 4*x - 3*i + 4*i = 7, -4*i = -5*x - 7. Let a be z(x). Which is smaller: d or a?
a
Let c be ((-886)/3)/((-10)/(-33) + (-12)/(-33)). Is c > -447?
True
Let j = 7439 + -7439. Does j = 25/156?
False
Let t = 4/43393 - -91819568/216965. Which is smaller: 422 or t?
422
Let t = 977 + -1065. Let d be ((-112)/(-200))/(t/(-20)). Is d at most as big as 0?
False
Let v be -12147 + 5 + -35 + 53. Which is smaller: -12123 or v?
v
Let k = 9477/11411780 - 1/22420. Which is bigger: k or 1?
1
Suppose 55*l - 34*l - 50*l + 2117 = 0. Is l smaller than 1696/23?
True
Let u = 4 + -4. Suppose 4 = 2*p - u*p - 4*c, -2*c + 14 = 3*p. Suppose 4*l - 8 = -5*d, -l + 2 = 3*d - 8*d. Which is bigger: d or p?
p
Suppose -5*j + j = -1220. Let p = j - 86. Let w be (-4)/(-300)*p + -3. Which is smaller: w or 0?
w
Suppose -5*w = -2*a + a + 5, -5*w + 5 = a. Suppose a*u + 2*d = 6, -d = -5*u + 4*d - 15. Is 1/61 smaller than u?
False
Let s be (5*(-1)/2)/(6/(-12)). Suppose -24 = 2*z - s*z. Suppose z*k = 6*k - 4*h - 10, 4*k + h = 1. Which is bigger: k or -1?
k
Let t be (-10761)/68*(-4)/3. Suppose 4*i = -2*d - 148, -4*d = -9*i + 4*i - t. Is i equal to -28?
False
Let l be 96832/76 + (-34)/323. Which is greater: -3/4 or l?
l
Suppose f + 3*c - 8 - 9 = 0, 2*c = 3*f + 4. Let z be 2 + 6/f + -14. Let r(q) = -11*q - 52. Let o be r(-4). Which is greater: z or o?
o
Let x(m) = -m**2 + 11*m - 4. Let c be x(6). Suppose 14*n + 2 = -c. Let o be ((-1)/n)/((-1564)/(-224) - 7). Which is smaller: o or -29?
-29
Let j = -16095 + 16094. Does j = -48/1115?
False
Suppose -15*a + 13*a - 7154 = -2*z, 0 = -z + 3. Which is smaller: -3573 or a?
a
Let v = -401 + 393. Let u be ((-26)/8)/(5/(-20)). Let i = v + u. Which is greater: 11/3 or i?
i
Suppose -v + 3*v + 2 = 0. Let n = -278 - -282. Let p = v - n. Which is bigger: -3 or p?
-3
Let y = 1401 - 1415. Is y not equal to -0.01?
True
Let g be ((-789)/(-10))/((-18)/(-2025)). Let r = g + -9056. Let b = r - -187. Which is smaller: b or 6?
6
Suppose 2*m - 4256 - 2604 = 16*m. Is -2449/5 <= m?
False
Suppose 2*v - 2*y = 7*v - 109, 5*v - 3*y - 99 = 0. Let x be (3 - 171/v)*(-23)/(-2). Let o = x - -60. Does -2 = o?
False
Suppose b = 2*m - 8522, 277*m + 2*b = 274*m + 12776. Are m and 4261 equal?
False
Let m(i) = -i**2 - 46*i - 153. Let x be m(-42). Is x < 31?
True
Let p be (28/21)/(1430/(-660)). Suppose -4*r + r = 0. Which is smaller: p or r?
p
Let y = 274 - 164. Let t = y + -253. Which is smaller: t or 1?
t
Let i(k) = k**3 + 11*k**2 + 15*k + 67. Let h be i(-10). Suppose h*j = 12*j - 3*d + 2, d = j - 2. Are -4/343 and j nonequal?
True
