equal?
True
Let o = -44 - -222/5. Let q = -5 + 11. Let r be (-4)/q + (-20)/(-12). Does r = o?
False
Let j = -0.7 - 0.3. Let c = j - -4. Is 1 < c?
True
Let n = -2.3 - -1.5. Is 2 less than or equal to n?
False
Let g = 2.96 - -0.04. Let s = 2 - g. Let y = 0.3 + -0.1. Which is bigger: s or y?
y
Let d = 2 - 2. Let j = 7 - 2. Suppose d*s + 5*s = j. Which is greater: 5/7 or s?
s
Let c = -0.78 - -5.88. Let d = c - 5. Is -0.4 not equal to d?
True
Let t = -113 - -112.95. Let q = -0.9 - -1. Which is greater: t or q?
q
Let o(k) = k - 4. Let q be o(6). Suppose 6 = -4*l + q*a - 0, 4*l = -4*a - 12. Which is smaller: -2/3 or l?
l
Let f be -8 - 3/(-2)*2. Let h = f + 2. Suppose 4*t = -12, 2*y - 23 = 4*y + 5*t. Is y != h?
True
Let w = -36 - -35.66. Is w equal to 1?
False
Let m = -8 + 14. Suppose 0*f + 3*f = m. Is f greater than 1?
True
Let h = -1577 + 4843/3. Let o = h - 37. Suppose 0 = -2*f + 3*f - 2. Which is smaller: f or o?
o
Suppose 7*t + 22 = 2*t + 2*n, -3 = 2*t + 5*n. Let b be 10/t*3/15. Let x(v) = -v - 6. Let f be x(-6). Which is bigger: f or b?
f
Let i(r) = -2*r + 14. Suppose -7 = 3*n - 4*n. Let f be i(n). Let w = -2 + 1. Is w not equal to f?
True
Suppose -5*j - 8*y + 4*y - 8 = 0, 4*y = 2*j + 20. Let k be (-2)/((-8)/j + 0). Let a = -30 + 272/9. Are a and k non-equal?
True
Let t(a) = -a**2 - 6*a + 5. Let k be t(-6). Suppose -o - 3 = 5*m, 0 = k*o + m - 4 - 5. Suppose -3*f = -o*f. Is 1 at least f?
True
Let c be 1/(-4)*8/6. Let u(m) be the second derivative of -m**5/20 - m**4/6 - m. Let r be u(-2). Which is bigger: r or c?
r
Let l = -14 + 8. Let i = -9 - l. Let r = -16 - -13. Are i and r equal?
True
Suppose -9 = 2*a - h, -21 = 2*a + 2*a - 3*h. Let u be (32/12 + a)*6. Which is bigger: u or -12/11?
-12/11
Suppose 13 - 21 = -2*b. Suppose 0 = -0*w + w - 5. Does b = w?
False
Let a = 0.8 - 1. Let d be (-6)/15*(-15)/9. Is d greater than a?
True
Suppose s - 6 = 2*h, 5*h + 0*h - 12 = -2*s. Let k be 1 - -6*s/9. Let g(c) = -c + 13. Let j be g(9). Are j and k nonequal?
True
Let b = -18 - -23. Suppose b*t + 0*t = 0. Which is smaller: 1 or t?
t
Let c = -341 - -26258/77. Is c bigger than -1?
True
Let j = -2214/55 + 204/5. Are j and 1 nonequal?
True
Let v = -3 + 5. Suppose 2*n - 8 = -v*n. Let s be 0/1 - n/5. Are 1 and s non-equal?
True
Suppose -3*g - 9 = 5*r, 2*g - 9 = -3*r + 5*g. Which is smaller: 4/13 or r?
r
Let c be 0 - (-2 - -1)*-2. Which is bigger: -3/2 or c?
-3/2
Suppose -3*l - 3*z - 65 = 2*l, -10 = -l + 4*z. Let f be 1/(1/(4/l)). Let t be (1 + 0 + 0)*0. Which is smaller: f or t?
f
Let u = -6/331 - -812/8275. Which is smaller: u or -1?
-1
Let g be (-1 - 4 - -1)*-1. Suppose 2*r - 2*b = -2*r - 6, g*r + 3*b - 9 = 0. Is r not equal to -1/9?
True
Let r = -10 + 7. Let l be ((-1)/4)/((-10)/40). Let h = r + l. Is h < -2?
False
Let z be (-2)/(-4) + 34/(-4). Let b be 12/(-18) + z/6. Are -4 and b equal?
False
Let i = -1.55 + 0.15. Let f = i - -1.3. Is 0.3 != f?
True
Let p be (-524)/3276 + (-1)/14*-2. Is -0.1 greater than p?
False
Let o = -29 + 36. Let q(v) = -2*v + 15. Let m be q(o). Is m < 5/3?
True
Let n be -2*(3 - (-20)/(-4)). Suppose 2*o - 8 = n*o + 3*l, 0 = -2*l - 4. Is -1 less than o?
False
Let t = -3.2 - -7.2. Which is smaller: t or -1/5?
-1/5
Let l(p) be the third derivative of -p**6/120 + p**5/60 - p**4/24 + p**3/6 - 2*p**2. Let a be l(1). Which is smaller: -3 or a?
-3
Suppose 7*l = -9 + 16. Is l smaller than -2/371?
False
Let g(h) = h**3 + h**2 + h - 2. Let a be g(0). Let q be ((-1)/a)/((-14)/12). Which is smaller: q or 1?
q
Let z = 4 + -4. Suppose z = -4*v - 3*c - 22, -10 = 3*v + c - 2*c. Which is bigger: -3 or v?
-3
Let f = 49 - 49. Is f at least as big as 1/3?
False
Let h(z) = -3 + 2*z + 3*z - 4*z. Let o be h(0). Let v be ((1 - 0) + -1)/(-2). Which is smaller: o or v?
o
Let z = -86 + 52. Which is smaller: z or -33?
z
Let p(b) = -2*b - 2. Let s be p(2). Which is smaller: s or -4?
s
Let s be 2/(-8)*-2*14. Let f = s - 15. Let i = f - -8. Are i and -1 nonequal?
True
Let f be (-1)/(1209/603 + -2). Let u = -1404/7 - f. Which is smaller: 1 or u?
u
Let t(w) = w**3 - 2*w**2 + 3. Let k be t(4). Which is greater: k or -1?
k
Let q(n) = -n**3 + 7*n**2 - 8. Let z be q(7). Let s(d) = -d**3 - 7*d**2 + 6*d - 10. Let p be s(z). Let f be ((-9)/p)/((-6)/16). Is f at least as big as 3?
True
Let q be (1 + -10)*(13 - 12). Let d = 11 + q. Which is smaller: 3 or d?
d
Let f = 3 - 4. Let i(z) be the second derivative of z**4/12 + 11*z**3/6 - 6*z**2 - 2*z. Let v be i(-12). Which is greater: v or f?
v
Let f(n) = n**2 + n - 1. Let x be f(0). Which is greater: 4/9 or x?
4/9
Let o = -37/15 + 19/5. Is 0 at least as big as o?
False
Let l be (-30)/140 + 4/(-14). Which is bigger: -1 or l?
l
Let t(l) = -l**3 - 5*l**2 - 2*l - 6. Let z be t(-5). Suppose -z*u = 4*x - 4, -2*x = -5*u - 0 + 5. Is -3/5 greater than u?
False
Let t be 2/(-1) + -1 + 7. Let n be (-1)/((-4)/8) - -1. Suppose -5 = -k - 2*p, 2*p - n*p = 4*k - 20. Which is smaller: k or t?
t
Suppose 2*v + 6 = -0*v. Let g = -6 + 7. Let m be ((-6)/(-3))/g - 6. Which is bigger: v or m?
v
Let d = 1 + -1.1. Let q = 0 - d. Suppose -5*n = m - 2, -5*m - 7 = -3*n - 17. Is m > q?
True
Let a(d) = 4 - 2 - d + 3. Let o be a(-6). Suppose 3*q - o = -p, -q + 3*q - 5*p = 13. Is 5 < q?
False
Let i be 1 + (-3)/(45/33). Let f = -0.9 - 0.1. Is i less than f?
True
Let n(d) = d + 4. Let w be n(-2). Which is smaller: w or -1?
-1
Suppose 2*i - 5*q = i - 13, -5*q - 5 = 5*i. Which is greater: i or -4?
i
Let k(g) = g - 6. Let l be k(8). Suppose 0*j + 6 = 2*p + 4*j, -p - 3*j + l = 0. Which is smaller: 4 or p?
4
Let s be 3*(-1)/(-6)*2. Is 1/13 smaller than s?
True
Let h = -19 + 29. Let s be h/(-35) - (-18)/14. Which is greater: 1/4 or s?
s
Suppose 2*h + 8 = -2*h - k, -4*h = -k + 8. Let l be ((-2)/7)/((-2)/h). Is l < -1?
False
Let b = -6.8 + 1.2. Let a = -6 - b. Let z = -0.5 - a. Which is smaller: z or 0?
z
Suppose 4*t = -4*f + 3*f - 3, 5*f = 4*t - 15. Let c be 2 + -2 - (-4)/(-14). Which is bigger: t or c?
t
Suppose -2*n = -3*n + 1. Let d = -15/26 + 19/26. Which is smaller: d or n?
d
Let b = -3/46 - -143/782. Which is greater: b or -1?
b
Suppose 3*a = -12, 2*c + 9*a + 24 = 4*a. Let o = 1 + -3. Is c smaller than o?
False
Let h be (-370)/70 - ((-2 - -4) + -7). Suppose p + 2*r - 5 = r, -3*r + 16 = 4*p. Which is smaller: h or p?
h
Let z be 2/6 - (-1)/(-3). Let a be (3/(-2))/3*z. Let i = 4 + -3. Do a and i have the same value?
False
Let b = 0.9 - 0.88. Let l = b - 0.22. Let i = 0.1 + l. Which is bigger: 2 or i?
2
Let i = 112/3 + -37. Let t = -0.9 - -0.5. Let g = -1.4 - t. Is g less than i?
True
Let v = -21 - -18. Which is bigger: -0.1 or v?
-0.1
Let z be (4/5)/((-2)/10). Let y be z/8 - 15/(-22). Which is greater: 0 or y?
y
Suppose 9*u = -2*u + 88. Which is smaller: 1/3 or u?
1/3
Let p = -0.031 + -0.209. Is 2 at least p?
True
Suppose 3*i = m + 5, i - 4*i = m - 13. Suppose -r = i*r, 4*n = -4*r + 16. Suppose 4*d = 20 - n. Which is bigger: d or 5?
5
Let a = -7/20 - -3/5. Let b = 3 - 4. Which is bigger: a or b?
a
Let p = 57.6 + -58. Let s = -0.1 + 0.2. Which is smaller: s or p?
p
Let x(o) = 5*o - 4*o + 11*o**2 - 2*o - o**3 + 14. Let v be x(11). Suppose 0 = 2*c - 5 - 3. Is c != v?
True
Let z = -77 + 78. Let p be ((-8)/10)/(4/(-10)). Suppose -1 - p = -3*u. Is u greater than or equal to z?
True
Let d be 4*(3 - 5/2). Suppose j + 5 = 3*b + d*j, 5*b - 10 = -2*j. Which is smaller: b or -10/7?
-10/7
Suppose -r - 3*y = 49, -6*y - 101 = 2*r - 3*y. Which is greater: -50 or r?
-50
Suppose 0 = -4*n + 20 + 20. Suppose 2*h = -4*m - n + 2, -3*h - 7 = m. Is m <= -1/6?
True
Let q(r) = -4*r + 5*r + 4 - r**2 + 6 + 6*r. Let z be q(8). Let x = 41 - 121/3. Which is bigger: z or x?
z
Suppose -4*n = w - 5*w + 108, 3*w - 137 = 5*n. Are n and -1/4 equal?
False
Let f = 0.73 - 0.39. Let c = f - 0.04. Which is greater: c or -3?
c
Let b be (45/20)/(2/(-12)*1). Which is smaller: b or -14?
-14
Let a be (-12)/21*1/(-6). Which is smaller: 1 or a?
a
Let k be 10*2*4/16. Suppose 0 = -5*y - 2*t - 11, 2*y - t = 4*y + k. Is y greater than or equal to 2/53?
False
Let i(o) be the first derivative of -o**2/2 - 4*o + 2. Let q be i(-5). Suppose -5*y - 3 = 2. Which is smaller: y or q?
y
Let y = 21377/5 - 16011503/3745. Let w = -117779/134820 - y. Let d = w - -4/45. Which is smaller: 0 or d?
d
Let l(c) = -c**2 + 9*c - 12. Let m be 