+ 14 - 5. Let r be c(p). Is r equal to 5?
False
Let c = 60.31 + -60. Let m = c + 0.09. Which is bigger: m or -1?
m
Let l(b) = 40*b + 3. Let r be l(-2). Let x = 463/6 + r. Which is bigger: -1 or x?
x
Let w = -1 - -4. Suppose i - 4*x - 7 = 0, 5*x - 5 = -4*i + 2. Let h = w - i. Is -1/4 equal to h?
False
Let i be -2 + 4/(1 + 3) + 2. Let o = 5 + 1. Let d be 2/9*o/4. Which is smaller: d or i?
d
Suppose 3*r + 0*s = -2*s + 7, 4*r = 3*s + 32. Suppose 0 = 2*h + r + 1. Suppose -2 - 2 = 2*v. Which is bigger: v or h?
v
Let s = -0.07 - 9.93. Let b = -581 + 579. Is b > s?
True
Let q(u) = 31*u**3 - 1. Let w be q(-1). Do w and -32 have the same value?
True
Let l = -3.75 + 4. Is 2/3 greater than or equal to l?
True
Let u(w) = -w**2 + 2*w - 2. Let m be u(2). Let d = -1 + 3. Let a = 0 + d. Are m and a equal?
False
Let y = 13 + -14. Let h = -1 + y. Is -1 at least as big as h?
True
Let i = -2 - -4. Suppose -i*j + 0*j + 8 = 0. Suppose 0 = 3*m - j + 7. Which is bigger: m or 1/4?
1/4
Let a = 0.5 - 0. Let t = a + -0.4. Let s = -2.3 + -0.7. Which is bigger: t or s?
t
Let n = 2 + -4. Let t be n*(-9)/(-12)*1. Let p = 2 + -3. Which is greater: t or p?
p
Let u(z) = z**3 - z**2 - z - 1. Let m be u(2). Which is smaller: m or 3?
m
Let f = 2 + -2. Let h = f - -5. Which is smaller: 2/5 or h?
2/5
Let c = 3 + -2. Let n be (-12)/(-32)*(-8)/30. Which is smaller: n or c?
n
Suppose -z - 6*z + 7 = 0. Is z at most -1/44?
False
Let b = -10 - -14. Suppose -b*c + 8 = 4. Is 1 greater than or equal to c?
True
Suppose 1 = -k + 3. Let f = k + -1. Which is greater: -2/11 or f?
f
Let v = -2.03 + 0.03. Let a = v + -1. Let i be ((-57)/76)/(54/16). Which is smaller: i or a?
a
Let v be (-2)/(-6) - (-168)/(-18). Which is smaller: -8 or v?
v
Let a = -2.3 + 2.32. Is 1 less than or equal to a?
False
Let u = -0.09 - -2.09. Are u and 3/4 non-equal?
True
Let u be (1 - 0)/(1/(-2)). Let d be 5 - (4 + u) - 1. Suppose -4*o + 6 = -2. Is o > d?
False
Let r(h) = 2*h**3 - h**2 - h + 37. Let i be r(0). Is i not equal to 37?
False
Let t = 0.8 + -0.72. Let r = t + 0.92. Which is smaller: r or 7?
r
Let y(m) = 4*m - 20. Let w be y(4). Suppose 0 = 5*j - 4*v + 18, -2*j - 7*v = -4*v - 2. Is j at most w?
False
Let w = 12 - 11.9. Is -2/3 bigger than w?
False
Let i(y) be the first derivative of -y**3/3 - y**2 - 3. Let s be i(-2). Let a be -4 + -1 + s + 2. Which is smaller: -4 or a?
-4
Let l(y) = -y**2 - 6*y + 3. Let m be l(-6). Suppose 0 = m*p - 2 - 1. Is 1/6 < p?
True
Let y = -0.01 - -0.23. Let m = -0.32 + y. Which is bigger: -4/7 or m?
m
Let p be 3*(-4)/(-10)*1. Which is greater: 0 or p?
p
Let t = -1.7 - 1.3. Let c be (-4)/14 - (-69)/21. Suppose 3*m + c*x = 0, 0*m + 2*x - 3 = m. Is t at least m?
False
Let b = 1.1 + -10.1. Let v = 5 + b. Is v != -2/7?
True
Let w be 14/(-4) + -4 + 8. Are w and 1 unequal?
True
Let c = 18 + -13. Let o be (-8 + 7)*(-6 - 1). Let v = o - 3. Is c smaller than v?
False
Suppose 8 = m - 4*c + 1, 5*m + 5*c = -15. Let v = -173 + 97. Let n be (-24)/8 + v/(-26). Which is greater: n or m?
n
Let k(o) = o**2 - 4*o + 4. Let i be k(5). Let h = i - 4. Which is greater: 4 or h?
h
Let c = -35.5 + 17.3. Let t = c - -15. Let h = t + 3. Is 1 != h?
True
Let n(t) = -46 + 42 + t**2 + 0*t + 5*t. Let x = -4 - 2. Let d be n(x). Do d and 2 have the same value?
True
Let c = 7 - 5. Are c and 8/7 equal?
False
Let o = 57 - 738/13. Is o <= 0?
False
Let u be ((-36)/(-8))/(6/8). Let q be (6/9)/(u/(-9)). Let t = q - 0. Which is smaller: 2/5 or t?
t
Let w = -26 + 37. Is w bigger than 12?
False
Suppose -p - p = -2. Suppose 2*b + 4*g + 8 = 0, 4*b + 0*b = -5*g - 19. Let s be 3*(-5)/((-1575)/b). Which is greater: s or p?
p
Let z(m) = 2*m + 1. Let g be z(5). Let q = g - 3. Let y be 5/12 + (-2)/q. Is 1 at most y?
False
Let j = -22/23 + 244/207. Let w = 26 + -27. Which is smaller: w or j?
w
Let a be 10*(2 - (-9)/(-6)). Suppose -2*k = -3*t + a, 0 = -4*t + 4*k - 3*k. Is t greater than 1/4?
False
Let d = -26 - -27.2. Which is smaller: d or 0.1?
0.1
Let d = 16 + -11. Let n = 5 - d. Suppose -2*v - 6 = -2*g + 2*v, g + 2 = -3*v. Is n <= g?
True
Suppose 0 = -3*d - 5*c - 12 - 7, 0 = 2*d - 4*c - 24. Suppose -3*x + d = -5*x. Is -2/9 less than or equal to x?
False
Let z be 6/3 - 1 - -1. Suppose 5*b + 17 = -2*y, -z*y - b = -0 + 5. Which is smaller: 1 or y?
y
Let z = 1/20 + 17/60. Let c = 4 - 1. Suppose 2 = a + c. Which is greater: z or a?
z
Let c be (1 + 0)*(4 + -4). Is -2/5 less than c?
True
Let i = 17.06 + 0.94. Which is bigger: i or 0.03?
i
Let s = 2 - 0. Do s and 4 have the same value?
False
Let n be 3 + (-4 + -1)*(-4)/(-5). Which is bigger: -10 or n?
n
Suppose -2*q - 1 = -3*b - 4, -4*b = q - 7. Are q and 4 equal?
False
Let i(c) be the first derivative of -2*c**2 - 2*c - 1. Let f be i(-2). Is 5 at most f?
True
Let t be (-1)/(4/(-368)*-4). Which is greater: -0.2 or t?
-0.2
Let r be -4*(-1 + 6/4). Let i be 2/6 + r/6. Let u be i/(1 + 0 + -3). Is u at most as big as 0?
True
Let g be 3/(-5) - (-7)/(-5). Let h be (-11)/g + (-3)/(-2). Are 7 and h unequal?
False
Let z = -4 - -5. Let h be (-895)/6*(-18)/(-20). Let g = 135 + h. Which is bigger: g or z?
z
Let o(y) = -y**2 - 4*y + 2. Let d be o(-3). Suppose i - d = -3. Let r be (0 + i/4)*0. Which is smaller: r or 3/4?
r
Let m(f) = -f**2 - 12*f + 13. Let h be m(-14). Are h and 1/3 equal?
False
Suppose 0*c + c = -1, 2*s = 5*c - 11. Let z(h) = 2*h + 12. Let n be z(s). Is 2/3 > n?
True
Let j(u) = u**2 - 6*u - 5. Let b be j(6). Let w = 6 + b. Which is greater: -3/10 or w?
w
Let r(k) = -k**3 + 7*k**2 - 6*k - 1. Let x(t) = 5*t + 1. Let w be x(1). Let a be r(w). Let f = 4/45 - 14/45. Is f bigger than a?
True
Let k = -3 - 5. Let i(d) = d**2 + 7*d - 7. Let u be i(k). Do 2/13 and u have different values?
True
Let n(r) = -3*r**2 + 2*r - 1. Let t be n(2). Let z = -7 - t. Is 3 greater than z?
True
Suppose -1 - 3 = -4*x. Let f = -40 - -198/5. Which is bigger: x or f?
x
Let y = -6 + 6. Which is greater: y or -2/13?
y
Let i = -3.94 - 0.36. Which is smaller: 1 or i?
i
Let g be ((-8)/10)/((-6)/5). Is -18 greater than or equal to g?
False
Let p be (-8)/2 - 136/(-36). Which is bigger: p or 1?
1
Let o(v) = 5*v - v**2 + 0 - 2*v + 2. Let y be o(5). Let s be (-2)/(-3) - y/(-9). Is 0 < s?
False
Let r = -0.3 + 0.31. Let t = r + -1.01. Which is greater: 2/7 or t?
2/7
Suppose 9*j = 4*j + 5. Is -2/11 < j?
True
Let b = -4 + 3.96. Let l = -3.04 - b. Let u = l - -4. Is u bigger than -2?
True
Suppose -4*m - 260 = 9*p - 5*p, -5*p - 318 = -2*m. Is p less than -64?
False
Let i(a) = a**2 - 2*a + 2. Let v be i(2). Suppose 5*x + v = -13. Do x and -3 have the same value?
True
Let u = -8 - -9.4. Let h = u + -1.3. Is h greater than -1?
True
Let b(c) = 4*c**2. Let p be b(-1). Let t = -3 + p. Is -2/11 > t?
False
Let x = -0.04 - -0.44. Let n = x + 1.6. Is -1 at least n?
False
Suppose -6*n = -n. Is n greater than or equal to -6/11?
True
Let i = -154 + 188. Is 32 <= i?
True
Let s = -16 - -18.8. Let v = 3 - s. Which is greater: -3 or v?
v
Let j(o) = o**3 - 4*o - 3. Let m be j(-2). Are m and -1 non-equal?
True
Let x = -655400/213 + 3077. Which is smaller: x or -1?
-1
Suppose c = -2*b - 4, 5*c + 64 - 11 = b. Let s = c + 7. Let x be (s + 2)/(1 + 0). Are 0 and x equal?
False
Suppose -q + 2*t = 2*q - 15, 0 = -3*q - 4*t + 15. Suppose 0 = -q*m + 4*m - 3. Is m bigger than 0?
False
Let r = 3.7 - 3.681. Is r less than or equal to 1/4?
True
Let t(j) = -j + 7. Let u be t(5). Let g be u - (-5)/((-105)/36). Is 2/3 less than g?
False
Let w be (3/(-5))/(8/40). Let d(n) = -2*n**2 - 3*n - 1. Let k be d(w). Let c(m) = -2*m - 13. Let v be c(k). Are 7 and v non-equal?
False
Let k = 100 + -101. Is -3 >= k?
False
Let f = -16 + 19. Suppose -f*t - 2 = 1. Which is smaller: t or 1/13?
t
Let z = -5 + 5. Let d = -3 + -3. Let s = 8 + d. Is z at most as big as s?
True
Let b(y) be the second derivative of y**4/12 - y**3 + 5*y**2/2 - 2*y. Let r be b(6). Suppose 2*c = j + 2, -3*j = 4*c + r + 11. Which is smaller: c or 2/13?
c
Let w be 5*1/5 + -2. Let k be 3/(-1 - -49)*1. Which is bigger: w or k?
k
Let w = -3 + 20/7. Which is greater: -1 or w?
w
Let t be (-7 + 10)*((-13)/3 - -1). Which is greater: -11 or t?
t
Suppose -2*d + 0*d = 4. Let m be 1/(((-6)/(-3))/d). Which is smaller: 2/7 or m?
m
Let a = -0.51 + -0.19. Is a equal to -2/7?
False
Let a be -2 - (4 - (-2080)/(-345)). Is a greater