a - 58 = -d, 2*d - 4*d + 116 = 2*a. Does 58 = d?
True
Suppose -3*y + 5*y = -4. Let o = 23/6 - 9/2. Is o greater than or equal to y?
True
Let r = 3 - 1. Is r less than or equal to 20/9?
True
Suppose j + 4 = -2*l + 2, 4 = 4*j + 2*l. Which is smaller: j or 3/4?
3/4
Let t(x) = -x**3 - 5*x**2 - 3*x. Let b be (6/(-4))/(9/12). Let n be t(b). Let y be (n/15)/(2/(-10)). Is y greater than 3?
False
Let z = 19 + -21. Is -1 != z?
True
Let g be -8 + 4/(-6)*-3. Suppose 5*u + 35 = -h, -u + h - 2*h - 7 = 0. Do u and g have different values?
True
Suppose -2*n = -7*n - 155. Is n bigger than -31?
False
Let z be ((-4)/(96/(-122)) - 2)*-4. Are z and -12 nonequal?
True
Suppose -4 = 2*m - 3*m. Suppose 4*l + l - m*t + 287 = 0, 5*l - 3*t = -284. Let w = l + 167/3. Which is bigger: 2 or w?
2
Let x(d) = -1 + d + 0*d + 6. Let v be x(-5). Let h = -1 - 1. Which is smaller: h or v?
h
Let o be 9/(-2)*(-14)/21. Suppose o*y - 2 = 2*y. Let j be 2/24 + y/8. Is j at most 1?
True
Let f be 2 + (-3 - -2) + 2. Are 1 and f equal?
False
Let a be (1 - (-222)/(-162))/(2/(-12)). Is a < 2?
False
Let y(i) = -2*i + 1. Let q be y(-5). Let g = 11 - q. Are g and -1 equal?
False
Let b be (3/27)/((-3)/(-18)). Let y = 0 - -0.1. Which is smaller: y or b?
y
Let x be ((-6)/(-2))/((-6)/(-4)). Let g = x - 2. Let o(r) = 2*r**2 - 3*r - 1. Let m be o(2). Is g <= m?
True
Let h = 259/3 - 87. Let p = 3 + -3. Suppose p + 1 = -y. Which is greater: y or h?
h
Let b = 39/29 + -1071/667. Is b smaller than -1?
False
Let l = 215 + -150. Let k = -68.3 + l. Let z = -3 - k. Is 0.1 less than or equal to z?
True
Suppose -z = 3*o - 7, 0*o + 2*z = 4*o - 16. Suppose 0 = 4*k + o*i + 24, 4*k + 32 = -i - 4*i. Do -3 and k have the same value?
True
Suppose -2*k + w = k - 87, -5*w = -5*k + 155. Suppose -4*q + 6*y - y - k = 0, -4*y = -16. Let f be 55/77*(-4)/5. Is f less than q?
False
Let a = -16 - -17. Let o = a + -1. Is 4/13 less than or equal to o?
False
Let l(j) = -j**3 - 2*j**2 + j + 2. Let g be l(-2). Suppose -a + 5*a = g. Do 0 and a have different values?
False
Suppose -c - 3*u - 18 = 2*u, -4*c + 5*u = 22. Is c <= -8?
True
Suppose 2*h - 102 = 4*m, 0 = -7*h + 5*h + m + 96. Is 47 < h?
False
Let j = 2.3 + -0.3. Let c = 0.74 + 0.26. Let g = j + c. Do 1/4 and g have different values?
True
Let s = -2 - -2.1. Suppose 5*t + 15 = 10. Which is smaller: t or s?
t
Let k be 374/(-1560) + (-2)/(-8). Are 1 and k nonequal?
True
Suppose -3*o = -a + 11, 3*o - 5*a = 1 + 4. Which is greater: o or -6?
o
Suppose 2*n - k = -3*k + 14, 0 = 3*n + 2*k - 16. Which is smaller: 1 or n?
1
Let t be 5*(2 - 12/5). Suppose -4 + 6 = -m. Is t != m?
False
Let p = 3 - -5. Let b = -6 + p. Let q = -89 - -625/7. Which is greater: b or q?
b
Let v(p) be the third derivative of -p**5/60 + p**4/6 + p**3 - 2*p**2. Let n be v(5). Let i be ((-4)/(-10))/((-26)/(-10)). Which is smaller: i or n?
i
Let x be (-2)/7 + 150/35. Let y = -2 + x. Suppose 4 + 4 = -y*w. Is w >= -3?
False
Suppose y - 17 + 15 = 0. Do y and 7/3 have the same value?
False
Let p(z) = z**3 + 9*z**2 + 9*z + 8. Let y be p(-8). Suppose 0*g + 2*g + 2*a + 6 = y, 4*g = 2*a - 6. Let i be (-1)/(-2) - (-7)/g. Is i at least as big as -3?
True
Suppose -o = -6*o + 15. Let u(g) = g**3 - 2*g**2 - g - 3. Let n be u(o). Are 4 and n equal?
False
Let f = 0 + 2. Let x be 60/8 - f/4. Which is smaller: x or 6?
6
Suppose -3*j - 4 = -2*x, -x - 2*x - 5*j = -44. Suppose x*o - 5 = 3*o. Let v be (-11)/22 - (7/(-2) - 0). Which is greater: v or o?
v
Let t be 6/(-9)*(-1 + 2). Let w = 23 + -22. Is t greater than or equal to w?
False
Let l(n) = n - 1. Let q be l(4). Suppose -2*m - 5 = q*m. Is -1/5 less than or equal to m?
False
Let h be 7/(-35) - 2/(-10). Let x be 1/(-3) - (-12)/9. Suppose 0*n = -n - x. Is h at most n?
False
Let n(l) = -l**2 - 5*l - 5. Let f be n(-4). Let o = -142/3 - -47. Are o and f non-equal?
True
Suppose 0 = -w + 20 + 26. Let h be (w/10 + -1)*5. Let i be (3/2)/(h/(-24)). Is -3 smaller than i?
True
Let g = 38 + -151/4. Are g and 1 unequal?
True
Suppose -2*t + 4 = -3*t. Let d be t/(-7) - 36/54. Which is smaller: d or -1?
-1
Let m = 5 - 2. Let d be -2*(-183)/108 - m. Let a = 1/9 + d. Are a and -1 unequal?
True
Let f = -4.7 + 3. Let b = 0.7 + f. Is 0.3 != b?
True
Let x(i) be the third derivative of 5*i**4/24 - i**3/6 + 2*i**2. Let n(g) = -4*g. Let l(f) = -6*n(f) - 5*x(f). Let q be l(4). Which is smaller: -2/11 or q?
-2/11
Let v = 3.9507 - -0.0593. Let i = 4 - v. Let w = i + -0.29. Is w > 1/3?
False
Let c = -0.01 + -4.99. Let p = 3 + c. Let t = 1.8 + p. Which is bigger: t or 0.1?
0.1
Let f = -0.1 + 1.1. Let w = -106 - -105. Is w equal to f?
False
Let n = 6/193 - 2358/1351. Is -3 smaller than n?
True
Let p(j) = j - 4. Let a(z) = 4*z - 16. Let s(r) = -2*a(r) + 9*p(r). Let l be s(7). Suppose -3*n = -2 - 7. Are n and l nonequal?
False
Let u = 2.2 - 2. Let b = 0.1 - u. Let g = -0.2 - b. Are g and 0 unequal?
True
Let i = 131 - 136. Which is smaller: i or 8?
i
Let z = 1.59 + 0.36. Let j = 0.11 - 0.06. Let s = j + z. Is s > -2/7?
True
Let a = -30 - -32. Let m be 204/60 + a*-2. Let x = 55/3 - 18. Which is greater: x or m?
x
Let r be (-1)/((1 - 0)/(-1)). Suppose -7*d = -4*d + 27. Let p = d - -28/3. Is r > p?
True
Suppose 0 = 2*k - 5*q + 28, -5*k - 16 = q - 0. Is k bigger than -3?
False
Let x = -24 - -22. Let s be (-147)/(-270) + x/4. Which is smaller: 0 or s?
0
Let w = 206 - 208. Is w at least -7/13?
False
Let x = -22 + 23. Is -1/8 less than x?
True
Let r = 3 - 3.01. Let g = -0.99 + r. Is 4 >= g?
True
Suppose 0 = -3*z - 7*a + 2*a - 317, -2*z - 4*a = 210. Let w = z - -207/2. Let q = w - -6. Which is bigger: q or 2?
2
Suppose 121*b - 123*b + 2 = 0. Let g = 1/10 + 3/10. Which is bigger: g or b?
b
Let d = 28/5 - 31/5. Suppose 2*a - 5*q = -10*q, 4*a = 5*q. Suppose a*y = -y. Which is smaller: y or d?
d
Let c(a) = a**2 + a - 1. Let q(l) = -5 - l**2 - 2 + 9*l + 3*l**2. Let i(j) = 3*c(j) - q(j). Let o be i(5). Is o greater than -2?
True
Let u = 16.7 - 15. Let k = 2 - u. Suppose -5*y - 5 = -0. Is y > k?
False
Let u(f) = f**2 + f + 11. Let q be u(0). Let y(m) = m**3 - 12*m**2 + 12*m - 12. Let l be y(q). Is l at least as big as -4/9?
False
Let x = 0.33 - 0.13. Is -18 at least as big as x?
False
Let t(s) = -s**3 - 14*s**2 - s - 22. Let o be t(-14). Let c = 21 - 7. Let k = -23 + c. Which is bigger: k or o?
o
Let u = -7 - -6. Let i = -0.25 - -0.85. Do u and i have different values?
True
Let g = 5/3 - 73/42. Which is smaller: g or -1?
-1
Let g = 1.4 - 1.3. Is -3 less than or equal to g?
True
Let c = 0.7 + -0.79. Let w = -0.54 + 0.64. Is c smaller than w?
True
Let h = 58/69 - 1/138. Let p(l) = -l + 2. Let a be p(0). Which is bigger: a or h?
a
Suppose o + 0 - 1 = -3*h, -h + 3*o + 17 = 0. Let x be (0 - (-2)/9) + 54/(-243). Which is greater: h or x?
h
Suppose -w - 4 = 4. Let u(k) = k + 7. Let i be u(w). Which is smaller: i or -2?
-2
Let z(p) = p**3 - p**2 - p - 4. Let k be z(0). Let q = k + 1. Let y be q/(-2)*(-4)/(-3). Which is greater: y or 4?
4
Let c = 83 - 98. Is -2/7 greater than c?
True
Let f(h) = -4*h + 44. Let j be f(18). Is -26 greater than or equal to j?
True
Suppose 15 = 5*o + 5. Suppose o + 3 = 5*p. Suppose -4*f - 8 = -0*f, 0 = 2*v - 4*f - 12. Which is greater: p or v?
v
Let d = 0.3 - 0.1. Let l = 8.11 + -8. Let m = l - 0.01. Which is smaller: d or m?
m
Let p be (8/(-10))/((-1)/5). Suppose -5*w = g, g = p*w + w. Which is smaller: w or 2/17?
w
Let h = 8 + -3. Is 17/4 < h?
True
Suppose -4*l = -4*z - 12, 3*z + 4 = -2*l + 4*l. Let d = -2 + z. Suppose d = -5*q + 4*f - 21, 0*q - f - 1 = 5*q. Is q less than 2/7?
True
Suppose -16*d = 35 + 61. Is d >= 4?
False
Suppose -5*n + 35 = -0*u + u, -44 = -3*n + 4*u. Let l = 6 - n. Is -2 at most l?
True
Suppose 3*i - 8 = z + 6, 0 = 5*i - 2*z - 25. Let d = -2 + i. Let g = 216 + -2378/11. Is d greater than g?
True
Let k = 0 - 0. Let h(l) be the third derivative of -l**4/24 - 5*l**3/6 + 2*l**2. Let c be h(-4). Is k > c?
True
Let m = -2.43 - -2.6. Let b = -0.03 - m. Let y = 1.8 - b. Which is smaller: 0.1 or y?
0.1
Let z = -11 - -11.9. Is z <= -0.1?
False
Suppose -f - 8 + 24 = 0. Is f equal to 16?
True
Let v be 10/80 - (-1)/(-4). Let k = v - -3/8. Are k and -1 equal?
False
Let q(y) = -15*y**2 + 3*y - 5. Let w be q(2). Let m = -297/5 - w. Are -2/17 and m equal?
False
Let u = 0.21 - 1.41. Let m = -0.9 + -0.1. Le