s). Let b be k(-2). Which is smaller: b or 5/2?
5/2
Let u = -107 - -116. Let r = 0.183 - 9.283. Let q = u + r. Which is smaller: q or -3/7?
-3/7
Let i be ((-15)/(-2))/((-6)/8). Let l be 5/i - 1347/(-6). Let o be l/(-72) - -3*1. Is -1 less than o?
True
Let a = -946.1 - -947. Is a at most as big as -8?
False
Let f = -422 + 423. Suppose -t - 3*w = -7, -t - 4*w = 3*t - 4. Let s be 2 + t + (-2 - -1). Which is smaller: f or s?
s
Let w = 0.39 + -0.46. Let r = w - 0.73. Is -3/4 equal to r?
False
Let w(i) = -i**3 - 15*i**2 - 13*i + 18. Let b be w(-14). Suppose b*x - 30 = x. Let z be (23 - 24)*(-4)/x. Is 10 smaller than z?
False
Let j = 966 - 963. Which is bigger: j or -10?
j
Let p = -152 + -132. Let c = p - -1135/4. Suppose -n = 1 - 4. Which is smaller: c or n?
c
Let o = 4 - 16. Let x be 33/5 - o/30. Suppose 2*a - f - 3*f = 22, -x = -5*a - 2*f. Are 7/3 and a equal?
False
Let v(x) = x**2 + 2*x. Suppose -4*p + 3*r + 28 = 8*r, -2*p + 4*r - 12 = 0. Let a be v(p). Is 2/3 > a?
False
Let j = -0.019 - -0.019. Which is smaller: j or 28/11?
j
Let k(d) = -d + 2. Let m be k(3). Let o be (-2 + 24/3 + -2)*m. Let n = -29/21 - -5/7. Do o and n have the same value?
False
Suppose -2*h = 4*r - 2, -h = 5*r + h - 5. Suppose 0 = 24*g - 42*g + 36. Are g and r nonequal?
True
Let k = 17 + -10. Suppose -3*d - 66 = -36*d. Which is smaller: d or k?
d
Let m(d) = -3*d - 45. Let z be m(-13). Is z at most 10?
True
Let c be (-69)/(-18) + -4 - (-30)/468. Is 1 less than or equal to c?
False
Let w = -233 + 30991/133. Which is greater: w or 0?
w
Suppose -a - 2 = -2*a. Suppose -a = -2*s + s. Let g = 8 - 4. Which is smaller: g or s?
s
Let r = 1 - 2. Let g = 2077 + -2078. Is g greater than r?
False
Let o = -0.1 + -0.6. Let i = -0.7 - o. Let x = i + -0.1. Is x >= -4?
True
Suppose 8*p + 75 = 13*p. Let t be (-4)/10 + 21/p. Let h = -1.4 - -1.35. Is t not equal to h?
True
Let v(a) = -2*a**2 - 570*a + 22 + 4*a**2 + 285*a + 283*a. Let b be v(5). Is b at most 61?
False
Let t be -15*21/(-24)*(-70)/49. Which is smaller: t or 1?
t
Suppose 5*k - 104 = z, z + k - 235 = 3*z. Let y = z + 839/7. Let i = 4 + -5. Is y greater than i?
True
Let z = 22729/12780 + -1/1420. Suppose h = 4*v + 7, -2*h - 3*v + 1 = 2*v. Is z <= h?
True
Let g(z) = z**3 + 2*z**2 + 2. Let b be g(-3). Let p(q) = -q**2 + q + 30. Let s be p(0). Suppose -35*y - 35 = -s*y. Is b > y?
False
Let w = -14299/4972 - 15/452. Let s = w - -1930/671. Let o(v) = -v - 7. Let g be o(-6). Do g and s have different values?
True
Let w be (-8)/20 + 34/10. Suppose w + 5 = 4*c. Suppose 29 = c*u + 1. Which is greater: 15 or u?
15
Let v = 259.4 - 260. Is v at least as big as 0?
False
Suppose 62 = 4*s - 6*g + 7*g, 12 = s + 2*g. Let o be 0 + (-3)/(-9) - s/3. Which is bigger: o or -38/9?
-38/9
Let r(q) = -q + 14. Let z be r(0). Let v be ((-52)/56)/((-12)/z) + -2. Is -2 at least v?
False
Let u = 1023 - 1108.7. Let y = u - -85. Is 4 less than y?
False
Let j = -139 + 140. Let u(g) = 3*g - 3. Let o be u(3). Is o greater than or equal to j?
True
Suppose 0 = 3*k + 4*c + 33, 3*c = -2*k + 7*c - 2. Let q be -314*k/(-84) - (-2)/12. Is -28 greater than q?
False
Let x = -87 + 83. Which is smaller: x or -10/3?
x
Let q be (-2)/5*1407/(-2546). Is -1 equal to q?
False
Suppose 32*d + 40 = 31*d. Which is smaller: -196/5 or d?
d
Let s be 12/9 + 16/6. Let h(l) = -l**2 + 2*l - 5. Let r be h(s). Let a = -9 - r. Is a < 4?
False
Suppose -2*v + 5*n = -5*v + 41, -4*v + 51 = 3*n. Let l = v + -13. Let u be 8/77 + 4/(-14). Which is greater: l or u?
u
Let r be -4 - -6 - -1 - (-21)/(-9). Suppose -5*k - l = -3*k + 38, -25 = k + 2*l. Let z = k + 12. Is z at least r?
False
Let b = 3331/213 - -2/71. Which is greater: b or 1?
b
Let d = -5/67 - 511/335. Let o(y) = y**3 - 6*y**2 - 4. Let x be o(6). Let r be (-7)/x - (4 + -2). Are r and d equal?
False
Let q(z) = z**3 - 11*z**2 - 13*z + 6. Let a be q(12). Let n be (a - 4)/(1 - -1). Let x be (1 + n)*(-2)/12. Is x less than 0.34?
False
Let z(s) = 3*s**2 - 20*s - 8. Let d be z(7). Let u = 8.1 + 41.9. Is u < d?
False
Suppose -9 = -2*k - a + 4, -20 = -3*k - a. Suppose -7*o + k = -0*o. Do o and -13 have different values?
True
Let t = -295 - -312. Let c = -36 + 53. Is c equal to t?
True
Let u(s) = 14*s + 71. Let g be u(-5). Is g less than or equal to 2/225?
False
Suppose 2*z + 0*s + 6 = 2*s, 2*s - 4 = 0. Is 4/117 bigger than z?
True
Suppose 2*g = -d - 3*d + 4, 5*d + 4*g = 11. Let x(c) = c**2 - 6*c + 6. Let p be x(4). Let a be 8/(-16)*p/10. Which is smaller: a or d?
d
Suppose -f + 2*u = 55 + 91, 0 = 4*f + 2*u + 544. Is f greater than -139?
True
Let i = -531263/11 - -48328. Let t = -33 + i. Is t < -2/7?
True
Let n = 883 + -883.29. Let a = 2 - 2.1. Is n less than a?
True
Suppose 0 = -40*t + 37*t + 12. Suppose -t*u = 78 - 18. Let i = 13 + u. Is 0 at most as big as i?
False
Suppose -4*m + 282 - 430 = 0. Is -42 equal to m?
False
Let q = -5266 + 847836/161. Let j = 8/23 - q. Let i = -2 - -3. Is i less than j?
False
Let r = -1321/7 + 189. Let b = 613/7 - 87. Is b smaller than r?
False
Let w(m) = m**3 - 4*m**2 + 3*m - 4. Let l be w(3). Let z be (9 + -8)/(22/l). Is z at least as big as 0?
False
Suppose r - 35 = 3*d + 17, 0 = 2*d - 5*r + 26. Let v be (-4)/(-1) + 20 + d. Are 20/3 and v non-equal?
True
Let l(m) = m**3 + 8*m**2 + 5*m - 13. Let c be l(-7). Which is smaller: c or 4/3?
c
Let c(n) = -13*n - 6. Let p be c(-4). Let v = 25 - p. Let u be (-2)/(-6) - 5/v. Which is bigger: 2 or u?
2
Let w = 1.73 + -2.03. Let r = -11 - -11.23. Let l = 0.07 + r. Which is greater: l or w?
l
Suppose 2*y - 10 = -5*n, 0 = y + y. Suppose 4*t - 6*t = n. Let x(j) = j - 6. Let z be x(6). Which is smaller: t or z?
t
Let l = 29/126 + 1/18. Do 0.62 and l have the same value?
False
Suppose 0*r + 33 = -3*r. Let c = 9 + r. Suppose 5 = -j, -3*b = -3*j - 1 - 5. Which is smaller: c or b?
b
Suppose 2*f - 4*t = -t + 17, -3*f = -5*t - 26. Let a(m) = m - 7. Let i be a(14). Is i greater than f?
False
Let m(q) = -q**3 - 10*q**2 + 3. Let u be m(-10). Suppose 18 = -5*j + u*j. Is j < -41/4?
False
Let b(o) = o**2 - 8*o + 12. Let g be b(-8). Let x be (-20)/g*(-1 - 62/(-60)). Is x at most as big as -1?
False
Suppose -4*t - 6 = i - 0*t, -2 = -3*i - 2*t. Suppose -i*d - d + 18 = 0. Let b be d/(-21)*2/(-4). Which is bigger: b or 1?
1
Let l be (-8)/(-770)*(5 - 0). Which is bigger: l or 1?
1
Let g = 8 - -35. Let r = 45 - g. Is -1.5 < r?
True
Let x = 18 + -16. Suppose 0 = -x*c + 4*d - 112, 5*c - 3*d + 285 = 2*d. Let o = -119/2 - c. Is o at most 0.5?
True
Suppose -5*t + 8 = y, 7 = t - 4*y - 3. Suppose t*v + 11 = 9. Let r be 3 - (-1 + (-1)/v). Which is smaller: 2 or r?
2
Let f(h) = -h**2 - 4*h - 3. Suppose -8*v - 11 = 5. Let g be f(v). Which is bigger: 3 or g?
3
Let v be (-10)/35 + 24/(-14). Suppose -3*n + z - 5 = 0, -n - 3*z = -7 + 2. Which is smaller: v or n?
v
Suppose -2437 - 1336 = 7*i. Which is smaller: -540 or i?
-540
Let j = -5905 - -5909. Let x = 4 - 3. Which is bigger: j or x?
j
Let t(m) = -3*m**2 - 2*m - 6. Let x be t(0). Is -6 != x?
False
Let k = -184 - -146. Which is smaller: -39 or k?
-39
Let b = -19 - -13. Let u be (20/(-175))/(b/(-15)). Which is smaller: u or -2?
-2
Suppose 4*h + 20 = 0, -13*h + 16*h + 347 = 4*g. Is g less than or equal to 81?
False
Let z = 1.96 - 2. Let b = -242.9 - -243. Which is smaller: z or b?
z
Suppose 24*d - 744 - 624 = 0. Is d <= 2/5?
False
Suppose -14*p - 3168 = 360. Is p at most as big as -252?
True
Let s = -2875/8 - -360. Is 0 bigger than s?
False
Let n = 8.59 - 5.46. Let s = n + -15.83. Let h = s + -3.3. Are h and 2/5 non-equal?
True
Let x be 1/(-6) - 40/48. Which is smaller: -51.2 or x?
-51.2
Let z = 1.8 + -2. Let c be 116/(-170)*2 - (-4)/(-10). Let i = 236/153 + c. Are i and z nonequal?
True
Let a be (-18)/312 + ((-19)/(-4) - 4). Which is bigger: 1 or a?
1
Suppose -3*j - 2*f = 22, 5*f + 36 = -4*j - 5. Let x be (-8)/(-6)*(j - 159/(-42)). Is x less than 1?
True
Let s(y) = 12*y**3 + 2*y**2 + 2*y. Let c be s(-2). Let a = 3895 + -3987. Are a and c unequal?
False
Let q = 0.021 + -5.021. Let v = -6 - q. Is 1 less than v?
False
Let z be 1 + -2 - (-6 - 0). Suppose z*n + 21 = -29. Which is smaller: -7 or n?
n
Suppose -21*w + 20*w = -7. Let t = w + -32. Which is bigger: t or -26?
t
Suppose 0 = 3*t - 2 - 1. Suppose -1 = -d + 1. Suppose 0 = 4*s - 3*w - t, w - 1 - d = 3*s. Which is greate