/11 bigger than h?
True
Suppose 5*v = 5, 0*v = -5*t - 2*v + 2. Which is smaller: -10/13 or t?
-10/13
Let j = 1051051/7124 + -1918/13. Let f = j + -5205/548. Which is bigger: f or -11?
f
Let u(v) = v**2 + 8*v. Let y be u(-7). Let x = 12 + y. Is 6 bigger than x?
True
Let b be 4 - -2*3/(-6). Suppose 5*k = -4*j + 18, j + b*k = 7*k - 6. Suppose -2*s - j*s = -8. Which is bigger: 0 or s?
s
Let u = -2.7 - -3. Let i = -17.2 + 17. Is u < i?
False
Let c = -5 - -6. Let p be 2/(-8) - (-172)/816. Let g = 116/357 + p. Is g >= c?
False
Let c = -19 + 26. Let l be (-30)/c - 12/(-42). Do -4 and l have different values?
False
Suppose -2*s = -3*s - 2, -16 = 5*h + 3*s. Let q = -3/89 + -252/445. Is h <= q?
True
Suppose -2 = -d - 3. Which is smaller: d or 5/13?
d
Let s(n) = -n**2 - 6*n + 7. Suppose -4*k + k = 21. Let j be s(k). Which is bigger: j or -3/5?
j
Suppose 4 + 0 = 4*m. Let z be 3*(-1)/(-3)*m. Let i be z/(-6) - 1/6. Which is smaller: i or 1?
i
Let j(f) = f + 7. Let p be j(0). Is 7 less than or equal to p?
True
Let a = -9 - 1. Let p(y) = y**2 + 7*y - 10. Let s be p(a). Let o be (-4)/s + (-46)/(-30). Is 2 < o?
False
Let s be (-1)/5 - 32/(-10). Suppose -36 = -4*z + 2*f, -f + s*f + 44 = 5*z. Is z at most 10?
True
Let r = 1 + -1. Let y be (-4 - -10)/(4/(-14)). Let n be 14/6*6/y. Which is smaller: n or r?
n
Let q(v) = v**3 + 10*v**2 + 8*v - 2. Let k be q(-9). Let j = -7 + k. Which is smaller: j or -6?
-6
Suppose -2*x + 0 = -76. Suppose -x = 5*s - 8. Is s not equal to -2/3?
True
Let i = 470 - 4699/10. Suppose l = 4*y + 17, 0 = -5*l + 4*l + 3*y + 13. Is l at least as big as i?
True
Let l be (1 + 0)*(-5 - -5). Suppose -5*d - n + 7 = 2*n, -d + 7 = 2*n. Is d bigger than l?
False
Suppose 5*o = k + 1, -o - 17 = -5*k + 74. Suppose 13 = -4*l - k. Which is greater: l or -7?
-7
Let g be (-4)/12*0 + 2. Which is smaller: g or -1?
-1
Let q(s) = 2*s**2 - s + 2. Let y be q(2). Suppose -4*t + y = -8. Suppose -7 = 3*l - t. Which is smaller: l or 2/11?
l
Let n = -4 - -2.99. Let f = n - -0.01. Which is smaller: f or -2/7?
f
Suppose 0 = -19*n + 23*n + 356. Which is smaller: n or -90?
-90
Suppose 4*b - 14 = 2*f, -2*b = b + 2*f. Suppose x - 3*p - 9 = b*p, -2*p = 3*x + 7. Is -3 != x?
True
Let j = -28 + 25. Let n be (-2)/(1 + -2 + 2). Which is greater: j or n?
n
Let p(z) = z**3 + 4*z**2 - 4*z + 6. Let b be p(-5). Let a be (0 - 18/14) + b. Which is smaller: 1 or a?
a
Let o(w) = -w**3 + 5*w**2 - w + 3. Let m be o(4). Let s = m - 16. Let d = -0.03 - 1.97. Is d at most s?
True
Let d = 0.07 - 7.07. Let w = 7 + d. Let j = w - -2. Which is smaller: j or 1?
1
Let i = -19/2 + 155/18. Let w = -2/9 - i. Is w < 1?
True
Let g be 51/(-30) + 1 - -1. Let j = 43/110 - g. Which is smaller: j or 1?
j
Suppose 3*d + 22 = -4*n - 5, 0 = -d + 3*n - 9. Let t(m) = -2*m - 29. Let s(p) = p + 15. Let a(z) = -11*s(z) - 6*t(z). Let k be a(d). Is 0 <= k?
True
Let m be 116/30 - 2/(-15). Which is bigger: 20/7 or m?
m
Let s(y) = y**3 + y**2 - y. Let m be s(0). Let n(u) = -u**3 + 5*u**2 - 3*u - 4. Let k be n(4). Suppose 3*g = -k*g + 6. Is m greater than or equal to g?
False
Let x = -4 + 6. Let n = x - 4. Let o be (-18)/14 - n/7. Is o less than or equal to 2/7?
True
Let l(v) be the second derivative of v**3/3 + 7*v**2 + 3*v. Let y be l(-11). Which is smaller: y or -7?
y
Let n be ((-184)/(-32) - 6)*4*1. Which is smaller: -1/33 or n?
n
Let c be (4 - 4) + 3/(-9). Which is greater: -0.01 or c?
-0.01
Let f = 10.5 + 0.5. Let u = -10 + f. Is 4 < u?
False
Suppose o = 3*o - 32. Let p be (-1)/(-4) - 20/o. Do -1/2 and p have different values?
True
Suppose -4*r + 112 = -5*p, -33 = 4*r - p - 161. Let k = -166/5 + r. Which is smaller: k or 0?
k
Let j = 23 - 20. Which is smaller: 13/6 or j?
13/6
Suppose 4*t = -x, -3 = 3*t - 2*x + 8. Is t smaller than 0?
True
Suppose -2*j = 3*d + 9, -d - d - 5*j = -5. Let o be 6/(-15) + 3/d. Which is smaller: -2/5 or o?
o
Suppose 20 = 5*r, -4*w - 2*r - 88 = -3*r. Let v be (-7)/w - 2/6. Is v less than or equal to 1/9?
True
Let u be 6 + -2 + (-136)/35. Which is smaller: u or -1?
-1
Let u(d) be the third derivative of -d**4/24 - d**3/2 + 6*d**2. Let w be u(-5). Which is smaller: 2/19 or w?
2/19
Let c = -0.17 - 0.04. Let s = c + 0.11. Which is smaller: s or 2?
s
Let j(s) = 2*s**3 - 4*s**2 - 3*s + 6. Let o be j(3). Which is greater: 2/7 or o?
o
Let w be (-120)/(-36)*(-6)/4. Which is smaller: -4 or w?
w
Suppose 5*u + 6*a - 4*a = 25, 0 = -3*u + 3*a - 6. Suppose 2*d = 2*v + 11 - 1, -u*d = -5*v - 25. Is d >= 1?
False
Suppose -5*l - 2*z - 73 = 0, 6*z = z - 20. Is -58/5 smaller than l?
False
Let j be -6*1/(-4)*-2. Let s(b) = b + 6. Let c be s(-6). Suppose c = -3*a - 4 + 1. Which is smaller: a or j?
j
Let i(c) = 2*c + 41. Let m be i(-14). Suppose -4*o + 28 = -20. Are o and m equal?
False
Let u = -1 + 1. Let m = 23 - 18. Suppose -3*k - m - 4 = u. Which is greater: -2 or k?
-2
Let a(u) = u + 4. Let d be a(-4). Suppose -2*c + 22 = -d*c. Suppose -5*z + c = -4*n - 6, -2*n - 5*z + 29 = 0. Is 2 not equal to n?
False
Let t = 14 + -12. Is 3 less than or equal to t?
False
Suppose 0*r = 2*r - 4. Suppose 0 = 4*o - w - 12, o = 3*w - 0*w + 3. Suppose -4 = -4*k - 2*z + 2, k + o*z = -1. Is r > k?
False
Let p = -13 - -25/2. Let d = 3 + 0. Which is smaller: d or p?
p
Suppose -2*x - 24 = -2*v + 6, -50 = -3*v - 2*x. Which is smaller: v or -4?
-4
Let j(g) = 3*g + 3. Let b be j(-11). Is -29 <= b?
False
Let j(m) = m**2 + 7*m - 8. Let q be j(-8). Is -1 greater than or equal to q?
False
Let w be 72/(-16) + 5 + -1. Are w and -2 equal?
False
Let l(y) = y**3 + 5*y**2 + 7*y + 6. Let g be l(-4). Suppose -11 = p - 2*u, 0 = 5*p + 2*u + 22 + 9. Is g less than or equal to p?
False
Let a = 4.14 - 0.14. Which is smaller: a or 2/3?
2/3
Suppose -3*j = 4*s + 13, 4*s + 3 = -j - 4. Let o = -2/53 - 47/159. Which is smaller: o or s?
s
Suppose -2*w = -3*f + 5 + 12, 0 = -2*w - 4*f - 10. Let s = w + 10. Is s < 2?
False
Let q(p) be the third derivative of -p**5/120 - p**4/24 + p**3/2 + 4*p**2. Let r(s) be the first derivative of q(s). Let o be r(3). Is -4 smaller than o?
False
Let a = 32 - 31. Let k = -15.7 + 15. Is a bigger than k?
True
Let f = -0.1 - -0.1. Let k = -1.3 - -0.3. Let b = k + 1. Is f smaller than b?
False
Suppose 2*p = -4*x + 14, -2*x = 5*p - 7 + 4. Let c = 307 - 7060/23. Which is smaller: p or c?
p
Let x = 19 + -19. Which is bigger: x or -3/7?
x
Suppose -2*x = -s + 2*x + 8, 2*x = -4. Suppose -5*q + s - 5 = 0. Which is bigger: 2/87 or q?
2/87
Let s = 0.04 + -0.01. Let o = -0.03 + s. Let h = o + -2. Which is greater: h or -1?
-1
Let o = -9 + 12. Suppose 8*w = 3*w + 5. Is w bigger than o?
False
Let c(z) = z - 4. Let l be c(4). Suppose 1 - 9 = -3*x + 5*i, l = -x - i. Suppose x - 4 = 3*o. Which is smaller: -1/6 or o?
o
Let p = -3 + 4. Suppose m + p = 5. Suppose 1 + m = -5*d. Which is bigger: -2/17 or d?
-2/17
Suppose -w = 3 - 0. Let p be ((-1)/w)/(0 + 1). Which is smaller: p or 0.1?
0.1
Let a(i) = i - 15. Let b be a(6). Let x be (b + 9)*(-3)/6. Suppose 0 = -4*j + j. Is x greater than j?
False
Let d(j) = j - 3. Suppose -5*a = -a - 24. Suppose -a*t + 4*t + 8 = 0. Let o be d(t). Which is greater: -1 or o?
o
Let w = -18 - -31. Is 13 greater than w?
False
Let p be (-3)/(2 - 5)*-15. Is p at least as big as -13?
False
Let f(v) = 7*v**3 - 14*v**2 + 10*v + 3. Let y(p) = -4*p**3 + 7*p**2 - 5*p - 1. Let x(j) = 3*f(j) + 5*y(j). Let s be x(6). Is -5 greater than or equal to s?
False
Suppose v + 2 = 0, 2 + 8 = 4*d - 5*v. Let o = 11 + -7. Suppose -o*c + 2 = -2. Which is smaller: c or d?
d
Let w = -23.6 - -19.46. Let t = w + 0.14. Do -1 and t have the same value?
False
Let m = -0.098 - 0.002. Which is bigger: 40 or m?
40
Let l = 2 + -0.8. Is 2/5 less than or equal to l?
True
Let h be ((-3)/2)/(12/(-16)*-1). Which is greater: h or -20/7?
h
Let m = -2.1 - -0.1. Let k = 4 + m. Let p = -1 + k. Which is greater: p or -1?
p
Let p = -0.1 - -0.8. Is p at least as big as 0.3?
True
Let z be (-1)/(-2)*(9 - 1). Let a(c) = -c**3 + 3*c**2 + 3*c - 4. Let o be a(z). Let p be -4 + (o/(-2))/2. Do -2 and p have the same value?
True
Let b = 131/3 + -44. Is 2/29 less than b?
False
Let q(x) = x**3 - x**2 - 1. Let i be q(1). Let p = 30 + -13. Let b = 139/8 - p. Is i less than or equal to b?
True
Let l = -5 - -15. Suppose 11*i = l*i. Is -2/19 bigger than i?
False
Let l = 46 + -369/8. Let w