an or equal to -118/31?
False
Let v be (1700/(-8))/(-1*(-3)/(-6)). Let t = 440 - v. Is 15 less than or equal to t?
True
Suppose 2*a - 7 = -55. Let j = -15 - a. Let b = -5706 + 5705.9. Is j at most b?
False
Let q(c) = -23*c + 260. Let a be q(21). Are -3 and a equal?
False
Let q(m) = 8*m**3 - 23*m**2 + 3*m - 1. Let d(u) = -u**3 + u**2 + u - 1. Let b(i) = -6*d(i) - q(i). Let y be b(8). Let l = -10.21 + 0.21. Is l < y?
True
Let n = -749/1672 - 1/152. Let f be (12 + -23)/(1/9). Let c = f + 98. Which is smaller: c or n?
c
Suppose 0 = -2*c - 2*z + 12, 3*z = 4*c + 2*z - 39. Let t be 3 - 2/1 - (7 + -8). Let o be (1/(-8))/((-393)/(-198) - t). Is c at most o?
False
Let m = -65960/11 + 6003. Let l = m - 5059/759. Is -1 smaller than l?
True
Suppose 2*b - 12 = -4*s + 8, s + 2 = 3*b. Suppose -3*n = -b*h - 121, 0 = 4*n - 2*h - 146 - 16. Are 0 and n equal?
False
Let j be (-3)/9*6*222/(-12). Which is bigger: j or 17?
j
Suppose -42*s + 47*s + 2*h = 8345, -3*s + 5026 = 5*h. Which is smaller: s or -0.2?
-0.2
Let t = 688.67 + -689.5. Which is greater: t or -6?
t
Let q be -2 - ((-42)/(-7) + -10). Suppose 895 = q*z - h, -4*h = 5*z - 1162 - 1056. Is z less than 1/3?
False
Let v be (0 - 4) + -2 + 22. Let w = 41 - v. Let q be w/(-10)*(-102)/15. Is 18 at most q?
False
Let u be 50/(-204) + (-3)/(-9). Let m(d) = -61*d - 172. Let q be m(-3). Suppose -f + 6 = 4*i - q, -f = i - 5. Does f = u?
False
Let c be (12/(-8430))/(10/25). Which is smaller: -1 or c?
-1
Let d = -13.22 - 1.64. Let a = d + -0.14. Let h = a + 15.01. Is h bigger than -0.4?
True
Let h(c) = -c**2 - 6*c + 72. Let m be h(6). Let q(a) = -a**3 - 7*a**2 - 2*a + 3. Let i be q(-6). Let y = i - -67/3. Is y > m?
True
Suppose -3*c - 86 = -4*d - 819, -c - 3*d = -253. Let w = -271 + c. Which is smaller: -25 or w?
-25
Suppose -245 = -5*j - 3*u + u, -3*j - 4*u = -161. Let w = -41 + j. Let f be 10/(-4) - (6 - w - 2). Are f and 0 unequal?
True
Suppose 0 = q + 2, z + 0*q = -4*q + 6. Let l(b) = -b**3 + 13 - 3*b**2 + 24*b**2 - 13*b - z*b**2. Let j be l(4). Is 1/3 at least as big as j?
False
Suppose -2*t = 5*l + 79, -3*l + 1545 = -3*t + 1542. Let f(v) = 1 + 2 - 1 - v**2. Let m be f(-3). Is t equal to m?
False
Let h be (-4)/10 - (-4330)/(-50). Let j = h + 78. Let o be (-1 + (-2 - j))*16/(-24). Is -3 greater than or equal to o?
True
Let c = 0.0501 - 268.0501. Let q = -290 - c. Is 2 greater than q?
True
Suppose 0 = -2*k - 33 + 41. Suppose 3*z = -4*o + 43, 4*z - 48 = -o + 5*o. Do z and k have the same value?
False
Let w be -4 - ((-60)/(-28))/((-5)/40). Let k = w - 4041/308. Do k and 1 have different values?
True
Suppose l = -k + 334, -9*l = -12*l + 3*k + 1014. Suppose 27*j = 23*j - l. Which is greater: j or -250/3?
-250/3
Let p be (-33)/(-11) + (-1)/1*9. Let w be (-1)/p - (-77)/330. Let g be (4 - (2 + 4))/(6 - 1). Is g greater than w?
False
Suppose -17*x + 53 = -32. Suppose l = -4*l, -4*l + 25 = -x*c. Is -5 >= c?
True
Suppose -5*m + 3*f + 65 = 2*f, -4*m = 3*f - 33. Suppose 16 = 2*z - i, -2*i = 2*z - 40 + m. Let j be (12/92)/((-75)/z). Which is smaller: j or 0?
j
Let y be 2 + 7 - (6902/(-147))/(-29). Which is smaller: y or 7?
7
Let g = 25868 + -4759803/184. Which is bigger: g or 0?
0
Let l be ((-44)/49995*-9)/(6/(-75)). Which is greater: 1 or l?
1
Let r be (-23)/(-3450)*50*(-1 - (-5)/2). Which is smaller: -68 or r?
-68
Suppose -t = 2*t + 3. Suppose -69 = -2*i + 131. Let o be 180/16*(-8)/i. Which is greater: o or t?
o
Let l = 0.06423 + 0.03577. Which is smaller: 17.1 or l?
l
Suppose -g - 3*o = -0 + 4, 4*o + 16 = -4*g. Let r = 0.056 - 5.056. Which is smaller: r or g?
r
Let x(k) = 2*k**2 - 8*k + 6. Let b be x(-5). Suppose 3*t = 5*y + 40, -y + 16 = -3*y + 3*t. Let g be 8/b*y/(-3). Which is smaller: g or -1?
-1
Let m be (1 - 20/14) + 981642/2065. Let o = -475 + m. Let c = o - 48/385. Are 0 and c nonequal?
True
Let n be -1*((-16)/6)/(30/45). Let j be (7/(-4) - -1)/(14/(-96)). Is j bigger than n?
True
Let y = 276.2 + -200. Let c = y + -76. Which is smaller: c or 10/3?
c
Let v(n) = -16*n**2 + 56*n - 379. Let g be v(23). Is -7555 equal to g?
True
Let c(x) = 5 + 3 + x - 2*x**2 - 6*x + x**3 - 2*x + 3*x. Let g be 7 - (1 + 0)*2. Let z be c(g). Which is smaller: z or 62?
62
Let x = 2626/1073 + 27/29. Which is smaller: x or 4?
x
Let j(a) = a - 3. Suppose 63*d - 62*d - 4 = 0. Let r be j(d). Suppose -6*b + 5 = -2*b - 5*k, -r = -5*b + k. Which is bigger: b or 3/19?
3/19
Let p be (-79054)/66 - 134/(-402). Let j = -1197 - p. Let q = 0.1 + 0. Do j and q have the same value?
False
Let f = 27.35 + -27.95. Is f != -3.08?
True
Suppose 3*b = -2*w + 6*b + 8, -5*b + 16 = 4*w. Suppose 49 + 2 = -5*m + 2*v, 8 = -w*v. Which is smaller: m or -49/4?
-49/4
Let m = 5 + -2. Let l(v) = 4 - 9*v - 9 + 5*v. Let r be l(-2). Are r and m non-equal?
False
Let z = 2203/7 + -314. Let r(b) = 3*b - 45. Suppose 3*m = -3*u + 57, 3*m + 12 = 6*m. Let c be r(u). Is z < c?
False
Let d be (-4*9/(-30))/(28/70) + 57. Suppose 0 = -4*g - 3*u + 235, u + 6 = -u. Is g > d?
True
Suppose 3*v + 575 - 587 = 0. Let y be -2 + v - (-9)/((-99)/32). Is 4 >= y?
True
Let u = -2.96 - -0.96. Let t = 52 + -105. Is u < t?
False
Let p = -90060502561/16504939 - 6/868681. Let h = p + 3941406/703. Let w = h + -150. Which is bigger: 0 or w?
0
Let p(f) = f**3 - 28*f**2 - 22*f - 119. Let t be p(29). Which is smaller: 47 or t?
47
Let r be (4 - (-20)/(-8))*8/6. Let y(z) = -13*z**2 - 88*z + 13. Let j be y(-7). Which is smaller: j or r?
j
Let b = -16/391 - -288/391. Which is smaller: 0 or b?
0
Suppose m = -2*t - 137, t - 2*m = m - 51. Let h = t - -169. Is h < 103?
False
Let v(z) = z**2 + 16*z + 66. Let y be v(-8). Let p be (0 - y) + (-8)/4 + 5. Is p equal to 2/27?
False
Suppose 3*v + 79 = -m - 69, -3*m - 3*v = 444. Let l be 301/(-903) + -1 + 880/(-6). Is l >= m?
True
Let y = 447 + -501. Let u = -118 + 54. Let n = u - y. Is -1/4 > n?
True
Let z = 439.07 + -439. Suppose r = -14 - 5. Is r at most as big as z?
True
Suppose k = -5*t + 568, -3*k + 574 = 9*t - 4*t. Let h = 179 - t. Is 66 greater than or equal to h?
True
Let j be ((-285)/(-198))/(42/(-630)). Which is smaller: -21 or j?
j
Let o = 53 - 100. Let r be ((-90)/25 + 4)*(-3 + (-26)/(-12)). Which is bigger: o or r?
r
Let c = -14705982/8075 + 1953/425. Let q = 1817 + c. Which is greater: q or 0?
q
Let s be 40370/6732 + (-6)/1. Let u = 50 - 49. Is u greater than or equal to s?
True
Let m = -1125 + 1451. Is m greater than or equal to 327?
False
Suppose -2*o + 4 = 0, 1 + 9 = v + 2*o. Let j(u) = -v + 17 - 14 - 9*u. Let y be j(0). Is y bigger than -2?
False
Let k = -32564 - -32507. Is 3.8 greater than k?
True
Let d = -127 + 130. Suppose j - d*j + 5 = -m, -15 = -5*j. Which is greater: m or 29?
29
Suppose 2*p - 5 + 951 = 0. Let i = 3317/7 + p. Suppose 3*u - 4 = 3*r + 5*u, -2*u = r + 8. Which is smaller: i or r?
i
Let j(n) = 31*n**3 + 5*n**2 - 41*n - 143. Let p be j(-7). Is -10244 at least as big as p?
True
Let t(j) = -3*j - 1. Let s be t(-5). Let d = -0.9949 + 458.2949. Let f = d - 457. Is f equal to s?
False
Let b be (-204)/4*(-93)/9. Let s be (-48)/(-7)*(-182 - -259). Which is smaller: s or b?
b
Let d(h) = 237*h**2 + 251*h - 1023. Let m be d(4). Are 0.1 and m nonequal?
True
Suppose -5*a + 92 = -a + 2*q, -3*q + 33 = a. Suppose 40 = -16*i - 4*i. Let j(f) = 4*f**2 + 9*f + 23. Let w be j(i). Is a <= w?
True
Suppose -3*c + 100 = 103. Let q be 3 - ((-2)/c - 4). Is q smaller than 100/19?
True
Let u be (5/4)/(-5)*-20. Suppose -10 = 2*r, -2*j - 35 = -u*r - 86. Let s be (0 + (-23)/(-3) + -4)*3. Which is smaller: j or s?
s
Suppose -53*u + 90*u + 24528 = 44*u. Is 3503 >= u?
False
Let v(q) = 3*q**2 - 14*q + 8. Let x be v(4). Suppose x = -o + 9 - 8. Which is smaller: -3/224 or o?
-3/224
Let f = -357074 + 2508923/7. Let d(o) = -12*o**2 - 190*o - 46. Let w be d(-21). Let c = w + f. Which is smaller: -3 or c?
c
Suppose 0 = n - 2*g + 166, 2*n = n + 3*g - 166. Suppose 34694 = -33968*j + 33759*j. Is j at least n?
True
Let f be ((-208)/(-312))/((-62)/3). Which is smaller: 4 or f?
f
Suppose 10 = -4*u + 6. Let k = -22548/29 - -777. Which is bigger: u or k?
k
Let a(i) = -3*i**2 - i - 1. Let o be a(-5). Suppose -6451 = -14*n + 409. Suppose 0 = -12*x + 19*x + n. Which is bigger: o or x?
x
Let s(n) = 2*n**2 - n. Let j be s(0). Suppose 3*v - 2*v = j. Suppose -5*d - 3*h - 2*h - 15 = v, 2*d + h + 2 = 0