 y = 18 + -18.2. Is y < 2/5?
True
Let r(l) = -l**3 + 8*l**2 - 5*l - 13. Let p be r(7). Is p > 2/13?
True
Let d be (-9)/(-6)*22/(-15). Let q = -11729/4515 - 2/903. Let o = q - d. Is 0.5 smaller than o?
False
Suppose 0*o = -o - 6. Let b(u) = u**3 + 6*u**2. Let x be b(o). Let a = -0.4 + 0.3. Is x less than or equal to a?
False
Suppose 2*j + z = 3, 0*z - z - 3 = 0. Suppose k + 11 = -j*u, 2*k + 3 + 1 = 0. Which is bigger: u or -7?
u
Suppose p + 0*p = 0, 0 = -3*b - 4*p + 12. Is 2 not equal to b?
True
Let h = 47/150 - -1/50. Do -1/9 and h have the same value?
False
Let t = -25/21 + 34/21. Let f = -8 - -8. Suppose -y + 5*y = f. Is t > y?
True
Let r = -1 + 0. Let h = -52/7 + 482/63. Which is bigger: r or h?
h
Let w be (-2)/4*0 + -3. Suppose 3*i - 3 = 6*i. Let a = i - w. Which is greater: a or 3/2?
a
Let i = 116.4 + -127. Let g = 11 + i. Let f = 3 + -4. Do f and g have different values?
True
Suppose 10 = 5*o, -5*c + 2*o + 8 = 6*o. Suppose -7*b + 4*b = -5*i + 8, -3*b + i - 4 = c. Is 0 > b?
True
Let x = 740/9 - 242/3. Let l = 6 - 4. Is x at most l?
True
Let u = 25 + -15. Let n = -10 + u. Which is smaller: n or -16?
-16
Suppose 5*s - 5*n = 135, -41 = -2*s + 4*n + 5. Is 32 smaller than s?
False
Let p be (-3)/(-39)*-56 + 4. Let d(n) = n**2 - 9*n + 7. Let w be d(8). Is p > w?
True
Let t = -0.048 - -0.058. Is t greater than 0.2?
False
Suppose -2*u - 4*i - 1 = 3, 3*u + 3*i = 0. Suppose -2*p = -0*p - u. Suppose 0*d = 4*d. Which is smaller: p or d?
d
Let h = -18 + 34. Suppose 0 = -g - 2 + h. Are 14 and g nonequal?
False
Let w = 18 + -13. Suppose -w = 2*v - 3. Let j be 0/(v + 1 - -1). Is 0 not equal to j?
False
Let g(m) = m**2 + 10*m + 19. Let q be g(-8). Suppose -2*l + 1 = -q. Are 0.1 and l unequal?
True
Let l = 161 + -3056/19. Is 0 not equal to l?
True
Let o = 48/145 - -2/29. Suppose 3 = -l + g, -g + 0 = 4*l - 3. Is o greater than l?
True
Suppose 0*v - 4 = -v. Which is smaller: 3 or v?
3
Suppose 8*t - 128 - 40 = 0. Does t = 22?
False
Let z be (1 + 10)/((-2)/4). Let j be (6/z)/(6/(-4)). Is -1 greater than or equal to j?
False
Let w = -623 + 4353/7. Are w and -1 nonequal?
True
Let g be -3 - 5/(60/176). Let n = 16 + g. Do n and -2 have the same value?
False
Let m = -18 + 19. Is 2/77 at least as big as m?
False
Let b = -1 - -4. Suppose 2*k - 5*s + 1 = 6, -5*k - b*s + 28 = 0. Suppose 4*j = -d + 3*j + 1, 3*d = k*j - 5. Is d at most as big as 5/6?
True
Let f = 277 + -186. Is f < 1?
False
Let y be (-1 + 0/3)/1. Let i be -1 - 0/(1/y). Let q be i/3*(0 + -6). Is q not equal to 1?
True
Let g be -4 + 42 - -2*1. Let b = g - 282/7. Let m be 1*((-2 - 0) + 1). Is m >= b?
False
Let g be 2 - -1 - ((-310)/16)/(-5). Which is smaller: 0 or g?
g
Let c be 0*((-20)/(-8) - 2). Is c >= -10/9?
True
Let i = 20 + -21. Which is smaller: i or 1/89?
i
Suppose -3*r + 12 = r. Let c = 0 - -5. Suppose 0*m = -3*f - 2*m - 2, c*f - 2*m = 18. Which is smaller: f or r?
f
Let j(k) = 2*k - 5. Let b(x) = -x**3 + 3*x + 2. Let h be b(-2). Let i be j(h). Is 0.1 <= i?
True
Let k = 35 - 24. Let q = -8 + k. Let i = -1 + 0. Which is greater: i or q?
q
Let y be -2 + (-4)/(32/(-14)). Let j = 1.98 - -0.02. Let b = -1 + j. Are y and b equal?
False
Let u = 30 + -45. Which is bigger: u or -2/7?
-2/7
Let r be 1 - 1 - (-2 - -1). Let y(a) be the third derivative of -a**6/120 + a**5/60 - a**4/24 + a**3/6 + a**2. Let x be y(0). Is x smaller than r?
False
Let h be -4 + (3 - (8 - 2)). Which is smaller: h or -9?
-9
Let n be 2/3 - (-28)/21. Suppose i - 26 = -5*p, 5*p + 4*i - 19 = n*p. Is 4 smaller than p?
True
Let k be (-11 - -6)/((-1)/(-1)). Let w be (-3)/(((-195)/(-2))/k). Which is smaller: w or -1?
-1
Let h be ((-10)/(-35))/((-1)/(-7)). Suppose 0 = -0*m - h*m. Let r = m + 1. Which is greater: 2 or r?
2
Let s = -1/106 + -209/318. Suppose 5*f = -0*f - 10. Is s < f?
False
Suppose 9*y - 4*y = 70. Suppose -8 = -3*t - y. Which is bigger: t or -4/7?
-4/7
Let d = -7 - -2. Let c(h) = h**3 + 6*h**2 + 5*h + 3. Let b be c(d). Suppose 8*r = b*r. Is 2 not equal to r?
True
Let x be 1 + -2 + 12/(-2). Let g = 7 - 13. Are x and g unequal?
True
Let v = 52 - 68. Are v and -17 equal?
False
Let x(p) = -p**3 - p**2 + 4*p + 3. Suppose 0 = -4*g + 5*g - 6. Let y = g + -8. Let u be x(y). Which is smaller: u or -1/6?
u
Let j be (-69)/(-15)*55/(-66). Do -4 and j have different values?
True
Let s = -1 + 8. Let h be (6 + -5)/(s/(-4)). Is h greater than or equal to 0?
False
Let h = -37.1 + 37. Is h equal to -0.12?
False
Let c be (-6)/9*24/28. Which is greater: 0.2 or c?
0.2
Let b be ((2 - 3) + -4)/(21/(-63)). Is b bigger than 15?
False
Let u = 93 + -94. Is -2 greater than u?
False
Let k = -12 + 13. Let d be ((-12)/(-99))/((-6)/(-9)). Which is bigger: k or d?
k
Let a be (33/(-22))/(6/(-40)). Suppose 8*s - 4 = a*s. Is s less than 0?
True
Let g(o) = o**3 - 8*o**2 - o + 2. Let n be g(8). Which is greater: n or -9?
n
Suppose -4*s - 120 = s. Let a be (-66)/s - (1 - -1). Is a > 0?
True
Let s be 5*(-2)/2*1. Let u = -3 - s. Do u and 0 have different values?
True
Let h be 4 - (234/84 - -1). Which is smaller: h or 0?
0
Let w be 12/1*4/(-44). Which is greater: -2 or w?
w
Let t = -0.01 + 0. Let j = -206.99 - -205. Let u = t + j. Is u greater than -2/13?
False
Let o(s) = 2*s**2 - 1. Let g be o(1). Suppose 2*u + 2*u = 0. Let j be ((-2)/(-9))/(-2) + u. Is j <= g?
True
Suppose -5*k + 5 + 5 = 0. Suppose k*s = -3*s + 10. Is 0.1 <= s?
True
Let p = 3.4 + 0.6. Let w = -0.79 - -0.79. Are w and p equal?
False
Let o(t) = -t**3 + 8*t**2 - 8*t + 4. Let i be o(7). Is i > -7?
True
Let i = 0 + 1. Let y be 1/(-7) - 5/(-35). Suppose -2*o - c - 3 = -y*c, c - 1 = 0. Is i less than or equal to o?
False
Suppose -u + 5*p = -25, -3*u + 2*p + 3*p = -55. Suppose u + 20 = 5*y - t, 2*t - 34 = -3*y. Which is smaller: y or 7?
7
Suppose 3*a - 99 = 405. Let p be (6/(-4))/(a/(-32)). Let l = -181/4 - -45. Which is bigger: p or l?
p
Suppose -4*n + 2*s - s + 5 = 0, n = -5*s - 25. Let w be 1/(n + (-2)/2). Which is greater: w or -2/23?
-2/23
Let n = -28 - -28. Is 1 not equal to n?
True
Let w be 4/1 + 40/(-4). Which is greater: w or -9/2?
-9/2
Let u be 1/(-2) + (-363)/(-6). Suppose 4*l - u = -0*l. Let s be (-2)/5*l/(-4). Which is greater: 2 or s?
2
Suppose 6*c = 4*c + 6. Suppose -41 = -4*p - c*z, -3*z = -2*p - 0*p + 43. Let b be p/3 - 6/9. Are 4 and b equal?
True
Let f(p) = -p**2 - 7*p + 3. Let t be f(-6). Suppose -6*a + 2 = -4. Let y be (2/(6/t))/a. Which is bigger: y or 2?
y
Let i be ((-4)/(-6))/(2/3). Let n be 70/21 + i*-3. Let y(z) = -z**2 + 5*z + 6. Let b be y(6). Is n less than or equal to b?
False
Suppose 2*t - 3*j = -7*j, -5*t = -5*j + 15. Let p be (2*1)/(140/(-210)). Is t less than p?
False
Let n(g) = -2*g**2 + g**2 - 5*g**3 + 4*g**3 + 1. Let x be n(-2). Suppose 4*a + 20 = -4*i, -3*i - 2*i - x = a. Do -2/5 and i have different values?
True
Suppose 0 = 3*x + 49 + 11. Is x not equal to -19?
True
Let z(p) = -14*p. Let j be z(1). Let u be (-32)/(-14) - (-4)/j. Let c = -95 + 95. Are u and c non-equal?
True
Let u be -3 - 542*1/(-280). Let j = u - 15/28. Is j < -1?
True
Let w(n) = n + 3. Let b be w(-3). Which is greater: 2/13 or b?
2/13
Let g(d) = d**2 + 5*d - 1. Let z be g(-5). Let k be z/(-2)*(-1 + -23). Which is bigger: k or -13?
k
Let a = 7 + -6.9. Which is bigger: -3/4 or a?
a
Let t be (-8 + 3 - -2)/3 + 2. Are t and 2/113 non-equal?
True
Let l(k) = -k**3 - 6*k**2 + 1. Let f be l(-6). Suppose -3*i + 2 + 4 = 0. Is f > i?
False
Suppose t + 1 = 4. Let i = t + 0. Which is smaller: i or 2?
2
Let o = 11.04 - 1.04. Does o = -7?
False
Let k(l) = -l**2 + 3*l - 1. Let j be k(2). Let r be (-162)/(-26) + (-6 - (7 - 7)). Is j greater than or equal to r?
True
Suppose 3*l = 8*j - 4*j - 5, 16 = -5*l - j. Is 0.9 >= l?
True
Let l(g) be the third derivative of g**5/60 + 7*g**4/24 + 4*g**3/3 - 3*g**2. Let x be l(-6). Is 2 at most x?
True
Suppose -34*v + 26*v - 16 = 0. Let m = -37/60 + -1/20. Is v < m?
True
Let z(v) = v - 1. Let q be z(3). Suppose 2 = q*i - 2*k, 5*i + 4*k = 3 + 11. Suppose i*b - 2 + 0 = 0. Are 3/7 and b nonequal?
True
Let t = 35 - 33.3. Let l = t + -1.8. Which is smaller: l or 0.1?
l
Suppose v + 0*x - 5 = -2*x, -4*x + 8 = 0. Let b be (-2 + 2)/(2 + 0). Suppose -3*d - 1 = 4*z - 7, 2*d - 2*z - 4 = b. Which is bigger: v or d?
d
Suppose -2*b - 3 = 7, 4*b - 28 = -3*j. Which is smaller: j or 15?
15
Let j = -