 w. Let m = -8/63 + 4/7. Is k < m?
True
Suppose -2*c = -6*c. Let u be (2/4*c)/2. Which is bigger: 5/6 or u?
5/6
Let j = 0 - -2. Let p be 2/4*j*0. Which is smaller: p or -3?
-3
Suppose -j + 3*i = -6, -8 + 0 = -2*j + 4*i. Do -2/111 and j have the same value?
False
Let y = 29 + -28. Let a(w) = 2*w - 5. Let q be a(4). Are y and q unequal?
True
Let u(c) be the first derivative of -c**4/4 + 7*c**3/3 + 9*c**2/2 + 2*c - 2. Let m be u(8). Let v be m/8 + 3/(-12). Which is smaller: v or -1/4?
-1/4
Let g be 4/3*18/2. Suppose -g = 2*j + 2*j. Is -3 at most j?
True
Let r(w) = w**3 - 4*w**2 - 2*w - 3. Let x be r(5). Which is greater: 3/2 or x?
x
Let x(q) = -q. Let b be x(9). Let l be (-6)/2 + (-26)/b. Which is smaller: 1 or l?
l
Let t(l) = -l**3 + 11*l**2 - 12*l + 21. Let v be t(10). Which is bigger: v or 2/193?
v
Let a = 1017/28 - 143/4. Is 2 > a?
True
Let s = 2 - 1.7. Let g = -7.7 - -8. Let k = g + -0.2. Which is smaller: s or k?
k
Let c = -11 + 17. Which is bigger: 3 or c?
c
Let q(z) = -3*z - 5. Let m be 2/(-9) - 128/72. Let d be q(m). Which is smaller: d or 2/9?
2/9
Let p = -0.4 - -0.38. Is -0.1 less than or equal to p?
True
Suppose -4*r + 49 = -k, r - 23 = -2*r - 2*k. Is 10 equal to r?
False
Let d(o) = 2*o - 6. Let k(i) = -3*i + 13. Let x(s) = 5*d(s) + 2*k(s). Let f be x(2). Which is greater: f or 5?
5
Suppose 5*l - 99 = -354. Is -51 at most as big as l?
True
Let o be (-18)/22*1/3. Suppose 5*g - 2*l + 1 = 2, 0 = 4*g + 3*l + 13. Which is greater: g or o?
o
Let x = -6 + 12. Let a be 30/4*x/27. Is a at least as big as 1?
True
Let p(x) = -17*x**2 - 4*x - 4. Let r be p(-1). Which is smaller: r or -1?
r
Let j(h) = -h + 8. Let b be j(6). Suppose 3*g = b*g + 3. Suppose g*n + 13 = 1. Which is bigger: -5 or n?
n
Let f(r) = r**2 + 8*r - 1. Let n be f(-8). Let k be (0 + n)*(-12 + 9). Is 4 less than k?
False
Let o(t) = t - 3. Let n be o(4). Let z = -98 - -97.8. Which is bigger: z or n?
n
Let z be ((-4)/(-8))/(2/120). Suppose r = -4*r + z. Suppose b - r = -2*b. Which is smaller: 3 or b?
b
Suppose -m = 3*o - 17, -2*m + 29 = 4*o + 3. Suppose 0 = -o*v + 5*a - 23, 0*v + a - 7 = 2*v. Let g(h) = -h - 7. Let x be g(-4). Does v = x?
False
Let q = 7 + -16. Let u = q + 6. Let o = -1 - 0. Which is greater: o or u?
o
Suppose 3 + 12 = -5*y, -40 = r - 2*y. Let b = r - -32. Which is smaller: b or -15?
-15
Let i = -41.3 + 40. Which is greater: i or 2?
2
Let p(z) = z**3 - 5*z**2 + 3*z + 5. Let m be p(5). Let f be (-10)/(-20)*m/2. Which is bigger: 4 or f?
f
Let l be (0 - -2) + (-35 - -1) + 4. Which is smaller: l or -27?
l
Let a = 136 - 91. Let g be 9/(-5)*a/6. Let b = g + 14. Which is smaller: 2/3 or b?
b
Suppose 616 = -4*a - 10*a. Are -44 and a nonequal?
False
Let i = -14699/4 - -3718. Let b = 43 - i. Which is smaller: b or -2/13?
b
Let r = 9 - 5. Suppose -3*m + r*m + 2 = 0. Is m smaller than 0?
True
Suppose -3*z + w = 54, -2*z - 23 - 13 = -5*w. Which is smaller: -20 or z?
-20
Let n = 0 + 3. Suppose -4*b + 1 = -n. Which is greater: 2 or b?
2
Let k = 169 - 170. Let y be (-1)/(-6)*2*-1. Is y less than or equal to k?
False
Let a be ((-4 - -5) + 1)/(-5). Let q = 0.2 - 0.2. Let h = q + 2. Which is smaller: a or h?
a
Suppose -4*p = n - 5, 5*p + 5*n - 8 = 2*p. Let a(b) = 3*b - 1. Let g be a(p). Suppose -5*f + 2*z + g = 4*z, -2 = 5*f - 2*z. Is f less than 0?
False
Suppose 0 = 7*f - 17*f - 920. Which is bigger: f or -0.1?
-0.1
Let t = 2.945 + -0.045. Let w = -3 + t. Which is smaller: 2 or w?
w
Suppose k + 2*h = -2*h + 22, 0 = -3*k - 5*h + 38. Suppose 0 = -2*z + k, -4*a - 4*z - z = -11. Which is greater: 0 or a?
0
Let r = -22 + 20. Let b be 0*(-1)/(1*-2). Let p be (b + r)*(-1)/(-2). Which is bigger: -2/19 or p?
-2/19
Let j = 3 - 4. Let a(f) = -f**3 + f**2 - 1. Let q be a(j). Let i be 0*((-3)/(-6))/(-1). Which is bigger: q or i?
q
Let k be (6/(-18))/((-1)/(-3)). Is -1/13 <= k?
False
Suppose 4*a - 16 = -v, -3*a = 3*v + a - 80. Which is greater: v or 31?
v
Let u(g) = -g**3 - 8*g**2 - 7*g + 9. Let h be u(-7). Let b be h/21 - (-39)/(-42). Does b = 2?
False
Let p = -39/20 + 7/4. Is 2/23 less than or equal to p?
False
Let i = -3/86 + 611/258. Is i greater than 1?
True
Let h be (1 - (0 - -1)) + 2/(-8). Is h bigger than 3?
False
Let b(k) = k**2 + 220. Let g be b(0). Let z be 7/(-14) - (-158)/g. Let y = z + -46/715. Which is smaller: y or -1?
-1
Let f(t) = -t**3 + t**2 + t + 1. Let z be f(0). Which is greater: z or -2/41?
z
Let q = -707/9 + 2932/45. Let g = 2/17673 - 390773/29455. Let c = g - q. Which is bigger: c or -1?
c
Let l(j) = -j**2 - j + 2. Let v be l(-2). Let n be (-17)/(-8) - (v + 2). Which is smaller: n or -1?
-1
Suppose -7*j + 2*j = -4*q - 23, -10 = -4*j - q. Let c be (-8 - -19) + (0 - j). Is 8 at most c?
True
Let u be 2 + 2*-2 + 5. Let b be (1/u)/((-3)/(-72)). Is b at most 7?
False
Let b(o) = 2*o - 3. Suppose 5*m - 4 = -3*n, -n - 2 + 8 = -3*m. Let p be b(n). Does 5/3 = p?
False
Let g = -0.05 - -0.02. Let b = 0.57 - g. Is -0.1 less than b?
True
Let k be ((-1)/58)/((-2)/(-8)). Which is bigger: k or -1?
k
Let p(u) = u**3 + u - 5. Let q be p(0). Let f be (1/(-2))/(2/12). Let s = q - f. Which is greater: s or -3?
s
Let i be (-2)/(-24) + (-2)/6. Let r be ((-2)/5 - 33/(-45))*3. Which is greater: r or i?
r
Suppose -5*y + 20 = -0*y. Suppose -y*p + 9 = r, 5*p + 5*r = -6 + 21. Let m = -4 + p. Which is bigger: m or -1?
-1
Let s be 228/48 - (-2)/8. Let u be (0 - -3 - s)*2. Which is bigger: u or -1?
-1
Let h = 0.04 + 0.02. Let t = 0.16 - h. Is 3 > t?
True
Let q = 0 + 6. Is 0 at least q?
False
Suppose -2*p - 3*t = -0 + 3, 4*t + 4 = -3*p. Let c be 1/(46/(-1)) - 0. Let g = c - 89/138. Are g and p unequal?
True
Let h(s) = s**2 - 2. Let p be h(2). Let x be 191/7 - p/7. Let g be 2/4*(-6)/x. Is g at most as big as 0?
True
Let v be 12/(-4)*16/(-6). Let z = 9 - v. Are z and -1/20 equal?
False
Let g be (-4)/14 - (-372)/224. Which is bigger: g or 2?
2
Suppose t = 5 - 3. Let w be (3/t)/(15/4). Which is smaller: 0 or w?
0
Suppose -17 = -0*c + 4*c + v, -3*c + 5*v + 16 = 0. Suppose -p + 8 = 2*o, -4*p - 12 = -3*o - 3*p. Suppose -5*g = -3*g + o. Is c smaller than g?
True
Let g be 55/26 + 5 + -7. Let z = g + -41/130. Is 1 smaller than z?
False
Let r(h) = -h**3 + 5*h**2 - 3*h - 2. Let p be r(4). Let d(s) = -5*s - 32. Let v be d(-7). Which is smaller: v or p?
p
Let g be ((-2)/15)/((-1)/(-5)). Let v(b) = -2*b**2 - 9*b + 4. Let o(n) = n**2 + 4*n - 2. Let s(p) = -9*o(p) - 4*v(p). Let q be s(-2). Which is bigger: g or q?
g
Let m be (-34191)/(-40131) + -1*1. Let n = m + -2/343. Are 1 and n unequal?
True
Suppose -6*g = -5*g + 19. Which is greater: -1/2 or g?
-1/2
Let o be 4/(-1 + 0 - 0). Let y be -3 - 0 - 4/o. Let v = 53/2 + -27. Which is greater: v or y?
v
Let t = 2 + -1.97. Let w = 0.07 + t. Is -1/5 bigger than w?
False
Let i = 72.93 - 74. Let w = i + 0.07. Let z = 2 - 1. Which is smaller: w or z?
w
Suppose 20 = -29*y + 24*y. Which is smaller: y or 1?
y
Let n = 6 + -2. Suppose -h = -6*h + 15. Which is smaller: h or n?
h
Let f = 6 + -2. Suppose 0 = -6*l + 2*l + 12. Suppose -2*a + 12 = l*a + 3*r, -a + f = -r. Is a at most as big as 4?
True
Let z = 2/373 + -1139/3730. Let v = 10 - 6. Suppose -5 = -2*b - 1, -5*h + v*b - 3 = 0. Does z = h?
False
Let q = 5.9 - 4.9. Which is greater: q or -0.7?
q
Let b = -1 + 1. Let u(z) = z**3. Let o be u(b). Suppose 4*q + 0*y + 2*y - 2 = o, -5*q = 3*y - 4. Is 1/6 bigger than q?
True
Let x = -159 - -1429/9. Let q = 2 - 2. Which is smaller: q or x?
x
Let r be (1 - 3/4)/((-4)/(-16)). Which is greater: -4 or r?
r
Let k = -77.9 + 78. Let l = 12.44 - 14.5. Let p = l + 0.06. Which is greater: p or k?
k
Suppose l = -5*g + 2, 3*l - g = 2 - 60. Let s be (-4)/l - (-6)/(-27). Which is smaller: -5/6 or s?
-5/6
Suppose -2*r + 2*a = -6, r + 2*r + 26 = -4*a. Which is greater: -3 or r?
r
Let y = 11 - 3. Let w(i) be the second derivative of -i**5/20 + 3*i**4/4 - 4*i**3/3 + i**2/2 + i. Let l be w(y). Does l = 0?
False
Let r(c) = -c**3 + 7*c**2 - 7*c + 7. Suppose -f + 3*f - 5*i - 27 = 0, 3*f - 5*i - 33 = 0. Let w be r(f). Is w not equal to 0?
True
Suppose -6*l + 0*l + 6 = 0. Which is greater: -1/6 or l?
l
Let f = -2 - 0. Suppose -2*d + d - 3 = 0. Is f smaller than d?
False
Suppose 4*m + 8 = 40. Let q = m + -5. Which is greater: 4 or q?
4
Let x = -55/3 - -19. Let p be (12/5)/(6/20). Let s = p + -6. Which is greater: