se -20 = a*h, 2*u = -3*u + 5*h + 15. Which is bigger: -9/10 or u?
-9/10
Let q be (-1557)/(-33)*(-20)/6. Let i = -157 - q. Suppose -5*g + 25 = z + 14, 4*g - 8 = 0. Is z greater than or equal to i?
True
Suppose -1 = -2*x + 5, 4 = -2*w + 4*x. Suppose 3*n + 3 = 3*u, -2*u + 6 = w*n + 16. Which is greater: -4/7 or u?
-4/7
Suppose 4*b - 8 = -j - j, 4*j - 3*b = 5. Suppose -5*d + 12 = -3*w, -d + j*d = -5*w - 20. Suppose d = -3*t - m - 13, -3*t + 11 = -7*t + 5*m. Is -4 > t?
False
Suppose 0 = 4*x - 52 + 12. Suppose 3*n + 15 = -2*n. Let i be 7 - (-2 - (-3 - n)). Which is bigger: i or x?
x
Let r be (-5180)/(-7815) + 2/(-3). Which is smaller: 0 or r?
r
Let v(r) = r**2 + 6*r - 7. Let j be v(-7). Let f(z) be the first derivative of z**4/4 - 4*z**3/3 + z**2 + 2*z - 4. Let o be f(3). Is j <= o?
False
Let r be 30/4*(-74)/459. Let l = r - -23/153. Is l bigger than -2?
True
Let i = 3 + 15. Suppose 3*s = -6 + i. Suppose -2*d - d - 12 = s*v, -3*d - 12 = v. Is 4/9 smaller than v?
False
Let c = -0.06 - 1.64. Let g = 2 + c. Let f be (-2)/(56/9) - (-71)/(-284). Is f > g?
False
Let d(o) = o**3 + 6*o**2 - o + 1. Let v = -11 - -5. Let l be d(v). Let s be 18/(-72) + (-10)/(-8) - -6. Is s > l?
False
Let i(u) = 4 + 25*u**2 - 17*u**2 - 5*u - 9*u**2. Let w be i(-3). Which is smaller: w or 0.1?
0.1
Let s be 7 - (-1 + 3 + 0). Let n = -0.0121 + -0.0879. Which is greater: n or s?
s
Let a(c) = -119*c - 39. Let n be a(2). Is n not equal to -276?
True
Let n = 0.29 + -0.19. Let p = 428.4 + -428. Which is bigger: n or p?
p
Let o be (-162)/(-12)*((-40)/(-42) - 1). Let h be ((-86)/(-6))/((-14)/3). Let b = h + o. Is b > -4?
True
Let i = 307 + -242. Suppose 45*s = 40*s - i. Let k(f) = -8*f + 3. Let a be k(2). Does a = s?
True
Let b = 13 - 15. Let f = b + 27. Let m be (4/10)/(85/f). Which is greater: m or 1?
1
Let g = -48.9 - -49. Is -85 bigger than g?
False
Let w = 3587 - 3578. Let q = 60 + -35. Suppose -4*h = -65 + q. Is w <= h?
True
Let y be -3 - (13 - (2 + -4)). Let l be (-18)/81 - 4/y. Suppose h + 8 = d, 0 = 2*h - l*d - 3*d + 12. Which is bigger: h or -23/2?
-23/2
Let v(n) = 5*n - 34. Let y be v(-6). Do y and -63 have different values?
True
Let d = -4.8 - -5. Which is greater: d or -1/3?
d
Suppose -4*l = 3*r - 9, -4*l = -2*r - 2*r + 12. Let z be 2/3 + 404/(-3). Let p = z - -1477/11. Is p at most as big as l?
False
Let k = 730 + -674. Which is smaller: k or 6?
6
Let m = 1/5157 - -30659/1459431. Is 0 smaller than m?
True
Let m be (3/9)/(1/3). Let g be 78/8 - m/(-4). Let k(h) = -224*h + 681. Let t be k(3). Which is greater: t or g?
g
Suppose 62 = -2*d - g - 26, 0 = -4*d + g - 170. Let z = d + 42. Is -1 > z?
False
Suppose -4*r = v + 7252, -3*r + 3*v - 2413 = 3041. Let l = 643972/355 + r. Which is smaller: l or -1?
-1
Let a be (2 + -15)/(3 - 10/3). Let b be (-9)/a*6/9. Which is smaller: -1 or b?
-1
Let u be (1 - -1)/(2 + 12). Suppose 3*i + 2*i - h - 9 = 0, -2*i = 5*h + 18. Is i less than or equal to u?
False
Let j = 2531 - 2531.3. Is j less than or equal to -245?
False
Let x(a) = a**3 - 5*a**2 - 6. Suppose -4 = -0*h + 4*h, -3*w = -5*h - 20. Let f be x(w). Do -6 and f have different values?
False
Let z = 0.053 + -0.503. Let a = z + 0.53. Which is smaller: -0.1 or a?
-0.1
Let n = -61 + 39. Let g = n - -18. Suppose 2*k + 13 - 1 = 0. Which is smaller: g or k?
k
Let x = 2 - 0. Suppose -5*m = m - 6. Suppose 1 = x*n - m. Which is smaller: n or -2?
-2
Let h(g) = 3*g**3 - 20*g**2 + 26*g - 5. Let v be h(5). Which is smaller: 4/159 or v?
v
Let a(b) = b**2 - 3*b + 4. Let r be (-5 - -2) + 7/1. Let y be a(r). Is y less than or equal to 9?
True
Suppose 0 = -6*h + 294 - 288. Let z be (9/(-3))/3 - -3. Let a be 17/(-19) + -1 + z. Which is greater: a or h?
h
Let p be (-110)/(-12) + 2/6. Let m = 165 - 167. Let v be 192/18 + m/3. Is p not equal to v?
True
Suppose 0 = q + 3*m - 125, 5*q - 229 - 376 = -5*m. Is q < 117?
False
Suppose 0 = -4*x - 4*y + 2*y + 8, x - 5*y = -20. Suppose -5*s + 8 + 2 = x. Which is smaller: 5 or s?
s
Let v be 3 + -2 - 6/(-2). Let o(l) = -l**2 + 4*l + 7. Let f be o(v). Let w be f*2*(-5)/(-25). Is 3 < w?
False
Let m = 3 - -11. Let b(v) = v - 14. Let n be b(m). Let z = 5077/35 + -145. Does z = n?
False
Suppose -4*v - 4*j = -20, 9*v + 4*j = 14*v + 11. Let f be 3/(-72)*(-6)/8. Which is bigger: f or v?
v
Let g be 50/4 + (-2)/4. Let w be (-3 + 4)*(25 + 2). Suppose 16 = -j - 3*j, 4*j = l - w. Is l at most as big as g?
True
Let o be 0 + (-6)/(-9) - (-140)/(-165). Let z = 79/495 + o. Is z equal to 0?
False
Let x = -107.06 + 107. Which is smaller: 0.8 or x?
x
Let f = 3321 - 3325. Let k(q) = -q - 6. Let r be k(-11). Which is bigger: r or f?
r
Suppose 157*f - 158*f + 4*x = 55, 0 = 2*f + 4*x + 158. Which is smaller: -2 or f?
f
Suppose 2*h + b + 3 = -15, -3*h - 5*b - 34 = 0. Let a(o) = -5*o**2. Let l be a(-1). Let d be h/140 - 1/l. Are d and 0 nonequal?
True
Suppose -13*c = -9*c - 96. Let t be c/35 + (-12)/30. Which is smaller: t or 4/7?
t
Let w(h) = -2*h**3 - 6*h**2 - 5*h + 10. Let f(q) = q**3 + 6*q**2 + 4*q - 9. Let g(y) = 3*f(y) + 2*w(y). Let i be g(6). Suppose -i*u = -3*u. Is u <= 0?
True
Suppose 762 = 9*f - 345. Suppose 6*b + 45 = -f. Which is smaller: b or -29?
-29
Let p = -28.36 - -0.36. Let o = -27.53 - p. Let c = o - -0.23. Which is smaller: -2 or c?
-2
Let n(x) = -14*x - 183. Let f be n(-13). Which is smaller: f or 3/1451?
f
Let f be (3 - 1) + 926/(-469)*1. Let t = 2174/48307 - f. Is 0 > t?
False
Let p = 123 + -149. Is -79/3 at least as big as p?
False
Let m(n) = -n**2 + 20*n - 51. Let y be m(5). Which is bigger: y or -2?
y
Let h be 15/1 + -2 - -3. Let z = h + -11. Let s be (-4)/(-15) + (-3)/z. Is s equal to 0?
False
Let i be ((-10)/14)/((-4)/(-20)). Let o = 232/63 + i. Is 1 less than or equal to o?
False
Suppose -o = 2*o - 13125. Let t = o + -284367/65. Let v = t + 2/65. Is 0 less than or equal to v?
True
Let l(s) = s**3 + 25*s**2 + 33*s - 59. Let g be l(-24). Are g and -272 non-equal?
True
Let g = 114 + -434. Is g equal to -320?
True
Suppose 4*r - 24 = 12. Let t be 34/(-6) - (-6)/r. Suppose -5*s - 3*q - 9 - 17 = 0, -4*q - 4 = -s. Is t greater than s?
False
Let o = -5/72 - -73/360. Let y be (1 - 2/4)*0. Do y and o have different values?
True
Let k(h) be the first derivative of -h**3/3 - 7*h**2/2 + 10*h + 22. Let n be k(8). Is n at most as big as 1/4?
True
Let p = -0.048 - -0.348. Let d be 5/(-2)*3832/(-50). Let x = -191 + d. Is x equal to p?
False
Suppose -3*a + 45 = -3*c, -3*c + 0*a - 2*a = 35. Let g = 39 - 71. Let d = 20 + g. Is d > c?
True
Suppose 0 = -0*s + s. Let u = -61/198 + 14/99. Is u at least as big as s?
False
Let b = -0.0114 + 125.0114. Which is greater: 2/3 or b?
b
Let o(s) = -s**3 + 8*s**2 + 38*s - 23. Let l be o(11). Suppose -4*y - 5*b = -108, 0 = 2*y + 2*b - 3*b - 68. Is l bigger than y?
False
Suppose -n + 92 + 71 = 5*g, 0 = g - 5*n - 17. Let o = 36 - g. Suppose -4*w - 10 = -2*w + 3*q, 3*q + 2 = 2*w. Do o and w have the same value?
False
Let o = 3 + -4. Let p = -12 + 10. Let f = o - p. Does 3 = f?
False
Suppose 7*k = 57 - 1. Let b = k + 22. Is 29 at least as big as b?
False
Let x be 3 - 3/((-6)/44). Let i = 29 - x. Let y be ((-13)/(-741))/((-2)/i). Which is smaller: y or 0?
y
Let t = -0.82 + 0.27. Let n = t - 0.45. Is n at least as big as -1/9?
False
Let t = 138 - 146. Is t less than or equal to -8?
True
Suppose -23*o - 814 = -21*o - 4*d, d - 1231 = 3*o. Which is bigger: o or 0?
0
Suppose -3*q + 3 = -3. Let k = 39 - 33. Suppose -5*b + k = -2*b. Is q >= b?
True
Let j be -10 - -10 - (-1 - 9). Suppose 15 = 3*i - 4*u - 0, -3*u - j = -2*i. Suppose p - 3 = t, 2 = -i*t - 2*p - 6. Which is smaller: 3 or t?
t
Suppose 0 = -6*g + 4*g + o + 11, -g + 2*o = -10. Suppose -4*k - 4*z = 6 - 18, g*k + 2*z - 16 = 0. Suppose -p + 0*p + k = 0. Is 5 < p?
False
Suppose u + 5*f + 3 + 4 = 0, -4*u = 4*f - 4. Let g be ((-26)/6)/((-1)/3). Suppose -2*v + q = -g, -2*v + 0*v - 5*q = 5. Which is greater: v or u?
v
Let m(j) = 16*j**3 - 40*j**2 + 14*j - 125. Let r(y) = 3*y**3 - 8*y**2 + 3*y - 25. Let s(c) = -2*m(c) + 11*r(c). Let g be s(8). Is g not equal to 14?
True
Let c = -188791/26 + 7260. Let z = c + 22/13. Is 0.033 >= z?
False
Suppose -15*c - 30 = -21*c. Suppose 0 = -c*g + 96 + 84. Which is smaller: 37 or g?
g
Let d(k) be the second derivative of -k**5/20 - 5*k**4/12 + k**3/2 + 8*k**2 - k. Let y be d