)/27). Let z = t + -7. Is 1/4 less than or equal to z?
False
Let y be (-40)/22 + (-2)/11. Let z(l) = l**3 + 3*l**2 - 6*l - 6. Let q be z(-4). Which is greater: y or q?
q
Let g be (-18)/45 + (-2)/(-30). Which is smaller: g or 10?
g
Suppose -4 + 16 = 3*h. Let r be (1 + -3)*(-2)/4. Let b = 3 + r. Are b and h non-equal?
False
Suppose -18 = b - 7*b. Is 6/11 < b?
True
Suppose 3*s - 15 = 2*m - 6*m, -3*s = 3*m - 12. Suppose 3*j = m, -8*y = -3*y - j - 4. Is 0 bigger than y?
False
Let r = 46 - 31. Suppose -4*u = -5*y + r + 2, 0 = -5*u + 5*y - 15. Let n be (u - 0)/(3/1). Which is smaller: 1 or n?
n
Suppose 2*f - 3*f + 223 = 2*k, -f = 1. Is 111 bigger than k?
False
Let f = 34 + -27. Which is greater: -2 or f?
f
Let m(p) = -p**3 - 5*p**2 + 7*p + 9. Let j be m(-6). Which is smaller: 5 or j?
j
Let k = 0.14 + 0.06. Are 2 and k non-equal?
True
Let k = -245 + 1712/7. Let z = 12 - 7. Suppose z*s = s - 4. Do s and k have different values?
True
Let o = -1/113 + 569/452. Is o at most as big as -4?
False
Let i(q) = -2*q**3 + q**2 - q. Let l(k) = -k**2 + 5*k + 4. Let s be l(5). Suppose -2 = 2*a - s. Let p be i(a). Is p at most -2?
True
Let b = -1.8 - -4.8. Which is smaller: b or 1?
1
Let d be 12/80*(7 + -2). Which is smaller: 1 or d?
d
Let f(x) = -x**3 + 11*x**2 + x - 9. Let u be f(11). Suppose -d = -0 + u. Which is smaller: -1 or d?
d
Let k = -20 + 7. Which is smaller: k or 0.1?
k
Let y = -2 + 2. Are 2/23 and y non-equal?
True
Let r be -2*1 + (-24)/(-6). Suppose -3*j + 2 = -0*q - r*q, 2*j = -3*q - 3. Which is greater: q or 0?
0
Let t(v) = 4*v**2 + v - 1. Let j be t(1). Suppose 0 = j*c - 0*c. Suppose c*p = -p. Which is smaller: -1 or p?
-1
Suppose -5*q + 4 = -26. Suppose 5*i = -d, 5*i - 3*d + q*d = 10. Let g = -1 + -1. Is i greater than g?
True
Let u be 2 - 2 - (3 - 85/30). Is 1 smaller than u?
False
Let d(r) be the second derivative of r**3/6 - 9*r**2/2 - r. Let i be d(10). Is 2/13 bigger than i?
False
Let x = -330 + 7592/23. Let g be ((-17)/34)/(1/(-8)). Suppose s + t + 2 = 3*s, g*s + 4*t - 4 = 0. Is s at most x?
False
Suppose g = -0*g + 4*w - 15, g + 15 = -2*w. Are -15 and g unequal?
False
Let c = -1 - 0. Let j be (-1)/2*(-16)/(-116). Let d = j - 52/87. Do c and d have the same value?
False
Let p = 281 + -17142/61. Is -1 at most as big as p?
True
Let m(o) = o**3 - 8*o**2 - 9*o + 3. Let x be m(9). Let i = x + -7. Suppose -5*j = -j - 20, -2*f - 5*j + 15 = 0. Is f != i?
True
Let q be (-2)/4 - (-46)/76. Let m be 243/21 + 6/14. Let y = m + -13. Which is smaller: y or q?
y
Let f = 3 + -1. Let w be 1*12*2/f. Suppose -x + 5*x = w. Is x at least as big as 3?
True
Let z = -53 + 52.9. Is -3.1 greater than or equal to z?
False
Let g be ((-1)/4)/(30/(-12)). Is 0.1 at most as big as g?
True
Let k = -24 - -30. Which is smaller: k or 9?
k
Suppose -9*k + 4 = -8*k. Let b be 12/(-16)*k/(-18). Is b not equal to 0.1?
True
Let o = -0.11 - -9.11. Let g = o + -8. Let f = -0.38 + -0.02. Which is smaller: g or f?
f
Let o = -2 - -5. Let b = o + -6. Suppose 6*v + 16 = 2*v. Is v < b?
True
Let h(b) = 9*b**2. Let c be h(-1). Which is smaller: 4 or c?
4
Let x be 4/(-2) + -2 - -2. Let g be (-1)/x - (-4)/8. Which is bigger: g or 5?
5
Suppose 0 = 3*z + 3 - 0. Let c = -2/7 + -20/77. Which is smaller: c or z?
z
Let n be (8/(-16))/((-5)/(-2))*58. Is -13 not equal to n?
True
Let l = -2/65 - -69/130. Let m = 36 + -36. Are m and l non-equal?
True
Suppose b + 3 = 5. Let w be (1/b)/(2/(-4)). Let f = -3 + 1. Is f < w?
True
Let u = 3.4 - 0.4. Let m = u + -3.4. Let v = m + 0.3. Which is bigger: v or 0?
0
Let m = 2.5 - 3.3. Is m equal to -2?
False
Suppose 3*s + 2*l + 23 = -0*l, -5*s + 2*l = 17. Are s and -3 equal?
False
Suppose -4*r = -9*r. Let q be (1 + 17)/(15/40). Let c = q + -241/5. Does r = c?
False
Let y = -4 + 6. Let c = y - 3. Is 1/7 < c?
False
Suppose 2*s = -3*h + h - 10, -4*s - 11 = -5*h. Let j = -1101/8 - -138. Is h <= j?
True
Let o(n) be the first derivative of n**4/4 - n**3/3 - 2*n**2 + 3*n - 1. Let y be o(2). Let s be ((-2)/(-6))/(-4 + 3). Are y and s equal?
False
Let g be 45/4 - 18/(-24). Let u = 13 - g. Is 2/7 greater than or equal to u?
False
Let o(s) = -s**3 + 6*s**2 + 4*s - 3. Let g be o(6). Let n = 21 - g. Which is bigger: n or 1/55?
1/55
Let f = 8 - 10. Let o = -2 - f. Suppose 0 = -o*h + 4*h. Is 4/7 < h?
False
Let k = 17 + -27. Let l = 10 + k. Is l at most -5/4?
False
Let b = 197 - 128. Let p be b/(-21) - 10/(-35). Is p greater than or equal to -5?
True
Let c be (45/40)/(12/16). Is -7 less than or equal to c?
True
Suppose 2*o - 1 = -v, 0*v = 4*o + 5*v - 5. Let p = 1 + -1. Is p greater than o?
False
Suppose 0*z - 4 = 4*z. Is -1 != z?
False
Let x(k) = k**3 + 2*k**2 - 3*k + 2. Suppose u = -2*u, 5*u - 9 = 3*d. Let y be x(d). Let m = 3 - 2. Which is bigger: y or m?
y
Let x(u) = 2*u**3 - u. Let i be x(-1). Let j be (-3)/5 + i + 1. Suppose -5*v + g + 3*g = 9, -4*g = 3*v - 1. Is j less than or equal to v?
False
Suppose 0 = 3*g - 8*g. Let j(c) = -c**2 + 5*c + 3. Let y be j(5). Is g less than or equal to y?
True
Let x = 7.9 - 8. Which is smaller: 22 or x?
x
Let c = 8.8 + -9.1. Which is smaller: -30 or c?
-30
Let y = 14 + -19. Let s = y - -4. Is -5 bigger than s?
False
Let s = 42 - 21. Let y = s + -24. Which is greater: -0.3 or y?
-0.3
Let g(r) = 2*r - 6. Let n be g(4). Suppose -3*u + 2*w = 4, 0 = -0*w + w - n. Which is bigger: 2 or u?
2
Let i be (9/12)/((-3)/24). Let x = -4 - i. Let g(d) = -d**2 + 2*d + 1. Let p be g(x). Is p at most as big as -1/6?
False
Let y = -1 - 5. Let z = -12 + 12.1. Which is greater: z or y?
z
Suppose 0 = 3*q + q. Which is smaller: 1/7 or q?
q
Let k be 1 + 3 + -5 - -5. Suppose -3*z - k*l + 9*l = 23, 5*z - 3*l = -17. Is -1/2 != z?
True
Let g(i) = -13*i + 5. Let z be g(-2). Do z and 31 have the same value?
True
Suppose -s + 0*s + 7 = 0. Let a = s - 7. Is a greater than or equal to 3/5?
False
Let l = -6 - -9. Suppose -1 = l*r + 2. Is r < -2/5?
True
Let q = -217565/1197 - -53/1197. Let k = q + 182. Is k at most as big as 0.2?
False
Let o be ((-8)/(-6))/(60/18). Is o at least -24?
True
Let c(q) = 5*q - 18. Let l be c(10). Let b = -5381/3 + 1762. Let x = b + l. Which is smaller: 2 or x?
x
Let a be 2*(5 - 205/40). Let b be 1/3 + 4/(-3). Which is greater: a or b?
a
Suppose -4*s = 5*h - 11, -10 + 26 = 5*s + 4*h. Suppose m - 3 = -s. Which is smaller: -4/3 or m?
-4/3
Let t = -26.47 - 2.23. Let b = t + 29. Let g(h) = 2*h**2 - h + 1. Let u be g(1). Is b >= u?
False
Let u = -3/125 + -147/125. Is u not equal to 0?
True
Let i(s) = s**2 - s - 2. Let h be i(2). Let v(k) = -k**2 + k + 3. Let g be v(h). Let p(w) = w**3 - 4*w**2 + 2*w + 2. Let l be p(g). Is 1/3 at least as big as l?
True
Let d be 16/6 + -2 - 1. Let o = -11.167 + 0.167. Which is greater: o or d?
d
Suppose 0*q - 2*w - 14 = -2*q, 2*w = -3*q - 4. Let a be 2/10 + (-51)/30. Let p = q + a. Is -2 less than p?
True
Let b = -76 + 41. Let s be (0 - 1) + (-50)/b. Is s != -1?
True
Suppose -3*m = 3*h - 8*m - 20, -4*h + 20 = -5*m. Suppose h = -3*t + 4*t + 1. Let i = -43/5 + 119/15. Is i bigger than t?
True
Let s be 35/(-7) - 1*-6. Which is greater: 6/29 or s?
s
Let z = 2.77 + -2.9. Let r = z - -1.13. Which is greater: 1/10 or r?
r
Let r = 1 - 0.8. Suppose m = -4*h - 3, 4*m + 23 = -h - 4*h. Let g = m - -6. Is g at least r?
False
Let q(s) = 5*s**2 + 2*s + 1. Let c be q(-1). Suppose 0*o = c*o. Let j be (7/(-63))/(2/4). Is j smaller than o?
True
Suppose 0 = -3*d - 3*u - 9, -4*d + 8*d - 2*u = -18. Is -2 not equal to d?
True
Let k = -0.3 + 2.3. Which is smaller: 0 or k?
0
Let c be (-2)/16*(-6 - -4). Which is greater: 13 or c?
13
Let f = -1 + 1. Is -10 bigger than f?
False
Let x(o) = -o**2 + 3*o + 3. Let y be x(4). Suppose -5*b + 10 = -t, -3*t - 7 + 3 = -2*b. Let i = t + y. Which is bigger: i or 2/5?
2/5
Let p(i) = -i**2 - 2*i + 3. Let r be p(-3). Let l = 44 - 309/7. Which is smaller: r or l?
l
Suppose -48 = -3*z - 5*v - 17, -2*z - 1 = -v. Let q be (-16)/14*70/75. Let c = 5/3 + q. Which is smaller: c or z?
c
Let i be (1/(-10))/(1/94). Let y = 49/5 + i. Is 0 > y?
False
Suppose -2*m = m + 5*r - 180, 3*r - 229 = -4*m. Suppose 6 = 5*y - 2*f + 64, -5*f = -5*y - m. Let i be (-4)/(-6) + 11/y. Which is smaller: 0 or i?
i
Let m be (-1 - (0 - 0))*2. Let f = -1 + -1. Let v = f - m. Are -2/3 and v unequal?
True
Let u be (-6)/4*(21 - -9). Let d be ((-54)/u)/