+ 6. Let f be l(0). Let a be r/(-4)*f/(-9). Is a not equal to -1?
False
Let k(p) = p**2 + 7*p + 6. Let j be k(-6). Let w = -61 - -64. Is j at least as big as w?
False
Let h = 98.93 + -102. Let o = h + 3. Let q = 0.17 + o. Is 0 > q?
False
Let f(k) = 1. Let u(n) = n - 14. Let b(s) = -6*f(s) - u(s). Let d be b(5). Suppose -8 = -2*x - 0. Which is bigger: x or d?
x
Let w(g) = -g**3 - 9*g**2 - 7*g + 6. Let v be w(-8). Is v at least -2?
True
Let l = -75 + 76. Is l <= -9/2?
False
Let y = 1511/14 - 108. Suppose -4*u + 4 = 4*m, 2*u + 2*m + 1 = -3*u. Is y >= u?
True
Let c = -0.046 + 1.046. Which is bigger: c or 0.8?
c
Suppose -3*t = 3*f - 15, -3*t - f - 20 = -5*f. Suppose q - 4 + 1 = t. Suppose 5*j - q = 12. Which is bigger: j or 2?
j
Let y(u) = -u**2 + 4*u + 7. Let w be y(5). Suppose w = c + 3. Suppose -p - 1 + 0 = -3*i, i - 22 = -4*p. Which is greater: c or i?
i
Let m(z) be the third derivative of z**6/120 - z**5/5 + z**3/2 + z**2. Let g = 16 - 4. Let y be m(g). Is y < 3?
False
Let c = -27 + 27.02. Is c less than -0.2?
False
Let s = 15 - 25. Let n be s/(-4)*(-1)/5. Which is smaller: n or -1?
-1
Let r = 50 - 34. Suppose 0 = -2*s + 8, 2*n + r = 4*n + 3*s. Suppose 2*y + 12 = -4*d, -2*y = -3*y + 4*d + 12. Which is smaller: n or y?
y
Suppose 0*y = -v - 5*y - 10, 4 = v - 2*y. Which is smaller: 1/23 or v?
v
Let h = -1 - -3. Is h less than 12/11?
False
Let h = -1 + 4. Suppose -h = 2*o - b, 4*o = 2*b + 2*b - 16. Is o bigger than -1?
True
Let h be 9*(-1 - 21/(-9)). Let w be 3*(-1 - h/(-9)). Are 0 and w unequal?
True
Let s be -3 - (0 + 2 - -3). Which is greater: s or 1?
1
Suppose -1 + 5 = 2*i. Let b be i/(-4)*(2 - 4). Is b at most as big as -2/49?
False
Let a be 2/(-2 - -3)*1. Suppose 0 = 3*v + a*v. Which is bigger: 0.6 or v?
0.6
Suppose 0 = 3*x - 2*t + 1, -x + 5*x - 8 = 5*t. Let g = 11 + -2. Let y = -13 + g. Which is smaller: y or x?
y
Let f = 17911/26 - 689. Is 0 > f?
True
Let y = -0.06 - -0.12. Let t = y - -0.04. Is 0 greater than t?
False
Let a be ((-5)/(-90)*8)/((-18)/(-81)). Let z(r) = -13*r + 3. Let d be z(5). Let h = d + 127/2. Which is smaller: h or a?
h
Let b = 40 - 43.6. Let s = b - -0.6. Let q = 0.39 - 0.49. Which is smaller: q or s?
s
Let h be ((-2)/(-1))/((-5)/(-20)). Let c(a) = -a + 1. Let p be c(h). Which is bigger: -8 or p?
p
Let i = -2 - 0. Let a be (-4)/(-12) + i/6. Let k be 2*1*(-3)/(-6). Which is bigger: k or a?
k
Let n = 0 + -5. Let o = 5 + n. Which is bigger: o or -0.04?
o
Let n(w) = -w**3 + 5*w**2 + 6. Let l be n(4). Suppose 0 = -5*k + 38 + 72. Is l greater than or equal to k?
True
Suppose 27 + 3 = 5*d. Let k be -2 + 0 - d/6. Which is bigger: k or -2?
-2
Let w be (-285)/(-25) + 1 + 6/(-15). Which is greater: w or 9?
w
Let m be 0/((10 + 2)/4). Is 0 at most m?
True
Let h be 64/(-19) - -4*2/4. Is 0 less than h?
False
Let v = -2/1387 - -148/1387. Let q be 2/(-6) - (-22)/(-33). Which is greater: v or q?
v
Suppose 6*h = 12*h. Is -1/11 at least h?
False
Let x = -0.47 + 0.37. Is x > 13?
False
Suppose -4*m - 10 = m + z, -3*m + 3*z - 6 = 0. Let g be (-1)/m*(1 + 3). Which is smaller: g or 0.3?
0.3
Let y(o) be the second derivative of -o**6/360 + o**5/30 - o**4/24 - o**3/6 - o. Let q(b) be the second derivative of y(b). Let g be q(3). Are 2 and g equal?
True
Let j be 10/4*(-24)/(-20). Suppose 0 = 3*z - 5*s + 3, 1 = -z + 6*s - j*s. Do 4/9 and z have the same value?
False
Let n = -19 + 17.3. Let m = n + 0.65. Let d = 0.05 + m. Is d not equal to -1/4?
True
Let x = -55 - -25. Let m be 12/x + (-3)/(-2). Let p = m - 17/10. Which is smaller: p or -1?
-1
Suppose -3*h = 3*h - 54. Is 11 >= h?
True
Let s be 6/4 + (-28)/8. Which is greater: -16/11 or s?
-16/11
Let g be (-39)/(-18) - 2*1. Suppose -3 - 1 = -4*v. Suppose i = -s - 1 - v, -10 = 2*s + 4*i. Which is greater: g or s?
s
Suppose 5*n = -0*n + z + 5, 20 = 5*n - 4*z. Let o be ((-3)/156)/((-1)/(-10)*5). Do n and o have different values?
True
Suppose 6*p = 3*p + 4*p. Which is smaller: -1/29 or p?
-1/29
Suppose 5*t + 0*k = -k + 30, -2*t - 4*k = -30. Suppose -5*d - 17 = -2*r, -4*d - t*r - 8 + 1 = 0. Which is smaller: d or -2?
d
Suppose 5*d + 3*t = -18 - 11, 0 = t + 3. Let w = d + 2. Which is bigger: 0 or w?
0
Suppose -4*i - 7 - 1 = 0. Are i and -5/2 non-equal?
True
Let q = 0.51 + 1.49. Is q > -1/5?
True
Suppose 0 = -b - 3*m - 9, 8*m + 9 = 5*m. Let p = -66 - -56. Are b and p non-equal?
True
Suppose 1 + 1 = -2*a. Suppose j - 4 = -1. Suppose -p = -3*t - 2, j*t = -p - t - 5. Is p less than or equal to a?
True
Let n(h) = -h**2 - 12*h + 13. Let t be n(-10). Is t at most as big as 34?
True
Let t = 4 + -3.8. Let z = 0.3 - t. Let c = 6 - 6.3. Are z and c equal?
False
Let c = 7 + -8. Let k = -14910/29 - -514. Let f = -13/116 + k. Is c >= f?
False
Suppose -11*i + 6*i - 5 = 0. Which is smaller: -2/9 or i?
i
Let a(t) = -2*t**2 + 7*t + 1. Let j(h) = h**2. Let w(f) = a(f) + 3*j(f). Let q be w(-5). Is q equal to -10?
False
Let n be -1*(5 + 12/(-4)). Let r(a) = -a**3 + 4*a**2 - a - 4. Let x be r(3). Let l be n + x + 1 - 2. Which is smaller: 0.1 or l?
l
Suppose 0*f + 3*f = 0. Let h(r) = r**2 - 5*r - 10. Let i be h(7). Let n be (i/14)/(-1 - -2). Which is smaller: f or n?
f
Suppose 6*d - d - 28 = 3*f, 10 = -3*f - 4*d. Let h(b) = b - 7. Let s be h(5). Let z be (s/12)/(f/(-8)). Which is bigger: z or -1?
z
Let s = 11.16 - 0.16. Let t = s + -21. Let g = t + 13. Which is smaller: g or -2/3?
-2/3
Suppose -4*i + 205 = 5*j, 2*i - 4*i - 3*j + 105 = 0. Suppose i + 60 = s + 5*u, 279 = 3*s + 3*u. Let g = s - 448/5. Is 1 greater than or equal to g?
True
Let m = 209/3 - 79. Which is greater: -8 or m?
-8
Let j be (-10)/2 - (-2 - -2)/(-1). Is -11/3 less than or equal to j?
False
Let n = 1.6 + -0.6. Let b = n + -0.98. Let f = -0.98 - b. Is -0.3 bigger than f?
True
Let d = -3 - -15. Suppose d = -4*z - 0. Is 0 not equal to z?
True
Let v be (-4)/(-6) + 12/(-45). Let y(g) = -g**2 + 3*g - 3. Let t be y(3). Let f be (1/t)/(5/(-6)). Is v <= f?
True
Let s = 2.0306 + 0.0394. Let v = -0.07 + s. Let j = -164/63 - -26/9. Which is smaller: j or v?
j
Let v = 1 - 1/2. Let n = 15 + -13.9. Let d = n + -1. Which is smaller: d or v?
d
Suppose c = 6*c. Let g be c/(1 + 1/1). Let s be (0/(-2))/(-2 + 0). Are g and s non-equal?
False
Let d be 5*(2 - (-12)/(-5)). Suppose 0 = -2*x - f - 2*f + 6, 0 = 2*x - 4*f + 22. Is x greater than or equal to d?
False
Let d be (-6)/4 - (-3)/(-6). Is d less than or equal to -1?
True
Let g be 5/(-7) - 14/49. Which is bigger: -1/10 or g?
-1/10
Let b = 6 + -6. Is b at most 1?
True
Suppose -r - 3*q = 4*r + 159, 5*q = -r - 23. Are -32 and r non-equal?
True
Suppose -15 + 7 = 4*v. Let p be 6/(-4)*v/(-5). Are p and 0 non-equal?
True
Let c = -43 + 35. Which is smaller: -2/9 or c?
c
Suppose 0 = 5*w + 27 + 23. Let y = w + 7. Which is smaller: y or -5?
-5
Let r = 31/6 + -2/3. Let l = 12 - 8. Is r greater than or equal to l?
True
Suppose -2*l = l - 3. Let k = 0.117 - 0.087. Which is bigger: l or k?
l
Let i be (-6)/(0 - 12/8). Which is smaller: i or -1?
-1
Suppose 0 = -3*s + 43 - 7. Suppose -5*f + 415 + 170 = 0. Let m be (s/f)/(2/3). Is -1 greater than m?
False
Let q(x) = -1 - 3*x**2 - 6*x + 2*x**2 + 8 + 0*x. Let o be q(-8). Is o bigger than -9?
False
Let w = 4 + -3.95. Let n = -3 + 4. Is w less than or equal to n?
True
Let i(z) = -2*z - 5. Let v(h) = 3*h + 7. Let l(a) = 7*i(a) + 5*v(a). Let o be l(-1). Let r = -29/3 - -209/21. Is o greater than r?
False
Let v = -3 - -2. Let d be (v/(-2))/(2/20). Suppose 3*s + d*n - 6 = 0, 3 = 2*s + s + 4*n. Is -2 <= s?
False
Let n = -0.174 + 7.274. Let x = 7 - n. Which is greater: -1 or x?
x
Let g = 2112 + -69686/33. Which is smaller: 1 or g?
g
Let f = -1 - -0.8. Let v = -0.9 + -0.1. Let i = v + 1. Is i at most as big as f?
False
Let z(s) = -6*s - 126. Let y be z(-30). Which is smaller: 56 or y?
y
Let m(b) = -6*b. Let n be m(-1). Suppose n*d - 5 = d. Let r be (-35)/(-11) + -2 - 1. Which is greater: d or r?
d
Suppose 8*r = 12*r. Suppose r = -6*i + 2*i - 4. Which is greater: 1/4 or i?
1/4
Let f = -5.8 + 0.8. Let l = f - -4.6. Suppose 3*g - 6 = -9. Which is bigger: l or g?
l
Let b = 1/135 + -337/9045. Which is smaller: 1 or b?
b
Let a be (-3816)/180 + (-2)/(-10). Which is greater: a or -43/2?
a
Let o = -419/497 + -1/71. Let t = 10/21 - o. Let a = 1 + -1. Which is smaller: t or a?
a
Suppose -2*r = -3*r. Suppose -m + r*