ve of n**5/60 - n**4/6 - n**3 + 3*n**2. Let x be w(5). Is x at most d?
True
Let r be 8/((-48)/(-246)) - -3. Is 494/11 != r?
True
Let z be -5 + -334*(-7)/476. Is z at least -1?
True
Let i be ((-1)/(-15))/(0 - 4/25012). Let y = i - -417. Let g = 7 - 5. Is g at most y?
False
Suppose 80 = -5*r - 0*r. Let a(t) = -2*t**2 - 4*t. Let o(v) = -v**2 + 8*v - 5. Let i be o(7). Let x be a(i). Is r equal to x?
True
Suppose -3*m - 4*z = -5, 4*m - 11 - 5 = 4*z. Let r be (m + -1)*(-390)/(-12). Let l be 767/r - 2/(-10). Is l > 10?
True
Suppose 3*c - 2*j = 23 - 10, 5*j + 25 = 0. Are c and 15/4 nonequal?
True
Let w = 14802 - 14805. Suppose -2*s - 3 = 9. Is s greater than or equal to w?
False
Suppose t + 5*u = 16, -5*t - 3*u + 0*u + 14 = 0. Let f(c) = -c**3 - c**2 + 2*c - 1. Let n be f(t). Which is greater: 0 or n?
0
Let h = -6.7 + -3.6. Let i = h + 10.9. Is -2 at most as big as i?
True
Suppose 3*g = -2*t + 12, 0 = 4*t + 2*g - 0*g - 16. Suppose -t*w + 8 = -13. Let v = 2 + 3. Which is greater: w or v?
w
Let v be -1 - (5 + (-4 - 1))/2. Is v less than -18/37?
True
Suppose y - 16*y = -360. Let c(n) = -n**3 + 24*n**2 + 5*n + 2. Let m be c(y). Is m less than or equal to 123?
True
Suppose t - 3*m + 0 = 2, 5*t + 2*m = 44. Let p be (4/1424)/((-5)/t). Let r = -904/3115 - p. Which is smaller: 3 or r?
r
Let z = 1 - 4. Let o = z + 5. Let m be (-3)/o + (6 - 5). Which is smaller: 2/5 or m?
m
Suppose 5*g - 12 = g. Suppose -3*i - 2 - 4 = 3*m, g*m = -i. Let t be -2 - (m + (-188)/64). Do t and -1 have the same value?
False
Let w = 7.374 - -1.626. Is w smaller than -2/31?
False
Let d = -55 - -97. Suppose -9 = -i - 3*t + 9, 5*t = -3*i + d. Suppose 27 = 3*k - 3*x + 5*x, 3*k = -x + 27. Is k at least as big as i?
True
Suppose -4*i - 4*j = 127 - 663, 500 = 4*i - 5*j. Suppose 22*c = 20*c + i. Let w be 52/c + 124/(-130). Is 1 smaller than w?
False
Let q be -1 + 6 + 3598/(-720). Do 1 and q have the same value?
False
Let t = 8/41 + -209/861. Let w(m) = 4*m + 33. Let i = -16 + 8. Let u be w(i). Which is greater: u or t?
u
Let k(s) = -s + 3. Suppose 0 = -p - 3*i + 26, 0 = 2*p + 2*i - 3*i - 31. Let c be k(p). Let b be (2/8)/(c/(-8)). Which is smaller: b or 1?
b
Let w(u) = u + 12. Let f be w(-12). Suppose f = -4*d + 3*x - 4, 0 = -0*d - d + 4*x - 1. Is 1 bigger than d?
True
Let v(m) = m**3 + 2*m**2 + m + 2. Let w be v(-2). Let x = 131674847/606562 - 75642/349. Let g = 3/158 + x. Which is smaller: g or w?
w
Let m(v) = -20*v + 20. Let a be m(-17). Let q = a - 26279/73. Is q < 0?
False
Let d = -25 + 30. Suppose -d*k - 26 = -1. Suppose 0 = -4*s + 4 - 24. Is k at most s?
True
Let w be (-3)/7 + (-85)/(-35). Let d be 1 + w/(1 + 0). Suppose 0 = 5*x - 2*h - 0*h + 76, 5*h + 58 = -d*x. Is x at least as big as -16?
True
Let q(w) = -3*w - 117. Let m be q(-17). Is -62 < m?
False
Let o(h) = h + 6. Let k be o(-7). Let z be (2996/4)/k + -3. Let w be -4 + 0 + z/(-200). Which is bigger: 0 or w?
0
Let y = -5/28 - -3/7. Let m(r) = r**3 + 9*r**2 - 12*r + 10. Let o be m(-10). Let c be 16/o + 2/(-6). Which is smaller: c or y?
c
Let m(y) = -3*y**3 + 2*y**2 - 1. Let x be m(-2). Suppose 3*p = 4*q - 54 + 156, -2*q - 66 = -2*p. Which is bigger: p or x?
x
Suppose -433 = -7*r - 118. Suppose -18*m = -13*m - r. Which is bigger: 13 or m?
13
Suppose -v - 14 = -14. Suppose 0 = 2*w + c + 28, c + c - 8 = v. Is -18 <= w?
True
Let u be ((-5)/(-2) - 3)/((-4)/(2800/(-7))). Let i(f) = f - 50. Let w be i(0). Is u bigger than w?
False
Let m = 271.47 - 269. Let p = -0.47 + 0.3. Let z = p + m. Which is greater: z or -0.1?
z
Let a be 3*6*(-2)/(-9). Suppose -t + a*t = 0. Let l be (14/(-6))/7 + (-31)/(-57). Which is greater: l or t?
l
Suppose 5*l + 4*g = 61 + 99, 0 = -l + 2*g + 32. Suppose 4*j - 4*i + l = 0, 2*i + 24 = -5*j - i. Let u be 63/j + (-3)/6. Is -21/2 greater than u?
True
Let u = 0.01 - -1.99. Let t = 7.21 + -4.21. Which is bigger: u or t?
t
Let o be 1/2*4*3. Suppose -2*s = -o*s + 4. Let p be (-16 - 564/(-36))/(1/1). Which is bigger: p or s?
s
Let h be (3/(-2))/((-3)/30). Suppose -4*b - 5*k = 13, 4*b - 27 = k + 2*k. Suppose -63 = -5*g + 5*o - b, 5*g - 2*o - 69 = 0. Is h less than or equal to g?
True
Let k(b) = b**2 + 2*b + 2. Suppose -3*l = -5*f + 2, 5 = -5*f + 2*l + 3. Let c be k(f). Let d be 5/10 + 10/28. Which is bigger: d or c?
c
Suppose -11 = -103*u + 104*u - 2*i, -4*u + 16 = 4*i. Let o = 334749/1625072 + 52/2161. Let t = o - 3/16. Is t at least as big as u?
True
Let t = 0.13 + 3.87. Let o = 3.98 - t. Let j = o - 0.08. Which is bigger: j or 2/3?
2/3
Let k(a) = -a + 34. Let s be k(9). Let x(z) = 5*z**2 + 2*z + 1. Let h be x(2). Is s less than h?
False
Suppose a = -3 + 10. Let d be (2/a)/((-29)/(-203)). Is d bigger than 3?
False
Let w = -36 + 36. Suppose -3*l + w = 3. Which is greater: 2/29 or l?
2/29
Let x = 1.1 - -2.9. Suppose 0*k - 2*k - 8 = 0. Let l be k/3*(-2)/(-4). Is x at most as big as l?
False
Let m be 4/1*5*4/110. Let c be 1 - (-2 + 2)/(-2). Suppose -b = -0 - c. Is m > b?
False
Let k be -3 - (-3 + 25/9)*15. Is k bigger than -17/21?
True
Let a = 1635 + -1639. Suppose 4*h = -9 - 11. Let u be h/(1 - 0) - -1. Are u and a nonequal?
False
Let s = -87.59 - -88. Let j = -1.05 + s. Let y = j - -0.24. Is 0 < y?
False
Let v be 2/1 - 1/(-1). Suppose -2 = v*a - 5. Suppose a - 4 = -3*m. Is 1 > m?
False
Let v = -228 - -189. Is v less than 0.2?
True
Let z = 437.9 + -421. Let y = z + -17.6. Which is bigger: y or 2/7?
2/7
Let g(x) = x**3 + 4*x**2 - x - 6. Let m be g(-3). Let i = 536/115 - -2/345. Which is greater: m or i?
m
Let o = -174 - -141. Is o less than -3?
True
Suppose -3*c - 4*n + 90 = 0, 0*c - 2*n = -3*c + 108. Which is greater: c or 35?
35
Suppose 3*b = 2*p - 4*p - 1415, 5*b + 2349 = -p. Let i be (2 - 1)/((-35)/b). Let v = -747/55 + i. Which is bigger: 0 or v?
0
Suppose -k + 69 = -3*j, -11 = 4*j + 9. Let g be (-98184)/k*(-1)/(-4). Let f = g - -455. Which is smaller: -1 or f?
-1
Let q be ((-3)/2)/(2 + 1). Let z be (-4 - 4) + -3 + 12 + -3. Is z >= q?
False
Let t = -1295 - -1150. Are -142 and t equal?
False
Let v(a) = -5*a + 25. Let f be v(6). Let k be (1/(-2))/(f/10). Which is bigger: -2/25 or k?
k
Let d be 2 - (1*-1)/1. Let p be (0 + -3)/((-66)/88) - 2. Suppose d*z = 3*j - 9, z + p = -0. Which is greater: j or -3/8?
j
Let o be (24/36)/(-2) - (-1 - 0). Let q be 2/(-7) - 0/2. Which is smaller: q or o?
q
Let k(o) = -8 - o**2 + 9 - 11*o - 3*o. Let m be k(-14). Which is greater: m or 2/35?
m
Suppose 0 = 8*t - 3 - 13. Let i(y) = -y**2 + y. Let o be i(2). Which is bigger: o or t?
t
Let m = 334/143 - 28/13. Let s = 3/77 - m. Suppose 7*q - 3 = 4*q. Which is bigger: s or q?
q
Let k(x) = -x**3 + 6*x**2 - 5*x + 2. Let w be k(5). Let u be ((3 + -3)/(-2))/w. Which is smaller: 3 or u?
u
Let t = 57/106 - 19567/36782. Is t greater than 0?
True
Let u = -0.043 + 20.043. Let h = u + -22. Are -1/2 and h non-equal?
True
Let d(m) be the second derivative of -m**7/1260 + m**6/90 + m**5/120 - m**4/4 - 3*m. Let u(c) be the third derivative of d(c). Let n be u(5). Is 1 less than n?
False
Let t be 3/(-18) + 7/6. Let p(j) = 5*j**3 + 2*j**2 - 1. Let y be p(t). Let g be (y/4)/((-54)/(-8)). Which is smaller: g or 0?
0
Suppose 28*t + 0*t = 28. Let f = -633403/11 - -21346095/374. Let o = f + 507. Is o > t?
False
Suppose -d + a = -4*a - 441, 0 = 3*d - 4*a - 1356. Let n be d/(-2145) + 8/44. Are -1 and n equal?
False
Let c be -3 + 0 + 2 - (-1 - 3). Is c at least as big as 14.5?
False
Let f be (-4)/7*1/274*-7. Which is smaller: f or -1?
-1
Suppose -4*v + 1 = w, -w + 0*w + 5 = 2*v. Suppose 0 = h - 1 - w. Is h greater than or equal to 8?
True
Suppose 0 = 6*a + 47 - 41. Which is smaller: a or -10/61?
a
Let p(u) = u - 1. Let j be p(6). Suppose -9 = -j*z + 6. Let k = -6 + z. Is -1 < k?
False
Let j be ((-15)/9 - -1)/(166/249). Which is greater: 2/3597 or j?
2/3597
Let s = 9.7 + 0.3. Which is smaller: s or 26?
s
Let p = 9 - 4. Let b be 4/(-7) - (-4280)/140. Suppose 5*t + p*m = b, t - 2*t + 2*m + 6 = 0. Is 6 not equal to t?
False
Suppose -5*o = -3*c - 272 - 70, -65 = -o + 4*c. Which is smaller: 66 or o?
66
Let z = 0.04 - 0.02. Let g = 0.01 - z. Let h = g - 1.99. Which is greater: h or 3?
3
Let h(i) = 2*i - 2. Let a(m) = m**3 - 4*m**2 + 4*m. Let o be a(3). Let b be h(o). Let n = 1/197 + 3147/985. Do n and b have the same value?
False
Let z = 17.06 + -0.06. Let r = 16 - z. Wh