Let v = -29 - -146/5. Let x = -5.9 - -5.9. Are x and v non-equal?
True
Suppose 4 + 8 = -4*i + 4*o, -o - 3 = 2*i. Let p be ((-4)/(-6))/(4/(-3)). Which is greater: p or i?
p
Let a be (1 + -3)/((-39)/3). Do 1 and a have the same value?
False
Suppose 0*o = o - 4*a - 6, -3*o = 5*a + 16. Let q be 0*-2*3/(-18). Is q less than or equal to o?
False
Let g = -3 - -2.9. Which is smaller: 4 or g?
g
Suppose -q = -3*q + 4. Let j be (-9)/(-7) + (-2)/q. Suppose l - 2*l + 1 = 0. Which is bigger: l or j?
l
Let j be 0 - 1 - (6 - 6)/(-3). Let f(s) be the first derivative of -s**2/2 + 2*s + 1. Let v be f(2). Are v and j equal?
False
Let h be (-50)/(-4) - 4/8. Which is smaller: -0.1 or h?
-0.1
Let w = 1595/3 + -528. Let m be ((-3)/(-6))/((-2)/(-16)). Which is smaller: m or w?
w
Suppose 0 = 3*d - 6 - 3. Are d and 3 equal?
True
Let h be (6/(-4))/((-1)/2). Let b be h/1*(-2)/6. Which is greater: b or -2?
b
Suppose 5*f + 8 - 108 = 0. Let b be ((-2)/(-10))/(32/f). Is b >= 2/3?
False
Suppose 8*b = 10*b + 26. Do -14 and b have the same value?
False
Let m = -28 - -38. Is m greater than or equal to 10?
True
Suppose -2*w + 18 = -3*w. Suppose -b - 5*j - 23 = 0, b + 5*j = j - 18. Let r be -1*b*9/w. Is r at most -2/5?
False
Let k = 0.15 + -0.55. Which is greater: k or -0.2?
-0.2
Suppose n - 5 + 1 = 0. Suppose 0 = 2*p - 2, 0*a + a - 4 = -n*p. Which is greater: a or 0.5?
0.5
Let z(b) be the third derivative of b**4/24 - b**3/3 + b**2. Suppose -4*r = -3*r. Let a be z(r). Is -2 smaller than a?
False
Let p = 2 - 2. Is p >= 1/6?
False
Let h = 8 + -31/4. Let n = -4 + 3. Is h less than n?
False
Let h = -0.042 - 0.058. Which is smaller: h or 16/3?
h
Let i = -44 - -44. Which is smaller: i or 2/5?
i
Let n be ((-16)/(-108))/4*-5. Let k = -29/135 + n. Which is smaller: -0.5 or k?
-0.5
Suppose 2*y + 19 = -3*h, 2*y = 4*h - 5 + 21. Which is smaller: y or 3/7?
y
Suppose 17*m - 18*m = 5*y - 286, -5*m - 52 = -y. Are y and 0.2 equal?
False
Suppose -5*o + 3*n + 2*n = 10, -4*n = 3*o - 29. Let h be -2 + -3 + 5 - (1 - 0). Which is smaller: h or o?
h
Let n = -0.1 - 0. Let o = 125 + -85. Let j = -119/3 + o. Are n and j nonequal?
True
Let k(a) = -a**3 - 5*a**2 - 4*a - 5. Let i be 3/15 - (-93)/(-15). Let f be k(i). Let c be 8/(-198) + (-10)/f. Are c and -1 non-equal?
True
Suppose 2*c - 9 = -3*j, 7*j - 2*c - 9 = 4*j. Suppose 0 = -x - 5 + j. Which is smaller: 0 or x?
x
Let k = 53 + -51. Which is greater: 2/3 or k?
k
Let u = 6 + -7. Let j = 8/15 + -7/10. Is j less than u?
False
Let w(s) = -s**2 + 11*s - 10. Let p be w(10). Suppose -2*x + 1 + 9 = p. Which is bigger: 7 or x?
7
Suppose -3*f - 2*r = 172, -r - 231 = 3*f - 61. Which is bigger: f or -55?
-55
Let a(q) = -8*q - 1. Let y be a(-1). Let r = y - 5. Which is smaller: 1 or r?
1
Suppose -4*r + 10 = -6, -5*b - 21 = -4*r. Do 4 and b have the same value?
False
Let y = 2/91 - -172/455. Is y at least 0?
True
Let b = 455/18 + -4390/171. Let x = b + 11/38. Is 1 less than x?
False
Suppose 0 = -3*d - 4*t - 9, -8*t - 12 = -4*t. Is d != -1?
True
Let s = 65/77 + -14/11. Which is smaller: 1 or s?
s
Let g(s) = -s**2 - s + 2. Let j be g(0). Suppose -j - 18 = -5*y. Which is smaller: y or 2?
2
Let c = -63 + 81. Which is smaller: c or -1/4?
-1/4
Let y = 39.2 + -29. Let w = -10 + y. Let m be (4/(-6))/(4/12). Which is greater: m or w?
w
Suppose 0 = 5*w - 2*w - 15. Suppose w - 4 = m. Is 2/21 at most m?
True
Let c = -80 + 112. Is 33 greater than or equal to c?
True
Let s = -22 - -35. Let p = -32 + 44. Are p and s equal?
False
Let g(w) = -w + 6. Suppose -6*d = -d - 20. Suppose -d - 23 = -3*v. Let c be g(v). Do -4 and c have the same value?
False
Let i(n) = -5*n + 3. Let p be i(-2). Is 11 < p?
True
Let k be 94/30 - 7/(7/3). Suppose -2 - 1 = a - s, 4*a - 16 = -3*s. Which is greater: k or a?
a
Suppose -4*j = 39 + 81. Let b be (-72)/j - 4/10. Let g(f) = -f**3 - 4*f**2 + 3*f - 7. Let w be g(-5). Is b at most w?
True
Let b = -5.86 - 0.14. Let l = b + 5.9. Which is bigger: l or -4?
l
Let h = -4 - -4. Suppose -4*j + 5 + 7 = h. Let f be (-28)/(-6) + (-2)/3. Which is smaller: f or j?
j
Let i = 0.19 - -0.71. Let u = i + -1. Let v(n) = n**3 - 7*n**2 - 7*n - 8. Let j be v(8). Which is greater: j or u?
j
Let l = 2645/14 - 189. Is l at least as big as -1?
True
Let u = -0.304 - -7.384. Let q = -49 + 56. Let c = q - u. Does c = 0?
False
Let l be -1 - (-1 + -1 + 0). Suppose 0 = h + l - 0. Let j = 19/6 - 35/12. Which is smaller: j or h?
h
Let u = -0.5 - -0.56. Is u >= 1/3?
False
Let c be (-28*1)/(5 + -4). Let q = 25 + c. Is -3/2 less than or equal to q?
False
Let z(u) = -u**3 - 5*u**2 + 6*u + 3. Let o be z(-6). Let d be (-176)/(-20) + o/15. Let p be ((-2)/3)/(6/d). Is p smaller than 1?
True
Let l = 7 + -20. Which is bigger: l or -14?
l
Let r(b) be the first derivative of -b**3/3 - b + 7. Let y be r(0). Which is greater: -5/3 or y?
y
Let p be (-4)/(-8) + 2/4. Suppose 4*f + l + 5 = -2*l, -3*l = f - p. Let w be -2 - f - (-4)/2. Which is smaller: 3 or w?
w
Let h be (0 - -4)*(-3)/(-6). Let i = 15 - 11. Let w = 5 - i. Which is bigger: w or h?
h
Let a be (6/9)/((-5)/270). Is a > -38?
True
Let p(m) = -4*m**2 - 2*m - 1. Let u be p(-1). Let y(o) = 7*o. Let g(z) = -3*z. Let c(k) = -10*g(k) - 4*y(k). Let s be c(-1). Is u less than s?
True
Let u be 8/(-24) + 453/(-99). Which is smaller: u or -6?
-6
Let i = -16 + 67. Let t be (-108)/i + (3 - 1). Is 0 >= t?
True
Suppose 4*v = 7*w - 3*w - 3660, -4*v = 4. Let f = w - 8218/9. Is f equal to 0?
False
Let c = 363/4 + -90. Let q(p) = p**2 + p + 4. Let h be q(0). Suppose 3*i = h*w - 6, i - w - 7 = -4*i. Is c at most as big as i?
True
Let t = -10/27 - -136/513. Let i(l) = -l + 2. Let b be i(3). Is b at most t?
True
Suppose 3*o - 2*u - 18 = 0, 4*o - u - 13 = 2*o. Suppose -2*i - 4*m = 14, 3*i - 46 = o*i - m. Which is smaller: -7 or i?
i
Suppose 4 = -3*t + 5*t. Suppose -3*b = -4*x - 12 - 0, 0 = -x. Is t > b?
False
Let r = 85 + -81.1. Let w = -4 + r. Is w smaller than -0.1?
False
Let i = -849 + -186. Let y be (i/(-65))/((-2)/4). Let f = y + 32. Which is smaller: 1 or f?
f
Suppose j = -2*g - 3*j - 4, 8 = -g - 5*j. Suppose -2*v = c - 0*c + 37, 2*c + 90 = -5*v. Let s be (g/(-5))/(v/(-50)). Which is greater: s or 0?
0
Let c = 423/4 + -106. Do c and -59 have different values?
True
Let p(t) be the third derivative of -t**5/60 - 5*t**4/24 - 2*t**2. Let j be p(-5). Let x be (j - 1/3)*1. Does -2 = x?
False
Let r be ((-56)/22 + 2)/1. Let w(y) = y + 11. Let d be w(-5). Suppose d*l = 2*l - 4. Is l at most r?
True
Suppose 0 = -5*j + 837 - 127. Let w = j - 708/5. Let k = 19/3 + -17/3. Which is smaller: k or w?
w
Let t = -19 + 17. Which is bigger: t or 1?
1
Suppose 0 = -j - 3*j - p + 4, -2*p - 4 = 2*j. Let a = 41/30 - -2/15. Which is bigger: a or j?
j
Let d be ((-56)/(-210))/(2/(-3)). Which is greater: 1 or d?
1
Let w be (-1)/(-3)*(-9)/(-3). Let s be 1/((-2)/(w - -1)). Let h = -1 - s. Is -1 less than h?
True
Suppose -3*h - 5*t - 21 - 13 = 0, 4*h = 4*t + 8. Is 3 != h?
True
Let k = -22 - -16. Let r be ((-17)/6 - -3)*2*-15. Is r bigger than k?
True
Let s = 4.2 + -4.4. Suppose 0 = -9*o + 4*o + 5. Which is smaller: o or s?
s
Let a = 6 + -6.15. Is -1 < a?
True
Let n(l) = 4*l - 6. Let c be n(5). Let y = c + -212/15. Is -1/3 > y?
False
Let i = -4 - -6. Suppose 4*n = -u + 33, 0 = i*n - 0*n + u - 15. Suppose 3*t = 2*c - 22, -2*c + n = -2*t - 9. Does c = 5?
True
Suppose 3*k + 3 = 6*k, 2*n + 4*k = 196. Let r be (-4)/22 - 15876/165. Let u = n + r. Do u and -1/4 have different values?
True
Let g(j) be the third derivative of j**5/120 + j**4/3 + j**3/3 - 2*j**2. Let k(x) be the first derivative of g(x). Let t be k(-8). Which is greater: 1/5 or t?
1/5
Let p be (-1 + 4)/3*1. Which is bigger: 2/119 or p?
p
Suppose 0 - 3 = 3*h. Let q be 351/143 - (-3)/h. Which is smaller: 0.2 or q?
q
Let d be 1 + 0 + 0 + 20. Let h be (-4)/3*d/(-14). Is h smaller than 0?
False
Let r = -23 + 14. Let t = 9.1 + r. Is t at most 1/4?
True
Suppose -3*b - 2*m + 6 = -b, 0 = b - 3*m + 9. Let r be -2 + 0 + (-7)/1. Let q be 6/(-4)*6/r. Is q < b?
False
Suppose -4*x - 2*o = 40, 2*o + 14 = -2*x - 2*o. Let d = x - -3. Let l = d + 9. Is -2/27 <= l?
True
Let j(u) = -2*u - 6. Let r be (-1)/2*(8 + 2). Let y be j(r). Suppose 4*g - 9 = a, 21 = 2*g + a + y*a. Which is bigger: g or 5/2?
g
Let z = -0.3 + 0.2. Let m = 0.4 - z. Let o = 0.4 - m. Whic