ose -p*i = -6*i. Let d = 134/3 - 45. Is d less than i?
True
Let v be 6/9*2/36. Is 0 less than or equal to v?
True
Let j(u) = -u**2 - u + 3. Let v be j(-3). Let i be (-2)/8 + v/(-12). Let k be (-10)/(-45) - 100/288. Does k = i?
False
Let k = 3 - 1. Let a be (2*-1)/((-12)/(-488)). Let t = a - -82. Which is smaller: k or t?
t
Let w be ((-3)/(-2))/(9/12). Let s(t) = t**3 - 4*t**2 + 4. Let x be 5/10 - 14/(-4). Let d be s(x). Is d equal to w?
False
Let w(p) = 0*p**2 + p**2 + 3*p + 1 + 11 + 9*p. Let t be w(-11). Let v be -1 - (15/(-17))/t. Which is smaller: v or 1?
v
Suppose -x = -3*x. Suppose -3*f - 123 + 39 = x. Let b be (-76)/f + (1 - 4). Is b equal to 1?
False
Let o(b) = b**2 - 7*b - 2. Let c be o(8). Let q be 0 + -6 - (7 - c). Which is smaller: q or -6?
q
Let j be (-16)/6 + (-8)/(-12). Let a be -25*(1 - (-7)/(-5)). Suppose -5*k - a - 5 = 0. Which is bigger: k or j?
j
Let d = 1.1 - 0.1. Let l = d + -0.9. Let g = 4 - 5. Is g bigger than l?
False
Let w be 2 + (-8 + 3 - -3). Suppose -2*i - h = -6*h + 2, 0 = 4*i - 3*h + 4. Which is bigger: w or i?
w
Let s be 1 + (18/21)/(2/(-70)). Are -29 and s equal?
True
Suppose 3*c - s = 12 + 1, -2*c = -5*s - 13. Suppose -2*l + 0 + c = 0. Let k be (-2)/(-2) + -1 + l. Is k at least as big as 2?
True
Let f = -7 + 7.3. Is -7 < f?
True
Let h be (-2 - (-864)/798) + (-4)/(-14). Which is greater: -1 or h?
h
Let l = -2243/8 + 280. Suppose 5*o + 5*i = 4*i, -5*i - 30 = -5*o. Let f be 2 + 0 - (o - 0). Which is greater: l or f?
f
Let j = 12.9 - -0.1. Let m = j - 12.9. Is m bigger than 0?
True
Let n = -2.97 + -3.03. Let s = -4 + 2. Which is smaller: n or s?
n
Let m be ((-10)/(-20))/(2/(-20)). Are m and -8 unequal?
True
Let a = -142/5 + 28. Let p be 21/27 + (-4)/(-18). Suppose 4*m + 5 = p. Which is smaller: m or a?
m
Let g be 36/8 - 1/(-2). Suppose -g*z + 2*z + 15 = 0. Are 5 and z non-equal?
False
Let l = -40 + 42. Which is smaller: -2/9 or l?
-2/9
Let d = -10 - -8.9. Let b = d - -3. Let w = b + 0.1. Which is smaller: w or 1/2?
1/2
Suppose -6*l = 10 + 38. Let n = 8 + l. Is n greater than 5/4?
False
Let h be 6/15 - (-4)/30*-18. Is h < -2/3?
True
Let u be ((-24)/(-10))/((-2)/(-70)). Suppose 4*q - 32 = -u. Is -12 less than q?
False
Let n be 2/(1*(-4 + 2)). Let v = -8 + -6. Are v and n unequal?
True
Let s = 17 - 26. Is -9 less than s?
False
Let c = -0.4 + 0.9. Let r = c - -3.5. Let b = 4 - r. Which is bigger: b or 2?
2
Let t = 32 + -33. Do t and -16 have the same value?
False
Let f be (6/4)/((-10)/(-260)). Let g be 5/35 - f/(-21). Let n = -4/23 + 31/46. Is g less than or equal to n?
False
Let w be (-176)/(-33) - (-2)/3. Is 4 equal to w?
False
Let t be 6/(-1 + 2)*(-9)/(-18). Is 2 at least t?
False
Let l = 18.1 + -18. Is 0.1 at least as big as l?
True
Suppose 0 = 6*o - 4*o. Suppose -4*f + 9*f - 5 = o. Let a be ((-5)/(-2) - 2)/f. Is 2 greater than a?
True
Suppose -3*r = -4*z - 6, 7*z + 2*r = 3*z + 4. Let l(h) = -h**3 + h**2 - h - 2. Let g be l(z). Is g > -2?
False
Let z = 0.1 - 0.2. Let v = 21.1 - 19.1. Which is smaller: v or z?
z
Let s be (3/(-15))/(1 - 4/(-20)). Which is bigger: s or 5?
5
Let r = 119/335 + 221607/2345. Let b = 95 - r. Which is greater: b or 2?
2
Let s = -22.8 - -33. Let j = -10 + s. Which is smaller: j or -0.4?
-0.4
Let i(z) = -z**3 + 8*z**2 + 8*z + 7. Let s be i(9). Is 1/4 >= s?
True
Let d be (-3941)/(-310)*8 - 0. Let c = d + -16/155. Let q = 102 - c. Is 2/9 bigger than q?
False
Let r = -4 + 3.7. Let h = 17 + -17.1. Which is smaller: r or h?
r
Suppose 4*o + 6 = 2. Let a be (-170)/(-42) + (-3)/9. Let l = a - 111/28. Which is bigger: o or l?
l
Let t be 44/10 + 18/(-45). Let o be 7/2 + 2/4. Is o at most as big as t?
True
Let d be 3/6 + -1 + (-16)/(-34). Is 0.1 < d?
False
Suppose 0 = -3*g + 3, -u = -2*g - 9 + 38. Is u greater than -27?
False
Suppose 1 = 4*v + 1. Which is greater: v or -2/191?
v
Suppose -2*s + 24 = -5*s. Let n(v) = v. Let y(j) = 3*j - 5. Let q(f) = 4*n(f) - y(f). Let u be q(s). Which is smaller: -2 or u?
u
Let q = 988/297 + -37/11. Let a(c) = -c**2 - 13*c - 12. Let n be a(-12). Which is bigger: q or n?
n
Let t = -8 + 1. Let u(w) = 7*w. Let v be u(1). Let z be (-2)/t + 19/v. Which is smaller: z or 2?
2
Suppose -4*x - 5*k + 3 - 6 = 0, -4*x = 4*k + 4. Which is smaller: -3 or x?
-3
Let r be ((-4)/4)/(2*2/(-4)). Let c be -384*(2 - 218/110). Let o = -34/5 - c. Is o smaller than r?
True
Let z be -1 + 4/(8736/1059). Let r = -3/56 - z. Which is greater: r or 1?
1
Suppose 2*z - 26 = -18. Which is smaller: 1 or z?
1
Let h be (-1)/1*(-8)/4. Let o = h + 8. Suppose -3*l - 5*r = 25, 0*l - o = l + 2*r. Is 2/7 greater than l?
True
Let o = 2 + -3. Suppose -h = -6*h - 20. Let c be (2/6)/((-1)/h). Which is bigger: c or o?
c
Let f be 4*(3 + -1 + 0). Is f less than 7?
False
Let o = 116/21 - 34/7. Is o less than 0?
False
Let j(i) = -i + 21. Let p be j(16). Is 14/3 at least as big as p?
False
Suppose -6*k + 2*k = 0. Let d be (-18)/(-4)*8/(-66). Which is greater: k or d?
k
Suppose 5*a - 15 = 15. Let k be 20/6 + a + -7. Which is bigger: k or 2?
k
Suppose 0 = -i - 0*i. Let d be i + (-3 - (-1 - 0)). Is d greater than -1?
False
Let v = -2 - -5. Suppose -v*f = f. Which is smaller: f or 2/5?
f
Let f = 33 + -39. Which is smaller: -13/2 or f?
-13/2
Let d(y) = y**2 - 19*y + 13. Let f be d(16). Let l be (-25)/f - (-4)/14. Which is smaller: l or -1?
-1
Let l be ((-6)/12)/(1/2). Is -2/5 >= l?
True
Let b = -11.5 - -9. Let o = b + 3. Which is greater: o or 0?
o
Let f be (-4)/(-5) - (0 + 2). Suppose -k + 2*k = 3*o + 9, 0 = k - 2*o - 6. Which is smaller: f or k?
f
Let u = -155 - -107. Let v = u + 145/3. Let t = -0.2 + 1.2. Is v bigger than t?
False
Let m be 2/184*16/8*1. Which is smaller: -1 or m?
-1
Let w be 0 - (2 + (-1878)/273). Let s = 56/13 - w. Which is greater: s or -1?
s
Suppose -2*p = -5*b - 213, -7*p + 10*p = -b - 29. Which is greater: b or -127/3?
b
Let u(a) be the first derivative of -a**4/12 - a**3/2 - 2*a**2 + 2*a + 2. Let l(p) be the first derivative of u(p). Let i be l(-3). Is -4 at most i?
True
Let t = -21 + 23. Suppose 2*o + 10 = -5*k, -4*o + 18 = -2*o - t*k. Is 3 < o?
True
Let n = 649/629 + -18/17. Is n at most -1?
False
Let m(f) = f**3 + 2*f**2 + 2. Let k be m(-2). Suppose 0*l - k*l - 2 = 0. Which is smaller: -6/7 or l?
l
Let d be 6/(-33) - (-251)/(-11). Let x be d/(-9) - (2 + 1). Which is greater: 0 or x?
0
Let k(m) = m**2 + 4*m - 1. Let h be k(-5). Let v be h/2 + (0 - 3). Is -1/3 less than v?
False
Suppose 0 = -5*n + n - 240. Let p be 14/n + 6/(-36). Which is smaller: -0.3 or p?
p
Let z = 0.97 - 1. Let k = 2.97 - z. Let d = 3/4 + -5/12. Is k <= d?
False
Suppose 23 = 3*x + 68. Is x < -14?
True
Let x = -6 + 4. Let a = -86 - -600/7. Which is bigger: a or x?
a
Let u = 8 - 15. Let o be (-2)/u - 99/(-21). Is 5 bigger than o?
False
Suppose a + 2 = 5. Is a bigger than 3?
False
Let v = -62 - -68. Let q = -8 + 14. Is v greater than or equal to q?
True
Let a be 42/(-6) + 4 - (-44)/14. Which is smaller: -2 or a?
-2
Let t(g) = g**2 + 6*g + 7. Suppose -5*v - 2*r - r = 25, -4*v + 2*r = 20. Let u be t(v). Which is bigger: 4/7 or u?
u
Suppose 3*c + 9 = -4*r + 2*r, -r - 5*c = 8. Suppose -z + 26 = -4*k - 0*k, 3*k + 24 = 3*z. Is k <= r?
True
Let c = -2 - -2. Let a(s) = s + 7. Let f be a(-8). Which is bigger: c or f?
c
Let b = 53 + -56. Is b at least -4?
True
Let r = -21.1 + 3.1. Let u = r - -18.7. Let w = 0.3 + u. Is w smaller than 0?
False
Let p(z) = z**3 - 8*z**2 + 7*z + 5. Let i be p(7). Suppose 5*l - 5 = i. Suppose -3 = l*n - 7. Does 7/5 = n?
False
Suppose 3*r - 7 = 2*r + 4*s, 0 = 5*s + 5. Let f be 1*2/21*r. Let v be (-2)/(-4) + 8 + -8. Is v greater than or equal to f?
True
Let d be (-3)/2 + (-4)/(-6). Is d smaller than -1?
False
Let y = -18 + 22. Is 4 at least y?
True
Let h = -4 - -3.9. Let m = 0.3 + h. Let z = -0.2 - m. Is z greater than -0.1?
False
Let i(m) = 2*m**2 - 2*m + 1. Let y be i(1). Suppose 0 = -3*g - y - 8. Which is bigger: g or -5?
g
Let p = -0.08 + 0.1. Let q = p - -0.38. Let r = -5 - -4.9. Which is bigger: q or r?
q
Let y = 0 + 0. Let w be (y - 74/14) + -1. Let k = w + 674/105. Which is smaller: k or -1/4?
-1/4
Let x = 14.11 + -14. Let g = -2 + 2.09. Let v = g - x. Which is smaller: v or 1?
v
Let m = 8 - 7.9. Let k(b) = -b**3 + 11*b**2 - 10*b - 1. Let p be k(10). Do p and m have the same value?
False
Let d be (-6)/33