 - 12*o + o**2 + o - 3*o. Let v be t(13). Is 8/5 bigger than v?
False
Let r be (8/12)/((-4)/(-2592)*4). Is r equal to 109?
False
Let q = 222 + -2217/10. Let h be 18/10 + 2/(-2). Let v = h - q. Are 1 and v equal?
False
Let d be (0 - -1)*(11 - -1). Suppose 0*w = -3*w + d. Do 3 and w have the same value?
False
Let n(k) be the first derivative of -k**2 + 1. Let j be n(1). Is j less than -1?
True
Let n(g) = g**3 - 4*g**2 + 3*g + 2. Let q be n(3). Suppose -2 = 2*p + q. Which is bigger: -1 or p?
-1
Suppose 0 = -3*r + 4*r - 6. Let u be (3/r)/(1/(-12)). Let x be (u/12)/((-1)/6). Are x and 2 equal?
False
Let w(i) = 7*i**2 + 4*i. Let a be w(-3). Suppose -5*n = -24 - a. Suppose -s - 4*s - n = 0. Is -4 greater than s?
False
Let c(l) = -3*l**2 - 7*l - 6. Let q(b) = -b**2. Let a(j) = c(j) - 2*q(j). Let w(o) = o**2 + 6*o - 1. Let s be w(-5). Let k be a(s). Which is greater: 1/10 or k?
1/10
Let g(t) = -t**2 + 5*t. Let n be g(5). Let p = 73/45 + -11/9. Which is bigger: n or p?
p
Suppose 5 + 1 = 3*n. Let z be (-1)/n*8/(-2). Suppose -l - 5 = -z*w, 0 = 4*l + 5*w - 2*w - 13. Is 1 at most as big as l?
True
Let x(m) = 2*m**2 + m - 4. Let f be x(-2). Suppose -25 = -5*t - 4*v, -3*t = -f*t - 4*v + 19. Is t less than 5?
True
Let c = -0.1 + 1.1. Let p = -0.6 + c. Let g = 0.7 + 0.3. Which is smaller: p or g?
p
Let k = -88.8 - -89. Are k and -10 equal?
False
Let x be ((-42)/18)/1 - (-2)/6. Is 16 greater than x?
True
Suppose 4*q = 8 - 0. Suppose 1 = -q*l + 5. Is 2 not equal to l?
False
Let t = 1.98 - -0.02. Let z = 1.94 - t. Let m = z - -0.06. Which is smaller: m or 1?
m
Let p be 198/(-87) + 2 + 0. Let h = p - -130/261. Which is greater: 0 or h?
h
Let w be (-4)/18 - 116/(-36). Suppose 0 = -w*j - 2*j + 10. Let n be j/(-18)*(4 + -7). Which is bigger: -0.2 or n?
n
Let d = -96519 - -1062467/11. Let b = -69 + d. Which is bigger: 1 or b?
1
Let f(i) = -i + 4. Let d(s) = s**3 + 9*s**2 - 11*s - 5. Let x be d(-10). Let u be f(x). Which is bigger: u or 1/4?
1/4
Let y(f) = 2*f**3 + 9*f**2 + 5*f - 2. Let v be y(-4). Which is smaller: v or -10?
-10
Let i = 928/85 - 54/5. Which is smaller: 1/4 or i?
i
Let l = 13/2 - 51/10. Suppose 4*m - 4 = 4*i + 4, -2*m = -i - 4. Is l smaller than i?
False
Let r = 29/2 - 15. Let o be (6 + -4)*1/1. Suppose q = o*q. Is q greater than r?
True
Let m = -33 - -47. Let x = 22 - m. Is 0 less than x?
True
Let k(o) = -o - 1. Let g be k(-8). Is -1 less than or equal to g?
True
Suppose -7*x = -16 + 121. Is x greater than or equal to -15?
True
Suppose 6*l = 4*l - 8. Is -6 >= l?
False
Suppose -4*w - 4*s = 0, 3*w - s = 4*s + 16. Suppose -6*r + w*r - 12 = 0. Let u be 3 - 3 - r/2. Which is smaller: u or 3?
u
Suppose 2*v = 3*v + 2. Let q be 1/((-2)/4) + 4. Let m be (q + -1 - 3)/1. Is v not equal to m?
False
Suppose -5*i + 4*i = 0. Suppose 5*w - 15 = -8*l + 3*l, 0 = 4*w + 5*l - 15. Do i and w have the same value?
True
Let s(u) = u**3 - 6*u**2 + 3*u + 7. Let m be s(5). Suppose -r + 3 = -2. Let x be (-4)/(-10)*-2*r. Which is bigger: x or m?
m
Let p be (-2 - 8/(-14))/((-24)/(-70)). Which is smaller: p or -5?
-5
Let f(c) = -c**3 - 3*c**2 + 2*c + 3. Let l be f(-2). Let q = l - -2. Let m be (-1)/(-3) - 2/q. Which is greater: m or 0?
m
Let m be (-8)/(-6)*(-15 + 0). Let i be 2/m*(-5)/2. Let t = 2/37 + -88/259. Do t and i have the same value?
False
Let g(z) = 3*z - 35. Let h(a) = a - 12. Suppose 0*y + 20 = -5*y. Let w(c) = y*g(c) + 11*h(c). Let f be w(7). Is f at least 1?
True
Let h be (-1)/(-1) - 196/182. Which is smaller: 1/4 or h?
h
Let u = -1.9 - -0.5. Let w = u + 0.3. Let z = w + 0.1. Is z smaller than -1?
False
Let a = 17 + -16.93. Let w = a - -3.93. Is w < -0.1?
False
Let d be (-1)/(1/9) + -1. Let l be d/4 + (-4 - -7). Which is smaller: 2 or l?
l
Suppose -4*w - 49 = -5*o, -2 + 21 = w + 5*o. Let u = -8 - w. Are 3 and u unequal?
True
Let l = 0 + 2. Let p = -5/38 + 177/190. Which is smaller: l or p?
p
Let s be (-20)/24 - (-1 - 0). Suppose -p - 3 = -2*p. Suppose 0*o = 2*o - p*x, 0 = -4*o - 4*x. Are s and o equal?
False
Let m be 1/((-27)/(-12) + -2). Suppose 3*l - 8 = 4*v - 4, 4*v + 4*l = -m. Which is smaller: 1 or v?
v
Let i = -0.03 + -0.67. Let t = -2.3 + i. Let h = t - -5. Is h at most 1?
False
Suppose -5*d - 72 = -4*c, 3 = -3*d + c - 43. Let t = d - -19. Which is greater: t or 18/7?
t
Suppose -3*o = 3*a - 9, 2*a + 2*o + 2 = 4*o. Let t be (-5)/15 - (-1 + -1). Which is greater: t or a?
t
Let i = -1.9 + -0.1. Suppose 3*d + 5 = 2. Is i at most as big as d?
True
Let g = 0 - 0. Let q be 474/260 - 2/4. Let s = q + -12/13. Which is greater: g or s?
s
Let h = 3/208 - -29/208. Let u be (-3 + 1)/2 - 0. Are u and h unequal?
True
Let c be (-10)/(-76)*(-16)/60. Is c greater than 1?
False
Let c = -7 + 9. Let x(j) = 2*j**2 - 2*j + 2. Let d be x(c). Is 1 > d?
False
Let g = -1 - -4. Suppose 7*t + 4 = g*t. Let n = 0 + t. Is n bigger than -1?
False
Let w = -158 - -95. Let a = 42 + w. Let b be 6/a - (-2)/7. Which is smaller: 1 or b?
b
Let h be (63/(-94))/((-15)/8). Let u = h + 2/47. Is u at least -2/3?
True
Suppose 1 - 13 = -4*d. Suppose -3*y = -b - 9, -5*y + 15 = -d*b - 4. Let i be ((-7)/42)/(y/(-3)). Does i = -1?
False
Let x = -36 - -35.97. Is x greater than or equal to 2?
False
Let h = 0.5 + 0.5. Let m = 3 - 2. Is h less than or equal to m?
True
Let t(y) = -y - 8. Let c be t(-5). Suppose 4*v - 5*a - 13 = -0*v, -4*v - 2 = -2*a. Is v bigger than c?
False
Let p = 90 + -363/4. Let d = 9 + 3. Let q = 10 - d. Which is smaller: p or q?
q
Suppose 5*t - 6 + 31 = 0. Which is smaller: t or -3?
t
Let m = 23 - 13. Let w = 10 - m. Which is greater: -1/4 or w?
w
Let q(i) = i**3 + 8*i**2 + i + 6. Suppose -3*o + 8 = o. Suppose 0 = -5*n - 5*t - 25, 3*t - 49 = 7*n - o*n. Let b be q(n). Is -4 < b?
True
Let w = -44/5 - -46/5. Let i = 3/20 - w. Which is smaller: i or 2?
i
Let y = 70.2 + -58. Let q = y - 12. Which is bigger: q or 1?
1
Let s = -8 - -5. Let n = s + 2.75. Let w = -0.05 + n. Is w at least as big as 0.1?
False
Let o = -75 + 73. Which is smaller: 0.08 or o?
o
Let p = 51.3 - 49. Let r = p - 2.5. Are r and 0.07 nonequal?
True
Let w(c) = -c**3 + 10*c**2 + 3*c - 4. Let n be w(10). Let h = -24 + n. Which is bigger: h or 3?
3
Let u be (-1)/10 - (-1)/2. Let c(a) = -8*a + 1 + a**2 - 1 + 0 + 2. Let h be c(7). Which is greater: u or h?
u
Let a be 3/(-1) - (-264)/56. Let i = a - 43/21. Is i smaller than 1?
True
Suppose -6*l + 16 - 4 = 0. Is -21 not equal to l?
True
Let n = 24 - 25. Do n and -0.19 have the same value?
False
Let a be ((-70)/25)/((-2)/(-10)). Let f be (-78)/126 - 4/a. Is f > -1?
True
Suppose -t = 3*z + 11, t - 3*z = -4*t + 35. Let k be ((-6)/4)/3*-4. Suppose k*x + 2 = -b - 2*x, 2*b - 5*x = -t. Is -2 not equal to b?
False
Let p = -243779 - -129736. Let t = p + 111192101/975. Let o = t + -2/75. Which is bigger: -1 or o?
o
Let v be 104/(-40) - 4/10. Suppose 0 = -f + 2*d + 5 + 1, -20 = 5*d. Is f greater than v?
True
Let b(a) = -a - 7. Let c be b(-6). Is 0 < c?
False
Let i(x) = 10*x**2 + 7*x - 5. Let k be i(1). Which is greater: 10 or k?
k
Let o = 2786 - 1988. Let m be (2/(-12))/((-3)/o). Let v = 45 - m. Is 0 >= v?
False
Let c be 16418/182 + (-2)/7. Let y = 90 - c. Let s be 6/(-33) + 4/22. Which is greater: y or s?
y
Let f = 157/10 + 61/20. Let u = f + -19. Is u smaller than 1?
True
Let c = 0.063 - 0.263. Suppose 0 = 5*a + 5*k + 40, -2*a + 5*a + 32 = -k. Which is greater: c or a?
c
Let s(u) = -u - 7. Suppose -2*r - 9 = r + 5*j, 0 = 4*r + 3*j + 23. Let i be s(r). Are 1 and i equal?
True
Let z(w) = -w**2 - 10*w. Let v be z(-10). Which is bigger: v or 5/8?
5/8
Let g = -25 + 27. Let p(x) = x**3 - x**2 - 4*x + 3. Let l be p(g). Is l equal to -2/3?
False
Let g = 13 + -20. Let v = -7 + 6.9. Which is smaller: v or g?
g
Let v = -12.87 - 0.13. Let m = v - -12. Suppose 2*p = -0*p + 2. Which is smaller: p or m?
m
Let v be 159/7 - 2/(-7). Let u be 24/(-32) + v/4. Let r = -3 - -9. Does u = r?
False
Let p = 0.3 - 0.3. Let w = 0.9 - -0.1. Is w <= p?
False
Suppose 0*l - 28 = 7*l. Is -13/4 at least l?
True
Let h = -96 + 101. Is -1/11 < h?
True
Let o = 3 - 2. Let q be ((-2)/3*3)/((-60)/(-9)). Which is greater: q or o?
o
Let a = -1 - 0. Let p be 1*(0 + a/1). Let l(m) = -m + 5. Let x be l(6). Is p smaller than x?
False
Let l = -1.46 - 0.04. Let x = l + 0.5. Is -6 at least x?
False
Suppose 0 = 2*d - 4*d + 4. Is d at most as 