and s unequal?
True
Let v be 10/(-14) + 1 - 0. Let k(t) be the second derivative of -t**5/20 - 2*t**4/3 + 3*t**3/2 + t**2/2 - 17*t. Let q be k(-9). Which is greater: q or v?
q
Let z = -696 + 696. Is 2/45 > z?
True
Let d be -3 + (0 + -3 - -13). Let f = 17 - d. Suppose 0 = -5*z + f*z. Which is bigger: z or -6/5?
z
Suppose 2 = m - 114. Let s be (-4)/10 + m/40. Let a = s + -61/26. Which is greater: a or 3?
3
Let w be (-7)/119 + (-243)/(-85). Let s be (1 + (-5)/2)*-2. Do w and s have the same value?
False
Let j be (204/357)/(-1 + (-10)/(-14)). Which is bigger: j or -25/21?
-25/21
Let u = 68.3 - 68. Let j = u + -0.1. Which is greater: j or 15?
15
Let h(w) = -36*w - 299. Let v be h(-8). Suppose 3*m - 4 = -31. Which is greater: v or m?
m
Let r(d) = -12*d - 69. Let a be r(-6). Is a >= 3/2?
True
Let d = 3.17 - 2.17. Is 1.074 less than or equal to d?
False
Let c = -4/9243 - 14982875/64701. Let h = c + 232. Let f(p) = -2*p**2 + 23*p + 11. Let a be f(12). Which is smaller: h or a?
a
Suppose -3*q = q - 548. Suppose -13*k - 136 = q. Which is smaller: k or -22?
-22
Let f be 42/11 + (-54)/(-297). Suppose -55 = f*p + 73. Which is smaller: -31 or p?
p
Let m = 1.36 - 0.65. Let r = 0.69 + -0.8. Let o = m + r. Which is greater: -2 or o?
o
Suppose -14 = -o - 3*w, -11 = 3*o - 2*w + 2. Suppose 0 = -2*y + 6, -7*y + 10*y - 11 = -2*x. Is o > x?
False
Let b = 12 + -8. Let g = b + -6. Let z = 1.76989 - -0.23011. Is g at least z?
False
Suppose 2*g - 2*k = 0, 2*g + k = 2*k - 5. Let u be ((-3)/60*g)/1. Is u <= -1?
False
Let a(y) = y**2 - y - 2. Let w be a(-1). Let n be -3 - (-3 + w - -1). Let j be 16/66*(-3)/(-2). Which is smaller: j or n?
n
Let t = 2043 - 194087/95. Is -5 smaller than t?
True
Let o be (-1 + -60)*(12/4 + -2). Let z be 3/(-15) + (-28)/10 - o. Which is bigger: z or 57?
z
Let q(y) = -3*y**2 - 10*y - 4. Let z be q(-3). Which is smaller: -1/118 or z?
z
Let o = -41 + 52. Which is greater: o or 12?
12
Let t(v) = -2*v - 8. Let n be t(-6). Suppose n*o - 2*o = 8. Suppose -4*r + r + d = o, 5*r + 14 = -2*d. Is r >= -11/4?
True
Let w be 3/6*4*6288/(-96). Which is smaller: w or -397/3?
-397/3
Let i be 4 - -1*(-724)/26. Let x = i + 24. Do -1 and x have the same value?
False
Let v = 611 + -796. Do -186 and v have different values?
True
Let v = 23/28 - 83/12. Let q = 713/259 - -99/37. Let g = v + q. Which is smaller: g or 5?
g
Let w = -4025/3 + 1341. Let o be (2/(-4))/(111/6). Is o not equal to w?
True
Suppose 0 = -2*s + 2*h + 14 - 2, -2*h - 8 = 0. Let d be 65/30 + s/12*-1. Which is smaller: 4/5 or d?
4/5
Let u = -1479 - -1572. Is 88 >= u?
False
Let y = -6 + 6.5. Let m = -50 - -48.6. Let s = y + m. Is s greater than or equal to -2/7?
False
Suppose 5*a + 0*a + 155 = 0. Suppose -2*f + 155 = -5*s, 5*f + 202 = -5*s + 47. Is a at least s?
True
Suppose -2064 + 504 = -5*g. Suppose -8*n = 64 - g. Suppose 7 - n = 3*b. Is -9 <= b?
True
Let a = 434/85 + 5/17. Is a < 5?
False
Let a = -25 - -8. Let l = a + 17. Which is smaller: 23 or l?
l
Suppose -2 = -a + 2. Suppose a*g + 10 = -2. Let s be -2 - g - (4 - -1). Are s and -4 non-equal?
False
Let j = -0.13 - 0.17. Let v = 66.06 + -66. Which is smaller: j or v?
j
Let l be (114/2812)/((-9)/(-12)). Is l > -107?
True
Let j(d) be the third derivative of d**5/30 + d**4/3 + d**3/6 + 11*d**2. Let m be j(-4). Do m and 2/79 have different values?
True
Let w(t) = 67*t**2 + 3*t - 4. Let y be w(2). Let p = y + -3512/13. Which is smaller: p or -1?
-1
Let z = 4 - 6. Let y = -19.9 - -22.9. Let u = z + y. Does u = 0.3?
False
Suppose -2*n = -4*k + 14, 5*n + 1 = 2*k - 2. Let o be k*5/(-10)*12. Is o greater than 0?
False
Suppose 3*f = 20 + 13. Let c(h) = -4*h**2 + 10*h - 6*h**2 + 12 - 6*h**2 + h**3 + 4*h**2. Let v be c(f). Which is greater: 8/7 or v?
8/7
Let u be ((-256)/(-120))/8*(-9)/(-6). Is -15/7 > u?
False
Suppose 0 = -2*t - 3*n - 4, 3*t + 3*n = -2*n - 8. Which is smaller: t or -1.5?
-1.5
Let z = -2.07 - -0.07. Let x = -152/15 - -49/5. Which is bigger: z or x?
x
Let a = 193 - 196. Let y be (-326)/90 + 4/18. Is a < y?
False
Let p = -4642691967/520 + 8928257. Let d = -6/65 + p. Which is bigger: 3 or d?
d
Let j = -23 - -27. Let f be -3*(-830)/615 - j. Which is greater: 1 or f?
1
Let l = 106 + -105.99. Which is bigger: l or 14?
14
Let o = 0.05 - -0.35. Let y = o - 0.45. Let j = 247 - 248. Is y less than or equal to j?
False
Suppose 0 = 2*f + 3*p - 11 + 2, 0 = -5*f + p + 31. Which is smaller: f or 4?
4
Let g = 64 + -69. Let f(b) = 4*b**3 + 20*b**2 - b - 4. Let u be f(g). Let v = 26707/49 - 545. Which is greater: u or v?
u
Let c be (-1)/(-22*2/20 - -2). Suppose -c*v + 14 = 4. Is 11/4 at least as big as v?
True
Let c(i) = 5*i**2 + 26*i + 64. Let h be c(-9). Is 232 smaller than h?
True
Let j = 18831785 + -3822859997/203. Let z be (-550)/35*(-48)/(-20). Let d = j - z. Are -1 and d nonequal?
True
Let g = -1085 - -81379/75. Which is greater: g or -1?
g
Let d be (-1 + (-5)/85 + 1)*-1. Does d = 2?
False
Let c = -1543 - -1689. Is 732/5 greater than c?
True
Suppose -3*r - r = 5172. Let u = -3808/3 - r. Let o = u - 24. Which is bigger: 1 or o?
1
Let q be (-1)/14*(-420)/24. Let a be 2 - 0 - 0/(-1). Suppose a*y - 3 = -y. Do y and q have different values?
True
Let y = 12 + -11.8. Let u = -558 - -556. Which is smaller: y or u?
u
Let m = 25 - 24.89. Let p = -0.21 + m. Suppose -4*v + 3*s = 2*s - 5, 4*v + 4*s - 20 = 0. Which is greater: p or v?
v
Let d(h) = -h**3 - 11*h**2 - 3*h - 21. Let s be d(-9). Let o = s + 229. Which is smaller: o or -2/3?
-2/3
Suppose -2*i - 6*u + u - 2 = 0, -2*u - 8 = -i. Let d be 2/i - (-25)/(-42). Suppose -4*x + 3 + 1 = 0. Which is greater: x or d?
x
Let h = 4528/11 - 3744634/9097. Which is smaller: h or 0?
0
Let b = -8 + -62. Let z = b - -55. Is z greater than or equal to -17?
True
Let t be (-132)/14*735/(-15). Suppose 57 = -5*w + 5*i + t, -5*w - 4*i + 432 = 0. Which is smaller: 85 or w?
w
Let z = -107 + 106. Let h = 3.3 - 1.8. Which is greater: h or z?
h
Let w = -1234 - -1236. Let s be (198/39)/2 - 1. Which is smaller: s or w?
s
Suppose 6*j = 4*j + q + 9, 21 = 4*j + q. Let h be -7 + 12 + -4 - -4. Is j at most h?
True
Let t(a) = a**3 - 15*a - 10. Let h be t(5). Let i(l) = 5*l**3 - l + 1. Let x be i(2). Is x bigger than h?
False
Let t(u) = u**3 - 18*u**2 + 77*u - 24. Let d be t(13). Is d <= 130?
False
Let x be 2/((2/(-6))/((-1027)/(-26))). Is x less than or equal to -238?
False
Let s be (-192)/15 + 3/(-15). Let h(c) = -c**2 - 6*c + 17. Let l be h(-6). Suppose 0 = -2*n + j + j - 30, 3*j - l = n. Which is greater: n or s?
s
Let z be 6/(-16) - 726/(-2064). Which is smaller: z or 1?
z
Let f(s) = -2 + 3 + 1 - 22*s + 18*s. Suppose 0 = -3*m - 1 + 4. Let z be f(m). Is -5 <= z?
True
Suppose -5 = 3*j + 1. Let t be j/(-5) + 6/(-15). Which is smaller: -5 or t?
-5
Let o = 409 + -574. Let c = 115 + o. Which is greater: -51 or c?
c
Let d = -4 + -4. Let v = 23 + -38.6. Let g = v + 15.6. Is g < d?
False
Let f = 2 - 1. Let v = 1 - f. Let h = 0.81 + -0.71. Is h greater than or equal to v?
True
Let n(c) = 14*c**2 + 4*c + 1. Let s be n(-1). Suppose s*v - 4 = -48. Which is greater: v or -19/6?
-19/6
Let l be 0/((-1)/((-2)/4)). Let f be (-6)/13*48/36 + 3/3. Is f greater than or equal to l?
True
Let j = -9 + 10.7. Let p = 0.7 - j. Let b = -0.04 + -0.04. Which is smaller: b or p?
p
Suppose -12 = 2*n - 6*n. Let u be (1/n)/((-3)/2). Let i be 2 + (-17)/(3570/392). Is i greater than u?
True
Suppose 27 = 3*y + 5*z, 5*z = -y + z + 16. Let m be 2*((-57)/12 + y). Let f be 4/(-6) - 2/6. Does m = f?
False
Suppose -4*v + 11 + 1 = 0. Let u be 1/(5/(-70))*2/(-4). Is u at most v?
False
Suppose 0 = 18*k - 262 + 244. Let n = -2145/16 - -134. Is n greater than k?
False
Let r be (-18)/4 + (-1)/2. Let q = 25 + -28. Let o be 3 - ((-29)/r + q). Which is smaller: o or -1?
-1
Let x = -0.0034 - -44.1034. Let j = 44 - x. Is j != -5?
True
Let d = -137/60 + 11/5. Let c = 11/24 + d. Let g = 0.142 - 0.042. Which is bigger: g or c?
c
Let p(h) = -h**2 - 3*h + 1. Let b be p(-3). Let j be ((-1 + b)*-1)/(-1). Let c = 33/5 + -27/4. Is j greater than or equal to c?
True
Let n be ((-29)/3 + 7)/(202/9). Is n >= 0?
False
Let l be (-7 - (-3 + -3))/1. Which is greater: 279 or l?
279
Let t be ((-14)/4 - 1)/(-33). Let x = 12 - 11. Which is smaller: t or x?
t
Let q(r) = 2*r**2 - 3*r + 9. Suppose -13*j + 54 = 5*j. Le