 - 19 = -2*g, -2*q - 20 + 7 = g. Let z be 1/((-9)/6 - -1). Which is greater: z or q?
z
Let p(i) be the second derivative of -i**6/60 + i**4/24 - 3*i**2 + 4*i. Let t(k) be the first derivative of p(k). Let b be t(1). Which is smaller: b or 0?
b
Let f be (-5146)/(-2296) - 42/56. Let c = -26/41 + f. Is c < 2?
True
Let g = 399 + -392. Which is bigger: g or -1?
g
Let r be -4 + (2 - 3)*-1. Let b be r/(-84)*10*4. Which is greater: 1 or b?
b
Let r(s) = -s - 4. Let f be r(-6). Let v = -74 - -74.98. Let z = v - -0.02. Which is greater: z or f?
f
Let z be (1/(-2))/((-328)/(-176)). Which is bigger: z or 0?
0
Let r(p) = p**2 + 18*p + 74. Let q be r(-12). Is q at least 6?
False
Suppose 0 = -319*c + 322*c. Which is smaller: 2/215 or c?
c
Let s(y) = -9*y - y**2 - 67 + 2*y**2 - 3*y**2 + 64 + 2*y**3. Let f be s(-2). Let x(n) = -n + 5. Let w be x(6). Which is bigger: w or f?
w
Suppose 9*l - 5*l - 8 = -2*z, 16 = 4*l + 4*z. Which is smaller: 1341 or l?
l
Let c be (-106)/(-9) + 4/18. Let r = -9 + c. Let h be 1 + (-3)/(-3) - -3. Which is greater: r or h?
h
Let p = -39.14 - -39. Let m = 0.04 + p. Is m less than or equal to -0.14?
False
Let j be (3/(-9))/((-2)/(-6)). Suppose -209 = 4*k + 47. Let c be (-8)/(-2) - (-232)/k. Is c >= j?
True
Let o = -6829 - -3633029/532. Which is smaller: 0 or o?
0
Let f = -131/385 - -3/55. Are f and -0.05 nonequal?
True
Let r be (-13)/3 + (-49)/(-21) + -2. Let m be (1/37)/((-4)/(r + 12)). Is 0 less than or equal to m?
False
Let i be 6/10 - 2/(-5). Suppose -58 = 5*c - 3*c. Which is smaller: c or i?
c
Let a be -17 - (-5)/(10/6). Let w be (-16)/56 + (-4)/a. Suppose -5*k - 2*x - 1 + 6 = w, 3*k - 3 = -2*x. Is k greater than -3/8?
True
Let o be 14 + 4368/(-315) + 1 + (-191)/195. Suppose 0 = -y + 2*y. Do o and y have different values?
True
Let x(l) = l**2 - 5*l + 3. Let n be x(4). Let v = -42350 - -1228146/29. Which is smaller: v or n?
n
Let r = 987/19 + -52. Suppose 3*b - 1 + 16 = -2*i, -3*b + 3*i = 30. Let c(l) = -l - 8. Let p be c(b). Do r and p have the same value?
False
Let u(a) = 18*a - 105. Let s be u(6). Which is greater: -28/3 or s?
s
Let a be (-2)/6 + (1 - (-6)/18). Which is smaller: a or 1/54?
1/54
Let h = 0.15 - 21.15. Let w = -32 - h. Let q = w - -11.1. Which is smaller: q or 2/5?
q
Let w be 0 - 6/((-3)/(-1)). Let s(j) = 2*j**2 + 4*j + 3. Let b be s(w). Is b not equal to 2?
True
Let q = 28.696 - 30.8. Let t = q - -0.104. Which is smaller: 60 or t?
t
Let y be -3 + (4 - (-96)/(-4 + 1)). Which is greater: -29 or y?
-29
Suppose 2 = 2*p - 4*c + 24, 3*c + 9 = 0. Are -6 and p unequal?
True
Let j be (-1 + 2)*-2 - 1. Let p be j + (-5)/(255/(-162)). Suppose -4*c + 4*g = 16, -4*c - 5*g + 20 = -c. Do p and c have the same value?
False
Let c = 190 + -193.86. Let u = c + -0.14. Which is smaller: u or -2?
u
Let l = 1758 + -1731. Is l at most as big as -11?
False
Let y = 6 + -10. Suppose -6*s + 90 = -198. Suppose -14*l + s = -2*l. Which is greater: y or l?
l
Let l be (33/9 - 3)*63. Let s be 9/12 + l/8. Is 9 greater than s?
True
Let z = -3.7 - 1.3. Let i = 2349 + -2347.8. Which is greater: z or i?
i
Let u = 1471 + -1438. Which is greater: u or 15?
u
Let h = -90 - -95. Suppose h*b - 2*d - 19 = 63, -4*d + 88 = 4*b. Is 17 at most as big as b?
True
Let g(w) be the first derivative of -w**4/4 + 8*w**3/3 - 7*w**2/2 + w - 6. Let h be g(7). Is 5 != h?
True
Let p = 170/207 + -24/23. Suppose 28 = -22*f + 50*f. Is p greater than f?
False
Suppose 2*m + 50 = 26. Let p be (m/(-9))/(8/48). Is -2/5 != p?
True
Let b be -4*((-20)/8 + 2). Suppose -1 + 5 = b*u. Suppose u*r = -5*r. Is 0 >= r?
True
Let k = -154 + 422. Let b = -2/350859 - -753294289/2806872. Let z = b - k. Is 0 < z?
True
Let g(j) = j**2 - 22*j - 73. Let s be g(24). Which is smaller: -31 or s?
-31
Let n = -616 + 603. Which is smaller: 4 or n?
n
Suppose -5*y - l = 7, -8*y + 10*y = -2*l - 6. Which is smaller: y or -1/464?
y
Let r be 2/108*4*3. Let a = 27.9 - 27. Let o = a + -0.8. Is o greater than or equal to r?
False
Let j be 2/(-1 - (2 + (-96)/33)). Suppose 0 = 2*h + 2*h + 88. Is h at most j?
True
Let b be (-4 + 4)/(6/2). Suppose 3*u - 7*u + 60 = b. Suppose 9*k - 12*k + u = 0. Is k <= 5?
True
Let f = -15.54 - -334.54. Which is smaller: f or -2/7?
-2/7
Let i = 333 - 2329/7. Which is greater: -176/7 or i?
i
Let x(f) = 3*f + 2. Let n be x(3). Suppose -a + 4*t + 0*t = -21, -a = 4*t + n. Suppose -2*y - 3*y - a = 0. Which is greater: y or -2/33?
-2/33
Let b = -4.54 + 2.54. Which is bigger: b or 90?
90
Let d = -324 + 195. Is 1/4 < d?
False
Suppose -5 = 3*o + 5*f, 4*o + 4*f = -0*f + 4. Suppose -10 = -3*z + o*z. Let u be ((-2 - 3)/z)/(-1). Which is smaller: u or 0?
u
Suppose 5*n + 0 = 10. Suppose 3*a = y - 6, -n*a + 4*a = y - 5. Let k be (-6)/8 - a/(-4). Which is bigger: k or -3/5?
-3/5
Suppose 2*l = 3*k + k + 2, 0 = 2*k - 4*l - 8. Let t be 1/k*5/(15/78). Is t greater than -13?
False
Let u(s) = -s**3 - 23*s**2 + 52*s + 49. Let g be u(-25). Do g and 3/172 have different values?
True
Let x be 68/714 + (-1684)/42. Is -247/6 bigger than x?
False
Let j = -1127136/229 + 4922. Is -1 not equal to j?
True
Suppose 4*f = 2*f - w + 1, 4*w + 18 = 3*f. Suppose 0 = -5*j + f*j - 9, 2*u + j = -5. Which is bigger: u or -4/31?
-4/31
Let b = 9 - -5. Suppose 28 = -5*c + 2*l, -4*l - 8 - b = 3*c. Is c != -5?
True
Suppose -4*r + 4*d + 0*d = 4, -3*d - 1 = -5*r. Let c be 3*r/(-3)*2. Let p be 60/(-35) + c/(-2). Is 1 at least p?
True
Let f = -9 - -16. Suppose -3*i - 1 = -2*i. Let j be (i + -9 + 3)*-1. Is f at most as big as j?
True
Let f = -8135/3 - -2735. Which is smaller: f or -3?
-3
Let a be (-144)/12 - (-558)/14. Which is smaller: 28 or a?
a
Suppose -3*t - 13 = -3*m + 5, 0 = -4*m + 20. Which is smaller: t or 2/533?
t
Let c = -19026 - -132809/7. Let x = c + 11591/217. Which is bigger: x or -1?
x
Let s = -18.6 + 26.6. Which is smaller: -10 or s?
-10
Let u(o) = -2*o**2 + 77*o + 171. Let g be u(42). Are g and -745/6 equal?
False
Let d = 308 - 356. Which is greater: -51 or d?
d
Let q(h) = -h**3 + 5*h**2 + h - 2. Let f be q(5). Let c be ((-3)/(-6) + 1)/(139/556). Which is greater: f or c?
c
Let a = 17.1 - 17. Let x(w) = -2*w - 4. Let o be x(3). Let y be (-8)/o + (-53)/85. Is y less than a?
False
Let a(u) = -11 + 0 - 3*u + 6*u - 4*u. Let g be a(-15). Is g greater than or equal to -0.4?
True
Let f = 331 - 343. Is 45 equal to f?
False
Let l be 443/443 + (71 - 1). Let v(x) = -69*x + 1. Let y be v(-1). Do y and l have the same value?
False
Suppose -5*m + 2*i + 69 = 0, -5*i - 62 = 5*m - 152. Suppose b = 2*f + 2*b + 10, -f - m = 3*b. Let l be f/4 + 5/10. Which is bigger: -4/7 or l?
l
Let f = -56 - -44. Which is smaller: f or 0?
f
Suppose 2*t + 4*h = 6, -2*t = -6*t + 3*h - 32. Which is greater: -7/2 or t?
-7/2
Let f(a) = 4*a + 33. Let h be f(-8). Are -14/59 and h non-equal?
True
Suppose 2*j - 12 = -10*j. Which is greater: j or -7/31?
j
Suppose h - 101 = j, 0*j - 2*h + 102 = -j. Which is bigger: j or -101?
j
Let t = -260 + 1043/4. Which is smaller: t or -22/3?
-22/3
Let h = 21.8 - 23.8. Which is smaller: 2/51 or h?
h
Let s = -147 - -148. Which is smaller: s or -109?
-109
Let j be (2/(-6))/((-6)/18). Suppose 65 - j = 16*v. Let n be ((-10)/6)/(2/(-6)). Is v <= n?
True
Suppose 4*g = 3*w - 0*w - 16, -4*w + 2*g = -28. Let m(q) = 2*q**2 - 10*q - 3. Let z be m(w). Let y be 55/z - 4/18. Which is smaller: 2/9 or y?
2/9
Let h = 0.0055 + -147.0055. Which is greater: h or -1?
-1
Suppose 93 = 16*o - 339. Is o not equal to 35?
True
Suppose 3*b - 7*b = c - 11, 4*b - 15 = 3*c. Do c and 1/77 have the same value?
False
Let r(b) = b**3 - 18*b**2 - 1. Let i be r(18). Which is smaller: i or -1/267?
i
Let b = -54 - -34. Let u be (b/64)/(-2*4/(-16)). Suppose 0 = r + 1 + 1. Is r >= u?
False
Let c = 1994 + -2026. Which is smaller: -15 or c?
c
Suppose -4*u + s = 0, -3*s + 2*s - 4 = 0. Let x be 5 + -4 + (-48)/46. Which is bigger: x or u?
x
Let l be (-57967)/77 - (3 - 31/11). Is -753 at least l?
True
Let o = 0 - -1. Suppose 47*c - 60 = 42*c. Let p = c + -256/21. Is p greater than o?
False
Suppose -3*s - 18 = 5*j, -5*s + 3*j + 10 = -2*j. Let p be 1 + -11 - (1 + s). Which is greater: p or -9?
-9
Let b be -12*(3 - 2)/3. Let p be b/((-3)/(-3)) + 4. Is p at most -4?
False
Let l = 0.007 - 2.907. Let t = l - -2.9. Which is smaller: 14 or t?
t
Let a be (-2)/(-3)*6/1944*-2. Which is 