t**3/6 - 7*t**2. Let i be x(-6). Which is smaller: i or 1?
i
Let y be 13/((-1)/2*1). Let r be 3/(-4) + y/(-56). Let d = 0.5 - 0.1. Is d at least r?
True
Suppose 0 = 4*n - 4*m - 4, -2*n - 4*m = -4 + 14. Let z = n - 0. Which is greater: z or -3/4?
-3/4
Let a be (4/6)/(20/30). Which is greater: a or 2/11?
a
Let x be (2 + -2)*(1 + 6/(-3)). Is -1/18 at most as big as x?
True
Let c be ((-11)/4)/(13/26). Which is smaller: -7 or c?
-7
Let g = 5 + 11. Which is smaller: 15 or g?
15
Suppose -2*o + 126 = -5*j, -2*o + 3*j = 3*o - 296. Which is greater: o or 56?
o
Let w = 9 - 9. Is w greater than 2/5?
False
Suppose 2*d - 4*y + 18 = 0, 3*y - 3 = -4*d - 6. Is d smaller than -4?
False
Let j = 2.5 - 0.5. Let s = 1 - j. Let a = 0 + s. Which is smaller: 3 or a?
a
Suppose -2*m + 2*p = m - 5, -4*m = -4*p - 8. Is 2/21 less than or equal to m?
True
Let g = 2 + -1.5. Which is smaller: g or -0.4?
-0.4
Let y be (-2)/(-6) - 2/(-6). Let l be (-20)/(-18) - (2 - 1). Is l at least as big as y?
False
Let p(q) = -2*q**2 - 3*q + 1. Let f be p(-2). Is -2/115 > f?
True
Let a be ((-67)/33 - -2)*-8. Let u = a - -76/231. Suppose -1 - 3 = -4*t. Is t less than u?
False
Let w be (12/9)/(3/54). Let t = w - 36. Is -13 less than t?
True
Let v be (-3)/7*(-8)/12. Let t be (-2)/12 + 15/(-18). Which is smaller: t or v?
t
Let r = -19 + 19. Which is smaller: 21 or r?
r
Suppose 18 = -x - 16. Which is bigger: -32 or x?
-32
Let j(n) = n**2 - 2*n - 9. Let i be j(7). Suppose -5*t - 1 = -i. Suppose 0 = 3*l - 11 - 7. Which is greater: l or t?
l
Let z(c) = -c**3 - 2*c**2 + 4*c + 3. Let a be z(-3). Which is greater: -2/17 or a?
a
Let z(i) = -i**2 + 4*i. Let w be z(4). Let s = 2 + -4. Let l = 2.2 + s. Is w > l?
False
Let x = -5 + 9. Suppose -3 = 3*q - x*q. Is 2 greater than or equal to q?
False
Let a = -1 - -4. Let u be (1/(-6))/((-7)/42). Let l be u/(-54)*-4*a. Is -1 smaller than l?
True
Let j = 16 - 18. Let c = 0.07 + -0.37. Which is smaller: j or c?
j
Let a(q) = -1 - 3 + 11 + q. Suppose -5*x - 28 = 3*s, s = -x + 4*x. Let h be a(s). Which is smaller: 3/2 or h?
h
Let m be ((-2)/2)/(-3 - -2). Is 1/20 bigger than m?
False
Suppose -4*y - 9 = -49. Suppose 4*z = 2 + y. Let a be ((-9)/(-3))/z - 3. Which is smaller: a or -3/5?
a
Suppose 0 = 2*i + 16 - 18. Which is bigger: 1/88 or i?
i
Let y be (0 - 1) + (4 - 736/244). Are -1 and y equal?
False
Let t(f) = f**2 + 5*f + 5. Let u be t(-4). Are u and 1/3 equal?
False
Suppose -2 = -u - 0. Let t(b) = 4*b + 22. Let c be t(-6). Which is greater: c or u?
u
Suppose -2*k = 29 + 11. Let x be (1 - (-1)/(-5))*k. Let t be x/18*(-6)/8. Which is bigger: 0 or t?
t
Let r = 7 - 19/3. Let l = 0.04 - 0.04. Is l < r?
True
Let b = 3.06 + -0.06. Let y(w) = -w + 1. Let o be y(-3). Let z be 3/o - 161/140. Which is bigger: b or z?
b
Let j(b) = -b**3 + 6*b**2 + 9*b + 1. Let u be j(7). Let z be (-4)/u*(-6)/(-4). Is z > 1?
False
Let j = -3.8 - -4.8. Is -0.26 greater than j?
False
Let p = -2 - -4. Let f be (p + -1)/(-6 + 7). Suppose 4*s = 3*s + f. Is s < 2?
True
Let u = -182314/4955 + -6/991. Let f = -37 - u. Are f and -1 unequal?
True
Let o be (2/6)/(3/(-9)). Let l be 1/2 + 3/(-14). Which is bigger: l or o?
l
Let c(k) = k**2 + k - 2. Let y be c(-3). Let j be y/10 + 3261/60. Let g = j - 55. Is g at most as big as -1?
False
Let z be 18/(-10) - (9 + -11). Which is greater: -1 or z?
z
Let x(v) = 2*v**3 - v**2 + 2*v - 1. Let h be x(1). Suppose o + 5*j - 13 = 0, h*j - 42 = 4*o - 6. Let z be (2/o)/((-6)/(-9)). Are z and -1 unequal?
True
Suppose d + 4*i + 352 = -3*d, 5*d - 3*i + 408 = 0. Let g be (-102)/d - 6/4. Which is smaller: g or -1?
-1
Let g be 66/14 - 6/(-21). Suppose u - 4*x + 10 = -u, g*u - 7 = 2*x. Let k be -1*(u + -2)*-1. Is 1 less than k?
False
Suppose -4*w = -w - 255. Let v = w - 764/9. Let f = -14/45 + v. Which is smaller: f or 0?
f
Suppose -4*r + 7 + 1 = 0. Suppose 0 = i - 3 + r. Is i greater than -1?
True
Let i be (6/18)/((-1)/3). Let s = -1 - i. Let u = -0.3 + 0.1. Which is bigger: s or u?
s
Suppose 3*y + 5 = u - 5, 3*u + 4*y + 9 = 0. Let r = -10810/11 + 982. Let j = r + 51/55. Which is smaller: j or u?
j
Let d = 136 + -130. Which is smaller: d or 0.2?
0.2
Let g(s) = s - 1. Let x be g(-2). Let p(c) = -c**3 - c**2 + 4*c - 7. Let n be p(-3). Are x and n non-equal?
True
Let m = 5 - 8. Let a be 2/(1/m - -1). Which is bigger: 7/2 or a?
7/2
Let p be (-46)/(-69) + 16/3. Is 44/9 > p?
False
Let a = -119 - -119.2. Is 27 != a?
True
Let c = -4 + 3. Let i = c - -5. Let z be (-10)/3 + -2 + i. Is -1 at least as big as z?
True
Let t(w) = w + 7. Let i be t(8). Let k be 4/6*i/(-25). Which is bigger: k or 0?
0
Let f(h) = h**2 + 12*h - 12. Let l be f(-13). Let d be l*((-21)/9 + 0). Is d not equal to -2?
True
Let w = 101 - 709/7. Let t = -6 + 8. Let p = 0 - t. Which is bigger: p or w?
w
Let a = -2/113 - 446/339. Is a bigger than -0.1?
False
Suppose 3*k = 15 + 48. Let s be (k/(-14))/((-2)/4). Let c be (0 - s)*1 - -1. Does -1 = c?
False
Suppose 0 = -5*o - 5*y + 695, 2*y = 4*o + 5*y - 555. Let d be ((-1)/(-3))/((-2)/o). Is -23 at least d?
True
Let f = 761/7 + -109. Let h = -2 + 0. Let q = h + 2. Is q greater than f?
True
Let f be 4*(-1 - 10/(-12)). Let c = -4/9 + 17/99. Let x = 5/22 - c. Which is greater: x or f?
x
Suppose -h + 3 = -2. Suppose -4 = -h*g + 1. Are g and 1/28 unequal?
True
Let h = -3 + 7. Let t = h + -2. Let w be 5/(-60) + t/(-8). Are w and 0 nonequal?
True
Let l = -3/14 - 2/7. Which is smaller: l or -20?
-20
Let m = -51 + 52. Which is bigger: -2/23 or m?
m
Suppose 0 = -4*p - 6 - 10. Let u = 0 + 2. Suppose -u*l = -0*l. Which is bigger: p or l?
l
Let w = 2.8 + 0.2. Let z(l) = l**3 - 19*l**2 + 17*l + 16. Let h be z(18). Which is smaller: h or w?
h
Suppose 4*u - 26 - 14 = 0. Let o be 161/(-140) - (-4)/u. Is 4 equal to o?
False
Let k be (-3 - 1) + -7 - -4. Is k > -7?
False
Suppose v - 16 = -3*l, 0*l - 2*v = 3*l - 17. Let b = l + -4. Let d be (-4)/(-3)*(-27)/(-18). Do b and d have different values?
True
Let n be 12/(-16) - (-3 + 27/12). Which is greater: n or 1/14?
1/14
Let b = 61/2 - 31. Let c be ((-16)/(-20))/(3/(-90)). Let a be ((-3)/9)/((-4)/c). Which is smaller: a or b?
a
Let d = 0 - 1. Suppose 0 = 4*w - 0*w - 28. Let h = 7 - w. Which is smaller: h or d?
d
Suppose 3*z - 5*i = -1, -5*z - 3*i - 11 = -z. Let d(b) be the third derivative of b**6/120 + b**5/30 + 2*b**2. Let v be d(z). Is -1/4 >= v?
False
Let c = -14 - -4. Let b = c - -9. Is -3 equal to b?
False
Let k = -17/784 - 2/49. Is k at least -1?
True
Suppose -2 = -h, 3*c - 3*h - 30 + 6 = 0. Is 11 greater than or equal to c?
True
Suppose 0 = q - 6 + 18. Let v be (1/(-3))/((-5)/q). Let j = 2 + -2. Is v < j?
True
Let a = 0.06 - 0.14. Let g = 0.891 + -0.791. Is g < a?
False
Let h be (-2)/((2 - 3)*1). Suppose c - h = -c. Are c and 2 unequal?
True
Let i = -1 + 0.2. Let d = -0.3 - i. Let f = d + -0.2. Which is smaller: f or 2/3?
f
Let b be -1 - 4 - 128/(-28). Which is greater: b or 9?
9
Let t = 11 + -6. Let k be ((-36)/15)/(-3)*t. Suppose j + 9 = -5*i + 2*i, 4 = -4*j - 4*i. Is k at most j?
False
Let t = 7 + -13. Do -2 and t have the same value?
False
Suppose -3*t + 15 = 2*t. Suppose 9 = -z - 3. Let c be 2*t/z*-2. Is c greater than -2?
True
Let s(z) = -z - 10. Let l be s(-7). Let b = -5 + 4.3. Let f = 0.3 - b. Is f smaller than l?
False
Let c(a) = a**3 + 5*a**2 - 6*a - 1. Suppose 0 = 2*u - 0*u - 50. Suppose 3*r - 7 + u = 0. Let d be c(r). Which is greater: 0 or d?
0
Suppose -4*r + 4*m - 24 = 0, 3*r + 12 = 12*m - 11*m. Which is bigger: r or -1?
-1
Let y = 14 + -6. Let f = y + -7.6. Which is greater: 1/3 or f?
f
Let v = -0.13 - -0.53. Which is greater: v or 2?
2
Let y = -0.117 - -103.117. Is y not equal to -1/3?
True
Let w = -1 + 0. Let p be (63/(-30) + 2)*(-3 - -4). Which is bigger: w or p?
p
Suppose 3 = -5*z - x, 0 = 4*z + x - 5*x - 12. Let m(r) be the first derivative of r**4/4 - r**3/3 - r**2/2 + 1. Let o be m(z). Is 0 smaller than o?
False
Let t(c) = c**2 + 7*c + 5. Let f be t(-7). Suppose f*y + 5 = r, -3*r + 0*r + 5*y + 5 = 0. Is 1/7 at most r?
False
Let f be ((-21)/(-70)*10/2)/(-2). Which is greater: f or 7?
7
Let l = -66 - -595/9. Let q(r) = r**2 - 4*r - 2. Let w be q(5). Suppose -3 = -g - 2*u, 0 = -g - 4*g - w*u + 8. Which is smaller: g or l?
l
Let k be 113844/10*(-6)/(-4). Let p = k - 17013. Let n = p + -63. Is n greater than 0?
True
L