)/63 + 2/v. Let z be 56/10 - q/30. Is z < 6?
False
Let i = 4.1 + -4.5. Is -4 equal to i?
False
Let c = -24.2 + 24. Is 5 smaller than c?
False
Suppose -7 = 5*u + 13. Let k(q) = q**3 + 4*q**2 + 2. Let r be k(u). Is r at least 1?
True
Let r = -982.93 + 978. Let a = r + -0.07. Which is greater: -2/7 or a?
-2/7
Suppose 0 = -2*f - 2*f. Do -3/32 and f have the same value?
False
Let o = 1.97 - -0.03. Let m = o + -1.7. Let i = -0.3 + m. Which is greater: -0.1 or i?
i
Let p(g) = g**3 + 3*g**2 - 6*g - 4. Let u be p(-5). Let j be (-4)/u*(-3 + 0). Is 1/2 < j?
False
Suppose 2*h - 10 = -0. Are h and 7 unequal?
True
Let k(q) = -132*q - 1. Let l be k(1). Let r be 8/182*l/(-38). Which is bigger: r or -1?
r
Let d(h) = 59*h + 1. Let a be d(1). Let o be ((-6)/(-5))/(9/a). Let t = o - 7. Is t smaller than 1?
False
Let o(r) = -r**2 - r + 1. Let k be o(1). Which is smaller: k or -2/5?
k
Let t be (2 + -3)*0/4. Let u = -18.9 + 19. Which is bigger: u or t?
u
Suppose 5*t - 3*m = -0*m + 191, 4*t + 5*m = 175. Is t != 40?
False
Let v = 1 - 0.4. Let l = v - -0.4. Let d = l - 1.1. Which is greater: d or 5?
5
Let l be 3/6*(0 + -8). Is -5/2 >= l?
True
Let g(w) = -w**3 + 9*w**2 - 8*w - 3. Let q be g(8). Let z be -9 - (1 + (-6)/q). Is z bigger than -12?
False
Let c = 100/3 + -33. Suppose -4*k = -8, 0*o - o + k = -6. Which is smaller: o or c?
c
Let b = 131/238 + -9/34. Suppose 0 = q + z - 0*z - 12, 4*q + 3*z - 44 = 0. Suppose -x = -5*x - q. Which is greater: x or b?
b
Let t = 13505/23 - 587. Is t > -1?
True
Let g be (-228)/(-15) + (-1)/5. Suppose -3*z = 4*c + 20, 4*z + 5 - g = 2*c. Let i be 36/8*(-8)/30. Which is smaller: z or i?
i
Let g(t) = t. Let w be g(1). Let c be 5/w*(-4)/5. Does -4 = c?
True
Suppose 3*j - 2*v = 11, -5*j - 3 + 20 = -3*v. Which is bigger: 2/15 or j?
j
Let r = -80 - -76. Is r smaller than -0.06?
True
Let c = -145/42 + 19/6. Is c less than -6/11?
False
Let q be (-283)/(-95) - (3 - 0). Is q at most as big as 0?
True
Let k be (1 - 10)*(-7 - -6). Which is smaller: 10 or k?
k
Let p = 0.308 - 0.008. Which is smaller: -2.5 or p?
-2.5
Let c(a) = -36*a + 6. Let v be c(3). Which is greater: v or -101?
-101
Let c = 366/5 - 73. Suppose -3*r + 11 + 4 = 0. Suppose 0 = -r*w + p + 10, 0*w + 3*p + 11 = -4*w. Is w at most c?
False
Let q be (0 - 4)/(-2) - 10. Let n be (-1)/(-8)*q/(-6). Let z(p) = p**2 + 7*p - 1. Let i be z(-7). Which is bigger: i or n?
n
Suppose h - 2*d = 0, -d = 4*h - 4*d - 5. Let i = h + -6. Let m be 6/i*4/(-21). Do 1 and m have different values?
True
Let s(y) = y**2 + 3*y + 2. Let k be s(-2). Suppose u + u = k. Which is greater: u or 1?
1
Suppose 0 - 5 = g, -2*v + 22 = -4*g. Let q be (-1 - 1)/(2 + 0). Let l be q/((6/(-1))/3). Which is smaller: l or v?
l
Let a be ((-4)/6)/((-2)/3). Let l be ((-2)/6)/(a/(-9)). Suppose -l*t = t. Is 2/9 > t?
True
Let f be 27/(-33) + 10/(-55). Let c = -2 + 2. Is c less than or equal to f?
False
Suppose -4*j + 30 = j. Suppose -j = i + 2*i, -3*y + 10 = -5*i. Let s = 4.1 + -4. Which is smaller: s or y?
y
Let n = -12.1 + 2.1. Let r = -7.8 - n. Let q = -0.2 + r. Does q = 2?
True
Let i be 3 - 1 - (-524)/16. Let j = -35 + i. Which is bigger: j or -1?
j
Let j = -0.5 + -0.5. Let l = -0.5 - j. Let b = l + 1.5. Which is bigger: b or 1?
b
Let y(n) = -4*n**3 - 2*n**2 + 1. Let h be y(-1). Let l = h - 5. Let f be ((-3)/(-9))/((-1)/3). Is l smaller than f?
True
Let b = 3 + -8. Let y(l) = l + 4. Let w be y(b). Is w < -3/4?
True
Let b(p) be the second derivative of p**4/12 + 7*p**3/6 + 2*p. Let g be b(-9). Let x be 37/7 - g/63. Are 4 and x unequal?
True
Let k(m) = -m**3 - 4*m**2 - m - 2. Let p be k(-4). Let l be 2/(-1) - 396/4. Let r = -502/5 - l. Which is smaller: p or r?
r
Let w = -6 - -9. Suppose w*i = -l + 2*l + 11, -l + 5*i - 17 = 0. Let n be ((-1)/(-6)*l)/(-2). Which is smaller: n or -1?
-1
Suppose -z - 10 = 2. Is -12 at least as big as z?
True
Suppose 3*c + 0*c - 5*l - 8 = 0, 4*c = -5*l - 1. Which is smaller: c or -2/77?
-2/77
Let q be (-3 - (-10)/3)*-3. Let j = -2 + 1.3. Which is smaller: j or q?
q
Suppose -5*v = -7*v + 2. Let y = 59/8 - 29/4. Which is smaller: v or y?
y
Let x be 4/14 + 9/(-7). Let d = -262 + 261. Is x >= d?
True
Let g = -1479/8372 - -1/364. Are 1 and g equal?
False
Let w = -2679/5 + 533. Does w = -2?
False
Let r = -8 + 10. Which is greater: 6 or r?
6
Let u = 0.3 - 0.1. Suppose -6 = -3*r + 3*z, 0 = -3*r + z + 1 + 3. Let g be ((-4)/(-28))/(r/2). Which is greater: u or g?
g
Let n(s) = s**2 + 1. Suppose x = -4*x + 5. Let z be n(x). Let f be 1 - 0 - (z + -3). Is 2 >= f?
True
Suppose -5*d + 5*a = -7*d - 247, 0 = -3*d - 5*a - 363. Which is smaller: -2/7 or d?
d
Suppose 4*o - 68 = 20. Let f = -23 + o. Do f and -1 have the same value?
True
Let u be -1*(-1)/(2/10). Let p(r) = 13*r + 8. Let t(i) = -3*i - 2. Let c(f) = -2*p(f) - 9*t(f). Let b be c(2). Is b less than u?
True
Suppose 21 = -5*f + 3*c, 1 = -5*f - 3*c - 8. Let g be f/(9/(-5 - -2)). Which is smaller: g or 2/15?
2/15
Let k = -3 + 15. Do k and 12 have different values?
False
Let x = -5.134 + 0.034. Let q = 7 - 12. Let c = x - q. Does c = -2?
False
Suppose 0 = 4*o + 4*y, 3*y = 2*o - 20 - 0. Suppose -3*k - k = -o*u + 4, -7 = 5*u - 2*k. Let s be -2 - ((-144)/(-26))/u. Is 0 != s?
True
Let q be (-6)/30 + (-87)/(-10). Is q less than or equal to 8?
False
Let h be (-1)/5 + 1/(-1). Suppose -4*w - 2*r = 12, w - 5 = 2*w + r. Which is greater: h or w?
w
Suppose 3*f - a - 16 = 13, 0 = -2*f - 2*a + 14. Is f smaller than 8?
False
Let q = 45 + -38. Is 5 less than q?
True
Let x = 2530349/40 + -63252. Let i = -49/8 + x. Is 1 at least i?
True
Let i(a) = -a - 1. Let m be i(-4). Suppose -m*s = -2*v + 28, 2*v + 3*s + 4 = v. Suppose -v = b + 2*l - 1, 3*b = -2*l - 13. Does b = -3?
True
Let n be (5 - 1)/(-4)*0/1. Is 1/93 greater than or equal to n?
True
Suppose -4*n = 2*x - 98, 4*n + x - 105 = 6*x. Do 25 and n have the same value?
True
Suppose -3*o = -9*o + 30. Is o less than 6?
True
Let v = -5 + 8. Let z = v + -3. Let x = -0.03 + -2.97. Which is bigger: x or z?
z
Let n = 1/9 + 2/9. Let z = 8 - 9. Which is greater: z or n?
n
Let s be 3 - (4 - -9 - 1). Is 0 at most as big as s?
False
Let f(x) = x - 15. Let t be f(14). Are t and 2/25 nonequal?
True
Let u(o) = -5*o + 7. Let f(d) = 11*d - 14. Let k(a) = 4*f(a) + 9*u(a). Let l be k(6). Suppose -i - i + 3*g = 4, -3*i = -2*g + 1. Is l less than i?
False
Let g(w) = 2*w**2 - 2*w - 5. Let t be g(-4). Is 35 less than t?
False
Let h = 19 - 14. Do h and 7 have the same value?
False
Suppose 4 - 2 = 2*x. Suppose -2*l + 7 = x. Suppose 0 = 5*u - 3 - 2, -4*j + 11 = 3*u. Which is smaller: j or l?
j
Let w = -0.053 - 0.157. Is -0.2 at most w?
False
Let r = 0 - -3. Let a = r - -2. Suppose 0*d + 29 = 4*k + d, -5*k = 3*d - 45. Which is greater: k or a?
k
Let n be (0 + -26)*(-3)/6. Are n and 14 unequal?
True
Let l be -12*(0 - 0 - 8/(-12)). Is l equal to -10?
False
Let z = 19 + -10. Let g = -8 + z. Is -2 less than g?
True
Suppose 5*q - 4 = 31. Let d(k) = 3*k**3 + k**2 - k + 1. Let b be d(1). Suppose -b*m + q = 3. Is 1 bigger than m?
False
Suppose -c - 46 = -53. Which is bigger: 19/3 or c?
c
Let w = 2 - 2. Let i(d) be the first derivative of d**2/2 + 14*d + 8. Let s be i(-14). Is s smaller than w?
False
Let k = -4 - -17. Let x = k - -2. Let n = -10 + x. Are 6 and n non-equal?
True
Let v = 28.9 + -29. Suppose 0 - 18 = -2*p. Let t be 2/(-6)*p/6. Which is smaller: v or t?
t
Let t = 0 + 3. Let h(m) = m**3 + 8*m**2 - 9*m + 3. Let b be h(-9). Is t less than b?
False
Let s(x) = x**3 - 5*x**2 + 3*x - 3. Let o be s(4). Let t = 13 + o. Let i(q) = -q + 6. Let j be i(t). Is j > 2?
False
Let j = -15 + 9. Which is bigger: -7 or j?
j
Suppose 2 = -2*g - 36. Which is smaller: g or -9?
g
Let u = 6 - 2. Let m = -4.4 + u. Let a = m - -0.4. Does -1 = a?
False
Let d = 22 - 24. Is -12/5 not equal to d?
True
Let h(b) = b**3 + 15*b**2 + 13*b - 2. Let k be h(-14). Is 9 greater than or equal to k?
False
Suppose -4*q + 11 = 3*n, -6 = -4*q + 2*q - 2*n. Let z = 6 - q. Is 2/3 > z?
False
Suppose -20 - 43 = 7*k. Which is greater: k or 3?
3
Let s = -3 + 4. Suppose -1 = 2*q + s. Is q bigger than 3/2?
False
Let h = 15 - 27. Let w = 11.9 + h. Which is smaller: w or 0?
w
Let m(j) = -j**2 + 7*j - 5. Suppose -1 = x - 4. Let f be m(x). Which is smaller: f or -2?
-2
Let t = 20 + -17. Suppose t*g = 7*g. Which is s