
m
Let k(x) = -x**2 - 7*x - 4. Let s be k(-7). Let p(t) = t**3 + 4*t**2 + t - 3. Let h be p(s). Suppose 11*y + 66 = -33. Which is bigger: y or h?
h
Let d be -2 + 6*(-2)/(-4). Let n = 109.73 + -110. Is n not equal to d?
True
Let r = -96 - -98.8. Suppose 8*h = 10*h. Is r at most as big as h?
False
Let n(m) = 22*m + 111. Let f be n(-5). Is f equal to 3/335?
False
Let q(g) = 2*g**3 + 8*g**2 + g + 5. Let w be q(-6). Let k = w - -1303/9. Let t = -0.50593 - 0.49407. Is t < k?
True
Let o be (-1)/220*(-124)/279. Which is smaller: o or 1?
o
Suppose -l + 3*b + 21 = 0, -3*b - 86 = -2*l - 8*b. Which is smaller: l or 38?
l
Let w be (-437)/304 - (-2 + (-6)/(-8)). Suppose 4*g = -0*g. Is g >= w?
True
Let k(x) = x - 2*x**2 + 2 - 5*x**2 + 0*x + 5*x**2 - 24*x**3. Let l be k(-2). Let d be l/(-990) - 18/(-81). Which is smaller: 0 or d?
0
Suppose -p + 0*x = -x - 15, 3*p = -3*x + 75. Is -3 less than p?
True
Suppose -5*j + 4*c - 115 = 0, 3*j + c + 69 = 6*c. Let u = j - -50. Let z = 28 - u. Are z and 10 non-equal?
True
Suppose -26 = u - 18. Let k = u + 13. Is 2 <= k?
True
Let l = -1151 + 1104. Which is bigger: 2 or l?
2
Let m = -2/207 + 436/2277. Suppose 0 = 6*g - 2 + 8. Which is greater: m or g?
m
Let f = -8557/12 - -713. Let j = 2.8 - 1.9. Is f equal to j?
False
Let y = 289/190 - 2/95. Is y not equal to 3?
True
Let l = -0.11 + -1.89. Let f = 1.8 + l. Let t = -23 + 45/2. Is f not equal to t?
True
Suppose -2*a + 3 = -5. Suppose 3*b = a*h - 15, -h + 10 = -2*b - 0*h. Is b smaller than -5?
False
Let l be (9/4)/(4/(-16)). Suppose 2*t - 22 = 4*x, -t + 11 = -3*x - 6. Let k = -15 - x. Is k less than or equal to l?
True
Suppose -4*n + 1 = 5. Suppose 2*b = 4*c + 6*b - 156, 116 = 3*c + 2*b. Let x = -37 + c. Are n and x non-equal?
True
Suppose 4*h = -h + 5. Let t be (-2)/(-5) + 4624/(-50). Let a = 92 + t. Are h and a non-equal?
True
Let x = 1498 - 1495. Are 9 and x unequal?
True
Suppose -3*u - 7 = c + 3*c, 2*u = 4*c - 18. Let k be 76/(-8) + -2 + -6 + 9 + 3. Which is smaller: k or u?
k
Let f = 0.2 - 2.2. Let o = 5.267 - 3.267. Which is bigger: o or f?
o
Suppose 8*l + 197 = 117. Which is smaller: -105/11 or l?
l
Let g(m) = -30*m + 120. Let p be g(3). Which is greater: p or 31?
31
Let z be 21 + (36/24 - 6/4). Let q(p) = -p**2 - 7*p + 12. Let i be q(-8). Suppose 2*f + z = -i*w + 9, -2*w = -5*f + 6. Is -1/15 greater than or equal to f?
False
Let s be 2/3 + 2382/558 + -5. Is 6 at most as big as s?
False
Suppose -5*r + 1602 = 1607. Which is greater: r or 55/7?
55/7
Let d = 179287036/43 + -4169667. Let f = 201 + d. Are 2/7 and f nonequal?
True
Let p be (-5 - (-3 - -2228)) + -1. Let i = -6620/3 - p. Which is greater: i or 24?
i
Let y = -212/33 - -55822/8679. Which is smaller: -1 or y?
-1
Let v be -4 + (-110)/(-25) - 213/20. Which is smaller: v or -9?
v
Let x = 33 - 65/2. Let y = -0.7 - -0.4. Is y greater than x?
False
Let u be (-6)/18 + 2440547/141. Let r = u + -17310. Let v = r - 1/94. Is v at least as big as 0.3?
False
Suppose -2*d + 374 + 198 = -3*c, -4*c + 297 = d. Suppose -4*o = -57 + d. Is o smaller than -58?
False
Let j(x) = 2*x - 3. Let m be j(4). Let u be ((-2)/m)/((-3)/(-105)). Are u and -15 non-equal?
True
Let f be 58 - (-4 + -2) - (-3)/(-3). Is 57 less than or equal to f?
True
Suppose -4*l + 72 + 28 = 0. Let y(j) = -j**3 + 16*j**2 + 17*j + 23. Let k be y(17). Is k smaller than l?
True
Suppose 48 = 37*x - 29*x. Suppose -3*d = 2*u + 14, d + x*u = 4*u - 10. Suppose 0 = -5*q + 1 - 6. Is d < q?
True
Let j(f) = 23*f + 282. Let b be j(-26). Is -316 != b?
False
Let w be 24/60*5 + (1 - 48). Which is smaller: -44 or w?
w
Let o be 2/16*-235*(111 - 115). Which is smaller: o or 118?
o
Let o be 74/111*(-42)/4. Is -14 < o?
True
Let b be 4/54*6/30. Let c = 593/5535 + b. Is c bigger than 1?
False
Let m = -14 + 14. Suppose o + 4 = -3*o. Let z = 2 + o. Is z != m?
True
Let v = 0 + -22. Let c = -16 - v. Suppose 23*p + 5 = 24*p. Which is bigger: p or c?
c
Let p(j) = -2*j**2 - 32*j - 27. Let c be p(-18). Do -101 and c have the same value?
False
Let b = -16 - -10. Let g be 10*(2 + 15/b). Do g and -5 have the same value?
True
Let x = -685 - -684.9. Which is smaller: x or -1/297?
x
Let u = 36 + -34. Suppose 3*d + 2*r = -2*r + 19, 0 = d - u*r - 13. Which is smaller: d or 10?
d
Let p = 28976 - 145342/5. Which is bigger: -91 or p?
-91
Let d = -58 - -74. Let n = 0.13 - -1.87. Which is smaller: d or n?
n
Let i = -28 + 31. Suppose i = 2*c + 5. Which is smaller: c or -1/3?
c
Let g(d) = 8*d**2 - d - 6*d**2 - 3*d**3 - d**2 + 2*d**3. Let n be g(1). Let f(k) = -k**2 + k + 2. Let j be f(2). Which is greater: j or n?
j
Let a(l) = -2*l**3 + l**2 + 83. Let p be a(0). Suppose 0*m = m - p. Is 83 at most as big as m?
True
Let l(o) = -o**3 + 3*o**2 + 3*o - 4. Let a be l(4). Let z be a/(-12) + 142/(-6). Let b = -101/4 - z. Is b at most as big as -1?
True
Let w(z) be the third derivative of 0*z**3 - 1/20*z**5 + 0 + 0*z - 1/24*z**4 + 2*z**2. Let r be w(-1). Is r != -3?
True
Suppose 855*y - 90 = 861*y. Which is smaller: y or -0.1?
y
Let y(n) = 5*n - 52. Let m be y(-22). Let j = 159 + m. Let h = 5 - 12. Which is bigger: j or h?
j
Let f = 5 - -12. Suppose -f*z + 22 = -6*z. Which is smaller: 5 or z?
z
Suppose 0 = -4*o + 781 + 191. Is o smaller than 242?
False
Let u = 610 + -607. Which is smaller: 1/70 or u?
1/70
Let s = -0.04 + -2.96. Let g(w) = w**3 + 3*w**2 - 12*w - 6. Suppose -13*i - 74 = -9. Let b be g(i). Is s greater than b?
False
Let u = -21 - -22. Let a(k) = k - 2. Let m be a(7). Let l be -2 + 7 + (2 - m). Is u at least l?
False
Let m be (-9 - 0)*50/60*-2. Is 1 at most as big as m?
True
Let o be 12/162 + 50/54. Do o and 2.2 have different values?
True
Let z be ((-18)/(-5))/((-34)/(-255)). Is z less than 105/4?
False
Let z = 103928/5 - 20704. Is 81 less than or equal to z?
True
Let z be (-1)/((-7)/27) - (-1)/7. Suppose 4*v + o = z + 23, 5*v - 38 = 3*o. Is 5 smaller than v?
True
Let f = 0.48 - -43.52. Is 0.1 less than or equal to f?
True
Let s be -2*3*160/(-24). Is s less than or equal to 5?
False
Let g = 684 + -709. Is g bigger than 1?
False
Suppose 3*u + 304 = -5*h, 4 = -2*h + 3*h. Let k be u/33*(-1)/3. Which is smaller: 0 or k?
0
Let j = -2038 + 2039. Is j > 2/2307?
True
Let n = 9.92 - 10. Let x = 58 - 57.08. Let s = x - n. Which is greater: s or 7?
7
Suppose -8 = 3*m - 5*m. Suppose -2*x + 2*q = 0, 0 = x + 2*q + 2 + m. Which is smaller: -10/9 or x?
x
Let l(u) = -u**3 + 5*u**2 + 2*u - 11. Let w be l(5). Let z = 778/35 - 114/5. Is w at least z?
False
Let f(q) = q**2 - 2*q. Let y be f(3). Suppose -15 = 3*h - 8*h + 4*x, -y*h - 2*x + 9 = 0. Let s be (h + 0 + -3)/(-2). Which is bigger: 8/7 or s?
8/7
Suppose 12 = -20*x + 23*x. Suppose x*o + 13 = 69. Suppose -68 = -4*v - 4*p, v = p - 0 + 9. Which is bigger: o or v?
o
Let t(b) = -251*b - 9. Let o be t(3). Is -762 <= o?
True
Let m(v) = 56*v + 1. Let f be m(1). Let q = 29 - f. Let o be ((-2)/10)/((-7)/q). Which is smaller: o or -1?
-1
Let l(a) = -9*a**3 - 2*a**2 + 1. Let w be l(-1). Let m = 79 - 77. Let r be (-20)/w - 1/m. Which is smaller: r or -2?
r
Suppose 3*g = -3*t - 1 - 20, -2*t + 5*g + 14 = 0. Is t at most 1?
True
Let d be (-32)/20 - 4/10. Let o be (-1)/d + 1/(-2). Let f be ((o/3)/(-1))/(-1). Which is bigger: f or 1/9?
1/9
Let g = -6575802/299 + 282278/13. Let o = -279 - g. Is 0 greater than or equal to o?
True
Let u(q) = -q**2 - q + 12. Let x be u(-4). Let b be 39/(-36)*2 - -2. Is x greater than or equal to b?
True
Let j be (18/32)/(-3 + (-262)/(-92)). Let k = j - -29/8. Is 1/2 > k?
True
Let b be 2185/(-30) + (-6)/(-14 - 4). Do -72 and b have different values?
True
Let h = 196 + -194. Which is bigger: -15 or h?
h
Let k be -2*(4 - 15/(-10)). Is 2/21 at least as big as k?
True
Suppose 0*d + 2 = d, 0 = -2*w - 4*d + 16. Suppose -1 = 5*j + w. Let r = -452 + 449. Is r >= j?
False
Let m(h) = -2*h - 12. Let l be m(-5). Let n be -2*(4 + -5) + (-1 - l). Which is bigger: n or 7?
7
Let d = 1293/5 - 259. Let j(g) be the third derivative of -g**6/120 - 7*g**5/60 + g**4/3 - g**3/6 + 2*g**2. Let k be j(-8). Which is bigger: d or k?
d
Suppose 0 = l + 3, 3*l + 172 = 4*j - 85. Is j greater than 61?
True
Suppose 64 = -5*y + 14. Let v(g) = -g**3 - 12*g**2 - 16*g + 2. Let r be v(y). Is -38 greater than or equal to r?
True
Let g = 6.882 + 0.118. Which is greater: -9/7 or g?
g
Let p be ((-1