s - g = -5*g + 14. Is s at most l?
True
Let i(p) be the first derivative of -p**2/2 + 8*p - 7. Let t be i(5). Which is smaller: t or 2?
2
Let y = -0.1 + -5.9. Let w = y + 10. Let h = w - 6. Is -1/3 greater than or equal to h?
True
Let j be (-1)/(-3) - 8/6. Let n be 5 + -6 - (0 + j). Let u be 1 + n + -1 + 2. Is 1 at least as big as u?
False
Let g be (-230)/26 - ((-18)/39)/(-3). Is -10 at most as big as g?
True
Let l be 2/(-4) + (-4)/(-8). Let d = -1.2 + 4.2. Let u = d - 7. Which is smaller: u or l?
u
Let x(y) = -y**2 + 8*y - 5. Let s be x(6). Let v be 2 + (-5 - -2) + s. Is 6 < v?
False
Let n be 2/(-5) - 46/10. Let k = -5 - n. Are k and 1/7 non-equal?
True
Suppose 0 = -5*z + 3*h + 2, 0*z = -2*z - h - 8. Which is greater: z or -1?
-1
Let c(s) be the second derivative of s**4/12 - 2*s**3/3 + 3*s**2/2 - 3*s. Let i be c(3). Which is smaller: i or 3/11?
i
Let s be (-2)/(-28)*6/(-93). Let m = 419/3255 - s. Which is bigger: m or 1?
1
Suppose -11*v = -14*v + 12. Is 14 at least as big as v?
True
Let g be (-1 + -10)/(-1 - 7). Let q = g + -9/8. Let h be (-2)/8 + 35/28. Is q at least h?
False
Let z = 52 - 366/7. Which is greater: 123 or z?
123
Suppose 2*w + 1 = -5*n, 0 = w - 2*w - n + 1. Let x be 3 + -1 + (w - 12). Let b be -2 - (-1 + 6/x). Is b at least as big as 0?
False
Let g = -10 - -4. Let p be (-2 - (g + 1))/3. Which is greater: p or 3/2?
3/2
Suppose 0 = 2*u - 0*u. Suppose -3*x + 0*x + 9 = u. Is 2 >= x?
False
Suppose 0 = -5*y + 17 - 7. Which is smaller: y or 24/19?
24/19
Suppose r - 7*r = 48. Is r at most as big as 0.1?
True
Let w(p) = 2*p**2 + 26*p + 26. Let y be w(-12). Which is greater: 13 or y?
13
Let k = -194 + 135. Is k greater than -59?
False
Let y = -15 + 14.97. Do 0 and y have different values?
True
Suppose 0 = w + 4*w - 4*v + 25, 2*w - 3 = -v. Let h(m) = -m + 3. Let a be h(3). Suppose -z = -a*z. Is z less than w?
False
Suppose -y - 3*y + 0*y = 0. Is y >= 4?
False
Let q = -212 + 148. Is -64 at most q?
True
Suppose -4*n = 5*o - o - 4, -2*o + 4*n = 10. Is -4 > o?
False
Let g = 1 + 1. Let c = 1 - g. Is 0 < c?
False
Suppose 0 = 2*a + 2*g, -2*a + 16 = -0*g - 2*g. Suppose -3*u + 12 = -a*h, -2*u + 3*h - 4 = -13. Let b be -3 + 4 + (0 - 2). Which is greater: u or b?
u
Let r = 240/47 + -7038/329. Are r and -16 non-equal?
True
Let k = -21/8 - -1/8. Which is greater: k or -3?
k
Let b = -15043/2 + 7327. Let z = 198 + b. Which is smaller: z or 4?
z
Let h be ((-4)/10)/((-6)/(-9)). Is 3 < h?
False
Let r be (-10)/6*(-6)/(-2). Let v(f) be the third derivative of f**5/60 + f**4/8 - 7*f**3/6 - 3*f**2. Let z be v(r). Is z at least 3?
True
Suppose 0 = 2*t + 2*o, -3*t - o + 8 = -2*o. Let z be ((-3)/6)/(t/24). Do -7 and z have different values?
True
Suppose -o + 3*o + y = 0, 10 = -2*o + 4*y. Let p be -2 - -2 - (-261)/(-198). Let q = p - 2/11. Which is smaller: q or o?
q
Let k = 1 + -1. Which is bigger: 0.06 or k?
0.06
Let r = -58 - -58. Is 0.1 >= r?
True
Let b = 12 + -13. Let a = 1 + -1. Is b smaller than a?
True
Let f(b) = -3*b**2 + b + 1. Let o be f(2). Let u = -11 - o. Which is smaller: u or 2?
u
Let k = -153 - -303/2. Which is smaller: -5 or k?
-5
Let o = 4 - 0.1. Which is smaller: o or -1/2?
-1/2
Let r = 9.18 - 0.18. Let l = 14 - r. Let k = 3 + -3.1. Is k at most as big as l?
True
Let i be 2/8*(11 - 7). Is i at most as big as 1/10?
False
Let i(k) = 2*k - 53. Let u be i(27). Let r be 11/18 + 2/(-4). Is r at most u?
True
Let g be (2 + 5/(-2))*2. Let h = 9/20 - 7/20. Which is smaller: h or g?
g
Suppose 2*y - 4*y + 10 = 0. Suppose -4*o = 5*r - 84, 64 = y*o - 0*o - 4*r. Which is greater: 17 or o?
17
Let g(f) = f**2 - 4*f - 4. Let w be g(5). Let k be (3/2)/(-3)*0. Suppose k*d = 2*d. Which is greater: d or w?
w
Let m be (44/46 + -1)*(-1)/(-1). Which is smaller: 1 or m?
m
Suppose -15 = -3*g - 6. Let l be -3 - (-8)/(g - -1). Let r be 8/9*4/(-8). Are r and l equal?
False
Let o be 1 + (1/(-20) - (-7)/28). Are o and 2 unequal?
True
Let z = -15/8 - -2. Is z less than 1?
True
Let s be 1/(-5)*-7*5. Suppose -5*f + 3 + s = 0. Suppose 0 = -4*x + 2 + 6. Is x greater than f?
False
Suppose 3*p + 11 + 2 = 2*b, -45 = -5*b - 5*p. Let v(u) = u - 2*u**2 + b*u**2 - 2*u - u**3. Let n be v(6). Is n != -6?
False
Let b = 977/7 + -140. Which is bigger: 0 or b?
0
Suppose -5*l - 1 = -4*l. Is l != -7?
True
Let t = 122 - 5367/44. Which is bigger: t or -1?
t
Suppose -5*t - 17 = 4*g, -2*g + t - 2 = -3*t. Suppose 5*l + 20 = -5*i, i - 2*l = -1 + 12. Let a = i + g. Which is smaller: -3/4 or a?
a
Let j(m) = -m**3 - m - 15. Let l be j(0). Is -15 < l?
False
Let m be (8/220)/((-2)/(-30)). Let q = -104/231 + m. Is 0 != q?
True
Let m(g) = 29*g + 1. Let w be m(-1). Let d be w/105*(-10)/28. Is 0 greater than or equal to d?
False
Let r = 5 - 5.1. Which is greater: r or -2.5?
r
Let w = -29 - -26. Let i(a) = -5*a**3 + a. Let u be i(1). Is u bigger than w?
False
Let a = -3 - -2. Let r = 2 + a. Let g be (2 - r)/(3/(-9)). Does -1 = g?
False
Let f(o) = -o**2 + 5*o + 2. Let k be f(6). Let l = -2 - -4. Suppose -2*i - l*i = r + 15, -3*i = 5*r + 24. Which is smaller: i or k?
k
Let n = -5337/4 + 1380. Let d = n - 46. Is d equal to -0.05?
False
Let b(m) = m + 7. Let n be b(-7). Suppose -5*a + 34 = -3*c + c, a + 5*c = -4. Suppose g - a*g = -2*o - 7, 5*o + 1 = -4*g. Which is smaller: g or n?
n
Suppose 9*d + 1 = z + 4*d, -22 = -4*z + 2*d. Is 6 at most as big as z?
True
Let d be ((-9)/(-30))/((-12)/50). Let y = -17/12 - d. Let i(m) = m - 7. Let k be i(7). Which is greater: y or k?
k
Suppose -8*q + 5*q = -63. Is 1 <= q?
True
Let w = -12 - -4. Let u be (w/6)/((-4)/6). Let l be u + (18/(-14) - 1). Is l <= -1?
False
Suppose -11 = -5*y - 1. Suppose 3 + y = u. Suppose 0 = -2*q + 7*q - u, 4*p = -3*q - 1. Does p = 6?
False
Let a = 0 + 4. Let u(p) = p - 5. Suppose -3*t - 7*w + 2*w + 2 = 0, 4*t + 3*w = 21. Let i be u(t). Is a < i?
False
Let l = 0.03 - -5.97. Let v = 5.2 - l. Let d be 14/49 + (-4)/(-35). Is d greater than v?
True
Suppose -4*u - 40 = -48. Let k = -0.18 - 6.82. Let j = 5 + k. Which is smaller: j or u?
j
Let d(u) = -4 + 3*u + 0*u + u - 2*u**2. Let n be d(7). Let s = n - -218/3. Is -2 >= s?
False
Let z = 53/12 - -59/12. Let c = z + -9. Which is bigger: c or -5?
c
Suppose -k = -0*k - 2*q - 6, 2*k + 5*q + 15 = 0. Let i = 6 + -2. Is i > k?
True
Let t = 10 - 11. Let d = -14/5 - -37/15. Which is smaller: t or d?
t
Let m = 14 - -1. Suppose u - 4*u = -m. Let t(w) = w**3 - 4*w**2 - 4*w - 6. Let r be t(u). Is r > 0?
False
Suppose 4*q + 4*t = 0, t = -0 - 1. Let a = 1 - q. Are a and 1/4 equal?
False
Suppose 13*g + 10 = 23. Which is bigger: -9 or g?
g
Let k be (0/(-1))/(1 - -1). Suppose -t + 0*t + 5 = k. Suppose 0 = -t*o - 6 + 26. Is 4 smaller than o?
False
Let d(h) = -6*h**3 - 2*h + 1. Let l be d(1). Let t(n) = n + 7. Let q be t(l). Which is greater: 2/9 or q?
2/9
Let q be (2/328)/(8/204). Let r = 311301/2296 - q. Let z = r + -136. Is 0 < z?
False
Suppose -29 = 6*i + 145. Which is greater: -27 or i?
-27
Suppose -4*h = -6 - 2. Let z = h + 0. Is 0 smaller than z?
True
Let i = -252 + 191. Which is smaller: 2 or i?
i
Let o(u) = 4*u**2 + 2*u + 3. Let g be o(-2). Suppose -3*j + a - 4*a = g, -3*a = -3*j + 9. Let b be (-62)/220 + 6/33. Which is smaller: j or b?
j
Let s be 6/(-1)*(-5)/2. Let h be (6/4)/((-2)/(-44)). Suppose -5*m - y = s, 0*m + 4*m + 5*y + h = 0. Which is greater: -1 or m?
-1
Let o(w) = -w**3 + 11*w**2 - 9*w - 11. Let p be o(10). Let b be 2/((-10)/6 - p). Is b smaller than -3?
False
Let w = -4 - -2. Which is greater: 1/17 or w?
1/17
Let o be ((-10)/(-18))/(-5)*-1. Do o and 0 have the same value?
False
Let d be 10/(-4)*50/(-15). Let h = -103/12 + d. Let l = -0.1 + 0.2. Which is greater: l or h?
l
Let f be (0/5 - 3) + 3. Is f greater than 5/6?
False
Let m be (12/576)/(1 - 2/4). Is 0 less than m?
True
Suppose -3*d - 12 = -6*d. Let s be 5 - 5 - (1 - 7). Let w be s/10*5/1. Which is bigger: w or d?
d
Let v be (4/10)/(16/(-160)). Which is smaller: 1/4 or v?
v
Suppose m = -2*m + 12. Suppose m = -l + 5*l. Let p be -3 - ((-34)/6 - -2). Is p > l?
False
Let g = -226/1311 - -1/69. Are g and 1 non-equal?
True
Let t(m) = m**2 + 3*m - 3. Let d be t(-3). Suppose 4*x = 4*z + 40, 0*z - 10 = 2*x + 4*z. Suppose -c = -l - 0*c, 20 = -x*l - 5*c. Are d and l equal?
False
Let h(w) = -10*w**2. Let j be h(-1). Let u be ((-3)/9)/(j/(-12)). Is u < -3?
