-5*a = -o + 1. Is 4/9 less than a?
True
Let a be -11*((3 - 2) + 0). Suppose 0*w - 4*w + 32 = 0. Suppose 0 = j - g + 8, -g = 3*j + w + 24. Which is greater: a or j?
j
Let d = 15.96 - -0.04. Let c = 16 - d. Suppose v = 5*j - 4*v, v = -5*j - 12. Which is smaller: j or c?
j
Let r be ((-22)/(-6))/((-1)/3). Suppose 3*j - 134 = -2*k - 168, j - 4*k = -16. Let s = r - j. Is s >= -2/21?
True
Suppose 0*w - 2*w - p = -9, -4*w - 4*p + 28 = 0. Suppose -2*n - 2*v + w = 0, -2*n + v - 3 = -2*v. Which is smaller: n or -3?
-3
Suppose 18*f - 6*f = -4092. Which is smaller: -340 or f?
f
Let n = -182.4 - -181.79. Is n at most 1?
True
Let c be (-1)/4 - (-836)/16. Do c and 46 have the same value?
False
Suppose -2*y + 0*y = 0. Suppose y = -2*i + 13 - 5. Suppose -3*a + 5*r - 2 = 0, -3*r + 10 = -2*a - i*r. Is a less than 0?
True
Let q be (2/12)/((5 - -2)/14). Is q less than 413?
True
Let s be -7*(-2)/56 + 7/4. Suppose s*h = 4*h + 2. Which is bigger: h or -2/93?
-2/93
Suppose 3*f - 2*u = -5*u + 9, f = -5*u + 15. Is 15/19 at most f?
False
Let g = 7 + -5. Let i = 18.89 + -19. Let a = i - -0.41. Which is greater: g or a?
g
Suppose -3*c + 3*l = 7*l + 6, 21 = 3*c - 5*l. Let f be 24/(-40) - (38/(-5) + -1). Suppose 0 = 9*p - 1 - f. Which is bigger: p or c?
c
Let f = -261 + 6501/25. Which is smaller: f or 0?
f
Let w be (4/(-10))/(-58 - -60). Is 32/5 >= w?
True
Let v = 56 - 57. Is -48 less than or equal to v?
True
Let n be 32/96 - 3*4/198. Is -1/8 bigger than n?
False
Let z = -2 + -3. Suppose 27 = -16*p - 57 - 44. Are p and z equal?
False
Suppose 0 = 3*z + 2*z - 45. Suppose 5*h + 10 = n, -15 = -5*h - 4*n - 0*n. Let x be (5 - -4) + 2 + h. Which is smaller: z or x?
z
Let i = 22 + -22.9. Let l = -1.4 - i. Let n = 10 + -88/9. Which is bigger: l or n?
n
Let k be 145/(-2)*((-162)/60 + 3). Which is greater: -21 or k?
-21
Let t be (0/(-1) - 0)/1. Suppose 3*j = -t*j. Let y be -2 + (j/4)/3. Does -4/3 = y?
False
Let f be (13 - 708/54) + (-4)/18. Is -56.9 > f?
False
Suppose 342*f - 210 = 348*f. Which is smaller: -25 or f?
f
Suppose -3*w + 23 = 5*g, -4*g - w = 2*w - 19. Let c be 1/g - 34/168. Is c not equal to 0?
True
Let b = -9 + -16. Let n = b - -19. Is n at least -4?
False
Let b = 53.6 + -60. Let v = -297 + 304. Let p = b + v. Is p at least as big as 3?
False
Let l = 0.3 - 0.4. Let f = l - -2.1. Suppose x = -3*r - 27, 20*x - 18 = 2*r + 16*x. Is r bigger than f?
False
Let u be (184/20 - 9)*5. Is u < 7/165?
False
Suppose 3*u - 3*b + 111 = -6*b, -2*u - 74 = b. Is -38 at least as big as u?
False
Let g = -29 + 110. Let t = g + -79. Is t greater than or equal to 0.03?
True
Let r = -19 - -58/3. Is r equal to -561?
False
Suppose 0 = 3*z + 20 + 85. Suppose -12*a - 63 = 21. Let o be ((-2)/a)/((-5)/z). Which is bigger: o or 6/11?
o
Suppose 11 = 4*l + 2*j - 7*j, -8 = 2*l + 2*j. Is l greater than 2?
False
Let n(x) = x**2 - x. Let q(t) = -2*t + 11. Let s(k) = -n(k) + q(k). Let p be s(4). Is p <= -5?
True
Let i(o) = -4*o + 12. Let n(s) = -5*s + 11. Let f(k) = 4*i(k) - 3*n(k). Let z be f(11). Suppose -3*y - 5*b + 5 = 0, z*y + 2 = y + 2*b. Are y and -6/7 non-equal?
True
Let j be (5151 + 4)*(-114)/(-262). Let a(b) = 2243*b. Let o be a(1). Let z = o - j. Which is bigger: z or -1?
z
Suppose 0 = 5*r + 7 - 17. Let d be (1 - r)*-1*4. Is d bigger than 10/3?
True
Let w = 0.2 - 1.2. Let a = -543 + 534.08. Let v = -9 - a. Which is smaller: w or v?
w
Suppose -4*m + 36 - 20 = 0. Suppose 0 = m*c - 5*y, c + c + 2*y = 0. Does -6/53 = c?
False
Let o be 3/((-21)/2) - 8/(-28). Suppose 10*x - 50 - 320 = o. Is 35 <= x?
True
Suppose s = -i + 37, -3*i + 0*s - 2*s = -106. Are 360/11 and i equal?
False
Let p = 7 + -20. Let x(a) = -a**3 - 12*a**2 + 15*a + 18. Let n be x(p). Is n >= -8?
True
Let n(v) = 5*v**3 - 8*v**2 + 5*v + 10. Let h be n(4). Is h >= 221?
True
Suppose -2*p + 3*p - 12 = 0. Let u(c) = -c**3 + 11*c**2 + 12*c. Let l be u(p). Let z be (-4)/(-82) - (0 + l). Which is bigger: z or 0?
z
Let m(x) = -4*x + 10. Let a(p) = 3*p - 7. Let c(n) = -7*a(n) - 5*m(n). Let j be c(0). Is j at most 0?
True
Let p = -22 - -21.7. Let c = -5.27 - -5.77. Which is bigger: c or p?
c
Let b = -3.1 + 3. Let g = -17497/48 + 729/2. Is g at least b?
True
Let p be (-1095)/75 - -15 - 529/1335. Is p less than or equal to 0?
False
Let z(n) be the first derivative of n**4/4 + 4*n**3 - 13*n**2/2 + 10*n + 9. Let m be z(-13). Let f be 3*(-9)/((-297)/m). Are 1 and f non-equal?
True
Let g = 0 + 0. Let m = -233362/17 + 13726. Is m greater than or equal to g?
False
Let l = -1243/60 + 81/4. Which is smaller: 1 or l?
l
Let n = 824 - 829. Which is smaller: n or -24/5?
n
Let g be (-3)/(-6)*(-6 + 20). Let i(q) = q**3 + 3*q**2 - 3*q. Let k be i(-3). Is g greater than or equal to k?
False
Let l = -9.7 + 25.4. Let i = 16 - l. Is -1 bigger than i?
False
Let f(n) = -8*n - 10. Let r be f(-5). Let z = r - 31. Which is smaller: -2/115 or z?
z
Let o = 0 + 0. Let c be ((-174)/(-21) - 8) + 78/21. Are c and o unequal?
True
Let j = -7 + 9. Suppose j*m - 20 = -0*m. Which is greater: m or 12?
12
Let i(j) = j**3 + 56*j**2 + 110*j + 117. Let v be i(-54). Let k = 29 + -19. Which is greater: k or v?
k
Suppose 5*i - 15 = -5*r, 3*r + 3 - 8 = -5*i. Suppose p - 42 + 6 = 0. Let f be (2/6)/((-20)/p). Which is bigger: i or f?
f
Let o = 15 + -23. Let t = o - -8.1. Let d = -150 - -152. Is d at most as big as t?
False
Let f be (-8)/2 + (-648)/(-153). Let i = f + 6/119. Is -0.1 at most as big as i?
True
Let b = -59 - -57.98. Let t = 0.9 + b. Let v = 0.02 + t. Which is smaller: v or -1?
-1
Let i be -8 + (-204)/(-26) - 12/(-39). Which is greater: i or 0?
i
Let o = 26 + -25. Let h be (-889)/4*(-1)/(-2). Let d = 112 + h. Is o greater than d?
True
Suppose 3*q - 4*o = 110, 0 = -2*q + 6*q + 4*o - 100. Let z be (2/(-10))/((-6)/q). Let l be (z/9)/((-3)/(-12)). Is l greater than 1?
False
Let g be -1*5 - (-4)/4. Let n = 3 + g. Let h = -1 + n. Is -2 smaller than h?
False
Let n(t) = -3*t**2 - 44*t + 5. Let g be n(-15). Which is smaller: -65/6 or g?
-65/6
Let p = 68.2 - 40.2. Let s be (-10)/18*(-4)/10. Does s = p?
False
Suppose 4*x - q - 8 = 0, -3*x - 2*q + 11 = -6. Let i be (-18)/(-27) - (-28)/x. Let u be (-2)/(-6) - (-29)/3. Is i less than or equal to u?
True
Let j(a) = 12*a + 59. Let v be j(-2). Which is smaller: -2 or v?
-2
Let d = 0.1 + 0.8. Let k = -0.98 + d. Let i = 0.18 + k. Is 0.1 smaller than i?
False
Let n = -0.086 + 5.386. Suppose -5*t + 35 = 30. Is n != t?
True
Let z(o) = -o**3 + 6*o**2 + 1. Suppose -2*v + 12 = -0*v. Let l be z(v). Let i be (-2)/(-4)*(-11)/(-6) + -1. Is l equal to i?
False
Let j(b) = 19*b. Let x be j(1). Suppose -4*p - 5*o + 53 = 0, 12*o = -3*p + 9*o + 42. Is p at most as big as x?
True
Let r = 807 - 511. Which is greater: 297 or r?
297
Let b = 0.9 - -2. Let c = b - 3. Which is smaller: c or -15?
-15
Let o = -3016 - -6033/2. Which is bigger: -10/23 or o?
o
Suppose 0*l - 64 = -r - 4*l, 2*l = -4*r + 200. Suppose -2*c + r = 6*c. Which is greater: c or 4?
c
Let i = 1112.9 + -959. Let u = i - 147. Let j = u - 7. Are -1 and j unequal?
True
Let o = 265 - 2380/9. Let q = -1658 - -1660. Is q > o?
True
Let n = 3 - 2. Let v = -2 + n. Let w = 15.8676 + 0.1324. Is v >= w?
False
Let z(w) = -w - 11. Let p be z(-6). Suppose -255 = 30*u - 45. Is u bigger than p?
False
Suppose 4 = -3*y + 25. Suppose -5*s + 2 = -y*s. Let n = 0.02 - 0.07. Which is smaller: n or s?
s
Let b = -2.5 - 11.5. Let t = b + 15. Let x = -86.88 - -87. Which is smaller: x or t?
x
Let z(l) = l**3 - 28*l**2 + 53*l - 24. Let r be z(26). Suppose 5*v + 394 = -o, o + 369 = 4*v - 34. Let k = -2787/7 - o. Is r not equal to k?
True
Suppose 4*j - 82 = u, 0 = -3*u + 3*j + j - 206. Let v = 58 + u. Let h = -0.2 - -0.1. Which is smaller: h or v?
v
Let x(r) = -22*r**2 - 12*r + 5. Let i be x(1). Which is greater: -30 or i?
i
Let d(t) = t**2 + 3*t. Let p be d(7). Let k be (-4)/(-10) + (-13)/p. Which is smaller: -1 or k?
-1
Let n be (-3)/12*-404*(-10)/(-20). Which is bigger: 51 or n?
51
Suppose 5*j - 27 = o + 62, 0 = -5*j - 5*o + 95. Is j >= 33?
False
Let x(h) = -2*h. Let d be x(-2). Let k(u) = 23*u**2 - u + 2. Let c be k(d). Let w = -8421/23 + c. Is -1 at least as big as w?
False
Let g(b) be the first derivative of 7 - 4*b**2 + 4*b**2 - 6*b**2 + 5*b**2 - 10*b. Let a be g(-8). Which is smaller: 2 or a?
2
Let h = -9/203 - -13019/609. Which is