a + 681. Let o = a + 5441/32. Is 0 <= o?
True
Let j be ((-42)/(-4) + 2)*2. Suppose -2*z + 0*z = 2*y - 16, -5*z = 2*y - j. Suppose 8 = -r + y. Is r < -3?
False
Let h(q) be the second derivative of -q**4/12 - 11*q**3/6 - 19*q**2/2 + 5*q. Let o be h(-9). Are o and -26/11 non-equal?
True
Let b = 124 + -10. Is b smaller than 113?
False
Suppose 4*l = 25 - 65. Let k(t) = t**3 + 9*t**2 - 9*t - 7. Let r be k(l). Is r <= -17?
True
Let t = -18.394 + -0.006. Let r = -0.4 - t. Let z = r + -15. Is z less than -5?
False
Let q = 52 + -47. Let l be 2/(-14) + 352/112. Which is bigger: l or q?
q
Let k(w) = -w**3 - 6*w**2 + 7*w + 4. Let d(p) = -8*p**2 + 1. Let y be d(1). Let f be k(y). Suppose 0 = -f*q + 4 - 0. Which is greater: q or 3/5?
q
Let n(f) = -f**2 - 6*f - 7. Let r be n(-3). Suppose 5*z + 5 = -2*h - 24, 0 = -r*h + 2*z - 22. Is -12 at least as big as h?
True
Let b = 402.92 - -1.08. Which is smaller: b or -0.2?
-0.2
Suppose -4*y - t = 3*t + 28, 2*t - 6 = 3*y. Suppose 2*q = 1 - 29. Let n = y - q. Is n less than 12?
True
Let n = 251 + -251.02. Which is bigger: n or 11?
11
Let f = -34 + 38. Let w(x) = -3*x**2 + 6*x - 2. Let g be w(f). Is g less than -26?
False
Suppose -2*v = -5*f - 5, 5*f = -4*v + 11 + 14. Let m be (-126)/(-28) - f/(-2). Suppose -m = -s - 2. Which is smaller: s or 8/5?
8/5
Let z = 10.6 + 0.4. Let n = 4.9 - 15.6. Let r = n + z. Does r = -2?
False
Let d = -875/4 - -93621/428. Let f = 13388 - 13387. Which is smaller: f or d?
d
Let i be 24/10*10*(-4)/12. Let o = -36 + 33. Is o greater than i?
True
Let f = 161.72 + -161.62. Let r = -30 + 8. Which is smaller: f or r?
r
Let j = 1594/3 - 526. Let n(i) = -2*i**2 - 28*i - 62. Let y be n(-11). Which is bigger: j or y?
j
Let y = -2181 - -2180. Which is bigger: y or 17?
17
Let b = -131 - -132. Which is bigger: b or -3/17?
b
Let z(a) = 4*a**3 - 5*a**2 + 9*a - 9. Let t be z(2). Is 18 less than or equal to t?
True
Let u(v) = -v**2 + 2*v + 1. Let g be u(4). Let i(q) = -q**3 + 5*q**2 - 9*q + 14. Let c be i(4). Do g and c have the same value?
False
Let v(g) = g**3 - 7*g**2 + 6*g + 1. Let a be v(6). Let t = -114/143 - -8/13. Is t greater than a?
False
Let c = 286 - 306. Which is smaller: 0 or c?
c
Suppose 0 = 5*f + 2*r + 36, 2*r - 3*r = 3*f + 22. Let v be ((-150)/(-20))/(18/f). Which is greater: v or -3?
-3
Suppose 7*j - 2*j + 2*i = 8, 4*i - 16 = -5*j. Which is smaller: j or 5/11?
j
Suppose 70*u - 67522 + 24192 = 0. Which is smaller: -0.1 or u?
-0.1
Let v = -16/21 - -146/357. Is v at most as big as 1?
True
Let z = -680 - -697. Which is smaller: z or 29?
z
Let q = 24.79 + 0.21. Let b = q + -24.9. Which is smaller: b or -2/7?
-2/7
Let u = -7.9607 + -0.0393. Which is smaller: -44 or u?
-44
Let u be ((-12)/16 + -2)/(1/(-20)). Let z = u + -59. Is z >= -6?
True
Let i be -7 + 3 + (-330)/(-3). Which is smaller: i or 105?
105
Suppose 0 = 7*i - 14*i. Suppose y = 3*s - 9, -5*s - 5 = -i*s + 5*y. Is s at least as big as -2.1?
True
Suppose -2*o = -3*f + 3143, 3*f + 2*o + 994 = 4121. Let w be -2 + (-11)/(f/(-180)). Which is smaller: -1/2 or w?
-1/2
Suppose -b = -7*b + 72. Suppose -3*l = 2*g + 2*g - 27, -g - b = -3*l. Suppose -g*d - d = -12. Is d < 9/5?
False
Let p = 77 - -110. Do -2/7 and p have the same value?
False
Let a = -34.21 + 34. Let i = 0.11 + a. Suppose 6*k = 5*k. Which is smaller: k or i?
i
Suppose 3*i - 6 = -2*s, -5*i - 1 = s - 4. Let v be i + (-11 - -1)*1. Let r be ((-20)/1525)/((-4)/v). Which is greater: 1 or r?
1
Let r = 1919 - 19217/10. Let l = r - -11/5. Is -2 <= l?
True
Suppose 0 = -3*m + 2 + 7. Suppose c - t = t - 4, -m*c = -2*t + 4. Suppose 4*h + 5 + 11 = c. Which is smaller: -0.03 or h?
h
Suppose -n + 5*n = -16. Let j be (44/(-1))/4 + n. Do j and -2 have different values?
True
Let b be (-10)/(-4)*30/25. Let y = 1 - -2. Let x be y/(-15) - (-11)/5. Which is smaller: x or b?
x
Let x be (2/(-6))/((-3237)/(-1404)). Which is greater: x or -1?
x
Let m be (2/1)/(2792/(-6)). Is m at most 1?
True
Let z = -54.9 - -55. Which is smaller: 1.16 or z?
z
Let a = 41 - 42.45. Let d = a + 0.25. Let b = -2.2 - d. Is 0.15 < b?
False
Let q = -5 - -5. Suppose -4*v - 11 = 9, f + 3*v + 13 = 0. Let h be f + ((-51)/54 - 1). Are h and q nonequal?
True
Let s = -243 - -240. Which is smaller: s or 7?
s
Suppose 3*f = 10 + 2. Suppose 2*b = -f*n - b - 16, 5*n + 5*b + 25 = 0. Let w be (6/4)/(105/(-40)*2). Which is bigger: w or n?
w
Let b be (-128)/(-126) - (-2 + 3). Let y(k) = -9*k - 80. Let c be y(-9). Which is smaller: b or c?
b
Let p = -3939 - -1453493/369. Let w = p + 692/8487. Which is smaller: w or -0.1?
-0.1
Let o = 1709229/55 + -31077. Suppose 3*r + 2*r = 0. Are r and o equal?
False
Suppose 9*c - 5*c + 5 = -j, 2*c - 25 = 5*j. Suppose -15*z + 3 + 12 = c. Is 6/85 at most z?
True
Let v = 44.7 + -44.696. Which is smaller: v or 0.02?
v
Let m be (12/8)/((-3)/(-8)) + 3. Is 4 < m?
True
Let t = 101 + -51. Suppose 3*y + 7 = -t. Let q = y + 19. Which is smaller: -8 or q?
-8
Suppose 0 = -3*r + 2*h + 13, -6*r - 14 = -10*r + 2*h. Let g = -1345 + 36319/27. Which is smaller: g or r?
g
Let u = -572 - -572. Let c(l) = l**3 + 4*l**2 + 2*l + 5. Let p be c(-4). Let b be (-3)/p - (-4)/(-10). Which is smaller: b or u?
u
Suppose -7*f + k = -9*f + 1273, 4*f - 4*k = 2564. Is f greater than 637?
True
Suppose -r - 4*o = 10, -6 = 2*r + 4*o + 6. Let i = 3 - -2. Let x = i - 6. Which is bigger: r or x?
x
Let c = -22/9109 + 6549811/182180. Let s = c - 179/5. Let a = -37 + 38. Is s at least as big as a?
False
Let w = -2 - 15. Let i = 5 - -12. Let t = w + i. Is -11 > t?
False
Let z(v) = 2*v**2 + 8*v - 3. Let k be z(-8). Which is smaller: k or 62?
k
Let q be ((-8)/(-20))/((-1332)/40 + 5). Which is smaller: q or 0?
q
Let w be 8 + (-77)/14 + (-6)/4. Let r be 561/186 + 3 + -6. Which is greater: w or r?
w
Let f = -28.85 - -3.95. Let k = -25 - f. Is 2 > k?
True
Let t be 0 + (87*5/645 - 1). Is 0 bigger than t?
True
Let i = -91 - -121. Is 32 at most i?
False
Let x = 0.45 - 0.48. Let b = -2.07 + x. Is 0 not equal to b?
True
Let y be 4/(-16)*0 + 9/(-27). Which is bigger: 352 or y?
352
Let d = -2626737/10 + 262899. Let z = d - 225. Let j = 0 - 0. Is j at most as big as z?
True
Let m(l) = 66*l**2 - 37*l - 72. Let u be m(-2). Which is smaller: u or 267?
u
Let p = -1545 - -1544. Is -1/130 >= p?
True
Let k = 1 + -1. Let o = -55 + 2. Let c = 51 + o. Is c >= k?
False
Let b be ((-35)/(-40))/(-7) + 2745/20680. Is b bigger than 1?
False
Suppose -48 = -2*p - 4*x, p + 0*p + 4*x - 28 = 0. Suppose -5*u = -10*u + p. Suppose -f - u*y + 3*y - 2 = 0, -f + 2*y - 17 = 0. Is f greater than -25/3?
True
Let g be -4*(3 + (-30)/12). Suppose 6*d = -5*t + 3*d - 10, 0 = 4*t - 2*d + 8. Let i = t - 0. Is i at most g?
True
Suppose 4*x - 4*s - 1 = 15, 3*x = s + 8. Suppose -7*o + x = 9. Does o = -0.79?
False
Let w be 635/(-95) - (-1 - 6). Is -1 < w?
True
Suppose -r = v + 66, -4*r + v + v = 294. Let x = 85 + r. Is x greater than 38/3?
True
Suppose -10*v + 6*v = -248. Suppose 7*x = -188 + v. Is x smaller than -17?
True
Let p = 63 + -61. Suppose p*c + 11 = -17. Which is bigger: c or -12?
-12
Let h = 57 - 229/4. Let d = -0.0196 - 0.2804. Which is bigger: d or h?
h
Let q = -5567 - -5588. Let n = -9237/5 - -1867. Is n at least q?
False
Let c(k) = k**3 - 6*k**2 + 6*k - 8. Let i be (-3 - -3)/(2/2). Let d = i + 5. Let u be c(d). Is u greater than 0?
False
Let h = -1656.1707 - -0.1707. Is -0.1 bigger than h?
True
Suppose -h - 3*h + 5*n + 21 = 0, 4*h + 4*n = 12. Suppose -h*x - 2*u = 4, -3*u = 4*x + u + 8. Is -2/25 greater than or equal to x?
False
Let w = -32 + 14. Let l = w + 20. Suppose g + l = 1. Which is greater: g or 3/13?
3/13
Let i = -11 + 15. Suppose 4*d = 37 + 19. Let k = d + -9. Is k at most i?
False
Let i be 27/18 - 142/(-4). Suppose 0 = -2*f + 2*z + z - 23, -5*z = -3*f - i. Is f >= -2?
False
Let m be (10/(-15)*4)/((-4)/18). Let u = m + -13. Is 1/14 at most as big as u?
False
Let a(u) = u**2 - 23*u - 41. Let h be a(24). Are h and -17 equal?
True
Let j be 0 + 4/14 + -1. Let b(i) = -i**3 + 6*i**2 - 5*i - 3. Let d be b(4). Suppose 0 = -7*q - 5 - d. Is j at most as big as q?
False
Let j = 49 + 23. Let y = j - 75. Which is smaller: 13 or y?
y
Let f = -53 + 58. Suppose 19 = -f*a + 14. Are 0.01 and a nonequal?
True
Let k = 313 + -311. Let c(s) = -6*s - 1. Let i be c(1). Which is smaller: i or k?
i
Let h = -994 -