equal?
True
Let q = 5.6 - 5.5. Is q at most -27?
False
Let a(y) = -y + 2. Let l be a(2). Which is greater: l or 1/6?
1/6
Suppose 2*h - 13 = -3*b, h = 3*h - b + 7. Let p be 2 + 1/h + 0. Suppose 2 - p = -m. Is 1/3 at most m?
False
Let p = 0 - 2. Let g = p - -4. Let h = -3 + g. Which is bigger: -0.4 or h?
-0.4
Let d be 20/6 + 4/6. Let g be -8*((-2)/d + 1). Is -4 smaller than g?
False
Let p(y) = y**3 + 5*y**2 + 5*y. Let r be p(-4). Suppose 3*x - 5 = 2*f, 15 = -5*f - 2*x - 7. Is f greater than r?
False
Let r(y) = y**3 + 4*y**2 + 2*y + 4. Let n be r(-4). Let i = -883/330 - -1/110. Which is smaller: i or n?
n
Suppose 2*l = -5*v + 65, -4*v - 2*l - l = -45. Is v >= 15?
True
Suppose 3*f - 28 = 23. Suppose -5*k = f + 8. Do k and -6 have different values?
True
Let h(v) = -v**2 + 8*v + 12. Let f be h(9). Let z be 2/(-6) + 1/f. Let p = 41/531 + 2/59. Which is smaller: p or z?
z
Suppose -3*v + 19 = 2*k, -v - 3*k = v - 16. Suppose -5*t = 3*o - 40, 5*o = -4*t + 3*o + 30. Is v != t?
False
Let s(p) = -2*p - 6. Let t be s(-5). Let u = -5 + t. Let v be u/(2*1/(-4)). Is v smaller than 5/4?
False
Let g = -2.1 - -0.1. Let l = g - -1.9. Does l = -0.1?
True
Let t be (-110)/(-9) + (-28)/126. Is 13 smaller than t?
False
Let y(q) = -2*q**2 + 5 + 6 - 3 - 4*q. Let b be y(-4). Which is smaller: -1 or b?
b
Let x be 4 - (-5 - (-3)/1). Which is bigger: 9 or x?
9
Suppose -5*b + a - 240 = 0, 0*b + 4*b + 3*a + 192 = 0. Let r = b + 93/2. Which is greater: r or -1?
-1
Suppose -20 = -2*i + 6*i - 4*n, -3*i - 3*n = 3. Are i and -3 nonequal?
False
Let l(y) = -y**3 + 7*y**2 - 5*y - 4. Let s be l(6). Let i be ((-2)/(-10))/((-2)/(-5)). Is s bigger than i?
True
Let c = 11 - -6. Is c less than or equal to 17?
True
Suppose 0*g + 3*g + 264 = 0. Let v be 3 - 3 - 314/g. Let f = v + -42/11. Which is bigger: f or 2?
2
Suppose 0 = -2*n + 3*c + c - 62, 5*c - 109 = 4*n. Let d(p) = 4*p. Let b be d(-5). Is n != b?
True
Suppose -47 = 4*r - o, -3*o = 4*r - 5*o + 46. Is -12 greater than or equal to r?
True
Let q = -109 + 131. Is 20 at most as big as q?
True
Let n be 8 + -15 - (4 - 5). Let z = -6 - 0. Is z at least as big as n?
True
Let p be (0 - 12/42) + 8/(-70). Is p at least as big as -0.06?
False
Let d(i) = i**2 - 7*i. Let k be d(7). Suppose -2*t - t + 3 = k. Which is smaller: t or 1/6?
1/6
Suppose -4*g + 5 = -i, -3*g + 10 - 2 = -5*i. Let o = -26 + 25. Which is smaller: g or o?
o
Let y(d) = -d + 3. Let b be y(4). Is -1/8 at most b?
False
Let u be ((-1)/(-3))/(15/(-27)). Are u and -0.2 equal?
False
Let j = -193/1550 + 3/50. Which is greater: j or -1?
j
Suppose 2*x - 4 = x. Suppose z + 0*m + x = 3*m, -2*z + 4*m = 6. Which is bigger: -6/7 or z?
-6/7
Suppose -3 = -3*o + 6. Suppose 0 = -o*k + k. Let v be 0 + -1 - (1 - k). Do v and -1/5 have different values?
True
Let t be (-32)/6*(-14)/680. Let q = -1/15 - t. Which is smaller: q or 0?
q
Let c(l) = -l**3 + 3*l**2 + l - 3. Let u be c(3). Suppose 0 = 4*b - 7*h + 2*h + 27, 3 = h. Let v be 2/(-3) + (-2)/b. Is v greater than or equal to u?
True
Let j(i) = -i**3 - 3*i**2 - 4*i - 3. Let l be j(-2). Let b = -20 - -20.2. Is b at most l?
True
Suppose 5*l = -0*i - 5*i + 30, 0 = l + 4*i - 21. Which is greater: l or -2/37?
l
Let o(l) = l + 5. Let r be o(-6). Let v be (-4)/((3 - 0)/r). Let w = -23 + 23. Is v smaller than w?
False
Suppose 4*t - 41 + 9 = 0. Let m(v) = v - 11. Let s be m(t). Let h be (11/5 - 3)*5. Which is greater: s or h?
s
Let c(i) = i - 9. Let f be c(19). Does 11 = f?
False
Let v = 7 + -7.4. Are -0.4 and v non-equal?
False
Let t(s) = -s**3 + 4*s**2 + 2*s - 2. Let p be t(4). Let v = 6 - p. Let d(y) = -y**3 + 2*y + 1. Let n be d(-1). Is n >= v?
True
Suppose 0 = -o - 5, -m - o = -0*m + 5. Let h be (-6)/(-9)*4/(-8). Is m greater than h?
True
Let m(l) = -l**3 + 2*l**2 - 1. Let p(a) = 7*a**2 + a - 1. Let y be p(1). Let r = y + -6. Let d be m(r). Is d < 0?
False
Suppose -q - 4*a = -6, 3*q + 32 + 1 = 5*a. Let h be (9/6)/(q/(-8)). Which is greater: -0.1 or h?
h
Let w = 6.92 + -7. Which is bigger: 0.1 or w?
0.1
Let r = -23 + 23.9. Let l = r + 0.1. Let s = -0.08 - 0.22. Which is greater: l or s?
l
Let q(m) = -3*m**2 - m**3 + 4 - 3*m**2 + 6 - 1 + 8*m. Let z be q(-7). Is 3 != z?
True
Let n(i) = -i**2 - 3*i + 3. Let t be n(1). Which is smaller: t or -1/8?
t
Suppose 0 = -4*t - 68 - 0. Let m be 6/21 - 498/28. Let a = m - t. Is a > -2?
True
Let r(k) = -k**2 - 11*k - 6. Let u be r(-5). Are 25 and u equal?
False
Let t be 4 - 3 - (-5 - 1). Is t less than or equal to 7?
True
Suppose -2*b - 4*b = 0. Let p be (-2)/8 - (-3)/4. Which is smaller: b or p?
b
Let h = -12 - -13. Let k = -7 - -7.03. Which is greater: k or h?
h
Let k be ((-4)/(-14))/(6/42). Which is bigger: k or 11/5?
11/5
Suppose -28*n + 56*n = -56. Let u(c) = -c**3 - 4*c**2 - 3*c - 1. Let b be (-26)/10 - 4/10. Let d be u(b). Do d and n have different values?
True
Let t = 19.28 + -17.3. Let x = 0.02 + t. Is -1/4 at most as big as x?
True
Let a(v) = -v**3 + 2*v**2 + v. Let d be a(2). Let j be (-3)/(-6)*(d + 0). Is -2 > j?
False
Let u(s) = -s**3 + 13*s**2 - 11*s - 14. Let r be u(12). Is r at least -7/6?
False
Suppose -3*w = 5*x - 12, 0*w - 3*x - 4 = -w. Suppose 0 = 3*y + 4*s - 3*s - 9, 28 = 4*y - 4*s. Do y and w have the same value?
True
Let c be -2*69*(-1 + 2). Let f = c + 1383/10. Are 1 and f nonequal?
True
Suppose -g = -0*g - 15. Let q = g - 24. Let d be (2/(-3))/((-6)/q). Does 0 = d?
False
Let a(d) = -d**2 - 2*d + 3. Let g be a(-3). Which is bigger: g or -1/40?
g
Let m(a) = a**3 - a**2 + 2*a - 2. Let y = 0 + 2. Let j be m(y). Suppose -3*l = -12 - 3. Which is bigger: j or l?
j
Let x = -36475/46 - -793. Which is greater: -2 or x?
x
Let f = -6 - -6. Let r = 10 - 9.8. Which is smaller: r or f?
f
Let c(v) = -v**2 - 12*v. Let y be c(-12). Do y and 0 have the same value?
True
Let b(m) = -m**3 + 4*m**2 + 1. Let v be b(2). Which is bigger: 2/3 or v?
v
Let x be (-3 - 11/(-3))*-6. Let r(s) = 2*s + 7. Let u be r(x). Which is bigger: -3/7 or u?
-3/7
Let y = 12 - 10. Suppose 4*m = 5*m - y. Is 2/3 less than m?
True
Let t = -23363522/225 + 117501444386/1130175. Let i = -12/5023 + t. Let m = -130 + i. Is m smaller than -1?
False
Let k be (3 - (4 - 1))/2. Let s be -1 + 4*21/60. Which is smaller: s or k?
k
Let x be 2 - (2 + 0 + -4). Is 0 not equal to x?
True
Let t be 166/(-162) + (-16)/(-16). Which is smaller: t or -1?
-1
Let u(x) = -9*x + 3. Let o be u(-3). Let n be (2/o)/((-6)/1104). Let z = 38/3 + n. Which is smaller: z or -0.1?
-0.1
Let h = -6 - -13. Which is bigger: 1 or h?
h
Suppose -4*v = -4*w - 12, -2*v - 2*w = 3*w - 20. Suppose -2 = -v*z + 4*z. Let s = -74 - -227/3. Does z = s?
False
Let p be ((-14)/1834)/((-2)/(-4)). Is p at most as big as 0?
True
Let k = 11 + -7. Suppose 6 = k*d + 2. Which is smaller: d or 3?
d
Suppose -2*p = 3*p. Let k be 6/(-4)*(-4)/(-10). Which is bigger: k or p?
p
Let i = -8 - -8. Is i > -1?
True
Suppose 4*s - 5*z - 69 = 0, 0 = 4*s - s + 5*z - 43. Is 17 smaller than s?
False
Let o = 15 + -15.08. Is o > 4?
False
Let i be 2*1/7 - (-12035)/(-203). Which is greater: -60 or i?
i
Let x = 10 - 9. Is x bigger than 2/77?
True
Let p(k) = -k**3 - 7*k**2 - 7*k - 3. Let o be p(-6). Let w(z) be the third derivative of -z**5/60 - 7*z**4/24 + z**3/3 + 2*z**2. Let i be w(-7). Is i < o?
True
Let u be -1 + 93/48 + -1. Let h = u + 35/48. Which is bigger: h or 0?
h
Suppose -4*v + 25 = v. Let p = -1 - -5. Suppose p*b - b = 12. Are b and v unequal?
True
Suppose 2*v = -4*v + 120. Let u = v - 41. Is -22 < u?
True
Suppose -4*w = 5*m - 159 - 141, 5*m = -w + 300. Suppose 0 = -2*u - 2*u - m. Let z be (4/(-3))/((-10)/u). Is -3 at most z?
True
Let v = 79/6 - 40/3. Let z be ((-2 - 2) + 4)/(-1). Which is smaller: z or v?
v
Let i = 9 - 4. Suppose -5*d = 5*c - 10, -d + 3 = i*c - 3. Is 1 > d?
False
Let z = 56/187 - 2/17. Do z and 0 have the same value?
False
Let t(u) = -u + 15. Let i be t(7). Suppose 37 = 3*j + 5*a - a, -16 = -4*a. Which is smaller: i or j?
j
Let g = -8/111 + 5/111. Is 1 > g?
True
Let o = -3772/7 - -534. Let r = o + 367/77. Is r bigger than 1?
False
Let b = -637689/308798 - 1/6713. Let n = b + 3793/322. Let y = 10 - n. Are 1 and y non-equal?
True
Let c be 2/(-16)*(0 - 1). Suppose -o = 9 - 6, -2*u = -5*o - 13. Does c = u?
False
Suppose h - 2*c + 4 = 0, -5*h - c - 44 = -2. Let s = h - -6. Let u be (5/(-2) - s)/(-1). Doe