01/15 - (3 - 72/20). Suppose -27 - 12 = -3*k. Which is smaller: w or k?
k
Let y(i) = i**3 - 3*i**2 - 3*i - 4. Let z be y(4). Let h be (z - 0)/(-3 - -1). Is -0.1 less than or equal to h?
True
Let b(s) = -s**3 - 3*s**2 + 5*s + 4. Let i be b(-4). Let c be 2*(1 - (i - -2)). Is c < -1?
True
Let q be 18/(-8) + 3/12. Let k = -5 - -3. Is k bigger than q?
False
Let j = -0.56 + 0.06. Let u = j + -4. Let m = u + 4. Which is greater: 1 or m?
1
Let f = 1.2 + -1.2. Is f less than or equal to 11?
True
Let s be 2/(-3) + 453/(-9). Let y be (-2)/(-8) + s/12. Suppose -4*j + 3*c = -3*j + 11, 0 = -4*j + 2*c - 14. Are y and j nonequal?
True
Let o = -48 + 51. Which is greater: -15 or o?
o
Let v(g) = 5*g + 4. Let w be v(-6). Let n be (-30)/w + (-2)/13. Which is greater: n or -2/19?
n
Let g(o) = -o**3 + 3*o**2 + 9*o - 14. Let z be g(4). Which is smaller: z or 24/5?
24/5
Let d = -13 + 18. Let h = -10 + d. Let p = 6 + h. Is p greater than or equal to 0?
True
Let f = 1499/14 + -107. Are -1 and f nonequal?
True
Let i(a) = -a**3 - 5*a**2 - a - 1. Let k be i(-5). Let x be 2*(0 - (-4 - -2)). Is x > k?
False
Let x = -3 - -1. Let w = x + 4. Is 3 >= w?
True
Let b be 36/(-77) + 4/14. Suppose -2*g - 2*q + 2 = 0, -7 = -0*g - 3*g - 5*q. Let w be 1/(g/2*2). Is b less than w?
False
Let q be (-3 - -1)*1/6. Let k = 2.27 + -0.37. Let v = k - 2. Is v at most q?
False
Let h = -98/9 + 659/63. Let c be 6/8 + 1/4. Which is smaller: h or c?
h
Let m(s) = 2*s**2 + 4*s + 2. Let o be m(-3). Suppose 2*x = 4*x + o. Let p be x/2*2/16. Do 0 and p have different values?
True
Let t be (-3)/(3*2/4). Let x(h) = -h**2 - 6*h. Let z be x(-5). Suppose -z + 7 = -r. Is t equal to r?
True
Let w be -6*((-66)/9 - -2). Suppose 2*a = -122 - w. Let m be 4/14 - (-36)/a. Is 1 smaller than m?
False
Let j(n) = -2*n**2 + 2*n - 2. Suppose w - 3 + 0 = 0. Let m be j(w). Is m at most -14?
True
Suppose 5*a - 2*o - 5 = 0, -3*o - 8 = 3*a - 2*o. Let d = a - -2. Is d >= -2/61?
True
Suppose g - 3 = -q, 2*q + q + 12 = 4*g. Suppose -g*l = l. Is l at least as big as 1?
False
Suppose 0 = -4*z + 3*s + 137, 3*z + 4*s - 148 = -2*z. Which is greater: 31 or z?
z
Let w = -1095/2 + 561. Which is greater: 13 or w?
w
Let y(r) be the third derivative of 0 + 1/24*r**4 - 1/60*r**5 - 1/6*r**3 + 0*r - r**2. Let g be y(0). Is 2 at least as big as g?
True
Suppose 5*p = 2*w - 38, -w + 3*p = -4*w + 15. Let x be ((-3)/(-2))/(w/4). Let y = -83 + 84. Which is smaller: x or y?
x
Let t = 49 + -49. Which is bigger: -0.01 or t?
t
Suppose -4*m - 2*d = 2*d + 28, -4*d = 2*m + 24. Let y = m - -1. Do -1 and y have different values?
False
Let u(y) = -y**2 + 10*y - 8. Let n be u(8). Let d be n/20*(-1)/3. Is d >= -1?
True
Suppose 5*s + 10 = -4*d, 2*s - 5*s = 3*d + 6. Suppose 0 = -d*a - 2*a. Which is smaller: a or 1?
a
Let x(q) = -q - 9. Let j be x(-3). Let l(t) = t + 2. Let u be l(-8). Is u != j?
False
Let f = -222 + 659/3. Let d = 13 + -14. Is d != f?
True
Let r(g) = -g**2 - 8*g - 9. Let l be r(-6). Let x be (-27)/(-12)*(-8)/l. Let u be 7/(-39) + (-2)/x. Is 0 smaller than u?
True
Suppose -2 = s - 4*t, -3*s + 4*s + 2 = -5*t. Is -3/2 greater than s?
True
Let m be (-4)/10 - 6/10. Which is smaller: 2/83 or m?
m
Let f(c) = -6*c**2 - 3*c - 2. Let z be f(-1). Let r be (-1 + 0)/(z/10). Is r less than 2?
False
Let h(b) = 2*b**2 - 2*b - 4. Let n be h(2). Is -6/5 at most as big as n?
True
Let f(p) = -2*p**3 + p**2 - 2*p + 2. Let l be f(2). Let y = 14 - 28. Is y at most as big as l?
True
Let u be 5 + ((-5004)/330)/3. Which is smaller: u or -1?
-1
Let i = 1 - -2. Let w = 16 + -12. Let y = w - i. Are -2 and y equal?
False
Let k(x) = -x**2 - 6*x - 5. Let a be k(-5). Let s = -21697/1364 - 3/1364. Let r = s + 16. Which is greater: a or r?
r
Let x be (0 + 1)/(200/338). Let h = 3/50 + x. Does 1 = h?
False
Suppose 23 = 4*n - 25. Which is bigger: 0 or n?
n
Suppose -6 = -w - 2. Let b be 1*(-2)/2 - -5. Is w equal to b?
True
Let u be (-25 - (-2 - -6)) + -4. Is -35 <= u?
True
Let g be ((-2)/5)/(12/(-70)). Which is greater: 3 or g?
3
Let y be (-601)/204 + (-80)/(-20). Let f = -13/12 + y. Is f <= 0?
True
Let i be (-28)/(-182) - 44/117. Suppose -o - 4*a - a = 7, 3*o - 5*a = 19. Let n be 3/(-2)*(-2)/o. Which is bigger: i or n?
n
Let l = -137 + 961/7. Let m(s) = -s**3 - 5*s**2 + 8*s + 6. Let d be m(-6). Is l != d?
True
Let d(c) = 8*c - 5. Let r be d(7). Let h(p) = -p**3 + 7*p**2 - 9. Let x be h(7). Let z be (2/(-3))/(r/x). Is z <= 0?
False
Let f = -4.17 - -0.17. Let x = -80 + 75.9. Let c = x - f. Which is greater: c or -1?
c
Let j be 109/18 - 4 - 2. Let m = 0 + 0. Is m greater than or equal to j?
False
Let z = -0.45 + 0.73. Are z and -0.2 non-equal?
True
Let s(v) = v - 7. Let b be s(7). Let f = -35/992 - -1/248. Let a = f - 29/96. Is a <= b?
True
Let y = 22.3 + -22. Let u = -2 + 1.8. Let a = y + u. Which is bigger: a or 1?
1
Let v(a) be the third derivative of -1/3*a**4 + 0 + 1/60*a**5 + 0*a + 2*a**2 + 4/3*a**3. Let p be v(6). Is p >= -5?
True
Suppose 3*l - 7*l = 0. Let r(s) = -s + 1. Let k be r(2). Let g = 1 - k. Which is smaller: g or l?
l
Suppose 2*t + 2 = 3*t. Suppose j = 2*b - 15 - t, 0 = -5*b - j + 25. Suppose 3*o - b = o. Is o greater than 3?
False
Let l(r) = r + 4. Let c be l(-3). Suppose -o - y = -3*y + 85, 395 = -5*o - 5*y. Let k be o/(-30) + 3/(-1). Which is smaller: k or c?
k
Let x = -17 - -17.7. Let k = x + -1. Are -2/3 and k non-equal?
True
Let i = 25 - 24.8. Which is bigger: i or 2/61?
i
Let u be 50/(-30)*6/(-5). Is u smaller than 2/3?
False
Let x(c) = c - 9. Let u be x(8). Let t be (74/75 + u)*3. Which is smaller: 0 or t?
t
Let g = 0.55 - 0.05. Let v = 0.6 - g. Which is smaller: v or 4?
v
Let u(h) = h**2 - 12*h + 3. Let f be u(11). Is -7 < f?
False
Let g = 1.31 - 1.4. Let b = -1.91 + g. Is -1/6 at most as big as b?
False
Let l be (1 - -45)/(-6 + 11 + -7). Is l at most -24?
False
Let q be ((-4)/6)/(28/(-15) + 2). Suppose -5*j - 24 - 6 = 0. Is j < q?
True
Let q = -32 + 33. Is q at least -3/28?
True
Let b = -48 + 116. Let k be (-1)/4 + b/80. Is 0 bigger than k?
False
Let g = -2839/20461 - -2/553. Let r = g + 167/962. Which is smaller: 0 or r?
0
Suppose -2*g + 18 = 6*z - 2*z, 0 = -5*z - g + 24. Let n = -73 - -77. Which is bigger: z or n?
z
Let m = -4 - -6. Let u(l) = l**2 + 4*l - 3*l + 1 - 3*l. Let v be u(m). Which is smaller: v or -3?
-3
Let w be 8 - (3 + -2 + 3). Suppose -w*a - 2 = 6. Is a smaller than -2?
False
Let l(m) = -2*m - 5. Let o be l(-4). Suppose -2*a + q = 2, 2*q - 3 = o*a + 6*q. Is a at most as big as -3?
False
Suppose -4 = -u - 17. Which is smaller: u or -15?
-15
Let j = 5/9 + 1/9. Which is bigger: j or -2/7?
j
Let u = 7/10 - 9/20. Which is bigger: u or -1?
u
Suppose -2 + 7 = -5*n. Let m(x) = -x**2 - 5*x + 2. Let o be m(-5). Let i be o - n/((-18)/40). Which is smaller: i or 1?
i
Let u(r) = r**3 - 22*r**2 + 39*r + 18. Let b be u(20). Which is smaller: b or -10/3?
-10/3
Suppose 0*v = 2*v - 4. Let a = -1/165 - -667/1155. Which is smaller: a or v?
a
Let l = -0.1 + -0.1. Let x = -0.2 - l. Which is smaller: -5 or x?
-5
Let s(v) = v**2 - 10*v + 2. Let a be s(8). Which is smaller: a or -13?
a
Let p = -0.5 + 0.6. Is p <= 12?
True
Suppose 5*w - s - 35 = -6*s, 3*s = 5*w - 11. Suppose -16 = -5*i - 3*a, -8 - 10 = -5*i - w*a. Suppose 0 = -3*d + i*d. Is d != -1?
True
Let l = -0.17 + -0.83. Are l and -1 nonequal?
False
Suppose 4*w + 12 = -w + 2*v, 3*v = -3*w - 3. Let t = 3 + w. Which is greater: t or -2/7?
t
Let r(u) = 2*u**3 - 5*u + 7. Let p be r(2). Does p = 12?
False
Let l(j) = -j**2 - 7*j. Let s be l(-6). Let a be -21*((-30)/(-9) + -3). Let z = s + a. Is z < 1/3?
True
Let b be ((-1)/(-3))/(1/(-2)). Let t = 16 - 17. Is b != t?
True
Let g = 3/373 - -36172/1119. Let f = 32 - g. Suppose 1 + 3 = -4*s. Which is greater: f or s?
f
Suppose -7*m = -3*m + 4. Are m and 2.9 nonequal?
True
Suppose 2*w = -7 - 1. Let q be w/14 + 8/(-70). Is q bigger than -4?
True
Let w be 2*(3/(-183))/(-1). Is w less than or equal to -1?
False
Let j be 0 + 0 + (-4)/22. Suppose p + 50 = 50. Which is greater: p or j?
p
Let i be 1/5*(-3 - -1). Which is smaller: i or 0?
i
Let t be (4/(-10))/(16/(-20)). Let y(j) = 2*j. Let f be y(1). Let p be (1 + -1)*1/f. Does p = t?
False
Let r = -5 + 7. Let d(a) = -a**3 - 2*a**2 - a. Let u be d(-2). Suppose -r*o + u + 8 = 0. Which is bigger: 4 or o?
o
Suppose 2*g = -0*g - 4. 