a(3). Which is greater: n or 222/19?
222/19
Let y = 118 + -64. Is 14 bigger than y?
False
Let g(j) = 24*j + 2. Let x be g(-1). Suppose -9*q = -4*q + 100. Which is greater: q or x?
q
Let f be (-1)/(-3) + (-4)/(-24). Let v = -0.5 + 0.36. Is f bigger than v?
True
Let j(a) = -a - 9. Let n be j(-6). Let o be 2/(((-315)/(-42))/(-15)). Is o smaller than n?
True
Let v(n) = n**2 - 11*n - 21. Let y be v(13). Which is greater: y or 4?
y
Suppose 0*h + 2*h - 8 = 0. Suppose -h*v = -5*m + 23, 2*m + 2*v + 1 = m. Let f(t) = t**3 + 13*t**2 + 10*t - 18. Let l be f(-12). Is l greater than m?
True
Let x(u) = -u**3 + 18*u**2 + 19*u + 5. Let a be x(19). Suppose a*z + 10 = 2*s + z, 3*z = 5*s - 11. Which is smaller: s or -2/83?
-2/83
Let v = 1574 + -31481/20. Let f = -9 + 13. Suppose 0 = -3*b - f + 1. Which is bigger: v or b?
v
Let g = 533/3 + -178. Which is smaller: -41 or g?
-41
Let l be (2/(-16))/(3/4). Let f(y) = y + 7. Suppose -4*v - 24 = -d, -3*v + 3*d = 8*d + 41. Let q be f(v). Is q smaller than l?
False
Let t = 291 - 292. Which is smaller: t or -2/3?
t
Suppose -p + 3*p + 126 = 0. Let n be (-2)/4 - p/6. Let t be 4/n + 936/(-2240). Are -1 and t non-equal?
True
Let u(l) = 12*l - 127. Let d be u(12). Which is greater: d or 18?
18
Suppose -2 = -2*h + 2. Let y(p) = 6*p - h*p + 4 + 6*p**3 - 5*p**3 - 2*p**3 + 5*p**2. Let u be y(6). Is u less than -9?
False
Suppose -23*g = -g - 1254. Which is smaller: g or 56?
56
Let c = -5 + 68. Let g = c + -63. Does g = -1/9?
False
Let h = 609.9573 - 610. Which is smaller: -1 or h?
-1
Let y = -0.032 + 21.032. Let k = y - 20.9. Which is smaller: k or -1/4?
-1/4
Let b be 22/18 + 6/(-27). Let t = -405 - -392. Is b smaller than t?
False
Let b(r) = -r**3 - 5*r**2 - 7*r - 3. Let k be b(-4). Suppose -308 = -k*i + 754. Do i and 118 have the same value?
True
Let i = 107197/182 + -589. Which is smaller: -1 or i?
-1
Suppose 2*c + 4*c - 11*c = 0. Let b be 8/24*6/(-8). Which is smaller: b or c?
b
Let m be (2/3)/((-12)/2538). Which is smaller: m or -140?
m
Let z = 0.02 + -2.02. Let p = 293.7 - 295.577. Let t = 0.123 - p. Which is smaller: t or z?
z
Suppose i = -4*i + 10, 3*r - 2*i = -28. Let y = 0 + 2. Let j = y + -3. Is r greater than j?
False
Let f(j) = 4*j - 35. Let s be f(8). Which is greater: s or -0.19?
-0.19
Let z be (-3)/(-2)*12/(-9). Let y = 1297/7 - 185. Are y and z nonequal?
True
Suppose -4*b + 3 + 1 = 0. Let f = b + 1. Suppose 0 = 3*r, -h = r + f - 1. Is h < 1/5?
True
Let w = 759 + -750. Which is smaller: 8 or w?
8
Let m = 231 + -232. Is -1/852 <= m?
False
Let t = 2.2 - -3.8. Let j = 0 + -2. Which is smaller: t or j?
j
Let c(w) = w**3 + 16*w**2 - 20*w - 14. Let g be c(-17). Which is greater: g or 35?
g
Let c(x) = -18*x + 770. Let d be c(47). Which is greater: -531/7 or d?
-531/7
Let j be 2/8 - 4995/12. Is j greater than or equal to -417?
True
Let m be 3/(5*(-7)/(-3150)). Is m smaller than 269?
False
Let s(l) be the third derivative of -l**5/60 - l**4/3 - 5*l**3/6 - 20*l**2. Let z be s(-10). Is z > -25?
False
Let v = -4.7 - -3.7. Which is smaller: -1/9 or v?
v
Let l be 1/(-2) - 3/(-4). Let y be (-2 - -2 - 10/60)*1. Is l less than or equal to y?
False
Let s = -2970 - -2969. Let r = -0.11 + 0.054. Are r and s non-equal?
True
Let g(m) = 0 + 3 - 7 - 11*m. Let v be g(6). Let u be ((-4)/(-10))/(v/50). Is u greater than or equal to -0.5?
True
Let c = -22 - -13. Let b = 8.9 + c. Let x be -2 + ((-11)/(-4) - 1). Is x smaller than b?
True
Let w(j) = j**3 - j**2 - 6*j + 5. Let b be w(3). Let c(p) = p**2 - 6*p + 7. Let m be c(b). Let h be 24/35 - m/7. Which is greater: 0.15 or h?
h
Suppose -3*k - 3 + 39 = 0. Let t be (8/k*6)/1. Suppose 4*r - t = -4*b, 3*r = 5*b + 4*r - 5. Does 2/37 = b?
False
Let o = 943 + -942. Does 10.3 = o?
False
Suppose 0 = 6*j + 3*j - 36. Suppose 6 = 3*z - f + 4, -j*z = -4*f + 8. Which is bigger: -5 or z?
z
Let s be 450/78 - (-12)/52. Which is greater: s or -42?
s
Let i = -130 - -135. Suppose -4*r + i*r - 4*v = -143, -v + 134 = -r. Which is smaller: r or -132?
-132
Let y = -370 - -318. Which is smaller: y or 0.2?
y
Let h = 0.023 - -38.977. Let v = 38.81 - h. Is 0 >= v?
True
Let h = 703 + -704. Which is smaller: -32/73 or h?
h
Let h = -119/129 - -11/43. Is h at least as big as 5?
False
Let z = 13 + -13. Suppose z = -2*h + 5*h - 90. Which is smaller: 31 or h?
h
Let j be 1/5 + (-19105)/32400. Let i = j - -1/1296. Let d = i + 37/72. Which is bigger: d or 1?
1
Let r = -237961/278 - -856. Which is smaller: r or -1?
-1
Let h(m) = -m**2 - 3*m + 3. Let g = -30 + 26. Let z be h(g). Is z >= -3/7?
False
Let d be ((-4)/6)/(-12 - (-671)/66). Let c = -0.01 + 1.01. Which is greater: c or d?
c
Suppose 0 = w + 19 - 204. Which is smaller: w or 187?
w
Let c = 0.611 + 0. Let x = -0.011 + c. Let y = 2/91 + 85/273. Is x greater than or equal to y?
True
Suppose 40 = -3*v - f, -2*v + 4*f - f = 12. Let g = -15 - v. Let w be 2/g - (-40)/24. Which is bigger: w or 7/5?
7/5
Let r = 4/39 + 22/39. Which is smaller: -111 or r?
-111
Let r = -169 - -175. Let h be (-25)/(-15)*22/5. Which is greater: h or r?
h
Let r = 22.9 + -27. Let y = r - 3.9. Which is greater: y or -0.1?
-0.1
Let v be -8 + 84/9 + (-1174)/3. Is -389 greater than v?
True
Let l(s) = 4*s - 76. Let w be l(27). Is w >= 32?
True
Let n(c) = c**3 - 6*c**2 + 8*c - 11. Let j be n(5). Suppose -j*d = -5*d - 39. Is d greater than or equal to -39?
True
Let w = -74 + 50. Let o be w/(-42) - (-3)/7. Are -1/27 and o unequal?
True
Let k = 169/201 + -1/134. Let t(h) = h**3 + 3*h**2 - 2*h - 5. Let d be t(-3). Do d and k have the same value?
False
Let h = 0.61 + -32.11. Let r = -31 - h. Is r not equal to 6?
True
Let v(w) = 3*w**2 + 3*w**2 - 2 - 9*w**2 + w - 5*w. Let u be v(-2). Are u and -7 equal?
False
Let z = 1363/7 + -195. Let d = -2.149 - -0.049. Which is smaller: d or z?
d
Let p(q) = -14*q + 182. Let g be p(13). Which is bigger: 1/156 or g?
1/156
Let m = -4 + 4. Let q = 93 - 1024/11. Is m less than q?
False
Let f be -6 + 10/(90/63). Which is bigger: -2/319 or f?
f
Let f = -4.1 + 4. Let u = 17 + -89. Let z be u/28 + (-4)/(-7). Is z > f?
False
Let y = -0.15 - -0.15. Is -1.13 < y?
True
Let v be 0 + (-6)/(0 + 3). Let s be 2 + 2 + (-6)/v. Is 7 less than s?
False
Suppose 0 = 5*b - 2*u - 17, -4*b - 3*u + 26 + 6 = 0. Let k = -56 + 72. Let h be 2/4*(-2)/(-4)*k. Which is smaller: b or h?
h
Let v be (-2)/(-8) - 46/(-8). Suppose v*x - 145 - 41 = 0. Let c = 31 - x. Is c <= 1/4?
True
Let p = -382332/149 - -2566. Is p at least 0?
True
Let i be ((9/25)/(-3))/(5/(-1325)). Are i and 32 unequal?
True
Suppose 24 = -b + 5*c, -2*c + 1 = -9. Let m be -1*(0 - 0 - b). Which is greater: 0.05 or m?
m
Let c(t) = -3*t**3 - t**2 - 2*t - 1. Let o be c(-1). Let q be o/12 + 66/(-8). Is q <= -8?
True
Let l = -2.65 + 0.15. Suppose 0*q - 3*n + 3 = 3*q, 5*q = -4*n + 5. Is q greater than l?
True
Suppose 4*c + 194 = 42. Which is smaller: -155/4 or c?
-155/4
Suppose 19 = 6*r - 17. Let l be 6/24*r*16/6. Which is smaller: l or 5?
l
Let k(p) = -2*p**3 - 73*p**2 - 35*p + 35. Let o be k(-36). Is -4/1139 bigger than o?
True
Let r = -55 + 167/3. Let s = 1257/8 + -157. Is r equal to s?
False
Let q = 5683/3 - 1898. Do -4 and q have the same value?
False
Let n(a) = 3*a**2 - 56*a - 20. Let o be n(19). Is o less than 1?
True
Let s be (-13)/33 + (-1)/3. Let m be -17*(-6 + 2 + 3). Let u = m + -19. Which is smaller: s or u?
u
Let l(q) = 111*q**2 - 5*q + 6. Let d be l(4). Let z be d/56 - 6/8. Let k = 31 - z. Which is bigger: k or -5?
k
Let c = 0.0655 + -4.4655. Which is smaller: c or 1?
c
Let g = 208.1 + -218. Let q = -0.1 + g. Are -1/3 and q unequal?
True
Let u be ((-3)/6*0)/(-2). Let q(y) = y**3 + y**2 - 1. Let v be q(-1). Is u less than v?
False
Suppose 4*c - 52 = f, -5*f = -6*c + c + 65. Which is smaller: 21 or c?
c
Suppose 0 = 9*c + c + 220. Let d be 33/c + 41/2. Is 19 >= d?
True
Let z(r) = -r**2 + 9*r + 9. Let l be z(9). Let v be 8/(-30) - 3/l. Is 0 < v?
False
Let t(g) = 3*g**2 - 12*g + 2. Let m be t(4). Let a be (-5)/75 + -3*m/(-15). Let w be 2*2/20*1. Which is bigger: a or w?
a
Suppose -4*n - 19 = 1. Let k = -6 - n. Let z be ((-66)/(-99))/(-5 + 1 + 1). Which is greater: z or k?
z
Let q(l) = -7*l - 3. Let t(f) = f - 4. Let b be t(3). Let m be q(b). Suppose -4*o = -m*r - 28, 6*o - 25 = 3*o + 5*r. Is -2 greater than o?
False
Let m(i) be the second derivati