be t(a). Is -5 at least u?
True
Let s be (28/(-6))/((-5)/15). Which is bigger: 66/5 or s?
s
Let i = 16 - 23. Let u = 6 + i. Is -1 at most as big as u?
True
Let w = 357 - 1145. Let m = w - -5525/7. Which is smaller: m or 1?
1
Let g = 12.95 + -13. Let o = -114 - -117.05. Let h = g + o. Which is greater: h or 0.1?
h
Let x be 2*(-1)/(-2)*-9. Let p = -6 - x. Which is smaller: 4 or p?
p
Let o be 6/(-39) + 435/39. Is 13 at least as big as o?
True
Let t = -6 + 5.9. Let w = 1.95 - -0.05. Which is smaller: t or w?
t
Let v(p) be the first derivative of p**2/2 - 5*p - 5. Suppose -2*k + 3 = -7. Let w be v(k). Is w at most as big as 0?
True
Let k(x) = x**2 - 1. Let f be k(1). Let o = 8 - 9. Which is smaller: f or o?
o
Let b = 1 - -2. Which is bigger: b or 5?
5
Let h = -1.3 + 1.1. Is -2 > h?
False
Let k be 143/28 + 2/14. Is k greater than 4?
True
Let x = 1179/3212 + -1/292. Which is smaller: x or 1?
x
Suppose 0 = 5*y - 5 + 40. Which is greater: -2 or y?
-2
Let s be 8 + -2*(-1)/(-1). Let b be 3/(-9) - 4/s. Let q be b*(2 - 2 - -1). Is 0 at least q?
True
Suppose -3*x + 5*m - 5 = 0, 1 = -2*x + 5*m - 4. Which is greater: 1/6 or x?
1/6
Let u = 0.4 + -0.3. Let b = -0.9 - u. Let k = b - 0. Is k greater than 0?
False
Let g = -10 - -9.5. Let d = g - -0.6. Let w = -43 - -213/5. Which is bigger: d or w?
d
Let c = -0.6 + 1. Let i = 0.8 - c. Which is greater: -2 or i?
i
Suppose -m + 9 = 2*m. Which is greater: m or -5?
m
Let g be (4/(-12) + 2)*1. Is g < -1?
False
Let j = 0.5 - 3.5. Let g = j - -3. Which is bigger: g or -0.02?
g
Let v be 4*2/28 - (-4)/35. Is v at most as big as -3/35?
False
Suppose -u = 3*u - 4. Suppose 2*h + 3 = u. Let z be (-24)/(-45)*6/(-8). Is h != z?
True
Let o = 8 - 11. Let m be (-11)/28 - o/12. Which is smaller: m or 0?
m
Suppose -4 = 4*r + y, -3*r - 18 = -y - 2*y. Let q be 3/(-9) + r/3. Is q > 0?
False
Let c(w) = -w**3 - 2*w**2 + 2*w - 2. Let r be c(-3). Let p be r*(-2 + 72/39). Suppose 1 = -4*h - 15, 9 = 3*q - 3*h. Which is greater: p or q?
p
Let n be (-32)/(-20) + (-4)/(-10). Are n and -17 non-equal?
True
Let s(k) = k**2 + 3*k. Let l be s(-4). Suppose -5*z - l*r + 5 = 0, 20 = -7*z + 2*z + r. Which is smaller: -4 or z?
-4
Suppose s - 37 = -38. Is -1/41 at most as big as s?
False
Let o = -69 + 69. Suppose -n + 0*n + 16 = 3*g, 15 = 3*g. Is o < n?
True
Let t(w) = -w**3 + 3*w**2 + w - 3. Suppose 13 + 0 = c - 4*h, -5*c = -4*h - 49. Suppose -3*p = -c - 0. Let j be t(p). Is 2/5 not equal to j?
True
Let u be (-464)/(-87)*(-78)/8. Is -53 at most u?
True
Suppose 0 = 8*i - 12*i + 20. Are 7 and i equal?
False
Let g = 80 + -81. Is 1/9 equal to g?
False
Let p = 1943/51 + 38/17. Let i = -40 + p. Let a(r) = -r**2 + 3*r - 2. Let s be a(2). Which is smaller: s or i?
s
Suppose 161 = 5*o + 51. Is o bigger than 21?
True
Let m = 20 + -20.11. Let y = -1.69 + m. Let t = y + 2. Which is smaller: t or -2/7?
-2/7
Let i be (-14)/(-18) + -1 + (-55)/(-45). Which is smaller: 2/5 or i?
2/5
Suppose -2*c - 3*l - 7 = -4, 0 = -c + 3*l - 6. Let z be (12/(-8))/(1/2). Is c at least as big as z?
True
Suppose 0 = d + 3*d. Suppose -7 = -t - 5*q - 3, d = -5*t - 5*q. Which is smaller: t or -4/3?
-4/3
Let f be ((0/1)/(-1))/(-2). Suppose 0 = -3*m + 4*x + 1, 0*m + 5*x = m - 4. Let i be (-2)/((-20)/6) + m. Is i < f?
True
Let z be (-71 - (2 + 0))/(-1). Let x be (4 - 4) + 446/(-6). Let g = z + x. Is g <= -2?
False
Let v = -1.31 - -1.4. Let n = -0.02 + v. Let c = n - -1.93. Is -2 less than c?
True
Let d = 3/11 - 10/77. Is d >= 2?
False
Let r = 105 + -106. Let s be ((-3)/(-20))/(2/16). Let k = s - 43/40. Which is smaller: r or k?
r
Suppose -6*o + 30 = -18. Is 7 less than or equal to o?
True
Let i = -125 + 127. Which is smaller: 6/11 or i?
6/11
Let g(l) = -l + 7. Let b be g(6). Suppose -s = 5*p - 39, -3*p + 2*s - 2 = -15. Suppose -4*h = 3*m + h - p, h = 2. Is m >= b?
False
Suppose 5*i + 304 + 146 = 0. Let x be i/7 + 4/14. Let v = 89/7 + x. Is 1 bigger than v?
True
Let c(b) = -b**2 + 2*b + 5. Let k be c(4). Let r be 2*k/(-2) + -2. Is r not equal to 2?
True
Let y be -1*2*(7 + -1). Is y > -12?
False
Let c(b) = b**3 + 3*b**2 + 4*b + 4. Let m be c(-3). Let q(i) = -i**3 - 3*i**2 + 4*i + 1. Let a be q(-3). Let s = m - a. Which is greater: s or 1?
s
Let a = -6/49 + 85/294. Let j = -0.3 - -0.1. Let m = -0.3 - j. Is a > m?
True
Let h = -2/283 - -877/3962. Do 1 and h have different values?
True
Let z be (-3)/(-6) + 68/(-8). Which is greater: z or -6?
-6
Let x be (12/15)/1*2. Is x not equal to 3?
True
Let w = -1.44 + -0.26. Let g = w + 2.4. Is g less than 0.2?
False
Suppose 5*p + 2 + 18 = 0. Suppose 3 = v + 8. Which is smaller: p or v?
v
Let m be -16 + 12 - 156/(-38). Which is greater: 0 or m?
m
Let n be 1152*(-1 + 10/6). Let f be (-4)/14 + n/2835. Let t = 256/945 - f. Do -1 and t have different values?
True
Let z = -25 - -25. Is 10/11 less than or equal to z?
False
Let o = -131/176 + -1/176. Is 0 greater than or equal to o?
True
Let u be 27*4/18*3. Let d be 4/u + 336/(-54). Which is smaller: d or -8?
-8
Let j be ((-2)/(-3))/(5/15). Suppose 3*o = j*q + 13, -o + 3 - 10 = 5*q. Does 3 = o?
True
Let x = 425/4 - 107. Which is smaller: x or -2?
-2
Let d = -1.83 - 0.17. Which is smaller: 1 or d?
d
Let o = -12 + 9. Which is bigger: -7 or o?
o
Let k(s) = -s**3 - 2. Suppose 0*h = -h. Let m be k(h). Let a = 4 + -3. Is a at least m?
True
Let r(a) = -a**2 - 2*a + 2*a**3 + 3*a - a**3. Let p be r(2). Let v(u) = -u + 8. Let b be v(p). Which is bigger: 3 or b?
3
Let o be ((-3)/4 - 99/12) + -1. Is o <= -9?
True
Suppose 5*x - 3 = 7. Let n = -141 + 708/5. Which is bigger: x or n?
x
Suppose 3*p + 15 + 27 = 0. Let a be p/(-4) - (-3)/2. Suppose -i - a = -6*i. Do 1 and i have different values?
False
Suppose -48 = -4*v + 3*i, -2*i = 5*v + 12 - 95. Is v at least as big as 15?
True
Let d(r) = r**2 + 5*r + 1. Let f be d(-5). Let s = -15 - -11. Let x = s - 1. Are x and f nonequal?
True
Let z = -61 - -104. Suppose 2*y = -4*r + 36, 7*r = 2*r - 2*y + z. Suppose 2*h + 2*v - 5*v - 14 = 0, -4*v = -h + 7. Is h bigger than r?
False
Let o be (-20)/50*((-40)/(-6))/4. Suppose -5 = 4*h + 7. Let q(d) = -d - 4. Let f be q(h). Which is smaller: o or f?
f
Let q = -9 + 21. Let r(i) = -10*i - 1. Let u be r(-2). Let m = u - q. Are 7 and m equal?
True
Suppose h + 85 = -4*q - 560, 3*q + 5*h + 471 = 0. Let i be (-3)/((q/(-4))/3). Is i at most -1?
False
Let x = -209 - -198.1. Let s = x - -11. Let t = -0.1 + 0.1. Which is smaller: t or s?
t
Let i be 1/((0 - 2) + 1). Let o be (-5)/(i/(-2)*-6). Is 2 bigger than o?
True
Let t = 56 - 56. Which is bigger: t or 12/17?
12/17
Let y = -11 + -8. Let f be y/(-3) + 2/(-6). Let b = 5 - 0. Which is greater: f or b?
f
Suppose -k = k + 10. Let a be k/10*(-3 + -1). Let t be (2/3)/(a/(-6)). Are t and -2 equal?
True
Let v be (-2)/(((-11)/18)/11). Let c be (-296)/v - (-4)/18. Is 0 not equal to c?
True
Let c = 0 - -2/3. Let m = -20 + 16. Let f be -3 + (m - -6) + 2. Is f smaller than c?
False
Suppose -3*s = k - 5*s + 7, 4*k - 4*s + 32 = 0. Is k > -10?
True
Let s(t) be the third derivative of -t**6/120 - 7*t**5/60 - 7*t**4/24 - 2*t**3/3 + t**2. Let q be s(-6). Suppose r = -r + 2. Which is smaller: r or q?
r
Let c = 1.1 - 1. Let x(p) = p + 9. Let v be x(-7). Let q be (1/v)/(2 - -2). Are q and c nonequal?
True
Suppose 4*p = 6 + 6. Let q be p/(0 + (-3)/2). Let k be (4 - 3) + q + 0. Are k and -1/11 non-equal?
True
Suppose -f - 4*u + 24 = 0, 2*u = -0*f + 2*f - 58. Is f at most as big as 27?
False
Let k(b) = -b**3 + 2*b**2. Let c be k(2). Let m be 3 - ((-34)/(-12) - c). Is 0 at most as big as m?
True
Suppose 103 = 4*o - 125. Let g = o + -29. Suppose -2*x + d = 3, 3*x + 7*d - g = 2*d. Is 2/5 at most as big as x?
True
Let r be ((-12)/(-10))/((-6)/(-20)). Let u = -460 - -465. Which is greater: u or r?
u
Let b = -121.8 - -126. Do -3/2 and b have different values?
True
Suppose 5*n - 95 = 4*i, 5*i - 39 = -4*n - 168. Which is greater: -26 or i?
i
Let b(r) = -r + 5. Let k be b(4). Let f(l) = 2*l**2 + 1. Let u be f(k). Suppose -6*m + u = -3*m. Which is smaller: m or 0.1?
0.1
Let s = -5 + 7. Suppose 7*i = s*i. Let l = -22 - -21. Which is smaller: l or i?
l
Let k be ((-117)/27 - -3)/((-5)/(-3)). Is 0.5 less than or equal to k?
False
Suppose k + k + 6 = 0. Let i(y) = -2*y. Let j be i(0). Is j greater than k?
True
Let w = 7 + -1. Let j(g) = 5*g**2 + 