alse
Let b(v) be the first derivative of -v**2/2 - 2*v + 5. Let z be b(4). Which is bigger: z or -8?
z
Suppose -2*u + 205 - 205 = 0. Let p be 3/(-20) - 1/4. Which is greater: p or u?
u
Suppose -3*w + w - 2*d = 10, 0 = 4*d + 8. Suppose -10*p = p + 22. Are p and w nonequal?
True
Let a = -0.14 - 0.06. Let h = -4.2 - a. Let z = 1 + h. Is z not equal to 0.1?
True
Let t(w) = -2*w**2 - 2*w + 5. Let p be t(3). Which is bigger: p or -18?
-18
Suppose 8 = 3*u + v, -u = -6*u + v. Let h = 118 - 592/5. Are h and u unequal?
True
Suppose -22*m + 14*m - 168 = 0. Is m less than or equal to -2?
True
Let q be ((-5 + 10)/(-10))/(2/(-12)). Do 34/11 and q have the same value?
False
Let i = -1.27 + 0.27. Is -2/31 < i?
False
Suppose a + 4*z = 3*a - 20, 3*a = 4*z + 20. Let j be (a - 0)*3/6. Which is bigger: 2/17 or j?
2/17
Let z = 3/23 + 25/161. Which is bigger: -5 or z?
z
Let a(m) be the third derivative of -m**5/60 + m**4/24 - m**3 + 3*m**2. Let d be a(0). Let y = d + 4. Which is smaller: -4 or y?
-4
Let s be (4/(-105))/(84/(-30) + 4). Which is bigger: s or -1?
s
Suppose -3*w = 3, 5*w - 4 = 4*j - 17. Let n be (6/4)/((-3)/(-8)). Which is smaller: n or j?
j
Let d = -150 + 150. Is -98 equal to d?
False
Let h = 2 - 0. Let u(w) = 9*w - 2. Let y be u(h). Let b be (-2)/(-3) + y/(-30). Is b at most as big as 0?
False
Suppose -3*n + 4 + 3 = -5*h, n - 6 = -2*h. Which is smaller: 5/7 or h?
5/7
Let z = -1/2 + 2/3. Let k be -3 - (-1 - 4/4). Is z less than k?
False
Let i(v) = 2*v**2 - 2*v + 3. Let h be i(2). Suppose t + h = 4*l - 0*t, -2*l - 13 = 5*t. Suppose 3*q + b + l = 0, -4*q - 5*b - 1 = -4*b. Is 0 bigger than q?
False
Let z(k) = k**3 + 8*k**2 + 11*k - 4. Let s be z(-6). Is s less than or equal to 18/11?
False
Let t be 0*(3/6)/1. Let p(z) = -z**2 + 0*z**3 + z + 0*z**3 + 4 + z**3. Let w be p(t). Is 3 at least w?
False
Let i = -2/387 - -905/387. Do 1 and i have different values?
True
Suppose 0 = 3*m - 7*m - 3*q - 15, 2*q + 10 = 0. Let a(j) = -j**2 - j + 4. Let t be a(-3). Which is smaller: m or t?
t
Suppose 2*t + 938 = 4*u + 5*t, 4*t - 936 = -4*u. Let i = -2126/9 + u. Which is smaller: i or 1?
i
Let a = 39 + -38. Let c = -0.1 - -0.3. Let y = -1.2 + c. Which is bigger: a or y?
a
Suppose 0 = -126*z + 123*z. Let y = 158/7 + -319/14. Which is bigger: z or y?
z
Let j(g) = -g**2 + 7*g + 5. Let b be j(8). Let a = b - 2. Which is bigger: -4 or a?
-4
Let g = 2 - 2. Let l = -0.54 - 1.46. Which is smaller: l or g?
l
Suppose 0 = 2*c + 3*f, 3*c - 4*f = -3*f - 11. Suppose -5*x = -x + 8. Is x < c?
False
Let m(g) = -2*g + 1. Let k be m(-3). Suppose k = -5*u - 8. Let q = u - -3. Which is greater: 0.2 or q?
0.2
Suppose 24 = -3*k - 0. Let o = k + 8. Let u be 2 + (-5 + o - -2). Is u less than 2/7?
True
Let o be ((-4)/6)/(19/(-399)). Which is smaller: 16 or o?
o
Let y(o) = o - 3. Let x = 6 - 6. Let z be y(x). Do z and -3 have the same value?
True
Let p be ((0 - 1) + 2)*0. Let i be p - ((-9)/3)/12. Which is smaller: -4/7 or i?
-4/7
Let u(v) be the second derivative of -v**4/6 - 7*v**3/3 - 5*v**2/2 + 10*v. Let l be u(-7). Suppose -3*y - 3 = 9. Which is greater: y or l?
y
Let m = 36 + -251/7. Suppose -2*j = -5*j - 3, -g + 5*j = -5. Which is greater: g or m?
m
Let a(w) = -3*w - 1. Let b be a(2). Let g be b/((-196)/8)*7. Is g <= 3/2?
False
Let r(m) = -m**2 + 7*m - 9. Let g be r(4). Let o(q) = -q. Let s be o(g). Suppose -1 + 13 = -4*u. Is u greater than or equal to s?
True
Let n be (4/5 - 1)/(-1). Let p = 13 - 11. Suppose 2*t - p = -4. Is n > t?
True
Let a(q) = -2*q**2 - 17*q - 9. Let c be a(-9). Which is bigger: c or -71/4?
-71/4
Let b = -2 + 1. Suppose -u = 0, 5*k + 2*u - 3*u + 5 = 0. Are k and b non-equal?
False
Suppose 3*y + 4*v + 13 + 0 = 0, 0 = -3*y + 5*v - 4. Which is smaller: -18/11 or y?
y
Let q be -1 + 0 + 9/(-3). Let y be 12/72 - (-2)/q. Which is bigger: y or -5/4?
y
Let s = -31 + 95/3. Is -0.1 bigger than s?
False
Let b be (-152)/16 - 2/(-4). Which is smaller: -26/3 or b?
b
Let x = -4 - -3. Let z = 24 + -15. Let o = z + -9.3. Which is bigger: o or x?
o
Let j(n) = -6*n - 36. Let p be j(-4). Which is smaller: 4 or p?
p
Let k = 40 - 27. Let d = 10 - k. Which is bigger: d or 0?
0
Let n be (-24)/14*(7 - 0). Which is smaller: n or -11?
n
Suppose -110 = -2*r - 0*r. Let m be (-2)/38*r + 3. Suppose 2*l - 14 = -3*x, 0 = -l - 4*x - 0 + 17. Is m not equal to l?
True
Let v = -2650 - -1020248/385. Which is smaller: v or 1?
v
Suppose t - 5 + 13 = s, -4*t = -s + 17. Let k be -3 + t/(-6)*4. Which is greater: k or -2/5?
-2/5
Let h be (-9)/6*(-16)/(-2340). Is h less than or equal to 1?
True
Let g = -0.47 - -0.4. Let k = -0.93 + g. Let w = -2 - k. Is w less than -0.4?
True
Suppose -h + 2 = -0*h. Let g(k) = -k**2 - 5*k - 3. Let s be g(-4). Suppose 5 = 2*l - 2*b + s, -5 = -l + 4*b. Is l at most as big as h?
True
Suppose -a = 5*f - 2 + 21, 4*a + 4 = -2*f. Is f not equal to -5?
True
Suppose -15 = -0*y - 3*y. Suppose y*r - 4 = r. Let x be 2/(-6) - 16/(-30). Does x = r?
False
Suppose -3*p + 23 = s + 2*p, 0 = 2*p - 10. Let v = -368/5 + 73. Which is smaller: s or v?
s
Let d be (-58)/16 + (-2)/(-1). Which is bigger: d or -1?
-1
Let y be 20/6 - 2/6. Let g(w) = w + 8. Let c be (-3 - 7)*(-6)/(-15). Let a be g(c). Which is smaller: y or a?
y
Suppose 4*b = 20 - 4. Suppose 6 = y + y. Let k = 6 - y. Which is smaller: b or k?
k
Let g(o) = -o + 2. Let x be g(2). Suppose -h - 3*u + 4*u - 3 = x, -4*h + 2 = 3*u. Let a = -56/391 - -6/23. Does a = h?
False
Let h = -4 + 6. Let v = h + -3. Let j = 0.07 - -0.03. Is j < v?
False
Suppose 2*a = -a. Suppose -2*u = -4*r + 40, 2*r + 4*u = -0*r. Suppose 4*w + 4*g = r, 5*w + 0*g + 4*g - 9 = 0. Which is bigger: w or a?
w
Let o = -41 - -38. Is -49 at most o?
True
Let l(k) = -5*k - 2 - k + 5*k. Let u be l(5). Which is smaller: -6 or u?
u
Let y = 65 + -79. Which is greater: y or -15?
y
Suppose o - 16 = -34. Let p be 172/36 - 4/o. Is p >= 4?
True
Let o = -583/2583 - -1/287. Which is smaller: o or -0.1?
o
Suppose 3*y - 15 = -2*y. Suppose y*z - v + 10 = 3*v, -4 = -v. Let j be (z/21)/(6/9). Which is smaller: 0 or j?
0
Let u = -0.406 - -0.006. Which is bigger: u or 0.2?
0.2
Let p be -1 + 1*-2 + 6. Let k = 4/3 - -1/6. Which is smaller: k or p?
k
Let m = 3 - -20. Let p = m + -17. Which is smaller: p or 7?
p
Let d = -6 - -6. Let b = -198/7 + 28. Which is bigger: d or b?
d
Let x(k) = -9 - 2*k + 2*k - k. Suppose -1 = -3*n - 25. Let o be x(n). Which is bigger: 0 or o?
0
Let u = -17 + 33/2. Let z = -153 + 169. Which is smaller: u or z?
u
Suppose 2*u = 7*u. Let m = 5 - 7. Are m and u non-equal?
True
Let o = 622 + -247. Let c = 6377/17 - o. Let l = -14 + 14. Which is bigger: c or l?
c
Let w = -84 - -76. Is w bigger than -0.1?
False
Suppose 3*y + 1 = 2*y. Let f be ((-1)/(-6))/((-1)/2). Is f less than or equal to y?
False
Let a be 0 + (-1)/((-3)/9*3). Are a and -3/29 unequal?
True
Suppose -2*t - 2*s + 3 = -3*s, 12 = -4*t - 4*s. Do 5/9 and t have different values?
True
Let w = 5.4 + 1.6. Let l = w + -5. Which is smaller: l or 2/7?
2/7
Let k(w) = 6*w**3 + w**2 - 1. Let y be k(1). Let s be ((-46)/6)/(10/y). Let o = 22/5 + s. Which is smaller: 1 or o?
o
Let f(s) = 4*s**3 + 7*s**2 - 7. Let j(a) = -3*a**3 - 6*a**2 + 6. Let h(d) = 2*f(d) + 3*j(d). Let p be h(-4). Let n = p - 6. Which is greater: -1 or n?
-1
Let o(s) = -s**2 - 6*s + 9. Let k be o(-7). Let f be (-68)/40 - k/(-4). Which is smaller: f or 0?
f
Let x = -0.057 - -0.357. Which is smaller: x or -2?
-2
Let p = 1.13 - 0.13. Is -0.1 at least p?
False
Let d(b) = b**3 - 5*b**2 - b + 4. Let w be d(3). Let c(i) = -2*i**2 - 4*i - 2. Let l be c(-4). Is l >= w?
False
Let q = -0.149 - 0.051. Let u = -0.2 - -1.2. Are u and q unequal?
True
Suppose -2*z = -9*z + 147. Suppose 4*j - 44 = -2*c - 0*c, c + j = 21. Which is greater: c or z?
z
Let g be (-33)/(-11)*(-16)/3. Is g at most as big as -0.1?
True
Let h = 2 + -2.1. Let z = 2.21 - 2.1. Let q = 3.89 + z. Is q bigger than h?
True
Let x = -24 + 26. Is 2 greater than x?
False
Let p = -304 - -1526/5. Let b = -56/55 + p. Which is smaller: -3 or b?
-3
Suppose 5*n - c - 60 = -6*c, -35 = -3*n - 4*c. Suppose 3*y + n - 1 = 0. Is -4 greater than or equal to y?
True
Let r = 10 - 8. Let i be 11 + (18/(-3))/r. Suppose 20 = -3*k - l, -3*l - i = 4*k + 27. Which is smaller: k or -1?
k
Let q(l) = -2*l + 8 - 3 - 1. Let r be q(-5). Suppose -4