/3. Let s(z) = -z**3 - 5*z**2 - 4*z + 4. Let u be s(-4). Suppose u*b + 4 = 2*j + 2*b, 0 = -4*b. Is j less than d?
False
Let w = -17 - -15.6. Let v = w + 1.7. Which is greater: -2 or v?
v
Let v be -5 - -28 - (2 - 0). Suppose v + 23 = 4*s. Suppose -5*a = -s*a. Is -0.02 less than or equal to a?
True
Let x = -288 - -173. Which is greater: x or -116?
x
Suppose -5 = -2*d - 3*a, -5*d + 4*d - 15 = -2*a. Let v = -179 + 523/3. Let x = d - v. Is 0 equal to x?
False
Let d(l) = 11*l**2 - 13*l + 12. Let b be d(1). Which is smaller: 9 or b?
9
Let r(i) = 11*i**3 - 9*i**2 + 13*i + 13. Let b(q) = -5*q**3 + 4*q**2 - 6*q - 6. Let g(u) = 13*b(u) + 6*r(u). Let p be g(2). Let k = 12/115 + 149/115. Is p > k?
False
Let r = 1.2 - 1. Let o = -0.83 + -15.47. Let s = -10.3 - o. Which is greater: s or r?
s
Let k = -1209 - -1666. Is k at most as big as -1/3?
False
Suppose 2*i = -6*i + 72. Let f be 7/(-3) + (-6)/i. Suppose -4*r - v - 8 = 9, 0 = -2*r - 5*v - 13. Is f greater than or equal to r?
True
Let i(q) = -q**3 + 15*q**2 + 54*q - 629. Let t be i(16). Let y = -44 + 22. Which is smaller: y or t?
y
Let r(z) = z**2 - 2*z + 1. Let q be r(1). Suppose i - 2*x - 6 = 0, 6*i - i - 3*x - 9 = q. Let a = -102 + 100. Which is smaller: a or i?
a
Suppose b = 5*b. Suppose 8*g + 5 + 3 = b. Which is smaller: g or -4/27?
g
Let t(d) = -d - 5. Let g be t(-5). Suppose g = 21*a - 25*a + 4. Does -5 = a?
False
Let v(p) = -p**3 + 8*p**2 + 11*p + 11. Let i be v(8). Suppose -19*q + 10*q + i = 0. Which is smaller: q or 52/5?
52/5
Let j be (-6)/48 - (-2 + 2). Is 0 greater than j?
True
Let z = 149/12 + -3535/276. Which is smaller: z or -1?
-1
Let r be (-3948)/70 - (-5)/(-1). Is r at least -62?
True
Let s = -8 + 8. Let d = s + 4. Suppose l = d - 5. Do l and -3/10 have the same value?
False
Let b = -9.9 + 3.55. Is b <= 2?
True
Suppose 4*n = 4*t - 64, -2*n - 2*n = -2*t + 42. Suppose 54*z = 55*z + t. Is -2/5 smaller than z?
False
Let o = 36.89 - 37. Let b = 3.89 - o. Are -0.03 and b unequal?
True
Suppose 3*f - 5*f = -3*t + 73, -f + 1 = 0. Let x = -177/7 + t. Which is greater: -17 or x?
x
Suppose 4*i = -5*v, 0 = v - 0*v + 4*i. Let j = 10399/50 + -208. Which is bigger: j or v?
v
Let x be 580765/2030 - (-1)/(-7). Let k = x + -286. Is k less than -2/5?
False
Let k(c) = 2*c**2 + 6*c + 2. Let i be k(-4). Let m = -47 + 47. Suppose -3*y = 3, m*a + 3*y + 27 = 2*a. Which is smaller: a or i?
i
Let b = -0.418 - -0.428. Which is bigger: b or 21?
21
Let p = -596/9 - -4334/63. Let u be 1/4*0 - -3. Is u less than or equal to p?
False
Let g = 43.5 + -34.5. Let q(s) = s**3 + 8*s**2 + s + 1. Let o be q(-8). Is o >= g?
False
Let l be (-3)/234*116/(-2). Let g = -25/13 - l. Suppose 5*y + 26 = -4*t, -4*y + t + 12 = -4*t. Which is smaller: y or g?
g
Let h(j) = -j**2 + 16*j + 18. Let u be h(13). Suppose 5*i + 12 = u. Is -1 > i?
False
Suppose 4*p = -d + 86, 4*d - 484 + 96 = -5*p. Which is smaller: d or 98?
98
Suppose 0 = v - 3*s - 12, 5*v - 5*s - 23 = 7. Let f = -4 - -12. Suppose y = -v*y - f. Which is smaller: y or -1?
y
Let f = -2035 - -2027. Suppose 0*h - 2*h = 0. Is f equal to h?
False
Let r be 8*3/6 - (-17 + 20). Let q = 6222/11 - 566. Which is smaller: q or r?
q
Let c(x) = x - 6. Let n be c(11). Let l be n/10 - (-6)/(-8). Is l at most 0?
True
Suppose 4*b + 285 = 297. Let g = -0.2 - -0.14. Let z = -0.07 - g. Which is bigger: b or z?
b
Let w be 3/(-6)*(-39 - -23). Is 39/5 at most w?
True
Let t = 134.8 + -135. Which is greater: t or -2/169?
-2/169
Suppose -5*o = -2*o - 3. Let d be 15/6 - (o - -2). Let f be (2*-3)/3 - -18. Is f smaller than d?
False
Suppose 23 = 3*a + 4*y + 5, 5*a = -2*y + 30. Let m(n) be the third derivative of 5*n**4/24 - 5*n**3/3 + 11*n**2. Let h be m(3). Which is smaller: h or a?
h
Let s = 32 - 76. Let b = -50 - s. Is b bigger than -6?
False
Suppose 2*l - 3*n = -4 - 31, -4*l = -2*n + 58. Let f = 11 + l. Let v be 180/(-10)*f/3. Is 9 < v?
True
Suppose -7*q - 20 = -2*q. Let f = -13 + 8. Which is bigger: f or q?
q
Let o be -2 + -1 - (2 + (-318)/60). Let k be (-9)/(-9)*1*-1. Which is greater: k or o?
o
Suppose -7*f + 11*f = -232. Which is smaller: -57 or f?
f
Let b(v) = v**3 - 9*v**2 + v - 6. Let w be b(9). Let d be -3*(w - (6 + -2)). Is 10/3 at least d?
True
Let g = -109.4 + -139.6. Is g < -1/2?
True
Let y(z) = 4*z + 9. Let x be y(-6). Let b be 1/x*25/2. Let k(i) = -78*i - 625. Let r be k(-8). Is b >= r?
True
Let q = -0.31 + -37.69. Let m = -37 - q. Let t = -8 + 5. Which is smaller: t or m?
t
Suppose v + v = 4*v. Which is greater: -2/667 or v?
v
Let g be (-2)/4*4/(-54). Let w = 4717.1 - 4717. Does g = w?
False
Let u = -212 - -369. Does u = 158?
False
Let b(q) = 10*q - 5. Let a be b(4). Suppose y + 4*y = a. Suppose 2*g = y*g + 5. Is 1/18 != g?
True
Let x = 3.9 + -4. Let z = 0.014 + -3.914. Let m = -1.9 - z. Which is smaller: m or x?
x
Let o = -112/531 + -2/177. Let i = -4.4 + -17.6. Let y = -9 - i. Which is bigger: o or y?
y
Let o = 10839/37 + -293. Let a(r) = -2*r**2 + 15*r - 18. Let u = 22 + -16. Let q be a(u). Which is greater: o or q?
q
Suppose 11*d - 4*d + 84 = 0. Let o be ((-21)/d - (-1)/(-4))/(-6). Is -17 greater than o?
False
Let s = -6.705 - 0.295. Is s less than -0.5?
True
Suppose 2*v + q + 209 = 4*v, 0 = v + q - 112. Let z = v - 102. Which is bigger: z or 51/8?
51/8
Let c be (-1 - 36) + -2 + 0. Let w = -31 - c. Which is smaller: w or 22/3?
22/3
Let m = -375457/29 - -12945. Is m smaller than -3?
False
Suppose -3*r - 244 = 4*m, -3*r - m = m + 242. Let a be (-122)/(-60) - (-16)/r. Is 3 smaller than a?
False
Let w be (6/(5 + 1))/((-3)/(-37)). Which is greater: w or 12?
w
Suppose 16 = 3*k + k. Let t = -2 + k. Suppose -w = w + t. Is w equal to -2?
False
Suppose 9*d = 4*d, -5*v + 625 = -d. Let j = v - 2624/21. Let r = j + -10/21. Which is smaller: 2/3 or r?
r
Let c be (38/(-4) - -5)/(-3)*2. Let x(g) = g**2 - 9*g + 14. Let j be x(8). Is j greater than or equal to c?
True
Let h be ((-4 - 1)*-2)/2. Let v be -3*7/(-21)*0/1. Suppose -r + y = r - 10, -2*r - 4*y - 10 = v. Which is greater: h or r?
h
Let h(t) = t**3 + 3*t**2 + t - 1. Let x be (-20)/8*(-8)/(-10). Let d be h(x). Let l = 2 - d. Which is smaller: l or 1/2?
1/2
Let i = -1/3029 - 2672/1081353. Let a = 635/119 + i. Which is greater: a or 5?
a
Let h be ((1 - 0)*-1)/(-127 - -74). Which is smaller: -0.2 or h?
-0.2
Suppose 0 = u + 3*u + 16, 2*s - u = 4. Suppose -4*q - 5*a + 14 = s, 5 = 2*q - 5*q + 4*a. Suppose -2 = -4*f + o - q, 5*f - 17 = -4*o. Is 3/7 at most as big as f?
True
Let y = 7 - 5. Suppose y = 4*b - 14. Which is bigger: b or 3?
b
Let k be (-5)/5*(0 + -1). Let h be 5 - (20/90 - (-6296)/1314). Is k at least h?
True
Let a(v) = -v**3 - 5*v**2 + 3*v + 12. Let c be a(-5). Let f be (-7)/(980/(-288)) + (-5 - c). Let b = 0 - 0. Which is bigger: b or f?
f
Let v(u) = 2*u**3 - u**2 + 1. Let q be v(2). Suppose 0 = -4*s - q + 1. Let t be (s/(-24))/(2/12). Is t smaller than 1/3?
False
Suppose f = -2 + 4. Let w be (-303)/(-136) + (f - 4). Let t = -6/17 + w. Is 1 greater than t?
True
Let p = -59 - -62. Suppose 4*z - 17 = 3*a - 0*a, p*z - 21 = 5*a. Is 1 smaller than a?
False
Let t = -14 - -18. Let f be -1 - 4/16*t. Is 5 > f?
True
Suppose f + 1 = -0. Suppose -14*s = -10*s - 72. Let h be 8/30*15/s. Which is greater: h or f?
h
Let g(u) = 4*u**2 + 5*u**2 + u + 0*u - 15 - u**3 - 7*u. Let p be g(8). Is p equal to -1/39?
False
Let m = -898 + 898. Which is smaller: m or -0.3?
-0.3
Suppose -4*v - 5*a - 191 = 0, 2*a - 197 = 4*v + a. Let d = v + 73. Which is smaller: d or 25?
d
Suppose 0 = 4*r - 2*r - u, -r - 3*u = 0. Which is smaller: 2/89 or r?
r
Let x = 298/3 + -5012/51. Let r = -39147/2 - -1996673/102. Let d = x - r. Which is smaller: d or -1/4?
d
Suppose 4*a + 35 = -a. Let f = a - -16. Suppose -4*u + 5*p = -32, -4*u - 1 = p - f. Which is smaller: u or 5?
u
Suppose 5*n = 2*o + 30, 3*n = 3*o + 9 + 9. Let v be -4*(n/(-2))/3. Let z be -2 - (0 - 4/2). Which is greater: v or z?
v
Let r be 878/35 - (-1)/(21/(-6)). Which is bigger: r or 26?
26
Let c be (4/(-5))/(890/25). Which is smaller: c or 0?
c
Let h be (1940/280)/(4/14). Is 24 greater than h?
False
Suppose 3*r = -6, r + 13 = 3*l - 4*r. Let p = -143813/87 - -1653. Which is smaller: p or l?
p
Suppose o + 2*o + 36 = 0. Let f be o/(-9)*165/20. Let n be 4/22 - 2/f. Which is smaller: -3/7 or n?
-3/7
Let p = 88 + -121. Let f = p 