. Let q be y(2). Suppose -2*b = 4*w + 6, 3*w - q + 3 = 2*b. Does -1/8 = w?
False
Let b = 32 + 26. Is 58 <= b?
True
Let p(u) be the second derivative of u**4/12 + 2*u**3/3 - 2*u**2 + 8*u. Let s be p(-5). Let w = -318 - -4136/13. Is s smaller than w?
False
Let i(g) = g**2 - 6*g - 9. Let d be i(7). Which is bigger: d or 0.08?
0.08
Let n be (-2 - 0 - 1)*-1. Suppose -n*g + 11 = 2. Let f be (20/6)/(2/g). Is 5 at most f?
True
Suppose 7*j - 2*j = 3*g - 13, -j = -1. Suppose -f + g = f. Which is greater: f or 2?
f
Let k = -20.5 + 18. Let v = 2.3 + k. Is 0.2 <= v?
False
Let w = 132 - 88. Let s = 24 - w. Is s less than -20?
False
Let y = 0.025 - 0.225. Does 4 = y?
False
Let x(j) = -j**2 - 4*j + 3. Let n be x(-4). Suppose -n*w = 3 - 9. Suppose -w = 4*k - 2*d, -5*k - d - 35 = 3*d. Which is smaller: k or -2?
k
Let g(w) = 2*w**2 + 2*w. Let l be g(-3). Suppose f - 5*f = l. Suppose -16 + 3 = 2*d + 3*p, 5*p + 19 = -2*d. Which is greater: f or d?
d
Let p be (-34)/(-14) + 6/(-14). Suppose 0 = -p*x + 1 - 39. Is x greater than -19?
False
Let m be 24/56 + 61/(-28). Which is greater: 2/15 or m?
2/15
Suppose -j = 3*j + 4*b + 16, 0 = -2*j + b + 4. Which is greater: 2/71 or j?
2/71
Let v = 15 - 14. Let b = v + 0. Which is bigger: -2/17 or b?
b
Let k(h) = h + 2. Let z be k(-1). Let a be (0/z + 0)/3. Is a at most as big as 0.3?
True
Let j(m) be the first derivative of -m + 4 - 1/2*m**2. Let z be j(1). Is z less than -2?
False
Suppose 5*n - 4 - 16 = 0. Is 3 > n?
False
Let t be (-1 + 0)/(9/27). Which is bigger: t or 1?
1
Let y = 273 - 423. Let d = y - -1046/7. Is -1 equal to d?
False
Suppose 6 = -3*s + 6*s. Let u = 0.6 + 6.4. Let f = -8 + u. Which is greater: f or s?
s
Let n = 552611/35 - 15787. Let r = 6/35 - n. Is -2 > r?
False
Let b(q) = q**3 - 5*q**2 + 3*q + 4. Let r be b(4). Which is smaller: -5 or r?
-5
Let b be (2/(-4))/((-2)/(-4)). Let k = -2678 + 2664.97. Let v = k + 13. Which is greater: b or v?
v
Let n = 317 - 311. Let j = 8 + -1. Which is smaller: n or j?
n
Let d(z) = 7*z. Let i be d(1). Let w = i - 2. Let c be 5*(-1)/w*-1. Which is bigger: c or 1/6?
c
Suppose 1 = 4*g - 7. Let a be 1/1*12/2. Let s be ((-3)/4)/(a/(-4)). Which is smaller: g or s?
s
Let q = 12.3 + -12.3. Which is smaller: q or -26/17?
-26/17
Let k = -17 - 0. Let b = -16.86 - k. Let i = -0.06 - b. Which is greater: 3 or i?
3
Let b = 0.7 + 0. Let k = 2.3 + b. Let p = k + -2. Which is smaller: -1/3 or p?
-1/3
Let q = 39 + -39.4. Which is smaller: q or -6?
-6
Let g = -6.6 - -0.6. Let d = g + 4. Which is bigger: d or -6?
d
Let a be 31*4 - (8 + -7). Is 123 > a?
False
Let w(z) = z + 1. Let f be w(0). Which is smaller: f or 6?
f
Let r be (-2)/((-3)/(3/(-2))). Let l(b) = -b**3 - 3*b**2 - b - 1. Let z be l(-3). Suppose 0 = -y - 0*y - z. Is r at least y?
True
Let p = 56 + -36. Let v(o) = -5*o - 10. Let h be v(-4). Let j be ((-2)/h)/(8/p). Which is bigger: 0 or j?
0
Let n(m) = m**2 - m + 4. Let k be n(0). Suppose 2 = -w + k. Let b be (-1)/(-2*w/8). Which is smaller: 4 or b?
b
Let k(w) = 4*w**3 - 2*w**2 - 5*w + 1. Let s(a) = -a**3 - a**2 + a. Let f(r) = -k(r) - 5*s(r). Let i = 20 - 27. Let d be f(i). Is d equal to 1?
False
Suppose 7*s = 2*s + 20. Suppose 5*l = -v - s, -4*l + 8 = -3*v - 4. Is v less than or equal to -4?
True
Let u(c) = c**2 + 2*c - 1. Let b be u(-3). Let a be (10/42)/(5/90). Let d = 76/21 - a. Is d at most as big as b?
True
Suppose -2*v - 3*v = -30. Let m be (7/2 + -3)*v. Let a be (20/(-12))/(2/(-6)). Is a >= m?
True
Let h = -2.8 - 0.2. Let x = h - -2. Which is smaller: -0.1 or x?
x
Let q = 0.25 + -0.63. Let m = q + 0.08. Let f = -6 + 8. Which is smaller: m or f?
m
Let q(a) = -17*a - 8. Let x be q(7). Let n be (-4587)/(-36) + (-2)/(-6). Let p = n + x. Is -0.1 >= p?
False
Let u be (15/8 + -3)/(3/(-4)). Suppose 5*i - 5*q = 20, 3*i - 5*q - 16 = -i. Let t be i + (1 - (3 + 0)). Is u > t?
False
Suppose 0 = -0*g + 2*g. Is 8/15 less than g?
False
Let p be (-8)/(-40) - 1/5. Is p at most as big as -5/6?
False
Let m = -2 - -1.95. Let b = 0.05 - m. Let t = -1.1 + b. Which is smaller: -2 or t?
-2
Suppose 5*q = -c - c + 64, -3*q - 10 = -c. Which is greater: 21 or c?
c
Let z = 1023 - 949.1. Let j = z - 70. Let p = j + -4. Which is greater: -2 or p?
p
Let y be 112/18 + 2/(-9). Let t be 2/y*(-12)/(-18). Let o(m) = -m + 5. Let i be o(5). Is i at least as big as t?
False
Let v = 5 - 6. Suppose 0 = 7*t - 2*t. Is v less than t?
True
Let l = 0.01 + -2.01. Let h = l - -3. Which is smaller: h or -0.1?
-0.1
Let r(a) = -a**3 - 8*a**2 + 9*a + 4. Let m be r(-9). Let z = m + -3. Is z <= 3?
True
Let x(m) be the first derivative of 5*m**2/2 - 4*m + 2. Let q be x(3). Is q smaller than 12?
True
Suppose g - 6*g + 15 = 0. Let p = 7 - g. Suppose -2*s + 2 = p. Is s equal to 1/15?
False
Let n be ((-1)/2)/((-28)/(-24)). Let i be 0*(-3 - -5 - 3). Is i less than n?
False
Let h = -0.6 + -2.4. Let f = -3.5 - h. Let o = f + 0.4. Which is smaller: o or 1?
o
Let p be (-4)/206*(-3)/4248. Let t = -5420705/1531404 + p. Let b = 24/7 + t. Is b at most 1?
True
Let z = 0.26 - 2.66. Let d = 0.8 + z. Let c = d - -2. Which is greater: c or 0?
c
Let w(t) = t - 2. Let y be w(8). Suppose 4*o = 10 + y. Suppose o*d = -d + 5. Which is smaller: d or 2/9?
2/9
Let h(c) = c**2 + c + 17. Let m be h(0). Suppose 61 = 4*g + m. Is g >= 11?
True
Let f = 0.2 + 0.7. Let d = 1 - f. Is d greater than 0?
True
Let n = -90 - -91. Which is bigger: n or -1/42?
n
Let j = 28/51 - -2/17. Let i = 7 + -6.9. Is i <= j?
True
Let l be (-5)/(-8)*8/2. Let h = 3 - l. Which is smaller: 1 or h?
h
Let x = -84 - -85. Let p = 32.83 + -33. Which is smaller: x or p?
p
Suppose t + 2*t + 12 = 0. Which is smaller: -3 or t?
t
Suppose -5*r = 2*n - 3*n + 32, -4*n = 4*r + 40. Is r at most 3?
True
Let j be (-2169)/15 - 4/10. Let z be 2588/18 - 1 - -2. Let u = j + z. Which is greater: u or -1?
u
Let i be 0/(-1) - -1 - 1. Suppose i = y - 4*y - 3. Suppose 0 = -2*f + 4*f. Which is smaller: y or f?
y
Let w(p) = p**2 + 4*p + 2. Let m be w(-3). Which is smaller: 1/169 or m?
m
Let v = -42 + 44. Which is smaller: 22/7 or v?
v
Let b be (-1)/3 + 26/(-30). Let l be 0*3/(-3 + 0). Which is smaller: l or b?
b
Let k = -39 - -22. Are -0.2 and k nonequal?
True
Let q = 0 - -5. Let t(y) = -y + 6. Let j be t(q). Let l = j + -1. Which is greater: 1/2 or l?
1/2
Suppose 2*j = -4*c + 6*j + 12, -3*c - 2*j - 11 = 0. Is c < -9/10?
True
Let a(p) = -3*p + 22. Let x be a(6). Are 4 and x equal?
True
Let p(q) = q**2 - 5*q + 4. Let c be p(4). Suppose g = 2 - c. Which is bigger: g or 1/2?
g
Let s = -16 - -16.7. Let x = s - 1.5. Let u = 0.5 + x. Which is smaller: u or -0.1?
u
Let n = 0.07 - -0.93. Do -2 and n have the same value?
False
Let t be ((-2)/(-2))/(6/((-24)/1)). Suppose -2*o = 8 + 2. Is o equal to t?
False
Let k = -2.9 + 13.9. Which is smaller: k or -0.1?
-0.1
Suppose -2*c = 3*c - 25. Let s = c - 2. Suppose -3*k - 2*k + 5 = 0. Which is greater: k or s?
s
Let o = 11 - 6. Suppose -42 = -2*x + p + p, 0 = -x - o*p + 3. Suppose 2*y - 4*j + x = 0, 0 = 5*y + j + 2*j - 20. Which is greater: 3/2 or y?
3/2
Let a(z) = 4*z + 1 - 5*z + 8 + 0. Let s be a(7). Which is bigger: 3 or s?
3
Let w = -13 + 21. Let y = -8.1 + w. Which is smaller: y or -2/13?
-2/13
Let g = 2458/45 + -434/9. Is 6 greater than g?
False
Let c(s) = s - 3. Let h be c(1). Are h and -7/6 nonequal?
True
Suppose -3*f = -9*f - 30. Let z(q) = q + 3. Let u be z(-7). Which is bigger: f or u?
u
Let p = 5 - 8. Let r = -85 - -89. Which is smaller: p or r?
p
Let u(q) = 3*q**3 - 4*q**3 + 0*q**3 + 8 - 4 - q + q**2. Let w be u(0). Is 4 at most as big as w?
True
Suppose 0 = j + 4*q - 3, -4*j + 5 + 7 = -5*q. Let c be (j/(-21))/((-3)/9). Let y = c - 1/35. Which is greater: 2/9 or y?
y
Let c = -602 - -3021/5. Is c greater than 2?
True
Let v = 0.3 - 0.26. Let r = 50 + -49.54. Let o = v + r. Which is smaller: -1/4 or o?
-1/4
Let p = 0.7 + -5.7. Let v = p - -4.9. Does v = 0.06?
False
Let g = 3 - 9. Is g >= -6?
True
Suppose 2*o + 8 = -3*l + 2, 2*o + 6 = -l. Let i = 1 - l. Which is greater: i or -1?
i
Suppose 0 = x - t - 1, 3*t - 21 = -3*x - 0*t. Suppose -4*y - 2*h + 10 = 0, x*y - 8 = -h - 3. Which is smaller: y or -2?
-2
Let k(a) = -a + 6. Let f be k(6). Let h(y) = 0 - 1 - 2*y + y. Let v be h(f). Which is bigger: 1/4 or v?
1/4
Let u = -146 - -141.99. Let n = u + -0.29. Let i = n - -4. Which