 20, 2*b = 5*f - 3*b - 5. Suppose -2*x = 4*a - 18, x - 2*a = -9 + 2. Suppose r + 2*p - 4 = 0, -p + 6 = -2*r - x. Which is greater: r or f?
r
Suppose -4*f + 3*y = -0*f - 36, -2*y = 2*f - 18. Let k = 25/3 - f. Let i = 186 - 1300/7. Which is smaller: i or k?
k
Let x = -3/1481 - 1466/7405. Which is greater: -2/435 or x?
-2/435
Let r = -5 - -5. Suppose 0 = 5*u - 12*u. Is u smaller than r?
False
Suppose 3*a = 7*a - z - 147, -z = -5. Suppose o - 20 - 31 = -3*f, 4*o - f = 139. Which is bigger: a or o?
a
Let p = 7173 - 78831/11. Which is greater: p or 7?
7
Let k = -10 + 10. Let s(i) = -i**3 - i**2 + i. Let d be s(k). Suppose 2*o + 5*b = -25, o - 4*b - 16 - 4 = d. Which is bigger: o or -2?
o
Let w be (-2)/(280/(-30) - -3). Does 0 = w?
False
Let f = -19.78 + 20. Let q = f - 0.02. Is q smaller than 0.08?
False
Suppose -2*n - 1 = i, 0 = 3*n + 11*i - 8*i. Is n >= 1/744?
False
Let c = 11 - 12. Let n = 0 + -9. Let m be (-6)/n*18/(-16). Which is smaller: m or c?
c
Let r(q) = 3*q**2 - 1. Let d be r(-1). Suppose 9 = 3*u - d*u. Let c be (u + -8)*2/(-20). Is c bigger than 0?
False
Let y be ((-6)/(-4) - 0) + (-141)/(-6). Suppose -5*w - 12 = -o, -7*w + 2*w - y = 0. Does o = 3?
False
Let s = -209 - -216. Is s > 10/7?
True
Let w = 35 - 35. Let b = -3392/11 - -307. Which is greater: w or b?
w
Suppose y - 3*y = 38. Let i = y + 2. Is -16 greater than i?
True
Suppose -6*z + 3*z + 9 = 0. Let c be -3*((-224)/(-76) - z). Is c greater than or equal to -1?
True
Let l = -37.944 - -37. Let y = -0.056 + l. Is y at least 81?
False
Suppose -2*x - 1 = -3*x. Let a be -2 - (9/342 + -2). Does a = x?
False
Suppose 4*c = 5*i + 63, 2*i = 4*c + 3*i - 45. Suppose -2*n - 12 = k + 21, -5*k - c = n. Let b = -17 - n. Do -1 and b have the same value?
False
Suppose -2*t - s + 125 = 0, -5*t + 0*s = 4*s - 311. Suppose c = 4*h - 149, -4*c - 647 = -4*h - t. Which is smaller: c or -146?
-146
Suppose 721 + 3752 = z. Let j = 13306/3 - z. Let g = 38 + j. Which is greater: 5/7 or g?
5/7
Let x(m) = -m**2 + 8*m - 3. Let v be x(7). Let h = -8 - v. Let d be -4 + -10 + 6/2. Is h at least as big as d?
False
Let d = -0.36 + -0.04. Let s = -191 - -137. Let b = s + 49. Which is greater: d or b?
d
Let u(r) = 53*r**2 - 7*r - 1. Let n be u(-3). Let g = n - 1973/4. Are g and 3 non-equal?
True
Let w = 0.019 - -0.181. Suppose 8 = 4*j - 4. Suppose 0 = -0*r - 3*r - j. Are r and w equal?
False
Suppose c + 24 = 3*d - 85, 147 = 4*d - c. Let t = d - 56. Which is greater: t or -17?
-17
Let w = 54 - 23. Let j = 30 - w. Which is smaller: 2/31 or j?
j
Suppose 4*f - 5*f = -5*s + 74, 4*f + 248 = 4*s. Is -22 not equal to f?
True
Let s be 11/(-121) - (3528/(-572) - -3). Is 3 > s?
False
Let u be 2185/50 - 3/(-10). Is u greater than or equal to 45?
False
Let g = 8.09 + -8.2. Let y = 4.11 + g. Is -1 != y?
True
Suppose 90 = -4*p - 3*a, -12 = -3*p + 2*a - 71. Are p and -22 nonequal?
True
Let v be (30/6 - (-19)/(-7)) + -4. Let m = -4 + 2. Which is greater: m or v?
v
Let q = 34.8 + -41.8. Is -109 at least q?
False
Let u = 10.899 - -0.101. Which is smaller: u or 0.1?
0.1
Let n = -46286 + 97894888/2115. Which is greater: -1 or n?
n
Let r = 0.9 + -0.63. Let q = -0.47 + r. Is 3 at most q?
False
Suppose 0 = -2*p + 4, 32 = 4*c - 7*c + 4*p. Suppose -8*k = 3*k + 99. Which is greater: c or k?
c
Let t be 3*(-3)/(-3) + 1. Suppose -u + t = 3. Does 1 = u?
True
Suppose -o - 33 = 10*o. Does o = -15/7?
False
Let u = -20 - -5. Let j = -14 - u. Is j greater than or equal to -2/25?
True
Let k = -894.9761 - -895. Does k = 1/2?
False
Let c(s) = -8*s**2 + 42*s + 187. Let t be c(-4). Let u = -183 - -75. Which is bigger: t or u?
u
Let d(j) = -7*j**3 + j**2 - 20*j + 20. Let v be d(1). Let c = -16 + 4. Let f = c - -6. Is f at least as big as v?
True
Let v = -564398 - -919868. Let t be (-4)/(-6) - 258010/v. Let i = -3/289 - t. Is -1/4 at most as big as i?
True
Let o be (14/18)/((-8)/32). Let n be ((-10)/(-3))/10*-9. Which is smaller: o or n?
o
Suppose 0 = -4*t - 2*i + 97 - 39, 3*t + 4*i = 46. Let o be 5*(-7)/(-35)*t/(-1). Is -17 at least as big as o?
False
Let m be (14/12 + -2)*-6. Let v be (-8)/(-14)*(m - (-36)/(-4)). Which is smaller: v or -1/3?
v
Let t(c) = 2*c**3 - 2*c**2 - c - 1. Let n be t(2). Let y be 6/((-7)/(98/(-21))). Is y equal to n?
False
Let a = -3 - -2. Let o(f) = 2*f + 4. Let h be o(-7). Let b be a + 2 - h/50. Which is greater: b or 0?
b
Suppose 99*n - 8 = 100*n. Does -1 = n?
False
Let s = -145.8 + 147. Which is smaller: 0.005 or s?
0.005
Suppose -2*m = 3*s - m - 17, -3*s = 5*m - 25. Suppose 3*y - s*u + 16 = 0, -7*y + u + 10 = -2*y. Let d be y/15 + (-102)/10. Is -9 < d?
False
Let a = -4 + 10. Let j(x) = -x**2 + 2*x + 13. Let r be j(a). Let t = 57/5 + r. Is t bigger than -0.2?
True
Let u(w) = -8*w**3 + 31*w**2 + 11*w. Let l be u(4). Let z = -37 + 64. Which is smaller: z or l?
z
Let d = 590 + -539. Which is greater: d or 48?
d
Let c = -14 - -18. Suppose -5*u = 1 + 4. Let z be (c + (-14)/(-4))*u. Is z not equal to -8?
True
Let g be ((-133)/21)/((-1)/(-3)). Let c(a) = a + 21. Let d be c(g). Which is bigger: d or 0?
d
Let s = 18 + -12. Let r = -315 - -317. Is r at least as big as s?
False
Let y be 0*(15/10 + -2). Suppose -2*b - 3*s - 17 = 0, 0 = -y*b - 5*b - 4*s - 25. Is 3/44 greater than b?
True
Let u = 120 + -118. Suppose 1 = -3*j + u*f, 3*j + 9*f + 7 = 14*f. Are 7/17 and j equal?
False
Let j be 0/1*(-2)/(-4). Suppose -5*r + 99 + 26 = j. Which is greater: -1 or r?
r
Let i = 1.23 - 1.23. Let j = 10/17 - 33/85. Which is smaller: j or i?
i
Let x(u) = 5*u + 2. Let p be x(1). Suppose 5*k + p = z + 23, 4*k - 9 = -3*z. Which is greater: z or 8/9?
8/9
Suppose -5*n = w - 23, 4*n + 2*w - 11 = 5. Suppose 0 = -n*v + 74 + 236. Suppose -5*x - 23 = q, -5*q - 2*x = -16 + v. Are q and -8 nonequal?
False
Let h be 13 - -2 - (-1 - -1). Let u = -183 - -177. Let t = h + u. Is 7 not equal to t?
True
Let y(j) = 4 - 5 - 9*j - 17 + 4*j. Let g be y(-10). Is 34 at most as big as g?
False
Suppose -3 = -i - 4. Is i bigger than -1/179?
False
Let z = 3 + -3.1. Let v be (5 - 284/60)/(7/(147/14)). Are z and v equal?
False
Suppose -9*w + 56 - 173 = 0. Let a be (30/(-16) - 1) + w + 14. Which is smaller: a or -3?
-3
Let r = 9 - 30. Let w be (-3)/r*1*-3. Let f = 94 + -95. Are f and w equal?
False
Suppose -24 = -d + 5*f, 2*d + 3*f = 5*d - 132. Suppose -d = -3*x + 11. Let u = -99/5 + x. Is u bigger than -1/3?
True
Let p = -1.1 - -0.1. Which is smaller: 11 or p?
p
Suppose 2*c = 5*a - 23, -5*a - 1 = 5*c - c. Let w be a*(-3 + (-80)/(-15)). Is 11 != w?
True
Let a = 427/5 - 85. Let h(k) = -k - 22*k**2 - 12*k + 21*k**2 + 13. Let j be h(-14). Which is greater: a or j?
a
Let j(x) be the second derivative of x**5/20 + 2*x**4/3 - 7*x**3/3 - 13*x**2/2 - 32*x. Let h be j(-10). Which is bigger: -74 or h?
h
Let y = 101 - 60. Which is smaller: -1/4 or y?
-1/4
Let h = 34 + -21. Let r = 12.2 + -0.2. Let c = h - r. Which is smaller: c or 2?
c
Let m(n) = -n - 3. Let b(j) = j + 1. Let l(q) = -2*b(q) - m(q). Let i be l(4). Which is bigger: i or -5/2?
-5/2
Let q(b) = 2*b - 6. Let s be q(5). Let w be 22/3 + s/(-12). Let p be 8/6*(-105)/(-20). Is w greater than or equal to p?
True
Let a = 150 - 1348/9. Let v = 1/4 - 0. Do a and v have the same value?
False
Let h be 71 + (-21)/(-14)*(2 - 4). Suppose n - 67 = -h. Is n greater than -21/11?
True
Let j = -131 - -153. Which is smaller: 25 or j?
j
Let u be 1*(0 + 5)/(11 + -4). Suppose 5*w = -d - 3, 2*d - 4 = -0. Let p be ((0/w)/(-1))/(-1). Is u not equal to p?
True
Let g(l) = 1. Let z(b) = b**2 + b - 4. Let n(t) = -8*g(t) - 3*z(t). Let h be n(2). Let q be 2*(h/(-4) - -2). Are 12 and q nonequal?
True
Suppose 70*q + 54487 + 23353 = 0. Is q at most -1110?
True
Suppose -g + 0 + 1 = 0. Let c = -85/18 - -9/2. Which is smaller: c or g?
c
Let y(f) = f**3 + 6*f**2 - 10*f - 5. Let m be y(-7). Suppose -3*i = 2*g - m, 0 = -4*g + 3*i - 0*i + 14. Suppose -g*s = -s. Is s at most as big as 1?
True
Let b be (-109)/(-456)*20/70. Let n = b - -2/133. Is n <= 0?
False
Let r be 0 - 2*(-2)/(-10). Let o = 1.34 + 0.26. Let y = -2.6 + o. Is r < y?
False
Let a = 23 - 29. Let r be (2/(-8))/((-1)/a). Which is smaller: r or -2?
-2
Let g = -1489/2 - -744. Which is greater: -546 or g?
g
Suppose 7*q = 6*q + 8. Suppose -s - 18 = q*s. Is 2 at least s?
True
Let g be 23 - ((-3 - -2) + -1). Let v be ((-20)