. Let r = -33925/14 - -2422. Let s = 12/7 + r. Do p and s have the same value?
False
Suppose -5*x + x + 62 = 5*b, 3*x = 4*b - 31. Suppose b = -5*d, -5*d = -3*t + 6*t + 7. Let j(z) = 4*z - 1. Let v be j(t). Do v and 3 have different values?
False
Let n = 23 - 22. Is n <= 0.06?
False
Let d be (4/14)/(12/(-56)). Suppose 2*x + 2*j + 2*j + 2 = 0, -4*x - 14 = -2*j. Let q be 0*-2*x/12. Is q < d?
False
Let i = 22 + -21. Is i equal to 1?
True
Let w(m) be the first derivative of -3 + 7*m - 3/2*m**2 - 1/3*m**3. Let f be w(-5). Is -1 less than f?
False
Let g(x) = -x + 13. Let l be g(7). Let p be l*(6/27)/2. Do 0.1 and p have different values?
True
Let w = 0.1 - 0.08. Let m = w + 0.18. Is 2 greater than m?
True
Suppose -r = -3*t - 1, -5*t + 3*r + 2 = 5*r. Let j(o) = -o**2 + o + 7. Let g be j(t). Let q = -9 + g. Which is smaller: -2/7 or q?
q
Let r = -723310039/770 - -939364. Let k = -3/110 + r. Which is smaller: k or -0.1?
-0.1
Let j = 30 - 29. Is 5 less than j?
False
Let i = -10 - -6. Let k = i + 6. Which is smaller: 7 or k?
k
Let n = 13 - 13. Let z = -3.3 - -9. Let l = -6 + z. Is n < l?
False
Suppose 2*b = -3*b. Let h = -73/2 + 503/14. Which is smaller: b or h?
h
Suppose -5*n + 25 = -p - 3, -2*p + 19 = 5*n. Suppose 2*m = -4*q - 20, 9*m = q + 4*m + 16. Let y = n + q. Is y > -1?
False
Let d be 15*(6 + 48/(-9)). Let b be (-6)/(-21) + 75/7. Is d at most as big as b?
True
Let u = 601/7 + -85. Let k = u - 5/14. Which is smaller: 0 or k?
0
Suppose -r + 2*g = 4*g + 2, -g = 4*r - 13. Let f(u) = 7*u**3 + u**2 - u - 1. Let d be f(1). Which is bigger: d or r?
d
Let m(x) = x**3 + 2*x**2 - 4*x - 3. Let j be m(-3). Is -3/22 less than j?
True
Let l(q) = 2*q + 16. Let h be l(-9). Is -14/13 at least h?
True
Let q be -1*1*(-2 + 48). Let k be q/(-10) + (-2)/(-5). Suppose 3*t - 11 = -j, -k*j = 2*t - 5*t - 1. Is j greater than 2?
False
Let r(g) = g - 3. Let w be r(6). Let l = 5 - w. Suppose l*h = 2*o - 8, -3*h - o + 28 = 4*o. Which is smaller: 2/5 or h?
2/5
Let d be 6/15 + 399/(-960). Which is smaller: 1 or d?
d
Let g(a) = -4*a + 15. Let q be g(6). Let y = -16 + 8. Is y at most as big as q?
False
Suppose -q + 4*q = 0. Is -1/2 less than or equal to q?
True
Let n be 1 - (4 + (-78)/(-12)). Which is bigger: n or -11?
n
Let m = -0.11 + -0.59. Let a = m - -1. Let u = 1 + 0. Is u bigger than a?
True
Suppose 0*j + 39 = -4*c - 3*j, -5*c - 4*j = 50. Which is greater: 1 or c?
1
Let n = 19 + -18. Which is smaller: n or -1/7?
-1/7
Let o = -17/72 + 1/9. Suppose -5*s + 5 = 3*p, 0 = -2*s + 3*p + 2. Which is bigger: o or s?
s
Let t be (-2)/2 - (-2 - 5). Suppose t*l = -0*l - 6. Is l at least as big as -1/4?
False
Let m = 14 - 14. Let u = -1 - -3. Suppose -4*r = -u*y - m*y + 14, -3*y = 2*r - 13. Which is greater: r or 0?
0
Let w(p) = -2 + 10*p**2 - 2*p - p + p. Let f be w(-2). Let g be 2 + f/(-10) + 2. Is -1 >= g?
False
Let i = -19 - -132/7. Which is greater: 0 or i?
0
Let c = -129 - -128. Let j = 0.24 - 0.17. Which is greater: c or j?
j
Let p = 984/5 - 4908/25. Let z = p - 99/50. Suppose -13 = -3*m - 4*v, 15 = m - 0*v + 4*v. Is m <= z?
False
Let l(z) = z**2 + z - 2. Let n be l(0). Let g be ((-2)/6)/((-10)/(-30)). Is g smaller than n?
False
Let n be 4/18 - (-304)/36. Let x = -9 + n. Let g be (-2)/(-4)*0/3. Which is bigger: x or g?
g
Let d = -28.41 + -0.59. Is d less than or equal to 1?
True
Let o = -58957533/35 + 1685012. Let c = 511 - o. Which is smaller: 1 or c?
c
Let w(f) = -f + 10. Let n be w(7). Suppose -n*d = -0*d. Is 0 at most as big as d?
True
Suppose 2*r = 2*q - 4, 2*q + 4*r - 19 = -3. Suppose 0 = q*f - 4*p + 2*p, 4*p + 5 = 3*f. Suppose 1 + 5 = -3*c. Which is bigger: c or f?
f
Suppose 2*i + 1229 = 5*y - 2*i, -5*i + 975 = 4*y. Let h = y + -2207/9. Is 1 greater than or equal to h?
True
Let n = 3/569 - -6753/14225. Which is smaller: n or 1?
n
Let o(b) = -b**3 - 7*b**2. Let u be o(-7). Suppose u = 3*l - 2*y - 3*y + 13, -40 = -5*l - 4*y. Let a = 0 + l. Is 2 greater than a?
False
Let g = -1372/3 - -465. Let y = g + -152/21. Let o = 5 - 4. Which is smaller: y or o?
y
Let w = -1 + 0.8. Let z = 1 - 1. Let d = z - w. Which is smaller: -1 or d?
-1
Let b(k) = 3*k - 2 - k - k. Let v be b(-9). Which is bigger: -0.1 or v?
-0.1
Let g be (-1)/(-4) - 10/(-24). Let t = 52 + -50. Which is smaller: t or g?
g
Suppose -13*l + 18*l = 10. Which is bigger: l or 10/3?
10/3
Let m be (6/24)/((-6)/8). Suppose 6*i - 8 = 2*i. Suppose -i*h = 2*h + 8. Which is bigger: m or h?
m
Let b(w) = -w + 5 - 2*w + 2*w. Let s be b(5). Let x be (s + (2 - 0))/(-1). Is -2 at least x?
True
Suppose -5*g - 8 = n + 14, 5*g + 25 = 0. Let f(v) = v + 13. Let u be f(-10). Let d = u - n. Is 0 <= d?
True
Suppose 4*d - 19 = -3*o, -o = -2*d - 1 - 2. Let z = -3 + 3. Let c be (3/(-9))/(z - -1). Do d and c have different values?
True
Suppose 0*r + 12 = -6*r. Is r >= -12/7?
False
Let a(v) = v - 4. Let c(k) = k**3 - 4*k**2 + 3*k - 6. Let d be c(4). Let g be a(d). Suppose -2*z + 28 = g*z. Is z at least as big as 7?
True
Let d = 0.01 + -0.01. Which is bigger: -8/5 or d?
d
Let i(g) = -g**2 + 7*g - 3. Let t be i(7). Let d = 2123/4 + -534. Let j = d - t. Which is smaller: 1 or j?
j
Let w = 2/179 + -376/1611. Suppose 0 = -2*n + n - 1. Is n <= w?
True
Let r(l) = -l - 2. Let u be r(3). Let t be 1/(3*(-3)/9) + -3. Is t less than or equal to u?
False
Suppose 5*l = 3*k - 2 - 6, -4*l = 4. Let r be k/1*-2 - 18. Let m be (-1)/2 + r/(-8). Are m and 2 unequal?
False
Suppose -10*y + 15*y = 0. Is y > 0?
False
Let n be (0 - -1) + (-15)/13. Let g be 0/2 - (2 + -3 - 0). Which is smaller: g or n?
n
Suppose -4*a - 162 = -2*a + 2*o, -a - 5*o = 69. Let f = a - -254/3. Is f != 1?
True
Let d be (-10)/(-1)*(-4)/(-10). Let c(q) = -q + 2. Let y be c(d). Let p be (-2 - y) + (-1)/(-4). Which is smaller: 1/3 or p?
p
Let s = 1365 + -5385/4. Let v = -19 + s. Which is bigger: v or 1?
1
Let r(p) = -p**3 + 20*p**2 - 2*p + 40. Let j be r(20). Are j and -9/8 non-equal?
True
Suppose 4*o - 11 - 17 = 0. Suppose -2*v - 11 = -o. Is -1 at least v?
True
Let q be (-1 - (-3 + 2))/2. Suppose q = -3*d - y + 24, 5*y - 24 = -6*d + 3*d. Let x be d/(-4)*(-1)/3. Which is smaller: x or 6?
x
Let c = 1.2 + 4.8. Let p = 8 - c. Which is bigger: -1 or p?
p
Let t(v) = v**2 - 5*v + 1. Let u be t(5). Let g = u - 8. Let w = -5 - g. Which is smaller: 3/4 or w?
3/4
Let a = -7/16 + 19/16. Is a at least 2?
False
Suppose t + 0 + 2 = 2*s, 2 = -s + 2*t. Suppose -5*l = -5*f + 90, 5*f - 44 = 2*f - 2*l. Suppose -2*x - 4*v - 9 = x, x = 5*v + f. Is x at least as big as s?
False
Suppose 4*z + 3*w + 36 = 0, z + 40 = 5*w + 8. Let h be ((-1)/2)/(2/z). Let p = -2 + h. Is p at least as big as 1?
True
Let a(h) be the third derivative of h**5/60 - h**4/24 - h**3/3 - h**2. Let q be a(0). Let f(i) = -i**2 + 13*i - 23. Let m be f(2). Is q smaller than m?
True
Let i = 2 - 1. Let x = 5984058/13 + -460055. Let a = 257 - x. Is a > i?
False
Let x = 5.077 - 0.077. Which is smaller: x or -3?
-3
Let n(v) = -8*v + 47. Let y be n(7). Which is smaller: -7 or y?
y
Suppose 3*y - 4*y = 3*m - 1, -4 = -2*m + y. Let f(d) = -4*d**2 + d + 1. Let k be f(-1). Which is greater: m or k?
m
Let y = 1132012/299 - 3786. Are 0 and y nonequal?
True
Let n = -0.06 + 0.06. Which is bigger: n or -0.17?
n
Let m = -1.05 - -1. Let n = 0.25 + m. Which is bigger: -3 or n?
n
Suppose -2*f + 33 = -9*r + 4*r, -f + 19 = -3*r. Suppose -5*k = 4*s + 29, -s = 4*k + 13 - 3. Are r and s nonequal?
True
Let a(l) = l**2 + 5*l + 3. Let g be a(-5). Suppose 0 = -5*p - 4 + 19. Let n = p - 2. Is n greater than or equal to g?
False
Suppose 5*f + 5*u = -145, 4*f - 4*u + 9*u = -117. Let d = -29 - f. Let q = 29 - 59/2. Which is smaller: q or d?
d
Suppose 4*z - 2*f + 14 = -2, 3*z = 4*f - 7. Which is bigger: z or -3?
-3
Let n = 60 + -170. Let v be (8/30)/(n/(-33)). Which is bigger: v or 0?
v
Let j = -6 - -4. Let s be -1 - j - 3/2. Which is bigger: s or 1?
1
Let w = 4 - 7. Suppose -5 = 2*u + 1. Are w and u equal?
True
Let d = 13685/16 + -856. Which is smaller: -2 or d?
-2
Let n = 4 + -5. Let p = 0.9 + n. Let q = -0.2 + 0.1. Is q < p?
False
Let w = -15 - -7. Let x(u) = u + 9. Let j be x(w). Which is smaller: 10/11 or j?
10/11
Let n(c) = -c**3 - 9*c**2 - 7*c + 11. Let j be n(-8). Suppose 0 = -j*r + 4*m - 6*m, 0 = -5*r + m. Is r at least 5/6?
False
Suppose -5*w - 26 = f, -38 = 4*f + 5*w - 9. Let p 