) = d + 9 - 2*d - 4. Let v be f(6). Which is smaller: v or 1?
v
Let f = -80039/10 - -8017. Let s = -27/2 + f. Which is bigger: s or -1?
s
Let v = -35 + 19. Let l = -17 - v. Which is smaller: l or 3/2?
l
Let q be 2/4*10*-1. Which is smaller: -2 or q?
q
Let b(l) = l**2. Let v be b(1). Which is smaller: 3 or v?
v
Let u be 21/107*-5 + 1. Let v = u + -331/535. Are v and -2 unequal?
True
Let f = -7 + 8. Suppose f = v - 1. Suppose 0 = -p + 4 - 5. Which is smaller: p or v?
p
Let g = 0.041 - 0.141. Let j = -0.3 - -0.1. Let h = -0.3 - j. Are h and g equal?
True
Let l = -0.4 + -0.2. Let v = 32 + -35.6. Let s = v - l. Which is bigger: s or -0.1?
-0.1
Suppose 9*p = -12 - 6. Suppose 5*j + 0*q - 4*q = 4, j + 4*q - 20 = 0. Let o = -6 + j. Are p and o unequal?
False
Let l be (1 - -3)/(12 + -13). Let q be (-405)/36 + 3/l. Which is bigger: 0.2 or q?
0.2
Let s = 5 + 4. Suppose 0 = -5*j + 1 + s. Let f = 45/2 - 219/10. Which is smaller: j or f?
f
Let s be (-3 - -4)*(0 + 6). Let f be ((-15)/s)/5*-34. Let p = 12 - f. Do p and 2/7 have different values?
True
Suppose 0 = 12*a - 16*a + 4. Which is bigger: a or 1/52?
a
Let n be (1/(-3))/((-63)/(-216)). Do n and 0 have the same value?
False
Let m be (-1 + 1)/(4/(-2)). Let i be -1*(1 - 2 - m). Let s = 0 - i. Which is bigger: s or 1/3?
1/3
Suppose -d - 8 = -3*d. Let s be d + -3 + -1*2. Do 1/5 and s have the same value?
False
Let z = 6 + -7. Is 5/11 greater than z?
True
Let k(q) = 12*q**2 - q + 2. Let m be k(1). Is 9 < m?
True
Let p = -135/8 - -431/24. Let y = p - 89/60. Which is bigger: 0.2 or y?
0.2
Let a = -2.8 + 3. Let x = -12 + 11. Let p be (-1)/x*1/(-4). Do p and a have different values?
True
Suppose 2*u - 4 + 2 = 0. Suppose -3 - u = 2*v. Is v > -2?
False
Let f = 6 - 8. Let x = f + 0. Let r be (-16)/(-6) + -1 + x. Which is smaller: r or -1?
-1
Let g = 22 - 12. Let d = -14 + g. Is -2 greater than d?
True
Let l = 837/5 - 167. Do l and -0.9 have different values?
True
Suppose 5*y - 3*m - 2 = -m, 0 = 2*m + 2. Let s = 4 + -2. Suppose -4*b + 0*t - 2 = 2*t, 0 = -s*t - 2. Is b < y?
False
Let v = 22 + -11. Let m(d) = -d**2 + 10*d - 7. Let y be m(v). Are y and -18 nonequal?
False
Let z be -4*(-3)/2*1. Suppose -z*u + 15 = -u. Let g(i) = i**3 - 3*i**2 + 3*i - 2. Let c be g(2). Which is bigger: u or c?
u
Suppose 9*n = 8*n. Is 1 > n?
True
Let p = -9 - -12. Let i be 3/13*2/p. Is 0 >= i?
False
Let m(o) = -o**2 + 7*o + 11. Let q be m(8). Suppose f = q*f. Does f = -1/2?
False
Let o = -76.9 - -77. Which is smaller: 93 or o?
o
Suppose -30 = -8*b - 78. Is b at least as big as -24/5?
False
Let m = -16 - -16. Which is greater: m or -3?
m
Let v be (7 + -3 + 2)/(-1). Let a = v + 2. Is -2 >= a?
True
Let j = 23 + -23.04. Is -1/2 bigger than j?
False
Suppose -8*l = -12*l - 132. Is 0.1 < l?
False
Let n = 90 + -46. Let s be (-1)/(-2) + n/(-8). Which is smaller: -7/2 or s?
s
Let t = 0.48 + 8.62. Let w = t + -9. Let m = 0.33 + -0.03. Is w not equal to m?
True
Let g(f) = f**3 - 5*f**2 + f - 5. Let w be g(5). Let j(c) = -c - 1. Let u be j(w). Let y be 2/(4/6) + u. Is 2 <= y?
True
Let n = -206 + 211. Suppose -4*a + 0*a + 13 = -t, -t - 8 = a. Let p = -5 - t. Is n > p?
True
Let r = 5273/21 - 251. Let v = r - 8/35. Which is bigger: v or -1?
v
Let u(t) = -t**2 + 2*t + 1. Let r be u(2). Is -16 at least as big as r?
False
Let s = -50 - -35. Is s != -17?
True
Let o be (-1943)/(-2703) - 2/3. Let h = -9/53 + o. Is -1 less than or equal to h?
True
Let c(a) = -a. Let r be c(5). Let g be (-1)/r + 12/15. Which is greater: -4 or g?
g
Let i be ((-1)/4)/((-219)/60 - -3). Which is smaller: i or -1?
-1
Suppose 4*l + 208 = 4*d, d + l - 14 - 40 = 0. Suppose 5 = 4*f - 4*w + d, f - 4*w + 15 = 0. Let o = f + 8. Which is smaller: -2 or o?
o
Suppose -3*y - 1 = -2*x, 2*y - 7 = -5*x + 5*y. Which is smaller: 1 or x?
1
Let y = -6 - -5.99. Let d = y + 0.11. Is 1/4 at least d?
True
Suppose 6 = m + 2. Suppose 0 = -2*b + m. Suppose 0 = b*g + g. Is g at least as big as 0?
True
Suppose -4*y = -4 - 0. Let r = 8050/33 + -244. Is y less than or equal to r?
False
Suppose s + 5 = 6*s. Which is bigger: s or -2/49?
s
Suppose -w - 5*p = -11, 4*p - 23 = 2*w - p. Let y be (w/10)/(42/(-30)). Which is smaller: -1 or y?
-1
Let c(y) be the third derivative of 2/3*y**3 + 0 - 1/24*y**4 + 0*y + 3*y**2 - 1/60*y**5. Let u be c(0). Is u at least 3?
True
Let u be (-3 - (-3 - 0))/(-1). Suppose u = -5*s - 10, 4*s - s = -2*b - 8. Which is bigger: b or -0.2?
-0.2
Let w = 136801/197028 + 2/16419. Let j = -4/9 + w. Let d = -0.08 - -4.08. Which is bigger: j or d?
d
Let x be (-5)/25 + 26/5. Which is smaller: 3 or x?
3
Suppose -2 + 0 = d. Let m be ((-9)/(-3))/3 + d. Which is bigger: m or -3/2?
m
Let i(z) = z**3 - 10*z**2 + 7*z + 20. Let w be i(9). Let d(j) = -j - 5. Let q be d(-5). Suppose 5*g + 2*a - 8 = q, -4*g - a + 7 = -0. Is g < w?
False
Let u be (-13)/(-3) - (-4)/(-12). Suppose 17 = l - 3*k, 4*l + u*k + 1 = -11. Let b be 13/(-4) + 2 + l. Is b <= 0?
False
Let q(w) = w**3 + 6*w**2 + 3*w - 5. Let n be q(-5). Suppose n*y - 20 = 4*k, -5*y - 5*k + 3 = -17. Let s be (-3)/(0 - 42/y). Which is bigger: s or 2?
2
Suppose 0*v + 7 = -2*v + t, t = 3. Let u = 43 - 45. Does u = v?
True
Let h(i) = -i**3 - 9*i**2 + 7. Let k be h(-9). Suppose -k*d + 9*d + 6 = 0. Which is greater: -4 or d?
d
Suppose s - 2*v = 10 - 3, 3*s + 4*v - 1 = 0. Suppose 0 = c - s*c + 8. Is -1/2 at least as big as c?
False
Suppose -11*p - 49 = 28. Which is smaller: -8 or p?
-8
Let g = 9 + -4. Let x = 6 - g. Which is smaller: 3 or x?
x
Suppose -8*a = -7*a + 5. Let l be -3 + 6 + -2 - a. Let u be (2 + -1)*l/33. Which is smaller: u or 2/7?
u
Let r = -4 - -6. Let o = 11/24 - -1183/24. Let f = -49 + o. Which is bigger: f or r?
r
Let c be 1/(1/5) + 230/(-50). Let h(a) = a**2 - 1. Let r be h(0). Is c at most as big as r?
False
Suppose 7*j = 11*j. Is -2 at most as big as j?
True
Let p = 405/152 - 72/19. Suppose 4*k + 2 = 2*k. Is k at most p?
False
Let k = 87 + -87.1. Is -41 < k?
True
Let n(t) = -t - 15. Suppose -l - 4 - 12 = 0. Let i be n(l). Which is greater: i or 3?
3
Let j(i) = 2*i - 2. Let v be j(3). Suppose -v*s = c + 2*c + 4, 0 = -2*c - 3*s - 3. Let p = -3 + c. Which is greater: -5 or p?
p
Let t = -27 + 55/2. Is -1 > t?
False
Let x be (7 + -3)/2 - -2. Suppose 0 = -d + 5*d - x. Is -1 at least as big as d?
False
Let r(y) = -y**3 + y - 5*y**2 - y + y + 5. Suppose -5*t + 0*n = 3*n + 19, 4*t + 12 = -4*n. Let s be r(t). Do s and 1 have the same value?
False
Let i = -136 - -117. Is i > -19?
False
Let u(t) = -2*t - 3. Let n be u(-3). Which is bigger: n or -1?
n
Let m be 2/(-14)*(-3)/(-1). Let h = m - 0. Which is bigger: 1 or h?
1
Suppose -3*v + 1 = l - 1, 15 = -5*v + 2*l. Is 2/39 greater than or equal to v?
True
Suppose 3*g - 2 = 4. Suppose 0*c - 2 = -g*c. Let n = -1 - c. Which is bigger: n or -1/2?
-1/2
Suppose u = 5, -5*c + u = 4*u - 65. Does 10 = c?
True
Let b be (-27)/3 - (1 - 0). Are -10 and b equal?
True
Let l = -0.5 - -1.9. Let x = 4.4 - l. Suppose b = 2*b. Which is greater: x or b?
x
Let a be 0 + 4/(-18)*1. Suppose 9 = 3*m - 0*m. Let v be (-3 - (1 - m))*-1. Is v less than a?
False
Let r(c) = -2*c + 13. Suppose z = -2*z. Let v be r(z). Which is smaller: v or 12?
12
Let c = 37 - 34. Which is smaller: c or 5?
c
Suppose -5*m - 16 = -m + 4*c, -3*m + 4*c + 16 = 0. Are 2/15 and m equal?
False
Suppose 8 = 2*h - 0*h. Let z(j) = j**3 - 3*j**2 - 5*j - 3. Let l be z(h). Which is smaller: -6 or l?
l
Suppose 3*c + 10 = -3*g + c, g = c. Suppose 0 = -2*q + 3*q + 1. Are g and q equal?
False
Let b(n) = -n**3 + 5*n**2 - 5*n - 1. Let u be b(3). Suppose -2 = -u*x - 0. Which is greater: x or 18/11?
18/11
Let o = -0.1 + 0.3. Let q = 2.9 - 3.1. Is q greater than o?
False
Let f(x) = -2*x**2 - x - 1. Let v be f(-1). Let s = 2 + v. Suppose -4*r + 4 = -6*r. Do s and r have different values?
True
Suppose -9*s + 5*s - 20 = 0. Is s < 0.2?
True
Let s be (-15)/6*2/(-1). Suppose 0 = -4*w + s*c + 21, -3*w + 2*w + 2*c = -9. Let h be (-2)/14*(w + 0). Is h less than 1?
True
Let g(l) = 2*l + 6. Let q be g(-4). Let h be q + (1 - -2) - 0. Is 0 at least h?
False
Suppose 3*k - 2 = 25. Let z = k - 5. Which is smaller: 3 or z?
3
Let o = 0.1 - 0.4. Let m = 0.1 + o. Let k = m + 0.1. Is k at most as big as 0?
True
Let q be -51*4/30 - -2. Let z = q - -52/15. Is -1 not equal to z?
True
Suppose -5*p = -m -