f) = f**2 + 18*f. Let w be s(-18). Suppose w = -i - m*i. Which is smaller: i or 1?
i
Let n = -10.01 - -10. Let v = n + -0.1. Let c = 5 - 5.1. Which is bigger: v or c?
c
Suppose -3*q + 214 + 194 = -j, 5*j - 525 = -4*q. Let i = 1483/11 - q. Is -1 greater than or equal to i?
False
Let g = 1626.6 - 1627. Let j = -2 + 0.7. Is j less than g?
True
Let u = 1/7669 + 360433/76690. Let q = u - 11/2. Which is smaller: q or -1?
-1
Suppose -f + 16 = -5*f. Let p be 0 + f - 72/(-16). Which is smaller: p or 2?
p
Let u be ((-2)/(-524))/((-6)/18). Is u smaller than 1?
True
Let l be (3 + -7)/(-4) - 2. Let r be (l/(-4))/(20/600). Suppose -2*h - 47 = -5*q, 3*q + 43 = 8*q + 2*h. Are r and q equal?
False
Let z(s) = -25*s - 3. Let q be z(2). Let r = 35 + q. Let b = 15 + r. Is b bigger than 0?
False
Let p(c) = -2*c**2 - 41*c - 25. Let o be p(-20). Let y(i) = 3*i + 5. Let n be y(-4). Which is bigger: o or n?
o
Let t be (-1)/4 + (-582)/(-24). Let b be 25/(-10)*t/(-15). Suppose 4 = 3*w - 5, b*s + 7 = -3*w. Which is smaller: -5 or s?
-5
Let u be (-45)/(-2)*-12*(-3)/30. Let l = u - 14. Which is smaller: 11 or l?
11
Let g be ((-23)/46)/(1/2) - 1. Does g = -7/13?
False
Let m = -189.1 - -189. Let v = -0.08 - -0.04. Let k = 0.06 - v. Is k > m?
True
Let d = -7 - -13. Let b be (-4)/d + 2/(-15). Which is bigger: -2 or b?
b
Let b = -0.034 - -3.094. Let o = b - -0.04. Let p = o - 3. Which is smaller: -2 or p?
-2
Let d = 7.9237 - -0.0763. Which is greater: d or 0.2?
d
Suppose -2*w - 6 = -2*y, 5*y + 0*w = 4*w + 17. Suppose 5*v + 25 = -y*c, -3*c + 2*v = -2*c - 4. Let u be 3/(-7)*(6 + -4). Is u > c?
True
Let t be (-3)/(-6)*-2*-14. Suppose l = -y + t, -4*y + 13 = 1. Is l < 11?
False
Let s = 5 - 4. Suppose -5*w + 0*w - 24 = -d, w = -d. Let r be (w/(-7))/((-18)/(-21)). Which is greater: r or s?
s
Suppose -5*q + 120 = 50. Suppose 0 = -s + 12 + 5. Suppose q*f + 33 = s*f. Is 11 >= f?
True
Let r be -1*3*((-2548)/21)/(-7). Which is smaller: -51 or r?
r
Suppose 0*y + 2*y + 2 = 2*b, 0 = -3*y + b - 1. Let x(j) = 5*j**3 - 2*j - 1. Let n be x(-1). Let m(d) = d**2 + 5*d + 4. Let c be m(n). Is c at least as big as y?
True
Let l = 70303/4221 + -1335/67. Let i = 32/9 + l. Suppose -y = 2*y + 5*y. Which is smaller: i or y?
y
Let c = 663 + -724.1. Let u = -61 - c. Let a = 18/11 - 148/77. Which is greater: u or a?
u
Let q be ((-390)/(-260))/(3/16). Which is bigger: q or 12?
12
Suppose -3*g - j + 12 + 14 = 0, -g + 16 = 4*j. Let t be 9*(3 + (-20)/15). Let o = t + -8. Which is smaller: g or o?
o
Let t be -224 + 344 + (6/(-2) - -2). Are t and 120 nonequal?
True
Suppose 0 = -3*p + 2*p + 4. Suppose -4*v = 4*h - 12, -3*v - 2 - 10 = -p*h. Do v and -4/9 have the same value?
False
Let l be 4/(-5) - 6190/75. Let y = l - -84. Is y smaller than -0.23?
False
Let l = -13.6 - -13. Let b = -19 + 19.3. Are l and b unequal?
True
Suppose 0 = -208*s + 212*s. Let z = -12 - -6. Which is smaller: s or z?
z
Let g = -242 + 241. Which is greater: g or 0.019?
0.019
Let l = 0 - -1. Let c be (0 - -1)*-7 + l. Let g(b) = b**3 - 14*b**2 - 32*b - 7. Let j be g(16). Are c and j equal?
False
Let h = -3.43 - -3. Let r = 0.53 + h. Which is bigger: r or 16/3?
16/3
Let q = 2/1599 - -859/1599. Suppose -2*j + 29 = -5*l, -j - 4*l - 12 = 6. Are q and j nonequal?
True
Let b be 2317/(-14)*(-2)/3. Let m = b + -112. Which is smaller: m or -1?
m
Suppose 0 = -3*i + 4*q + 26, 4*q + 30 = 5*i - 0*i. Let v(j) = j**2 + j - 3. Let g be v(i). Suppose 0 = a + u + u + g, 2*u = -2*a - 2. Which is greater: -6 or a?
a
Suppose -5*y = -2*d + 7, -25 = -d + 5*y - 9. Is 11/5 <= d?
False
Let l be (-1648)/927 + 2/(-9). Which is bigger: l or -47/22?
l
Let p be 6/(-10) - 166/(-210). Let x = 712 + -712. Is p > x?
True
Let w be 32/4*-2*(-5 + 3). Let i = w + -32. Are -9/16 and i nonequal?
True
Let s = 447 - 477. Is s at least -340/11?
True
Let w = 80 - 77.86. Let z = 0.14 - w. Is z < -1/9?
True
Let u = 76 - 72. Suppose 5*p = 4*p - u*j + 2, 3*p + 5*j = 13. Suppose 38 + 7 = 5*s - 5*n, -2*s - 4*n = 12. Which is smaller: s or p?
s
Let q = -0.75 - -3.75. Is -0.032 at least q?
False
Let v be (2/6)/((-1)/21). Let p = -2 - -5. Suppose -w + p*w = -16. Which is smaller: v or w?
w
Let w = 1 - 11. Let v be (-1)/(1 + w/9). Let b = 189 + -182. Which is smaller: b or v?
b
Let n be (-5)/(5/17) - -2. Let s be (-15)/(-20)*4 + n. Which is bigger: -37/3 or s?
s
Let k be (34 + 1)*12/30. Let v(x) = 4*x + 1. Let t be v(-4). Let f be 2/((k/t)/7). Is f not equal to -2/7?
True
Let p be (2/(-4))/(0/4 + -2). Is p at least as big as -118?
True
Let k = 2/1577 + 1571/4731. Is -55/8 equal to k?
False
Let u be (-171)/38 + 2/2. Is u smaller than -5?
False
Let j be 1*(-30 + (3 - (-3 + 5))). Is 1/8 < j?
False
Let t = -215 - -216. Let f = 0.01 + 0.05. Which is greater: f or t?
t
Let p = 7.748 - 6.8. Let u = 0.052 + p. Is 5 at most u?
False
Let v be (1 + -8 + 1)*4/(-8). Let z be ((-30)/(-325))/(v/40*-2). Which is greater: z or 0?
0
Let w be 0 + -2 + (-30)/(-12). Do w and 0.12 have the same value?
False
Let y be 2/(-18) + 292/(-3285). Which is greater: -1 or y?
y
Let k = -12 - -20. Let x = 6 + k. Let v be 60/x + (-2)/7. Is v at least 4?
True
Let d = 1.8 + -2. Let u = -1581 - -1577. Which is bigger: d or u?
d
Suppose 226*r - 228*r - 2172 = 0. Is r >= -1087?
True
Let c(h) = h**3 - 4*h**2 - 4*h - 3. Let d be c(4). Let g = 14 + d. Suppose 0 = l + 5*t - 5, -6 = 3*l + 4*t + 1. Is g equal to l?
True
Let l(o) = 4*o**2 - 33*o + 29. Let x be l(4). Which is bigger: -188/5 or x?
-188/5
Suppose 2*q + p = -1287, -15*p + 17*p + 3218 = -5*q. Which is smaller: q or -643?
q
Let d = -2 - -3. Suppose -v + 2 + d = 0. Suppose -6 = -v*s - 0*s. Which is smaller: s or -1?
-1
Let c = -116/5 + 22. Suppose -3*a = -6 - 6. Suppose -2*y = -g, -g + a*y = -5*g - 12. Are c and g equal?
False
Let v(f) = f**2 - 5*f - 6. Let g be v(5). Let t be (8/g)/((-16)/(-24)). Which is smaller: t or -3/5?
t
Suppose -4*a - 4*l - 24 = -0*l, 2*a - 2*l = -8. Let g be (-100)/30*12/a. Does 9 = g?
False
Let d(i) = -i**3 - 10*i**2 + 18*i + 51. Let f be d(-11). Which is smaller: -24 or f?
f
Let g be (-27)/60*(-975)/90. Let r be (3 + -2)/((-2)/(-12)). Which is bigger: r or g?
r
Let c = 519 + -518. Is 30/29 <= c?
False
Let w = 0.692 + 241.308. Is 2/5 less than w?
True
Let t be 8/(-2) - 3243/(-4). Let g = 802 - t. Suppose 0 = -7*o + o - 36. Which is smaller: g or o?
o
Let v be 913/(-748) - (-3)/4. Let j = v + 39/119. Let c be 2/12 + (-2)/12. Which is smaller: c or j?
j
Let v = 17/4 + -97/20. Let i(j) = -j**3 - 2*j**2 + 6*j - 48. Let s be i(-5). Is v smaller than s?
False
Let z(m) = -m + 6. Let u be z(6). Let a be (-1 - 2) + (3 - -1) + -461. Let x be (1832/a + 4)*5. Is x equal to u?
False
Let g = -2 + 1.98. Let o = 87.25 + -88. Let b = -0.25 + o. Which is greater: b or g?
g
Let y(g) = 72*g + 638. Let u be y(-13). Is -298 at least as big as u?
True
Suppose 2*m = g - 1, -5*g - 11 + 26 = 0. Suppose 0 = 3*f + 5*n - 9, -14 = 4*f - 3*n + 3. Let b be m/f*234/9. Is b < -11?
True
Let d be (-10600)/(-56) + (-5)/(140/8). Are d and 189 equal?
True
Suppose 3 = 8*f - 165. Which is greater: 6 or f?
f
Let d = -356 + 371. Which is greater: d or 47/3?
47/3
Let f be (-405)/(-315) - (4/(-7))/(-2). Is f at least 1/14?
True
Let c(d) = -d**2 + 17*d + 39. Let p be c(19). Is p < 7/6?
True
Suppose j - 37 = -72. Is j less than -3?
True
Let i = 1487 - 1487.005. Which is bigger: 1/19 or i?
1/19
Let u be (3/2)/(15/(-1580)). Are u and -160 equal?
False
Let g(i) = -i**3 - 7*i**2 + 3*i + 22. Let z be g(-9). Let s = z + -158. Let l be (-6)/(-15) - (-47)/(-80). Which is bigger: l or s?
l
Let d = -9.06 - -0.06. Let o = 6 + d. Let m = -4 - -1. Is o equal to m?
True
Suppose -10 = -2*n - 22. Is 16 <= n?
False
Let x(w) = -8*w - 40. Let q be x(-5). Suppose q = -t - 0*t + 2, -4*v - t - 18 = 0. Which is smaller: -9/2 or v?
v
Suppose 0 = -13*q + 66 - 14. Let y = -10 + 9.97. Are q and y equal?
False
Let q = 0.9 - -0.2. Let v = 0.1 - q. Let w be -2*((-20)/(-108))/5. Is w at least v?
True
Let c = -23 - -45/2. Is c at least 2.1?
False
Let r be (-515)/35 - (32/14 + -2). Let l(x) = x**2 - 3*x + 4. Let z be l(5). Let u = r + z. Is u <= -1/20?
True
Let i = 183 + 538. Is i >= 720?
True
Let l(u) = -2*u**3 + u**2 + u + 1. Let t be l(2). Let r be 8/(-36) - 50/18. Let k be r*(1 - 0)*60/18. Which is bigger: t or k?
t
Let l be 39/2