be b(16). Suppose 0 = j*n - 4*n + 10. Let v be f(n). Is v at most as big as 3?
True
Let b = 430 - 473. Is b < 5?
True
Suppose -19*z - 14*z + 25*z = 0. Is 4/31 greater than z?
True
Suppose -3*w = 4*w - 91. Let v = 16 - w. Do v and -2 have the same value?
False
Let t = -0.65 - 0.35. Let o = -0.5 + 0. Let x = 0 + o. Which is smaller: t or x?
t
Let s be -72 - (5 - (-5 - -7)). Is -75 <= s?
True
Let c = -307 + 2141/7. Suppose 0 = 2*n - 4*w - 12, 3*n = -3*w + 4*w - 2. Is n at most c?
True
Suppose -32 = -6*r + 2*r. Let n be (-12)/(-18)*2/(r/(-114)). Which is smaller: -20 or n?
-20
Let t(u) = -u**3 + 12*u**2 - 11*u + 4. Let g be t(11). Let y(d) = -g + 8*d - 3*d - 5*d**2 + d**3 + 1 + 0. Let s be y(4). Is 2/5 at most as big as s?
True
Suppose 0*t = t + 2. Let r be 1 + -5 + (-192)/(-66). Is r equal to t?
False
Let d be 1/((-10)/(-4) - 2). Let l = d - 2. Suppose l*r - 18 = -6*r. Which is bigger: 5 or r?
5
Let q = -7/12 - -59/60. Let t be (-1)/(-21) + 4/14. Which is smaller: t or q?
t
Let w = 43/2 + -34. Let i = w - -14. Is 1 less than i?
True
Let u(q) = 2*q**2 + 5*q. Let k be u(-3). Suppose p = -4*w - 81, 4*p + w - k*w + 288 = 0. Is p at least -74?
True
Suppose -5*q + 80 = -7*q. Let o be (q/(-14) - 2)*14. Let m be (-3 - 26/(-8))*1. Which is smaller: m or o?
m
Let h = 1231 + -1226. Are h and 11 nonequal?
True
Let x be ((-8)/(-3))/((-1)/(-3)). Let z be -4 + 58/40*48/6. Let u = z - x. Which is greater: -1 or u?
u
Suppose n = -3 - 2, -5*k + n + 140 = 0. Suppose 22 = 2*b + 4*x, b + 26 = 3*b + 5*x. Suppose b*w + k = 9. Which is greater: w or 1/4?
1/4
Let t = -3747/4147 + 26/29. Which is smaller: 0 or t?
t
Let h = 187 - 186. Let s be (-93)/(-7)*(-2)/3. Let l = -627/70 - s. Is l equal to h?
False
Let i = -55 + -1. Which is bigger: -55 or i?
-55
Let m = 1.251 - -209.749. Are m and 2/7 non-equal?
True
Let s = 166 - 84. Let a = s - 82.2. Let j = 0.2 + -0.4. Are a and j non-equal?
False
Suppose 109 = -28*t + 25. Let n be 2532/(-10)*(-2)/16. Let w = 147/5 - n. Is w <= t?
False
Suppose 0 = -5*z + 18 + 7. Suppose -z*c = -4*c - 6. Suppose -4*n + 13 = -15. Is c greater than or equal to n?
False
Let n = 9 - 14. Let u = -6 - n. Let r = 3 - u. Is r not equal to -1/2?
True
Suppose 2*s = 5*s. Let r = 0 + s. Let k = 15574 - 15574.01. Which is greater: k or r?
r
Let l = 3.2 + -3. Let z = 5.34 + -5. Let n = z - l. Which is smaller: n or -0.1?
-0.1
Suppose 23 = -4*i + 3*i + 5*q, -21 = -3*i - 3*q. Suppose -4 + i = 2*p. Let b be -10*2/6 - (-2)/6. Which is smaller: p or b?
b
Let n = -10.4 - 2.6. Let m = n - -45. Which is smaller: m or -1/4?
-1/4
Let y be ((-6852)/63)/((-338030)/(-255)). Let l = y - -2/4829. Which is bigger: -1 or l?
l
Let i = 6.4 + -7. Let p = -3.6 - i. Let r = -16.436 - -16.236. Are r and p equal?
False
Let l(o) = o**2 + o - 5. Let y be l(0). Suppose -2*r - 2*r + 144 = 0. Suppose -5*d + r = -4*q, -2*q = q + 4*d - 4. Is q greater than y?
True
Let l be ((-7)/(-2))/(8/(-16)). Let i be l + (3 - (1 + 0)). Suppose -s - 4 = -0. Is s not equal to i?
True
Suppose -4*t - t = -z + 3, 4*z - 12 = 5*t. Is -5/11 bigger than t?
False
Let o(f) = -2*f**3 + 47*f**2 - 25*f + 43. Let k be o(23). Which is smaller: -5 or k?
-5
Let u(b) = -b - 6. Let j = 7 + -14. Let c be u(j). Is -1/13 smaller than c?
True
Let f be ((-16)/(-6))/((-2)/6). Let o be 5/1*(0 - 1). Is o not equal to f?
True
Let n = 2 - 3. Let t(v) = -11*v + v**3 + 0*v**2 - 7 + 1 - 10*v**2. Let y be t(11). Is y greater than or equal to n?
False
Suppose -4248 = 21*k + 3*k. Is k <= -177?
True
Let k be 2/(-7) - 4/(-14). Suppose -4*g + 3*n - 8 = -2*g, 8 = -2*n. Let i be (6/105)/(2/g). Which is smaller: k or i?
i
Let n = 105 + -100. Let s(c) = -c + c - c + 8. Let p be s(7). Is p less than n?
True
Let y be (15/2)/(8/(-736)*3). Which is greater: y or -232?
y
Let g = 31.5 - -9.5. Let c = -21 - g. Which is smaller: -1 or c?
c
Suppose -8304 = 13*o - 17*o. Let z be (0 - -3) + o/(-1032) + -1. Which is smaller: z or -1?
-1
Suppose 5*d - 9 = 4*g - 81, 40 = 4*g + 3*d. Is g bigger than 14?
False
Let v be 2/(3/((-27)/(-6))). Let p(a) be the second derivative of a**4/12 - a**3/3 - a**2/2 + 22*a. Let o be p(v). Are o and -2 equal?
False
Let a be (-981005)/(-2275) + 2/(-13). Let o(u) = 6*u**3 - 3*u**2 + 1. Let h be o(-4). Let p = h + a. Is 1 at least p?
True
Suppose -5*u - 68 = -293. Suppose -2*b - 3 = -u. Which is bigger: b or -0.2?
b
Let s = -0.03 + 0.13. Let u = -0.2 + s. Let r = 85.06 + -85. Is u smaller than r?
True
Let l be (5/(-26))/(7/588). Let z = -9017/559 - l. Which is smaller: -1 or z?
-1
Suppose 12*q + 68 = 16*q. Which is bigger: q or 84/5?
q
Let g(d) = 5*d + 5. Let o be g(3). Suppose -o*p + 25*p = 0. Suppose 3*b + 8 = -b. Do p and b have the same value?
False
Suppose 25 = 5*w, -4*n - 4*w = n - 155. Let p = 49 - 23. Is n greater than p?
True
Let y(h) = -2*h**3 + 7*h**2 + 16*h + 2. Let k be y(5). Is 6 bigger than k?
False
Let d(q) = -q**3 - 7*q**2 + 13*q - 35. Let g be d(-9). Which is smaller: 29/3 or g?
29/3
Let m = 1 - 1. Suppose 0 = -r - 5*h - 5, -4*r + 2*h - 3*h - 96 = m. Let d be 3/(-5) - (-10)/r. Is 1 less than d?
False
Let a = 190 - 130. Let w = 58 - a. Which is bigger: w or 14?
14
Let v = 0.15 - -1.85. Let t = -3.92 + -0.08. Let y = t + v. Which is bigger: y or 2/5?
2/5
Suppose 14*j - 6*j = 120. Suppose -4*n + 9 = -7. Let y be ((-7)/4)/(n/(-32)). Is j less than or equal to y?
False
Let n(v) = -3*v - 6. Let h be n(-4). Suppose t + 25 = h*t. Suppose 23 = 4*z + j, 3*z + j - t*j - 3 = 0. Which is greater: z or 6?
6
Let q = -2 - -1.958. Let r = 1.042 + q. Which is greater: 2/9 or r?
r
Let y be ((-1)/(-10))/(1/(-4)). Suppose 2*l + 234 = -4*z, 56*l - 52*l + 183 = -3*z. Which is bigger: y or z?
y
Let x = 7339/234 - 567/26. Which is bigger: 11 or x?
11
Let h be (-4 - (-3735)/975)*10/4. Which is smaller: 0 or h?
h
Let x = -16.1 - -16. Suppose 115 = 5*v + 5. Which is greater: x or v?
v
Let t(m) = -m**2 + 19*m - 24. Let f be t(16). Which is smaller: f or 23?
23
Suppose 0 = i - 3*i. Let q = -1406 + 1405.948. Do q and i have different values?
True
Let w be (73/(-4891))/(1/5). Is -1 less than w?
True
Suppose -3*k + 4*s = 0, 5*s - 9 = -2*k + 14. Suppose -4*n + l - 5*l = -184, 0 = 2*n - k*l - 80. Suppose -n - 46 = -9*h. Is h greater than 11?
False
Let l = 13999/6 - 2333. Which is smaller: 11/31 or l?
l
Suppose 190 = 2*v + 676. Let f be (0 - -1)/((-9)/v). Is f equal to 28?
False
Let z = -60 + 124. Do z and 62 have different values?
True
Let c be (110/88)/(15/36). Which is greater: c or -2/319?
c
Let l = 229 - 250. Are l and -4/7 equal?
False
Suppose 3*c - q + 21 = -2*c, 0 = -5*c - 2*q - 18. Let v be ((-3)/c)/(-6*6/(-32)). Is 0 at most as big as v?
True
Suppose 4*j = -3*g + 8 + 13, -2*j = 3*g - 15. Suppose g*q - x + 3*x = 2, 0 = -5*q - 5*x. Let s be q/(-3) - 6/(-9). Is s less than -2/13?
False
Let n = -30 - 5. Let o = 37.9 + n. Let c = o + -3.3. Do 0.1 and c have the same value?
False
Let b(j) = -21*j**2 - 148*j + 4. Let a be b(-7). Let i be (-2)/5 - 156/(-15). Is a not equal to i?
True
Let d = -437/11 - -8479/209. Which is smaller: 2 or d?
d
Let b be 228/644 + (-3)/(-7). Are b and 1 equal?
False
Suppose 0*b = 4*b + 40. Let v = -23 - b. Is -85/6 greater than v?
False
Suppose 0 = 17*v + 5478 - 55. Is v at most -322?
False
Suppose 5*f - 3*f = -u + 375, 2*f - 371 = 3*u. Suppose 0 = -f*x + 188*x - 12. Is 10 > x?
False
Let f = 619 - 625. Is 46 greater than or equal to f?
True
Let v = -2/95 - -204/665. Let m = 24 - 24.15. Which is greater: v or m?
v
Suppose t - 8139 + 7819 = 0. Which is bigger: 321 or t?
321
Let o(c) be the first derivative of c**3/3 + 7*c**2/2 - 6. Let d be o(-6). Suppose -4*i + 2 = 22. Which is smaller: i or d?
d
Let j = 92 + -68. Let b be (j/224)/(2/(-272)). Which is bigger: b or -16?
b
Let r(v) be the third derivative of -v**4/24 + 2*v**3/3 + 35*v**2. Suppose -3*z = -5*n - 7 - 2, 5 = z - n. Let o be r(z). Is -26/5 greater than o?
False
Let r be (8 - -4)/(1/(-14)). Let m be 1/(r/(-57) + -3). Let x = 11 + m. Which is smaller: -7 or x?
x
Let l(t) = -t**2 - 14*t + 7. Let p be l(-15). Let r be (-16)/6 - (p - -5). Is r greater than -0.15?
True
Suppose 4*m = -f + 2, 0 = 3*m - 2*m - 3*f - 7. Let l be ((16/(-14))/(-4))/m. Which is smaller: -24 or l?
-24
Let a be 0/(-1) - 9172/(-5632). Let b = a + 1/128. Let r = 8 + -5. Which is smaller: 