r(0). Is w less than -1/10?
True
Let c = 31 + -27.8. Let x = c - 3. Suppose 4 = -2*s + 4*s + 2*z, 5*z - 9 = -4*s. Which is smaller: x or s?
x
Let w = 0.1 + 0.4. Which is smaller: w or -2?
-2
Let x(h) = -h**2 - 5*h + 4. Let r be x(-5). Are r and 1 unequal?
True
Let u = 8347/23 + -363. Suppose -a + 4*a = 30. Suppose 7*z - a*z = 0. Is u <= z?
True
Let t(z) = z - 4. Let u be t(7). Suppose -3*a = 2*y + 11, -16 = -u*y + 4*a - 2*a. Let d = -5 - -8. Is d < y?
False
Let n be ((-2)/(-4))/((-6)/48). Let h(d) = -d**3 + 7*d**2 - d + 2. Let r be h(7). Let c = r - n. Are c and -1 equal?
True
Let l be -2 + -1 + (4 - 1). Let b be (0 + 1)/((-15)/5). Which is greater: l or b?
l
Suppose -x = 2*v + 6, 3*v + 4*x = -5 - 14. Which is smaller: -6/7 or v?
v
Let c(y) = -y + 14. Let p be c(12). Let j = p - -2. Suppose -k = 5*q + 27, 3*q - j*q - 5 = 0. Which is smaller: k or -4?
-4
Let u = 7 - 74/11. Is u less than 0?
False
Let m = 0 + 2. Let o(y) = -y**3 - 4*y**2 + 3*y. Let z be o(-5). Suppose -4*w + 9*w - z = 0. Is m at most w?
True
Let h = 406 + -837/2. Is h greater than -13?
True
Let q = -51.7 - -49. Let n = q - -0.7. Which is greater: n or -3?
n
Suppose -3*m + 2 = 4*q, -4*m - q = q - 6. Suppose -m*z + 20 = 2*z, -15 = -5*y - 5*z. Let o(h) = -h - 4. Let f be o(-3). Which is smaller: y or f?
y
Let r(s) = 4*s**2 + s. Let z be r(1). Suppose t + i = 14, 2*t + z*i - 34 = t. Which is smaller: t or 8?
8
Let f(k) be the first derivative of -k**2 - k + 2. Let d be f(-2). Which is bigger: 8/3 or d?
d
Let g(f) = f**3 - 4*f**2 - 4*f - 5. Let i be (3 - 3) + 1*5. Let s be g(i). Is s at most as big as 1?
True
Suppose x = -3*d + 13, -x + 3*x + d - 6 = 0. Let r = 3 + -6. Let j = -4 - r. Which is smaller: j or x?
j
Let p = 1500/12461 - 2/733. Let g(a) = -a**3 - 5*a**2 + 6*a - 7. Let d(u) = u**2 - u + 1. Let f(w) = 6*d(w) + g(w). Let j be f(1). Which is smaller: j or p?
j
Let s(m) = -m + 8. Let u(c) = c**3 + 8*c**2 - 10*c - 9. Let f be u(-9). Let b be s(f). Is 7 less than b?
True
Let f = -0.1 + -0.1. Let n = -1 - -5. Suppose 10 = 4*i - 5*x, 0*i + 2*x = -5*i - n. Is f at least as big as i?
False
Let p(d) = d**2 + 3*d - 4. Let b be p(-3). Is b <= -3?
True
Let v(g) = g**3 - 1. Let t be v(2). Suppose -13 = -3*h + 4*d, 4*d + t = 5*h + d. Suppose 4*y = 4, -p - 5 = -2*y - 1. Is h at least as big as p?
True
Let a = -1795/8 + 224. Which is greater: 0 or a?
0
Let v(k) = k - 4. Let q be v(2). Which is bigger: q or 0?
0
Suppose 3*i = -2*i + 20. Let o be -2 - (i/6)/(-1). Which is bigger: 0 or o?
0
Let y be (0 - 3) + (8 - 2). Suppose y*f - 2*f = -1. Is -7/3 < f?
True
Suppose -2*v - 3*v = 85. Which is greater: v or -18?
v
Let l be 2/(-13) - 2192/(-52). Let v be l/2 + 5 + -6. Let h be v/30*1/(-8). Is -1 less than or equal to h?
True
Let u be -2 + -4 - -2*1. Let w = u - -4. Which is bigger: -6/7 or w?
w
Let t = 0.17 - -1.63. Let u = t + -1.7. Is u > -0.2?
True
Let h = -6 + -27. Is h at least 0.1?
False
Let b(p) = p**2 - 7*p + 0*p**2 + p - 9 + 1. Let g be b(7). Is -2 greater than or equal to g?
False
Let x(z) = -z**3 - 5*z**2 + 5*z - 7. Let c be x(-6). Let p be 2 - (-2 - -2 - c). Which is smaller: 2 or p?
p
Suppose -419 = -5*w - y, -47 = 2*w - 4*y - 219. Is w < 84?
False
Let o = -0.081 + 1.081. Let h = 1 + 2. Let a = 3.1 - h. Which is bigger: a or o?
o
Let j(g) = 18*g**3 + g**2 - 1. Let h be j(1). Let o = -78 + h. Let s = 299/5 + o. Do s and -1 have the same value?
False
Let c = 0.6 + -0.73. Let i = 5.87 - c. Does i = 0.2?
False
Let g be ((15/(-175))/(-1))/(2/10). Which is smaller: 0 or g?
0
Suppose 6*t + 11 = 5*t + 4*a, -3*a = -9. Let z = -1 + 4. Is z less than t?
False
Suppose -4*t + 3*y = -0*y - 36, -3*t + 30 = -3*y. Is 7 greater than t?
True
Suppose -22*x + 8*x = 1260. Is x != -90?
False
Let s = 0.2 + -0.4. Let p = s - -0.15. Let f = 0.012 + -0.012. Which is bigger: f or p?
f
Let r be (-3)/(-4) + (-440)/608. Which is greater: r or -1?
r
Let a be ((-20)/75)/(-2 + 8). Which is smaller: a or 0?
a
Let n(h) = -h - 10. Let j be n(-11). Which is smaller: j or 1/4?
1/4
Let w = 1/2 - 9/10. Is 2 smaller than w?
False
Let w = -656.9 + 707. Let u = -46 + w. Let m = u - 4. Which is bigger: -0.3 or m?
m
Let g = 8.6 - 8. Let u = 24 - 24.8. Let p = u + g. Are 0 and p nonequal?
True
Let p = -2/2255 + 9/902. Which is bigger: 0 or p?
p
Suppose -w + 5*l = 5, 2*l = -2*w + 3*l + 8. Which is smaller: 32/7 or w?
32/7
Let w = 4 + -5. Let o = 0.44 - 0.4. Let s = o - -2.96. Which is greater: w or s?
s
Let b(d) be the first derivative of -d**3/3 + d**2/2 + 2*d - 1. Let u be b(0). Let n be (3/u)/((-30)/(-8)). Which is bigger: 1 or n?
1
Let l be 7 + (9/3 - 4). Let p be (2/20)/(l/45). Which is bigger: p or 1?
1
Let v = 0.18 - 0.08. Let s = 5 - -1. Let l = -5 + s. Is l < v?
False
Suppose -3*o + i + 19 = -o, -5*i = 4*o - 31. Which is greater: o or 1?
o
Let i be (3/(-6))/(40/(-6)). Which is bigger: -1 or i?
i
Let p be (-10)/(-2)*9/(-5)*-1. Is p smaller than 8?
False
Let z be 8/(-28) - (-24)/(-14). Let j(h) = -h**3 - h**2 - 1. Let n be j(z). Suppose d + n*i = -5, -4*i + 2*i = -2*d + 6. Is d less than or equal to 2/3?
False
Let z = 0.36 - 0.4. Let q = z + -10.96. Let a = 7 + q. Is -1 less than a?
False
Let g be -3*(4 + 21/(-5)). Do g and -2 have the same value?
False
Suppose 2*q - 12 = -2*q, -i - q = 0. Let v = 11/3 + i. Is v greater than or equal to 1?
False
Suppose 4*f + 2 - 5 = 5*k, 3*f + 4*k - 10 = 0. Let y be (f + -1)/2*0. Suppose y = 5*x - 2*x. Does 1 = x?
False
Suppose 0 = 4*c - 1 + 5. Let u = -6/47 - -183/329. Which is greater: c or u?
u
Let h(q) = -q**2 + 13*q + 5. Let r be h(9). Suppose -4*o = 5*b - r, -3*o = -5*b - 2*o + 21. Let w = 2 - -2. Which is bigger: b or w?
b
Let n be (42/4)/(-7) - -1. Is 7 bigger than n?
True
Suppose -6 = 3*x - 0. Let c = 0.7 + -2. Let n = c - 2.7. Which is greater: n or x?
x
Let m = 12 - 8. Let f be 766/(-12)*m/(-2). Let d = 129 - f. Which is smaller: d or 0?
0
Let q = -3/181 + 1107/1267. Is q > 1?
False
Let m = 5 + -5.1. Suppose 4*z + 33 = -27. Let f be 1/(-45) + 3/z. Is m at most as big as f?
False
Suppose 0*g - 6 = -2*g. Suppose -g*c - 4*l = -12, 3*c - 14 + 5 = -3*l. Is c equal to 2/11?
False
Let a = 10 - 10. Suppose 5*d - 130 - 8 = 3*h, 5*h - 3*d = -246. Let c = 256/5 + h. Which is greater: a or c?
c
Let h = -1.8 - 0.2. Is 0.2 bigger than h?
True
Let o(r) = -r**3 - 5*r**2 + r + 2. Let n(y) = -y - 4. Let w be n(-5). Let a be -15*(w - 6/9). Let p be o(a). Do -2 and p have different values?
True
Let x(s) = 3*s**3 - 2*s**2 + 2*s - 1. Let g be x(1). Let l be (g/(-6))/(4/(-72)). Is l bigger than 6?
False
Suppose -5*x - 2*a + 9 = -9, 4*x - 17 = a. Which is smaller: x or 5?
x
Let s = 10673/3810 - 1/762. Which is greater: s or 2?
s
Let n(b) = b**2 + 5*b - 6. Let t be n(-8). Let w = t - 17. Is -8 bigger than w?
False
Let c(n) = n - 12. Let z be c(12). Let a be 1/1*(-15)/(-3). Suppose -2*k - 9 = -a*d, -4*k - 2*d + z - 6 = 0. Is k less than or equal to -1?
True
Let b(p) = p**2 - 5*p + 4. Let n be b(5). Let c be (n/6)/(1/(-3)). Is 0 < c?
False
Let y be (3/4)/(3/(-282)). Let t = -69 - y. Is t less than 3?
True
Let x = 0.5 - 0.3. Let n = -7 - -12. Suppose g + n*q - 15 = 0, -5*g - 8 - 7 = -5*q. Is x greater than g?
True
Let d = 26 - 27. Which is smaller: -9 or d?
-9
Let k(l) = -l**2 - 2*l - 3. Let g be k(-6). Let h = g + 109/4. Which is smaller: h or 0.2?
0.2
Let r be (-2)/(-6)*(-48)/56. Is 15 greater than or equal to r?
True
Let b = -1 + 1. Let j(r) = -r**2 + 5*r + 1. Let i(t) = t**2 + 1. Let d be i(2). Let v be j(d). Is b >= v?
False
Suppose -15 = 3*u - 8*u. Let o be (-222)/8 + 1/(-4). Let r be (-9)/u - 92/o. Are r and 1 non-equal?
True
Let i = 19 + -10. Let v = -8 + i. Let x = -13 - -67/5. Which is smaller: v or x?
x
Let t(x) = x**3 - 8*x**2 - 9*x + 8. Let u be t(9). Is u greater than 8?
False
Let i be 2/((-76)/2 + -3). Let j = i - -178/287. Suppose 3*z - 2*b + 4 = 0, -2*b = -1 - 3. Which is greater: j or z?
j
Let k(z) = z**2 + z - 19. Let o be k(7). Is 36 >= o?
False
Let c = -2.3 - -1.4. Let z = -5.1 + c. Let x = z + 6.1. Is x smaller than 2?
True
Let v = -109/6 - -35/2. Suppose 2*p - 4*p = 0. Which is bigger: p or v?
p
Let f be 16/144*6/(-4). Is 1 at most as big as f?
False
Let f be (-3)/4*(-24)/(-27). Suppose 0 = -h - h. Are f and h equal?
False
Let i(m) = m**3 + 7*m**2 + 3*m + 2. Let k be i(-6). Let