 equal?
True
Let z = 4/39 + -38/117. Let d(k) = -k**2 - 1. Let u be d(0). Let l be -3 - u - (-1 - 0). Which is smaller: z or l?
l
Let k(h) = h**3 + 2*h**2 - 4*h - 1. Let c be k(-3). Let j be (-4 - (-85)/20)*8. Is j > c?
False
Let t(w) be the first derivative of -3*w**4/4 + w**3/3 - w**2 + w - 7. Let y be t(1). Does y = -3?
True
Let h = -35 - -45. Let c be (-43)/(-4) - 33/44. Do c and h have the same value?
True
Let w = 69/7 - 10. Suppose -4*c + 5 - 69 = 0. Let t = c - -15. Is t smaller than w?
True
Let t(a) = -a**3 - a + 2. Let j be t(1). Let o be (-1)/3*(-12)/(-22). Which is smaller: j or o?
o
Let g be (-1)/4 + (-57)/12. Let f(t) = 2 - t + 1 - 4 - 4. Let d be f(g). Is d bigger than 1/2?
False
Suppose 0 = -4*o - 3*z + 20, 2*z + 15 = 3*o + 3*z. Suppose -o*p - 9 = 4*p. Suppose 2*u = c + c - 12, -22 = -2*c + 4*u. Which is greater: p or c?
c
Let j = -11 - -42. Let y be 2/8 + j/4. Is y <= 8?
True
Let k = 2.3 - 0.3. Let h = 1.1 - 1.8. Let m = -0.3 + h. Is k greater than m?
True
Let a(o) = -6*o + 32. Let z be a(5). Suppose 0 = l + l. Suppose -4*t - z + l = -3*n, 0 = 3*t + 4*n - 11. Is t bigger than 1/2?
True
Let v = 0.08 + 0.02. Let d = v + 0.1. Let o = -3 - -3. Is o >= d?
False
Let z be -4*6/(-16)*2. Suppose -v - 12 = -z*v + 4*h, -6 = 5*v - h. Does -4 = v?
False
Let y = -3/35 + -23/140. Let d = 17/2 + -8. Is d <= y?
False
Let z be 4 + 35 + 2 + 0. Suppose -j - 10 = -2*o + 3*o, -2*o = 5*j + z. Let k(p) = 7*p**3. Let b be k(-1). Is j greater than b?
False
Let y = -3.1 - -3.1. Is 0.08 less than or equal to y?
False
Suppose 3*c - 2*l + 2 = -1, -5*c + 3*l = 4. Let v = 10 - 7. Suppose v*s = -a + 14, -s = 4*s - 20. Is c less than a?
True
Suppose 10*w = 7*w - 6. Let l be (-3)/(-2)*(-2)/(-3). Which is greater: l or w?
l
Let x(k) = k**3 - 3*k**2 + 2*k + 2. Let n be x(2). Suppose 7 = n*j - 9. Let w = -25/3 + j. Which is greater: 2 or w?
2
Suppose 20 - 4 = 2*h. Let c be h/3 + (-6)/9. Let l be c*(-2)/(2/(-1)). Is 2 bigger than l?
False
Suppose -2*p - 4*m = -12, p + 33 = 3*p - 3*m. Are 8 and p equal?
False
Let w(p) = p**2 - 4*p + 2. Let a be w(4). Which is smaller: 1/5 or a?
1/5
Suppose -18 = 3*j + 18. Let u be (-7)/(-21) + 22/j. Which is greater: 0 or u?
0
Let j = -3.4 + 4.4. Is j != 25?
True
Suppose 5*u + 4*t + 4 = u, -4*u - 2*t = -2. Suppose 4*l - u*l = 0. Let j = l - 1. Which is smaller: j or -2?
-2
Let s = 3 + 1. Suppose -s*c + 2*c = 0. Let a = -5 + 6. Does c = a?
False
Let v = 31/8 - 4. Suppose 15 = -3*h + 5*r, -1 = 5*h + 2*r - 7. Is v >= h?
False
Suppose 0 = 2*u - 33 + 3. Let p = -13 + u. Which is bigger: p or 3/4?
p
Let j be ((-1)/(4 - 3))/2. Suppose 0 = -2*o - 0*o - 2*w + 10, 9 = o + 2*w. Let h be 0 + o + -3 - -1. Do h and j have different values?
True
Suppose -3*i - 4*z + 20 = 0, -2 + 82 = 5*i - 5*z. Let n be (-3)/i - (-6)/8. Let f be -1*(1 + (-1)/2). Is f smaller than n?
True
Let r be 3 - (2 + 753/(-15)). Let p = r - 51. Which is smaller: -1 or p?
-1
Let n be (3/(-2))/((-6)/4). Suppose -5 + n = r. Is -6 greater than r?
False
Let f = -3358/1767 + 60/31. Let p = f + -124/285. Which is greater: 1/2 or p?
1/2
Let r = -12489/1079 + 150/13. Is -1 smaller than r?
True
Let q = -3/65 + -274/1105. Is q greater than or equal to 1?
False
Let s(r) = r**3 + r**2 - 3*r - 1. Let f be s(-2). Let a(u) = -u**3 - u**2 + u. Let c be a(f). Which is smaller: c or 2/19?
c
Let f = -2 + 2. Suppose 2*i + f*i - 4 = 0. Is 3 at least i?
True
Let v = 2.1 - 2. Let p be (0 + 1)*(0 + 5 + -6). Which is smaller: p or v?
p
Let b = 5/2 + -11/6. Let u be 14/21*12/2. Suppose d = u*i - 20, -3*i = -d + 4*d - 15. Which is smaller: b or d?
d
Suppose 0 = 4*x - 0 - 8. Suppose 0 = -x*q + 6, l = -3*l + 3*q - 25. Let b = -4 - l. Which is greater: -1/4 or b?
b
Let f = 1.33 + 0.07. Let u = f + -0.4. Let z = u + -1.3. Is z < -1?
False
Let f(b) = -2*b**2 + 16*b - 1. Let t be f(8). Let n be -2 + (-5)/((-250)/96). Is t not equal to n?
True
Suppose -5*w + 2*j + 36 = -4, w - 5*j - 8 = 0. Let v be w/5 - 6/(-15). Is 2/3 not equal to v?
True
Let q be (-1 - (0 + 2)) + 20. Is 33/2 less than or equal to q?
True
Let n = -8 + 5. Let j = -3.2 - n. Let q be (-7)/4 - (0 - 2). Are q and j non-equal?
True
Let a = 206/429 + -40/39. Which is bigger: 0 or a?
0
Let h(b) = -b**3 + 6*b**2 + 8*b - 1. Let m be h(7). Let s be (m/(-4))/((-117)/12). Which is smaller: -1/4 or s?
-1/4
Let b = -157 - -158. Is -5/13 at least as big as b?
False
Let b(w) = -3*w - 4. Let i be b(-3). Suppose i*d + 44 = d. Is -10 greater than d?
True
Let v be 3/(2/1 + -3). Let h(i) = 2*i + 3. Let s be h(v). Let r = -4 - s. Which is smaller: r or 0?
r
Let z = -5 + 3. Let g = z + 4. Let h = -6 + 6.1. Is h != g?
True
Let r = 2 - 1. Let m = -1591/4 + 2782/7. Let j = -3/4 - m. Which is greater: j or r?
r
Let h be (-232)/(-72) + 4/(-18). Suppose -h = d - 6. Is 0.1 < d?
True
Let c be 4225/(-39) - (-2)/6. Is 0.1 >= c?
True
Let k = 3 + 9. Let d = k - 12. Is -25 less than d?
True
Let r(h) = -61*h + 2. Suppose a = -2*a - 12. Let n be r(a). Let t = 1718/7 - n. Which is greater: -1 or t?
t
Let c = -7 + 9. Suppose o = c - 6. Let q = -4 - o. Is -1/2 at most q?
True
Suppose -b - 2*l = 4*b, -b + 4*l - 22 = 0. Does -5/7 = b?
False
Suppose -5*f = -7*f. Is 1/6 not equal to f?
True
Suppose -5*f + 3*f = -6*f. Is f less than or equal to -10/13?
False
Let h = -0.58 + -0.08. Let g = h + 0.06. Which is greater: g or -2/3?
g
Suppose -3*w - w = -24. Suppose f = -0*f - 3, -2*f - w = 3*s. Which is bigger: s or -4/3?
s
Let a = 100/2033 - -6/107. Let v(f) = -6*f - 49. Let t be v(-8). Which is greater: t or a?
a
Let c = 898/5 + -179. Let h(a) = a**3 + 14*a**2 + 12*a - 12. Suppose 0 = 2*d - 10 + 36. Let n be h(d). Is c less than or equal to n?
True
Suppose -2*z + 24 = -0*s + s, -z = s - 19. Let i be (-4)/s + (-30)/(-56). Which is smaller: i or -1?
-1
Let q = 41 + -32. Is 1 > q?
False
Suppose 0 = 4*b + 4 - 12. Let g be 12/4 + b/(-1). Let j = -1 + g. Are -1 and j unequal?
True
Let c = 65/17 + 491/85. Is c <= 10?
True
Let a = 887 - 7111/8. Which is smaller: a or -3?
-3
Suppose -a - 22 = -5*r, -4*a = -2*r - a + 1. Suppose r*n = n - 2*l - 22, -7 = 4*n - l. Which is bigger: -2/3 or n?
-2/3
Suppose -3*o + 5 + 4 = 0, -5*o = -3*m - 12. Which is smaller: m or 0.02?
0.02
Let h be 1 + 2 - (-2 + 0). Suppose -19 = h*c + 6. Do c and -5 have different values?
False
Let m(d) = -d**3 + 5*d**2 + 6*d + 4. Let q be m(6). Is q less than 5?
True
Suppose 91 - 79 = 2*n. Are n and 3 nonequal?
True
Let l be (-420)/(-1463) - 4/22. Let m = -1 - -1. Let o = 1 + m. Is l greater than o?
False
Let q(j) = j. Let l be q(2). Let f(u) = 2*u**2 - u - 2. Let x be f(l). Suppose 3*y = x*y + 4. Is -4 less than y?
False
Let m be (20/15)/(6/25). Let c = m + -17/3. Does 0 = c?
False
Let z(n) = -n**2 + 10*n + 2. Let i be z(10). Suppose -l = i*h + l + 4, 5 = -2*h - l. Which is smaller: h or 0?
h
Let u(r) = 2*r**3 - r**2 + 1. Let x be u(-1). Let b be (-4)/2 - (-5 - x). Is 1 at least as big as b?
True
Let m(k) = -k + 4. Let v be m(3). Let r = -4315/19 + 227. Is r < v?
True
Suppose 0*l - 1 = p + 4*l, -5*l = -p - 19. Is -7 less than or equal to p?
False
Let u = 5 + -7. Let s be (u/3)/(3/9). Suppose -8 = 4*y, 2*g + 5*y = -19 + 9. Is s greater than g?
False
Let m(t) = -t**2 - 4*t + 5. Let y be m(-5). Which is smaller: 3/4 or y?
y
Let w = -0.05 - -2.05. Let u = 1.4 - w. Let a = u + 0.1. Is a greater than -1?
True
Let q(z) = -z**3 + 9*z**2 - 9*z + 4. Let j be q(8). Let d be (j + 3)*0 + -1. Is d != 0?
True
Let v be 576/(-291) - 1 - -3. Is v != -1?
True
Let d(f) = -2*f**2 - 5*f + 13. Let b be d(4). Are -39 and b nonequal?
False
Let p be (-7)/(-91)*(1 - -1). Let o(a) = -a**2 + 4*a - 4. Let b be o(2). Is p < b?
False
Suppose 4*k - k = -d + 15, -2*d = 2*k - 6. Suppose 4*p = k + 2. Is 1 < p?
True
Let q = 1/110 + 1/11. Suppose 0 = y + 2*y. Is y bigger than q?
False
Let z be (2/(-4))/((-121)/22). Which is greater: z or 1?
1
Let c = -0.79 - -0.59. Let l = 59/2 - 29. Is c greater than l?
False
Let h(f) = f**3 + 14*f**2 + 30*f + 21. Let j be h(-12). Is -51 bigger than j?
False
Let y = 4 + -4.1. Let i = -3 - -3. Let z = i - y. Which is smaller: z or 4?
z
Let j = 18 - 16. Is 6 at most j?
False
Suppose 0 = -3*k - 4*l - 26, 8*k + 4*l = 3*k - 30. Let h be -1 - 1 - 48/(-28). Which is bigger: k or h?
h
Suppose 2*a - 4*a = 6. Which is smaller: a or 0.2?
a
Let