837 + 1654549/493374. Let p = -42/17 + t. Suppose 5*c - 2*c = -5*l, 0 = 2*c + 2*l. Which is greater: c or p?
p
Let w(z) = 46*z - 174. Let h be w(4). Which is smaller: 14 or h?
h
Let a = 1.5 + -1.59. Let t = 0.29 + a. Is t at least as big as -3?
True
Let a = -113413/30 - -19808/5. Suppose -2*q + q - 182 = 0. Let p = a + q. Which is greater: p or 0?
0
Let g(s) = -29*s - 511. Let n be g(-18). Is 3 less than n?
True
Let t(q) = -q**2 - q + 269. Let g be t(0). Let f = -185 + g. Suppose x - f = -3*x. Which is smaller: 22 or x?
x
Suppose -3*w + 4*w = 57. Suppose w = 4*p + 21. Let g = -15 - -23. Which is smaller: g or p?
g
Let f be 10/(-15)*999/117. Is f equal to -6?
False
Suppose -275*a + 206*a + 69 = 0. Do a and 1/305 have the same value?
False
Let k = -6 - 0. Let u(i) = -i**3 + 5*i**2 + 3*i + 6. Let f be u(6). Let z = f - -6. Is k at most as big as z?
True
Suppose -15 = -2*h - 19. Which is smaller: h or -14/17?
h
Suppose d = 3*d + 198. Let q be (-51)/99 + (-18)/d. Is q at most as big as -0.04?
True
Let l = -0.087 + 64.087. Let y = l + -64.2. Is 2 less than y?
False
Let p = -37 - -40. Which is bigger: p or 16/7?
p
Suppose 571*g - 554*g = 9571. Is g greater than 564?
False
Let l(r) = -r**3 - 5*r**2 - 10*r - 20. Let z be l(-3). Which is smaller: -24 or z?
-24
Let h be (10/54)/(-7*(-11)/18942). Which is smaller: h or 47?
h
Let h = 0.021 + -0.571. Let g = h - 1.45. Which is greater: -3 or g?
g
Let y(u) = u**2 - 46*u + 213. Let j be y(5). Let h(l) = l**3 + 5*l**2 - 5*l + 8. Let i be h(-6). Suppose -2*s = i*s. Which is smaller: j or s?
s
Let c = -325.9 - 90.1. Is 0 equal to c?
False
Let b be (10/3)/((-45)/(-54)). Is b >= 0?
True
Let p = 25 - 7. Let x(y) = 2*y**2 - y + 3. Let w be x(3). Is p at most w?
True
Let y = 4 - 2. Let q = -1 + 11. Suppose 2*l - q = 5*l - y*g, 5*l = 3*g - 17. Are l and -4 nonequal?
False
Let k be (-35)/(-3) - 2/(-6). Let n(b) = 3*b + 64. Let q be n(-26). Let a = k + q. Is a >= -2?
True
Let v(c) = 14*c**2 - 1. Let y be v(-1). Suppose -25*h + 13 = -38*h. Which is smaller: y or h?
h
Suppose -2*a + 6 = 2. Let u be (a - 0)*9/(-2). Let w = 8 + u. Which is bigger: 1 or w?
1
Let s = 6 + -19. Let w = s - -12.8. Let q = 0.7 + w. Which is greater: 2 or q?
2
Let z(w) be the third derivative of w**6/12 - w**5/20 + w**4/24 + 2*w**3/3 + 7*w**2. Let y be z(2). Let g be -2*(2/y)/(-1). Which is smaller: -1 or g?
-1
Suppose 0 = -j - 3, -1 = i - j + 6*j. Let y = i - 13. Which is smaller: 6/23 or y?
6/23
Let n(s) = s**3 + 6*s**2 + 6*s - 4. Suppose 7*y - 5*y = -10. Let k be n(y). Which is greater: 1 or k?
1
Suppose -42*x + 61*x + 38 = 0. Which is smaller: -6 or x?
-6
Suppose 8*c + 51 + 61 = 0. Suppose 0 = 6*q - q + 75. Which is greater: c or q?
c
Let y be -5*22/55 + 1. Which is smaller: -1/1371 or y?
y
Let c = 9 - 3. Suppose 0 = -2*i + c + 6. Are -1 and i nonequal?
True
Let w = -49.6 - -49.7. Is w smaller than -8.4?
False
Let i(f) = f - 9. Let a be i(5). Let s be (10/a)/((-14)/(-4)). Let d(w) = w**3 + 3*w**2 - 7*w + 14. Let m be d(-5). Which is bigger: s or m?
s
Let k = 36.9 - 37.1. Is k <= -13/24?
False
Let z = -0.4 - -0.3. Let a = 380.6 - 385. Is a bigger than z?
False
Let i(b) = 207*b - 252. Let s be i(2). Which is bigger: 159 or s?
s
Suppose 121*w = 125*w + 60. Is w > -41/3?
False
Suppose -v + 267 = -3*c, 4*c = -0*c + v - 355. Let p be ((-2 + 4)/4)/((-165)/c). Suppose 0 = 6*r - r + 5*w + 20, 0 = 2*r - 4*w - 10. Which is greater: r or p?
p
Suppose 3*k + 22 - 18 = 4*c, -3*c + 3 = -2*k. Do c and -3/1115 have the same value?
False
Let q be 0*(-3)/6 + -20. Let x = q + 33. Suppose 0 = -y, 2*w = -3*y - x + 5. Which is bigger: -5 or w?
w
Let x = 0.07 + 1.93. Let s = -8 - -6. Is s greater than x?
False
Suppose 5*k = 2*g + 15, 5*k = k + 12. Do g and -5 have the same value?
False
Suppose -8 = -q + 3*k, -4*k + 2*k - 40 = -5*q. Suppose 0 = 4*v - v - 21. Is q greater than v?
True
Let r(a) = 10*a**3 + 2*a**2 - 2*a + 1. Let b be r(1). Let z = -8 + b. Let s be (-15)/5 + 3*20/12. Is s at most z?
True
Let d = 7 + 0. Suppose 3*u - d = 4*u. Let t be (-1)/(35 + (u - -4)). Which is bigger: t or -1?
t
Let l be (-232)/(-273) + 2/(-7). Which is bigger: l or 0?
l
Let c = 438 + -419. Suppose -3*a - 2*a - 170 = 0. Let i = a + 54. Which is greater: c or i?
i
Let k = -59 - -83. Let l(y) = -y**2 + 19*y - 29. Let r be l(14). Let j = r - k. Which is greater: -2/5 or j?
j
Let u = -781.3 - -783. Is u bigger than 0.7?
True
Let p = -250 - -250. Is -7/86 greater than p?
False
Suppose 24*h = -98 - 310. Which is smaller: h or -20?
-20
Suppose -3*s + 30 = -s. Suppose 0 = -2*d - 5*p + 21, 10*p = -3*d + 6*p + 35. Is s less than or equal to d?
False
Let k(g) = g**2 + 7*g + 6. Let j be k(-6). Let c(l) = -l**2 + 7*l + 38. Let i be c(-7). Let s be 68/i + (-4 - -5). Which is greater: s or j?
j
Let u be 1 - (0 - 3 - -5). Is u greater than 2/63?
False
Suppose 5*t = -z - 48, 0 = 3*z + 2*z + 2*t + 171. Let y be (-4)/(-22) - (-72)/z. Is -16/5 greater than y?
False
Let n = -65 + 26. Let w(k) = 6*k + 48. Let c be w(-8). Which is smaller: c or n?
n
Let x(k) = -k**2 - 2*k - 2. Let p be x(-2). Suppose 6*r - 5*r + 9 = 0. Let g be (r/(-4))/(60/(-32)). Is p smaller than g?
True
Let l = -229 - -234. Suppose -3*y = -5*k - 46, 3*k + 50 = 6*y - y. Which is smaller: y or l?
l
Let u(h) be the second derivative of -h**4/12 + 5*h**3/3 - 13*h**2/2 - 5*h. Let y be u(9). Let c be y/(-14)*(-1)/1. Which is smaller: c or 0?
c
Suppose -7*l + 3*l = 0. Let k = -33 - -40. Let w be -6 + 10 + k/(-2). Is l > w?
False
Let s(o) = 4*o + 14. Let p be s(-8). Let u = -17 - p. Let n be (4/10)/(u/15). Which is smaller: n or 4?
4
Let y be (10/(-130))/(2/(-4)). Which is smaller: -14 or y?
-14
Let v be (-2)/(-7) - 756/(-441). Which is bigger: 20/27 or v?
v
Let j = 811 - 812. Which is smaller: j or -107?
-107
Let t = 6 - 0. Let i(w) be the third derivative of -w**6/40 - w**4/24 - 8*w**2. Let h be i(-1). Is h greater than or equal to t?
False
Let q = 461/10 - 91/2. Let k be (100/(-120)*(-1)/(-5))/1. Which is bigger: q or k?
q
Let u be (-4032)/(-240) + 1 + -1 + -3. Are u and 13 non-equal?
True
Let j be 504/35*(-10)/337. Let w = j - -12063/54257. Let y = w + 8/23. Is y < -1?
False
Let q = 21950 - 18767248/855. Which is bigger: 1 or q?
1
Let i = -1 - 26. Is -109/4 less than i?
True
Let k = -3/29 - 75/116. Let w(i) = 2*i**2 - 3*i + 2. Let q be w(2). Suppose 0 = -2*n - 0*r + r - 5, 4 = q*r. Is n smaller than k?
True
Let t = 113 - 65. Let y be ((-9)/(-4))/(6/(-32)). Let z be 20/t - (-8)/y. Are -2 and z unequal?
True
Let t(o) = o**3 - o. Let m be t(1). Let h be (2 - 122/(-4))*2. Let y = -322/5 + h. Is y != m?
True
Suppose 0 = 5*c - g + 266, 2*c - 19 + 139 = -3*g. Let q = 1.685 - 1.585. Is c != q?
True
Suppose 0 = 93*u - 98*u - 5, -2*n - 5*u - 5 = 0. Which is greater: n or -2/79?
n
Let u = -1541 + 1548. Which is greater: 22 or u?
22
Let k = -338 - -30. Is k < -923/3?
True
Let g = 21 + -23. Let w(c) = -2*c**2 - c + 4. Let r be w(g). Are -10/11 and r equal?
False
Suppose -5*h = -10*h + 15. Suppose h*g + 6 = 5*g. Suppose -s = -g*s - 2. Are s and 1/13 equal?
False
Let k(q) = -4*q. Let f be k(-2). Let p be 4/(-25)*6/f. Does 0 = p?
False
Let m = 74 + -74. Let i = -4 - -8. Suppose -f - i*f = 4*l + 11, m = 5*l + 5*f + 10. Is l smaller than 3/4?
False
Let c be ((-21)/(-4) - 4) + 16/(-64). Let k(g) = g - 2. Let i be k(2). Suppose -5*t - 24 = -4*o, 4*t + 11 + i = -5*o. Is o bigger than c?
False
Let z be (-10)/(-85) - (-82)/(-119). Which is greater: -9 or z?
z
Let r be 2358*(-36)/(-4641) + -4. Let g = 186/13 - r. Which is smaller: -1 or g?
-1
Suppose 0 = -5*h + u + 59, 0 = -2*h + u - 0 + 23. Suppose d - h = -d. Let b be 10/12 + (-2)/d. Which is greater: 1 or b?
1
Let s = -493 - -449. Is -177/4 <= s?
True
Let g = 15 + -30. Let y = 9 + g. Let s be (12 + -5)*y/7. Is s bigger than -6?
False
Let s = 13 + 130. Let p = s - 722/5. Let u = -44/35 - p. Which is greater: u or -1?
u
Let d = -18 - -19. Are 2/513 and d nonequal?
True
Let m be (-4)/(-32)*(-26884)/(-4). Suppose 3373 = 4*t + 5*n, -n = -4*t + 4*n + 3363. Let j = m - t. Are -2 and j equal?
False
Let m = -6.4 - 18.616. Let b = -0.024 + m. Let l = -25 - b. Is l bigger than -1?
True
Let s be ((-11)/(-4))/(3/(-24)). Let a be (3 - -2*(-6)/4)/(-1). Suppose a = -4*u - 140 + 48. Which is bigger: s or u?
s
Suppose -p = 3