o v?
True
Let s = -4.102 + -0.768. Let q = -0.13 + s. Is 0 not equal to q?
True
Let q = 12 - 12. Is q <= 8/7?
True
Suppose 0 = -4*y + h - 8 + 2, 3*y = -4*h - 14. Let n(i) be the third derivative of i**5/60 + i**4/12 + i**3/3 - i**2. Let a be n(-2). Is y < a?
True
Let f = -3 + 2. Do 17 and f have the same value?
False
Suppose -5*l = -3*f + 14, -3*l = -4*l + 2*f - 7. Let b(x) be the third derivative of x**4/12 + x**3/2 + 2*x**2. Let k be b(-2). Is k <= l?
True
Let u = -0.018 - -0.018. Are u and 5/2 nonequal?
True
Let g = 21 + -21. Which is bigger: -20/17 or g?
g
Let j be 2 + (-1 + -1)/2. Which is greater: 2/15 or j?
j
Suppose -2*m + 2 = -c, 4*m - m - 25 = -4*c. Suppose 3*h - 5*h + 6 = 0. Which is greater: c or h?
c
Let n = 39 + -133/4. Which is greater: 5 or n?
n
Let p = -0.1 + -7.9. Let v = -4 - p. Which is smaller: v or 2/7?
2/7
Suppose 8*c + c = -63. Which is smaller: -6 or c?
c
Let c = -124/3 - -41. Suppose -6*u + 29 = 35. Which is greater: c or u?
c
Suppose m + 1 = -0*m. Let s(c) = 4*c**2 + c + 1. Let u be s(m). Suppose -2*j + 3 = -0*q - q, 2*q = -u*j + 2. Which is bigger: q or -1/8?
-1/8
Let l = -2.14 - -2.1. Which is bigger: l or -1/3?
l
Suppose -p + 0*p + 1 = 0. Is p at least -1?
True
Suppose h = 2*h - 1. Let f be (-5)/2 - (-1)/2. Let y be (f/(-3))/(2/3). Are h and y equal?
True
Let k = 2 + -3. Suppose -3*p + 5*p = -4*z + 2, -4*z + 3*p = 13. Let m = 4 + z. Is k not equal to m?
True
Let i = -134 - -124. Are -1/4 and i unequal?
True
Let y = 38 + -113/3. Which is smaller: y or -3?
-3
Let p be (-1 - 2)*(-1 + 0). Suppose -l - 7 = -2*l + 3*s, 0 = p*l + s - 1. Suppose -4*t = -q + 6*q, -3*t = 3*q. Is l at least as big as t?
True
Suppose -4*c = -6*c. Suppose c = 3*u - 4*u. Is -1 > u?
False
Let s be (-3)/(-6) + (-5)/2. Let y be (-1)/s - (-2)/(-4). Let d be 2/4 + 2/(-6). Which is smaller: y or d?
y
Suppose -p + 2*p = 0. Suppose -5*m + 6*m = p. Is 1 not equal to m?
True
Let o be 0 + (-9)/3 + 5. Let q = 1 - o. Do q and -1/9 have the same value?
False
Let a = 261656800/328389 - -1105/6439. Let x = a + -797. Is x at most as big as 1?
True
Suppose 4 + 4 = 2*z. Suppose 0 = 8*g - z*g. Which is smaller: g or -1/6?
-1/6
Let q = -27 - -27. Which is greater: -2/9 or q?
q
Suppose 0*k = -3*k + 8*k. Is 2/459 less than or equal to k?
False
Suppose 0 = -4*h + 4. Which is smaller: 8 or h?
h
Let b(o) = o**3 - 6*o**2 + 5*o - 3. Let i be b(5). Suppose -5*d + 11 = 4*w, 4*d + 26 = 3*w + 10. Suppose w*u + 4 = 3*u. Which is smaller: u or i?
u
Suppose -4*p = -7*p. Suppose p*b + 3*b = 0. Which is greater: 2/25 or b?
2/25
Let m = -2 - 3. Let f = m - -6. Is f bigger than 1?
False
Let v be 2/10 - (-12)/(-20). Is -1 bigger than v?
False
Let n = -7 - -10. Let i be ((-33)/(-22))/(3/4). Is n smaller than i?
False
Let y be (2 - 4)/(-2)*1. Let v be 7*(3 + (-2)/y). Do 6 and v have different values?
True
Let l(r) = -r**3 - 14*r**2 + 51*r + 12. Let u be l(-17). Is u > 35/3?
True
Let o(i) = 2*i**3 - i**2 + i. Let h be o(1). Which is bigger: h or 3?
3
Let u be (1 + -2)*4/(-14). Let z be (-3 - 58/(-12))*(-14 - -12). Which is greater: z or u?
u
Suppose 0 = 2*a - 7*a + o + 20, 10 = 2*o. Let m be (a - 4) + 0 + 0. Which is bigger: 2/39 or m?
m
Let g(c) = c + 3. Let m be g(-4). Let t = 212 - 3179/15. Is t less than m?
False
Let r = 21.99 - 22. Is 0 not equal to r?
True
Let b(q) = q**3 - q**2 + q. Let d be b(0). Suppose 3*k - 1 - 2 = d. Is 0 at least k?
False
Let p(c) = c. Let v be p(3). Let w be (-32)/(-12) + 4/(-6). Suppose -v*z = -w*z - 1. Which is smaller: z or 1/5?
1/5
Let y = 0.2 - -4.5. Let f = y - 0.7. Which is smaller: f or -2/3?
-2/3
Let n = 73/231 - 1/33. Does 5/3 = n?
False
Let j = 52 - 125. Let g = 1457/20 + j. Let f = 31/60 - g. Which is smaller: -1/4 or f?
-1/4
Let o(c) = c**2 + 2*c - 5. Suppose 8*l + 16 = 4*l. Let p be o(l). Suppose 1 = -4*j - p. Is j > -1?
False
Suppose s = -2*r + 33, -4*s = -4*r + 20 + 28. Let i = r - 13. Is 1 equal to i?
False
Let w = -7/131 + 2369/39431. Do -1 and w have different values?
True
Let c be 1/(-2) - 7/2. Suppose -4*y + 2*y = 8. Is y smaller than c?
False
Suppose -35 = 5*p - 0*p. Let w(v) = v + 6. Let s be w(p). Let g be 2 + (-4 - (-2 - -2)). Is g less than or equal to s?
True
Let q be (1*-1)/((-1)/5). Let t(l) = -l**3 - 5*l**2 + l + 3. Let u be t(-5). Let f be (-20)/(-68)*u/q. Which is greater: f or -1?
f
Let l(v) be the second derivative of v**5/20 + v**4/6 - v**3/2 + 3*v**2/2 - 4*v. Let c be l(-3). Suppose c*d = -2*d - 5. Is -3 not equal to d?
True
Let v be ((-8)/(-12))/((-56)/(-6)). Is 1 at most v?
False
Let y be 10 + -9 - 14/6. Which is smaller: y or -0.02?
y
Let g be (-48)/20 + (-6)/(-2). Which is greater: g or 2?
2
Suppose 2 = 4*m - 26. Let f = m + -7. Which is smaller: -2 or f?
-2
Let b(o) = -2*o + 12. Let f be b(12). Let c = f - 2. Is c equal to -14?
True
Let w be (-5)/20 + (-7)/4. Let x be (1/3)/(2/w). Let h(c) = c + 3. Let a be h(-4). Is a >= x?
False
Let r be (-5)/3 - -1 - (-40)/60. Is -6/5 < r?
True
Let k be 10/(-6)*60/(-50). Which is bigger: 3/2 or k?
k
Let m = -0.2 - -1. Let p = 0.2 + m. Let h be (2 - 5 - -4) + -2. Which is bigger: p or h?
p
Let g = -5.07 - -5. Let a = -2.09 - -0.16. Let u = g + a. Which is greater: u or 2/7?
2/7
Let p = 28 - 48. Let l be (-6)/p*(-8)/12. Is l >= 0?
False
Let m(o) = -o**3 + 16*o**2 + o - 17. Let v be m(16). Let i be ((-3)/(-8))/((-12)/8). Which is smaller: i or v?
v
Let q = 291 + -209. Which is bigger: q or 80?
q
Suppose 5*k - 8 = -4*a, 0 + 4 = -5*k + 2*a. Let s be 2/2 - (3 + k). Is s at most -3?
False
Let o be (-2572)/3498 + (-2)/(-3). Let v = o - 6/53. Suppose 2*j + 1 = 3. Which is greater: v or j?
j
Let v = 21 + -1. Let s = 19 - v. Does s = -6?
False
Let d be -3*((-82)/(-3) + -2). Let v = -123 + d. Let o = v - -1389/7. Is o greater than 0?
False
Let h be (7 - 5)/(1/(-6)). Let p = h - -11. Which is smaller: -1/7 or p?
p
Let l = -113 + 207. Which is greater: l or -1?
l
Let c = 2517264/55 + -45770. Let w = -15/11 - c. Which is smaller: w or 1?
w
Let l = 17 - 9. Let x = -15 - -18. Suppose 4*w = 2*j + 4, 0*j - 4*j = -x*w + l. Is 1/2 greater than or equal to w?
True
Let m = 16.2 + -1.2. Let t = m + -13. Is 2 >= t?
True
Let g be (2/5)/(8/10). Is g bigger than 1/2?
False
Let l be -2*-2*1/4. Which is greater: l or 1/10?
l
Let z = 3 - 1. Suppose z - 8 = w. Let a be (-3)/w - 0/1. Is 1 at most a?
False
Let z be (-170)/(-200) - (-6)/(-10). Which is bigger: 5 or z?
5
Let k be (-2 + -1)*2/33. Let v = 3 + -3. Is v <= k?
False
Let z be (-16)/(-4)*15/(-48). Let n(x) = -x**3 - 5*x**2 + 7*x + 5. Let q be n(-6). Is q bigger than z?
True
Let m be (3/(-3) - 3)/(-5)*10. Which is smaller: 9 or m?
m
Let a = -5.4 + 7.7. Let d = -0.7 - a. Let w = -31 + 32. Is d less than or equal to w?
True
Let c = -6 + 10. Which is greater: c or -0.2?
c
Let h be 21/49 - 601/(-35). Which is smaller: h or 19?
h
Let w be (-2)/5 + 12/(-20). Let h be 2 + (2/2)/w. Which is smaller: h or 5?
h
Suppose k + 22 = -4*m - k, 0 = 5*m - 3*k. Suppose 27 = 5*g - 3*x, -16 = -4*g + 3*x - 2*x. Suppose -5*w - 3 = 4*v, -2*w + 4*w + v = -g. Is m != w?
False
Suppose 0*c + 2*c = -2*o + 12, -2*o - 13 = -3*c. Which is smaller: -0.02 or o?
-0.02
Let m be (-1 + (-46)/(-42))/(7/3). Are m and 1 equal?
False
Let a(s) = -s**3 + 4*s**2 - 3*s. Let w be a(2). Suppose -w*t = -5*u - 3, 4*t - 3*u + 5 = -10. Let m = -2 + -3. Is t > m?
False
Let a = 2.4 + -2.51. Let i = -3.89 + a. Is i less than or equal to 2?
True
Let t(s) = -2*s**2 - 3*s - 1. Let o = 2 + -4. Let p be t(o). Which is smaller: p or -2?
p
Let q(g) = g**2 - 5 + 9 - 5 + 6*g. Let j be q(-6). Let o = -0.3 + 0.1. Is o <= j?
False
Suppose 0 = -l - 0*l - 1. Let r(n) = n**3 - 5*n**2 + 6*n - 2. Let s be r(4). Let k be s/26*(-2)/3. Which is smaller: k or l?
l
Let t(f) = -f**2 + 14*f - 9. Let m be t(13). Let o = 7 - m. Suppose -3*z = -z - 4*j - 16, 3 = -o*z - 3*j. Which is greater: z or 1?
z
Let h be 0 - (4/(-18))/1. Let g be (-18)/(-4) + 1/(-2). Suppose i - 5 = -g*i. Which is smaller: i or h?
h
Let p be -2 - (-1 - -2 - 2). Suppose -2 = -0*u + u. Let q be (-3)/20 - u/(-8). Is p bigger than q?
False
Let p be 1/(0 - (-27)/(-60)). Let s = 71/36 + p. Which is smaller: s or -1?
-1
Let v = 0.36 - 0.06. Let p = 1.4 - 2.7. Let h = v + p. Is h at most -1?
True
Let m = 6371/9 + -707. Which is greater: 0 or m?
m
Let p(m) = -m**2 + 4