equal?
True
Let y = 24 - 118/5. Which is greater: 5/4 or y?
5/4
Suppose 5*s = 17 + 8. Let f(k) = -k - 1. Let j(p) = 9. Let c(d) = -2*f(d) - j(d). Let b be c(s). Which is smaller: b or 4?
b
Let q be 0 + 1 + -3 + 3. Is -1 not equal to q?
True
Let n = -4.4 - -4.4. Is n at least as big as -2?
True
Let x = 83 + -44. Let j = 387/8 - 217/24. Let f = x - j. Is -0.04 < f?
False
Let p(v) = -v**3 - v**2 - v - 4. Let g be p(0). Let s be g/(-6) + (-12)/9. Which is smaller: s or -1?
-1
Let l be 0 - (5 - -2 - 4). Is -11/5 > l?
True
Let t be (-10)/95*(-2)/(-4). Which is smaller: t or 0?
t
Let q(u) be the first derivative of -u**3/3 + 5*u**2/2 - u - 2. Let w be q(5). Which is smaller: -0.1 or w?
w
Let t(r) = -4*r**3 - 8*r**2 - 3*r + 19. Let g(c) = -3*c**3 - 5*c**2 - 2*c + 13. Let y(k) = -7*g(k) + 5*t(k). Let x be y(5). Which is bigger: 2/7 or x?
2/7
Let y = 0 - 5. Let c(g) = g + 5. Let d be c(y). Suppose -4*t - 14 = -d*t + 5*u, -4*t - 16 = 4*u. Do -6 and t have different values?
False
Let i be (8/(-30))/((-6)/10). Let f(n) = n + 5. Suppose -5*l + v = 12 + 8, 16 = -4*l - 2*v. Let q be f(l). Which is greater: q or i?
q
Let d = -3 + 2.9. Let i = -13 - -7. Let a be (-16)/(-6)*i/(-4). Which is bigger: a or d?
a
Suppose 14 - 114 = -5*s. Suppose -s = -5*p, 4*q + p + 16 = 3*p. Let d = 6 - 8. Are d and q non-equal?
False
Let p(z) = -z**3 + 3*z**2 + 4*z + 4. Let s be p(4). Let x be s/12 - (-2)/(-6). Which is bigger: -1/10 or x?
x
Let d(x) = 6*x - 1. Let q be d(1). Suppose 5*k = -2*p + 6*p - 26, 14 = -q*k + p. Let u be ((-1)/9)/(k/6). Is u smaller than -0.01?
False
Let m = 0 - -1. Let t = -0.04 - -0.04. Let a = t - m. Which is bigger: a or 0?
0
Let k(o) = 3*o**2 + 11*o + 5. Let q be k(-7). Let b be (-1)/2 - q/(-6). Let w be 3/(-12) - 33/b. Are w and -3 equal?
True
Suppose -27 = -3*n + 6. Suppose 5*i - 22 = z, 0*z - n = -i - 2*z. Which is greater: i or 6?
6
Suppose 2*r + 1 = 5*h + r, -4*h - 5*r - 5 = 0. Is 27 != h?
True
Let m be 36/34*1/(-3). Suppose -2*u = -4*v + 8, 2*v + 5*u = -3*v - 20. Which is greater: m or v?
v
Let o be 1/(0 + (-3)/(-24)). Let s = o - 10. Which is greater: s or -6/7?
-6/7
Let m(b) be the first derivative of b**2/2 + 5*b + 1. Let g be m(-6). Is 2/11 bigger than g?
True
Let y be 0 - (-68)/(4/(-4)). Let k = y - -679/10. Which is smaller: -1 or k?
-1
Let n be 160/9 + 10/45. Let t = n - 10. Let a be (-4)/t + (-1)/(-2). Which is smaller: a or -1/7?
-1/7
Let t(g) = -g + 5. Let b be t(5). Suppose b = 8*f - 7*f. Let r = 0 - f. Are -6/5 and r equal?
False
Let b = -64.98 - -65. Let j = -0.21 + 0.03. Let f = j - b. Is -5 greater than or equal to f?
False
Let g be (-9)/6 + 3/(-2). Let p be 2/g - (-34)/24. Suppose 3*h = h + 2. Is p at most as big as h?
True
Let p = 30 - 29. Is p >= 1/68?
True
Suppose 4 = -q - 7. Let r be 8/(-44) + 20/q. Let m = -1/81 - 133/162. Is m != r?
True
Let p(m) = 5*m**2 - m - 1. Let y be p(2). Is y less than 17?
False
Let g be (4/(-6))/((-1)/(-3)). Suppose -y - 7 = 6*y. Is g greater than y?
False
Let a be 4/(-7) + (-320)/(-266). Is 1 not equal to a?
True
Let l(d) = -d**2 - 9*d - 3. Let n be l(-8). Suppose -n*i + 22 = -3. Is i greater than 7/2?
True
Let h = 1 + -1. Let q = h + -0.09. Let d = q + -0.91. Is -1 bigger than d?
False
Let a(m) = m**2 - m - 2. Let k be a(2). Is k at most as big as -5/4?
False
Suppose -2*i + 47 = 3*s, -16 = -s - i - 1. Suppose z = 1, -4*u = -6*u - 3*z + s. Suppose -m + 2*m + u = 0. Is -7 less than m?
False
Let l be 2/3*(-18)/(-8). Let r be 0/3 - -3 - -3. Let h = r - 4. Which is greater: h or l?
h
Let i(y) = -3*y - 21. Let h(o) = 2*o + 10. Let p = 10 - 7. Let g(z) = p*i(z) + 5*h(z). Let b be g(11). Do b and -1 have the same value?
False
Let m be (-10)/(-15)*12/(-16). Is -1 <= m?
True
Let k(h) = h**3 - 6*h**2 + 6*h - 1. Let t be k(4). Let l = -8 - t. Let o be (10/6)/(l/(-3)). Is -5 at least as big as o?
True
Suppose 16 = 2*r + 2*x, 1 = -4*r - 5*x + 30. Is r > 12?
False
Suppose -3*f = 0, 0*f = -2*u - f + 6. Let y(d) be the first derivative of -d**3/3 + 3*d**2 - 6*d + 2. Let m be y(4). Which is smaller: u or m?
m
Let u = 553/39 + -43/3. Suppose 3*t + 24 = c + 4, 5*c = 3*t + 40. Suppose 3*w = c*w. Which is bigger: w or u?
w
Let j = -0.03 - 0.07. Let z = j + -5.9. Which is greater: 0.1 or z?
0.1
Let u be (-1)/5 + (66/(-15))/(-2). Do u and 10/7 have different values?
True
Suppose v = 2*g + 6, 3*g = 2*v - 9 - 2. Suppose -y - 9 = -v*y. Let b = 2 - y. Are -2 and b equal?
False
Let v = 0.9 + -1. Let j = -4.5 - -4. Let m = -0.5 - j. Is m at least as big as v?
True
Let w(t) = -t**3 + 7*t**2 - 6*t. Let v be w(6). Let s(r) = r**2 - 2*r + 11. Let g be s(0). Let l be 14/(-18) - (-11)/g. Which is greater: l or v?
l
Suppose a + 3*q = 2*a, 0 = -4*a + 3*q. Let m(l) = 2*l**3 - 3*l**2 - 2*l + 1. Let h be m(3). Let s be h/(-6) + (2 - -1). Which is smaller: a or s?
s
Let t(d) = d**2 - 3*d + 1. Let o be t(2). Let u = 8 - 0. Suppose -5*i + u*i = -3. Is i >= o?
True
Let y = 157/12 - -13/4. Do 16 and y have different values?
True
Let c = 33 - 10. Which is bigger: c or 24?
24
Suppose -20 = -5*u - d - d, 0 = 3*u - 4*d + 14. Suppose 6*s - s + 3*k - 1 = 0, u*k = -2*s + 2. Let l = s + 1. Which is smaller: l or -3/5?
-3/5
Let g = 8348/9 - 926. Is 2 > g?
True
Suppose 4*u - 22 = q - 2, q + 5*u - 25 = 0. Which is smaller: q or -1/4?
-1/4
Let g = 68 - 70. Let v be 1/(-4) - 2/(-8). Which is smaller: v or g?
g
Let n(h) = 5*h + 19. Let z be n(-11). Is -35 smaller than z?
False
Let j(i) = -i**2 + 21*i - 16. Let l be j(21). Is -15 bigger than l?
True
Let w(y) = 4*y**2. Let m be w(1). Let n = -4 + m. Let k(r) = r**3 - 6*r**2 - r + 8. Let a be k(6). Which is smaller: n or a?
n
Let r = 0.06 + -0.07. Let b = 0.11 + r. Is b greater than 5/2?
False
Let a = 4 + 2. Suppose 0 = -4*c + 2*c + a. Are 3 and c unequal?
False
Let r be (3/2)/((-2)/(-4)). Suppose 3*j + 0*j + 18 = 0. Let c be ((-12)/(-9))/(-2)*j. Which is smaller: r or c?
r
Let y be (-19)/(-7) + 2/7. Let t = 18 - 19.8. Let x = t - -1.6. Which is smaller: x or y?
x
Let n(z) = -z**3 - 3*z**2 - z. Let q be n(-1). Are -3 and q non-equal?
True
Let d = 117 - 111. Let z be (-3)/((-2)/4*1). Is z at least d?
True
Let r = 29.14 + -0.14. Is 0.1 >= r?
False
Let f = -4/23 - 3/115. Let q(i) = -i**2 + 2*i + 1. Suppose 3*s = 7*s - 8. Let l be q(s). Which is smaller: l or f?
f
Let h(j) = -6*j**2 + 1. Let b be h(-1). Let q be (2/(-6))/(b/(-75)). Let c = -5 - q. Is c smaller than -1?
False
Suppose -35 - 1 = 4*y. Which is bigger: -6 or y?
-6
Let k be 14/105 + 56/30. Let g(y) = y + 2. Let n be g(0). Suppose 0 = n*i - k + 8. Which is greater: i or 2/3?
2/3
Let k = -51/22 + 20/11. Which is greater: -23/5 or k?
k
Let o = 737/9 - 82. Is o less than -1?
False
Let b = -5.32 + 0.02. Let k = -5 - b. Let h = k - 0.2. Which is smaller: h or 0?
0
Let z(t) = -t**3 - 6*t**2 - 5*t. Let m be z(-5). Which is smaller: m or -9?
-9
Let i(x) be the third derivative of -x**6/360 - x**5/40 - x**4/24 - x**3/6 - 2*x**2. Let m(u) be the first derivative of i(u). Let t be m(-1). Is 1 at least t?
True
Let r = 0.2 - 0.2. Let x be -2 + (-2)/(8/(-36)). Let u = x - 9. Which is smaller: r or u?
u
Let x be 3/((-99)/(-5145)) - 3. Let v = 153 - x. Do 1 and v have the same value?
False
Let d = 0 - 0.2. Let j = 8.31 - 0.31. Which is bigger: j or d?
j
Let w = -0.03 - -4.03. Let o = w + -3.99. Let s = 1.99 + o. Which is greater: -0.2 or s?
s
Let r be (-2)/10 + 1/5. Let j = 1/268 - 547/2948. Which is bigger: r or j?
r
Let t = 10 - 14. Suppose -11 = v - 3*q, q = 2*v + 4 - 2. Is v <= t?
False
Let l(w) = -2*w - 1. Let q be l(-3). Suppose v + v - q*z = -10, -4*v - 5*z + 10 = 0. Suppose -22 = -2*r - 4*i, 4*i = -2*r + r + 21. Which is bigger: v or r?
r
Let p = 218 - 207. Let u be (11/3)/(-1)*-3. Is p > u?
False
Suppose 0*j - j = -5. Suppose r + 25 = -j*q + 3*r, -4*r = 2*q - 14. Let v = -10 - -6. Which is bigger: q or v?
q
Suppose 95 = -q - 4*q. Is q <= -18?
True
Let l(u) = u + 7. Let q be l(-7). Let n = 293 - 3807/13. Which is bigger: q or n?
n
Let x = -1.76 - 0.24. Which is greater: x or -1?
-1
Let g = -15.77 - -15.6. Is -0.1 at least g?
True
Let w be ((-1)/(-3) + 0)*3. Let s = 12 + -8. Suppose 2*d = -3*c - 1, -2*c + w = -d - s*c. Which is smaller: d or 2?
d
Suppose 18 = -2*p + 4*b, p - 7*b = -2*b - 24. Is p smaller than 3/14?
False
Let k(x) = x - 2. Let b be k(6). Le