2*a(l) - 3*x(l). Let y be t(-12). Is y at most -2?
False
Suppose -3*x - 5*u + 2 = 0, -3*u + u - 10 = 0. Is x at most as big as 9?
True
Suppose -d = -5*d + 32. Let j(b) = b**2 - 7. Let q be j(d). Let r be q/(-117) + (-1)/(-3). Which is greater: 0.1 or r?
0.1
Let i = -0.4 - -0.4. Let f = 0.1 + -0.1. Let k = f + 0. Is i equal to k?
True
Let d = 4271 + -4148.05. Let r = -118 + d. Let u = -5 + r. Is u bigger than -0.1?
True
Suppose 6 = -3*x + 99. Which is smaller: x or 32?
x
Let m = -6 + 11. Let b = 5 - m. Suppose -6 = -0*d - 3*d. Which is smaller: d or b?
b
Suppose -2*l + 8 = -0*d + 4*d, d = l - 1. Let a be d/3 + 52/(-102). Is 0 < a?
False
Let c = -280.86 - -288. Let m = -0.14 + c. Let o = m + -6. Which is bigger: -1/4 or o?
o
Let y = -3 + -2. Let r = -749/3 + 245. Are r and y equal?
False
Let h = -0.8 + 1. Let k = -3/26 + 61/78. Is k >= h?
True
Suppose 42*c - 45*c = -39. Is c at most 11?
False
Suppose s = 2*j + 8, 3*s - 5*j - 9 = 12. Which is greater: 16/5 or s?
16/5
Let x be ((-4)/(-3))/((-8)/(-12)). Suppose 7*r = 3*r + 12. Is x at least as big as r?
False
Let k(r) = -r**3 - 5*r**2 + 5*r - 1. Let n be k(-6). Suppose 0 = -n*v + 2*v. Is v at most 0?
True
Let p be (43 - -3) + 2 + 0. Let d = p - 241/5. Suppose -3*q = 2*q + 5. Is d greater than or equal to q?
True
Let u(z) = -z + 3. Let l be u(0). Which is bigger: 0 or l?
l
Let z = -15/91 - -4/13. Suppose -u - 3 = l, -5*u - 15 + 0 = -5*l. Which is bigger: z or l?
z
Let x be -14 + -4 + (5 - -1). Which is bigger: x or -1?
-1
Suppose 10 = p + 3*o, 29 - 9 = 3*p + 4*o. Is p > 5?
False
Let i(h) = h**2 - 6*h + h**2 - 3*h**2 - 6. Let k be i(-5). Suppose 5*q - 2 = 2*j, 2*q = 5*j + 4*q + 5. Is j >= k?
True
Let j = -37/129 + -2/43. Suppose -o = -5*r - 2*o - 181, -2*o + 178 = -5*r. Let f be ((-3)/r)/(1/3). Which is greater: j or f?
f
Let w = 163/4 + -3415/84. Which is greater: 3 or w?
3
Let q(d) = 4*d**2 + 3*d + 1. Let c be q(-2). Suppose 4*z + c = -5. Does z = -3?
False
Suppose -r + 8 = 3*r. Let z(b) = -b**3 + 9*b**2 - 7*b - 6. Let t be z(8). Let a be (-1)/t + (-3)/(-2). Which is greater: a or r?
r
Let x(o) = o**2 + 4*o - 48. Let l be x(-9). Is l != 2/3?
True
Let f be 3 - ((-2)/1 - 1). Suppose d - 2*m = 3, 0 = 3*m - f*m + 15. Which is smaller: d or 12?
12
Let l be 40/(-7) + 8/(-28). Let b be (-2)/2 - l/3. Let q = -79/235 + -3/47. Which is smaller: b or q?
q
Suppose 7*s = 8*s - 3. Let i = -0.1 - 0.7. Let v = i + 1. Which is greater: v or s?
s
Suppose q = n + 11, -5*q + 4*n - n + 55 = 0. Let c = q - 8. Let r = 2 + -2. Is r less than or equal to c?
True
Let a be (-76)/(-150) + 2/(-3). Let q be 86/(-54)*18/75. Let t = a - q. Which is smaller: t or 1?
t
Suppose 5*s - 5 = -5*x, -2*s = 3*x - 0 - 1. Is s < 4/5?
False
Let j = -183.8 + 181. Is -1 at most as big as j?
False
Let r = -139985719/1285845 + 4/85723. Let f be 109 - (1 + 2/(-2)). Let x = f + r. Is x at least -1?
True
Suppose l - 3 + 1 = 0. Let x(h) = 6*h + 1 - h**3 + l*h - 5*h + 2*h**2. Let v be x(3). Which is smaller: 3/4 or v?
3/4
Let y(l) = -2*l**2 + 3*l - 4. Let d be y(3). Let w be (-12)/78 + (-54)/d. Is w equal to 4?
True
Let g(x) = -x**3 - 7*x**2. Let v be g(-7). Let z = -1/97 - 175/1843. Is v greater than or equal to z?
True
Let g(m) be the third derivative of m**5/12 - 2*m**2. Let h be g(-1). Suppose -4*f = -h*f. Is 0 <= f?
True
Let w = -5 + 3. Let y be w/(-4) + (-6)/20. Do -1 and y have the same value?
False
Let w be (0/1 - -4)*(-42)/(-84). Is w < 2?
False
Let h = -5 - 0. Let b = -3 - h. Is b bigger than 2?
False
Let j = 11/25 + 47/75. Let u = j + -6/5. Is -1 at least as big as u?
False
Suppose 0 = 5*j + 2*i - 6*i + 5, 0 = -3*j + 3*i. Let g = j + 3. Suppose 0 = -0*x - 4*x - 5*z - 2, 2 = z. Which is bigger: g or x?
g
Suppose 5*w = -5*j + 10, 0*w - 4*w - 6 = -3*j. Let m = 3 - j. Is -3/13 bigger than m?
False
Let s = -35 - -12. Which is greater: -22 or s?
-22
Suppose -8*p + 336 = 8*p. Which is bigger: 16 or p?
p
Let q = -5042/11 + 458. Which is smaller: 1 or q?
q
Let k = 3/80 - -1/16. Which is bigger: 0 or k?
k
Let p = 11 + 10. Let j = p - 36. Which is greater: j or -1?
-1
Let q(v) = -v + 1. Let w be q(0). Suppose -4*h - 9*h = -13. Let y = h - w. Which is bigger: y or 2?
2
Let n = -1175/14 + 84. Suppose -12*f - 5 = -7*f. Is n > f?
True
Suppose 2*l + 3*l = -4*l. Which is bigger: l or -0.09?
l
Let a be 1 + (-2)/(-9) + -1. Let n = -1.01 + 0.01. Which is smaller: n or a?
n
Let k = -18 - -16.6. Do 0 and k have the same value?
False
Let r = -10 + 7. Let w = 15 - 17. Let a be (w + 3 - -1) + -1. Which is greater: a or r?
a
Let g(s) = s - 6. Let p = -4 - -13. Let v be g(p). Suppose 2*o = 5*o + v. Is o equal to -2/7?
False
Let f = -116 + 118.04. Let i = f + -0.04. Are 0.2 and i nonequal?
True
Let j = 11 + -6. Let s(i) = -2 + 5*i - j*i**2 + 4*i**2 + 4. Let c be s(5). Which is greater: -1/2 or c?
c
Suppose 1 - 5 = 4*l. Let h = -108 - -177. Let a = h - 344/5. Which is smaller: l or a?
l
Let i(v) = v**2 + v - 4. Let c be i(-5). Which is smaller: c or 17?
c
Let x = -2/2251 - -110307/9004. Let t be -6*(-4)/(1*-2). Let q = x + t. Is q smaller than -1?
False
Suppose 0*z - 5 = -5*z. Is z at least -5/17?
True
Suppose 0 = -5*o + 27 - 2. Suppose -p - 2 = 5*a, -o*p - 16 = -6. Are a and 1/2 equal?
False
Let c(d) = -d**3 + 2*d**2 - d + 1. Let n = 8 - 6. Let l be c(n). Is l less than or equal to -1?
True
Let d be 2 + -1 - (2 + -1). Suppose -2*o + 4 = -d. Suppose o*p - 2 = p. Does p = 1?
False
Let p(a) = -a**3 + 17*a**2 + 19*a - 19. Let x be (0 + -2)/((-3)/27). Let b be p(x). Is 2/9 < b?
False
Let l = 0.6 + -6.6. Let z = -1 - l. Let o = 5.4 - z. Is -2/3 less than o?
True
Suppose 2 + 0 = -4*i - 3*m, 2*m - 14 = 5*i. Which is bigger: 0.8 or i?
0.8
Let d be (-2)/(-7) - (-6003)/(-161). Which is bigger: d or -38?
d
Suppose 2*k + 0*k = 8. Let a = k - 4. Is -1/4 smaller than a?
True
Let r be 3/(2 + -5) - -4. Is 5/3 at most as big as r?
True
Suppose 4*h - 658 = -3*h. Which is bigger: h or -1?
h
Let f = -867/10 - -423/10. Let l = f - -226/5. Are 1 and l nonequal?
True
Let p = 84 + -95.1. Let t = 11 + p. Which is smaller: t or 3?
t
Let j be 14/10 - 6/(-10). Suppose -4*s + 3*w + 15 = -2*w, j*w + 6 = 5*s. Suppose -4*t + 2*t = s. Is -1/3 < t?
True
Let a(n) = n + 4. Let u be a(-3). Let f = -192 + 1539/8. Which is greater: f or u?
u
Let f = 5 + -8. Let d = -2 - f. Let w = d + 1. Which is smaller: w or 0.2?
0.2
Let j(f) = -f**2 - 5*f - 6. Let z be j(-5). Let a be ((-9)/(-21))/(z/4). Are a and 1 equal?
False
Suppose -20*l + 1 = -19*l. Which is greater: l or 6/7?
l
Let l be 2/4*(1 - -1). Let w be 1 - l - (0 - 1). Is 0 at least as big as w?
False
Suppose -4*y + 6*y + 4 = 0. Suppose -10 = 2*k, 0*r + r - 4*k = 12. Let a = 5 + r. Which is bigger: a or y?
y
Let j = -6 + 6. Let y be 14/(-40) - 1/(-4). Are y and j nonequal?
True
Let z(w) = w**2 - 2*w - 1. Let q be z(3). Let j = -16 - -15.9. Is j != q?
True
Suppose 0 = 1817*d - 1811*d - 24. Suppose 21 = 4*f - 3*m, -4*f + 3*f - 6 = 3*m. Is f < d?
True
Let z be 2/(-3) - 7/3. Let y be ((-27)/(-12) - 3)/z. Are -1 and y unequal?
True
Let v be 2/(0/(-3) + 2). Let f = -772 + 14664/19. Is f equal to v?
False
Let r be ((-16)/(-6))/((-10)/135). Are -36 and r unequal?
False
Let u = 1 + -4. Let x = -1 - u. Suppose k - 1 = -x. Which is smaller: k or -0.2?
k
Let k = -11 - -11.1. Let p = 3.1 - k. Is -0.2 at least p?
False
Suppose -3*c = -14 - 4. Are c and 1 equal?
False
Let z = -0.35 - -0.3. Let n = 715 + -715.2. Which is bigger: n or z?
z
Let z = -0.01 + -0.07. Let h = z - -0.18. Are h and 0.1 nonequal?
False
Let g(b) = -b**3 + b**2 - b + 1. Let z be g(1). Suppose 0*a - a - 2 = z. Which is greater: -3/5 or a?
-3/5
Let s = 4 + -3. Let n be 2/(-5) - 6/10. Let c be 0 - (-21)/(-15) - n. Do c and s have the same value?
False
Let z be 2 + (17/(-6) - -1). Let a = -2 + 5. Suppose 3 = -a*w - 0*w. Which is bigger: z or w?
z
Suppose 0 = -3*n + 5 + 4. Is n > 3?
False
Let c be 2*(-2)/8*0. Let k = 1 + -2. Let d be (-1 - k/3)/2. Do d and c have the same value?
False
Let v = -12 + 0. Is v less than -12?
False
Let d = -3 - -4. Is d less than 2?
True
Let l(n) = -n**3 + n**2 + n + 6. Let v be l(0). Suppose -2*a - v = 2*a - z, 2 = z. Let u be ((-6)/(-8))/(5/(-4)). Which is bigger: u or a?
u
Let m = -0.73 - -1.73. Let w be -2 + (1 - (-2)/8). Which is bigger: w or m?
m
Let y = 0.08 - -0.12