d -13 equal?
False
Let o = -4.9 + 4.8. Is 4 >= o?
True
Let r be ((-6)/(-4))/((-1)/(-2)). Suppose 15 = r*a, 2*p + 5*a = -2*p + 33. Let m(d) = -d - 5. Let t be m(-7). Is p > t?
False
Let p = -143 + 724/5. Let k(o) = 2*o. Suppose -3*j + 1 = -5*z, -2*z + 4*j - 1 = 5. Let g be k(z). Is g greater than p?
True
Let j be 3/((-15)/(-10)) + 108/(-46). Is j at most as big as 0?
True
Let m = -41/18 - -5/2. Let f(p) = p**3 - 12*p**2 + p - 11. Let a be f(12). Does a = m?
False
Suppose 0 = -5*d - 1 + 11. Let k(i) = -2*i - 3*i**2 - i**3 + 6 - 3*i**2 - 2*i. Let r be k(-5). Is d less than r?
False
Suppose b - 4*b - 3 = 0, -2*b + 2 = -4*i. Let d = -21 + 17. Let l be 10/d*(-8)/160. Is i > l?
False
Suppose -8*t + 9 = -7*t. Which is smaller: t or 10?
t
Let j(n) = -n**2 + 9*n - 1. Suppose 0 = a - 3*a + 18. Let q be j(a). Which is smaller: q or 3/8?
q
Let g be (-17)/5 + 2/5. Which is smaller: -2 or g?
g
Let r be ((-7)/(-35))/((-2)/(-4)). Which is smaller: -1 or r?
-1
Suppose -3*l + 54 = -3*y, 6*l + 106 = -5*y + 3*l. Which is smaller: y or -21?
-21
Let x = -65 - -63. Which is smaller: -53 or x?
-53
Let f = -251/2610 - -3/58. Which is bigger: -1 or f?
f
Suppose -2*c + 0*c = 0, 3*w - 6 = -3*c. Is -4 < w?
True
Let z = -3 - -1. Let y be 7 + -6 - z*19. Suppose -3*t - 5*c + y = 13, -12 = -2*t - 2*c. Is t > 2?
False
Let o be ((-2)/(-2))/(14/4). Is -6 equal to o?
False
Suppose 11*a - 7*a = 0. Let b be (1 + a)/(-1 - 0). Is 1 less than or equal to b?
False
Let x be 294/(7 - 1) - -2. Is 49 bigger than x?
False
Let f be 17 - 12 - (-51)/(-13). Which is smaller: f or 0?
0
Let w = -43 - -131/3. Is 0.02 less than w?
True
Let b = -5 + 10. Suppose 3*d = 5*n - d - 29, 3*n = -d + 14. Is b > n?
False
Let o = -1 - -1. Let f = 0 + o. Which is bigger: f or 10?
10
Let r(a) be the first derivative of a**3/3 + 5*a**2/2 - 4*a - 9. Let j be r(-6). Which is greater: j or 3?
3
Let j = 9 + -17. Let a be 22/j - 1/4. Let o = 3 + a. Do o and -1/3 have different values?
True
Let a be 6/2 - (-3)/1. Suppose 5*s = -4*o - 38, o = 3*s + a*o + 28. Does -3 = s?
False
Let d(v) = v**3 - 3*v**2 - 4*v. Let m(a) = a**3 - 4*a**2 + a. Let l be m(4). Let x be d(l). Let j = x - 2. Which is bigger: -1/2 or j?
-1/2
Let l be (4 - 0) + (3 - 0). Which is smaller: 8 or l?
l
Let g(u) = u**2 + 8. Let v be g(0). Suppose -5*q + t - v = 0, 0 = 3*q - 3*t + 12. Let f = -2.2 - -2. Is q at most f?
True
Let w = -0.2 + 0.3. Let n = -0.9 - w. Is 2 at most as big as n?
False
Suppose -3*x + 49 + 8 = 0. Let q = x + -25. Which is smaller: q or -4?
q
Suppose -3*s - s - 8 = 0. Let n(d) = -3*d - 3. Let p be n(-3). Suppose -3*m - 4*b - 13 = -p*m, 0 = -2*m - 3*b - 14. Which is bigger: m or s?
m
Let w = -4.94 - 0.06. Let q = 4.9 + w. Let u = q - -1.1. Which is bigger: -0.1 or u?
u
Let d = -6 + 11. Which is greater: d or 4?
d
Suppose 2*p + p - 5*z - 20 = 0, 5*p + 4*z = -16. Suppose p*w = 3*w + 3. Which is greater: w or 16?
16
Suppose -2*r = -i + 14, -i = 4*r + i + 12. Is r != -29/6?
True
Suppose -2*o + 7*o - 10 = 0. Is 2/3 less than o?
True
Let r = 51091/47 + -1087. Is r less than -1?
False
Let k = 57 - 56. Which is smaller: k or 11/10?
k
Let o = -1445/13 - -111. Is o bigger than 3?
False
Let r = 30 + -28. Does 18/13 = r?
False
Let s = -3151/3668 - -1/524. Which is bigger: s or 3?
3
Let l be (-4 - -2 - -1)*(-1 + 21). Which is bigger: l or -19?
-19
Let q(d) = d**2 + 4*d. Suppose -5*f + 2*f = 12. Let b be q(f). Which is bigger: b or -1/2?
b
Let m be (-74)/70 + 6 + -5. Does 1 = m?
False
Let u = -3 - -3. Let z = u - -1. Suppose f + z = -0*f. Is 0.1 <= f?
False
Suppose 0 = l + 3*l + 3*t + 14, 4*t = l - 6. Is -5/4 >= l?
True
Let q = 73 - 74. Let u = -14 - -97/7. Is q at least u?
False
Let r = -376/765 - -4/85. Which is smaller: r or 0?
r
Let q = -9205/26 + 354. Is 2/7 at most q?
False
Let p = 0.9 + 2.1. Let q = p + -3. Is -3 bigger than q?
False
Let y be (-28)/(-6) - (-2)/6. Let s be -2 + 3 - -1*3. Let b = s - y. Which is greater: b or 0?
0
Let t be (-1)/4 + 75/140. Which is smaller: t or 2/9?
2/9
Suppose 2*h = a - 0 + 1, -3*h - 4*a + 7 = 0. Is 1 less than or equal to h?
True
Let g(y) = y**3 - 5*y**2 - 1. Let f be g(5). Let x(c) = -c**2 - 3*c + 1. Let t be x(2). Let a be (0 + -3)*(-2)/t. Are a and f equal?
False
Suppose -5*p + 33 + 2 = 0. Is p at least as big as 10?
False
Let y = -6 - -10. Let o = -1 + y. Suppose 0 = -x - o. Is x at most -2?
True
Let n(j) = -j**2 + 8*j + 10. Let h be n(9). Suppose a = 4, 0*a + a = -3*i + h. Is i greater than -1/16?
False
Let u be (-4)/(2 - 0) - 125. Let m = u - -2031/16. Which is smaller: -1 or m?
-1
Let h(f) = -f**2 + 10*f - 20. Let t be h(8). Is t less than or equal to -10/3?
True
Let d(t) be the second derivative of t**3/3 + t**2 + t. Let q be d(-1). Which is smaller: -1 or q?
-1
Let h = 3 + -4. Let w = -1 - h. Let n be 9/(-7) + 18/63. Do n and w have the same value?
False
Let q = -3 + 7. Suppose k = -q*m - 2, -m - 6 = 4*k - k. Suppose h + m + 3 = 0. Are -3 and h non-equal?
False
Let s be -3 + 1 + 2/1. Let v = 16/2159 + 1224025/17272. Let p = v - 71. Is p <= s?
True
Suppose 0*i = -3*i - 3. Does i = -4/19?
False
Let s = 1/12 - 3/4. Which is smaller: s or 17?
s
Let l = 7.5 - 7.9. Is l != 1/2?
True
Suppose 4*d - 17 = -1. Which is smaller: 3 or d?
3
Let u be 3 + (-7464)/1242 + -1 + 4. Which is greater: 1 or u?
1
Let m = -99 - -97. Are -0.09 and m nonequal?
True
Let n(w) = 3*w + 5. Let v be n(-3). Suppose 5*t + 17 = -2*y, -y + 5*t = -0 + 1. Let l = v - y. Is l less than or equal to 2?
True
Let r = -6 - -11. Suppose 5*u = 3*l + 15, -u + r*l - 2*l - 9 = 0. Let s be (-1 - 0)*(4 - u). Do 2 and s have different values?
False
Let h = 6 - 10. Let l be (1 + h/8)*-3. Which is greater: -2 or l?
l
Suppose -4*s - 4*y = 16, -y + 9 = -3*s - 3*y. Suppose 4*h - 5*p + 27 = 0, 3*h + 27 = -2*h + 4*p. Is h equal to s?
False
Let m be (24/16)/((-1)/(-8)). Which is greater: 11 or m?
m
Let y be (-1)/(-3) + (-230)/15. Let f be (-42)/y - (-6)/(-3). Which is greater: f or 1?
1
Let l be 9/(-4) - (-2)/(-8)*-1. Suppose 0 = -g - 1 - 0. Which is smaller: g or l?
l
Suppose -5*q - 25 = 5*z + 20, 0 = 2*q - 5*z + 4. Is q at least as big as -7?
True
Suppose -5*o + 8 = -2*n, -2*n + 0*n - 8 = 3*o. Let q = 904/9 - 100. Is q equal to o?
False
Let c(y) = -y**3 - y**2 - y + 5. Let s be c(0). Suppose s*m + 7 = 5*a - 8, m + a = -7. Let h(o) = o**2 + 6*o + 4. Let d be h(-5). Are m and d non-equal?
True
Suppose -4*l + 0*a - 4*a = -20, -4*l - a + 14 = 0. Suppose 0 = 3*j - l. Suppose d = j - 0. Is d smaller than 1?
False
Suppose 0 = 3*f + b - 42 + 2, 2*f + 2*b = 20. Let m = 8 - f. Let z = m + 4. Is z at least -4?
True
Let l = -358/5 + 70. Are 1 and l unequal?
True
Let p = -0.8 - -0.8. Let d = p - 0.5. Which is smaller: d or 0?
d
Let t be 6/27 - 13/72. Is -1 less than t?
True
Let x = -5 - -9. Which is smaller: x or 2?
2
Let h = 61/2 - 31. Is h greater than or equal to -0.1?
False
Suppose -3*z = -2*p + 15, -4*p - 4*z + 27 = -9*z. Let d be p/(-5) - (-487)/870. Let b = 6/29 + d. Is b at most as big as 1?
True
Let c = -28 - -18. Let q = 9 + c. Are 1/4 and q equal?
False
Let r = 34 + -169. Let b = r - -537/4. Let s = 0.23 + -0.13. Which is bigger: s or b?
s
Suppose -3*d - 2*d = 0. Suppose d = -2*n + 11 + 13. Which is bigger: 10 or n?
n
Suppose -2*y + 3*y = -5. Let v be y*((-109)/5 - -3). Let q = v + -474/5. Is -1 greater than q?
False
Let t = -12 - -12. Let g be -4*4/(-32) - t. Which is greater: g or 0?
g
Suppose -3 - 9 = -4*t. Let q be (t/(6/4))/(-2). Is q != 1/4?
True
Let j = -5159/3 + 1757. Let y = j - 197/6. Which is smaller: y or 6?
y
Let r be (1 - 0) + 4/(-6). Which is greater: r or -1?
r
Suppose -3*m - 2*m + 10 = 0. Let z = 5.9 + 3.3. Let v = z - 9. Is m greater than v?
True
Suppose 5*u - 2*z = -0*z, 2*z + 10 = 0. Let y be (4 - 4)/((-4)/u). Suppose 4*b = -4 - 0. Which is smaller: b or y?
b
Let m be (1 + (-7)/6)/(-1). Let w = 17 - 21. Let r = w - -5. Are m and r nonequal?
True
Let l = -1865/7 - -266. Suppose 5*a - 5 = -0. Which is bigger: l or a?
a
Let g(k) = -k**3 - k**2 + 2. Let v be g(0). Let b(s) = s**3 - 4*s**2 + 3*s. Let i be b(v). Which is smaller: -1 or i?
i
Suppose 2*n - 9 = 3*v, 0*n + 2*v - 1 = -n. Is -1 bigger than n?
False
Let s(r) = r + 6. Let z be s(-3). Which is bigger: 5 or z?
5
Suppose 0 = -0*x - 4*x + 4*t + 12, 0 = 5*x + 5*t + 5. Is 1/101 less than