 + 2*r + 2. Let u be q(2). Let g = -13 - -7. Does g = u?
True
Let i be (-12)/9*1/12. Suppose 4*m = 4*y - m - 82, 2*y = -m + 48. Let t = y + -24. Which is bigger: t or i?
i
Let a be 4*((-8)/(-2) + -2). Which is greater: 7 or a?
a
Let c = -1 - -2. Let t be 48/(-10) - c/5. Let b = t + 5. Which is bigger: b or -2/3?
b
Let r(g) = 4*g + 1. Let z(l) = 4*l - l - 3*l - l. Let p(v) = -r(v) - 5*z(v). Let c be p(-1). Is 0 != c?
True
Suppose -2*m + 0*m + 18 = 0. Let h be (-96)/(-9)*m/6. Is h not equal to 17?
True
Let v(o) = 3 - o - 3*o + 5*o. Let u be v(-6). Which is bigger: u or -1?
-1
Suppose -s - 8 = -3*s. Is 4 less than s?
False
Let y = 1.75 - -0.05. Let l = y - 1.7. Is l less than -7/2?
False
Let b = 35 + -27. Is b less than 6?
False
Suppose -3*b + 15 = 3*v, -3*b = 2*b - v + 5. Let u be 4/2 - (b - -7). Suppose -r - 28 = 2*k - 5*r, -3*r + 18 = -k. Is u < k?
False
Let v = 0.938 + 0.062. Which is bigger: v or 17?
17
Suppose -k + 0*w = -4*w + 28, 3*k + 44 = 4*w. Which is smaller: -6 or k?
k
Suppose -2*l = 2*a + 14, 16 + 4 = -5*l. Which is bigger: -8/5 or a?
-8/5
Suppose 2*u + 2*i - 8 = 6*i, -2*u = 2*i - 2. Do 7/8 and u have different values?
True
Let b = 4025/17 - 237. Which is smaller: 1 or b?
b
Let w be 2/(-42) - 20/70. Is w >= -2/3?
True
Let i(a) = -a**2 + 5*a + 2. Let t be i(5). Let w be t*(-1 + 27/30). Is -0.2 at least w?
True
Let v be -1 - ((-418)/104 + 3). Which is greater: v or 1?
1
Let a be ((-7)/(-17))/(-4 + 3). Let o = a - -1/85. Is o <= 0?
True
Suppose 5*d + 4*q + 12 = 0, 0 = 5*d - 4*q - 14 + 2. Suppose -4*x - 7 - 5 = d. Is -2 >= x?
True
Suppose 3*s = -s + 84. Let n be -2 - -3 - 39/s. Which is smaller: -1 or n?
-1
Suppose 0 = -4*n + 3*g - 19 - 6, 2*n + g + 15 = 0. Which is smaller: n or -4?
n
Let d = -5.67 + -0.33. Let t be (0*2/8)/2. Which is smaller: d or t?
d
Suppose 1 + 9 = 5*h + 5*a, 0 = -2*h + 5*a + 25. Let k(b) = -b + 6. Let g be k(h). Which is smaller: 2/11 or g?
2/11
Let c(a) = a**3 - 5*a**2 - 7*a + 3. Let i be c(6). Suppose 14 = -6*t - 4. Are i and t nonequal?
False
Let z be 6/14 + (-990)/105. Which is bigger: z or 1?
1
Suppose 0 = -w + 2 - 0. Suppose -2*a = 3*a - 15. Let r(c) = -c**3 + 3*c**2 + 3. Let j be r(a). Which is greater: j or w?
j
Let i = -172/267 - 2/89. Suppose 0*f + 6 = -2*f. Let b be 2/(-6) + f/18. Do i and b have different values?
True
Suppose 3*w + 4 = -17. Is -8 greater than w?
False
Let n = -64 + 197/3. Let b = -4 + 6. Let g = 5 - b. Is g greater than n?
True
Let w = -715 - -1660. Suppose l = -4*l - w. Let i be 2/9 + 96/l. Is i at most 0?
True
Let g = -0.23 - -0.07. Let t = g + 0.26. Which is bigger: t or 0.2?
0.2
Suppose -2*y + 4 = 2. Is y >= -1?
True
Let v(b) = b**2 + 9*b + 6 - 3 - 3*b. Let j = 7 - 13. Let z be v(j). Which is bigger: 0 or z?
z
Let o be (-2)/10 - 234/(-45). Suppose 0 = -o*g - 0 + 5. Let w be (-132)/405 - (-2)/5. Is w at least g?
False
Suppose -2 = -2*x - 0*x. Let y be ((-4)/32)/(x/(-30)). Which is smaller: 4 or y?
y
Let m be -17 - -2 - (3 + 0). Let p be (1 - m/(-21)) + -1. Is -1 bigger than p?
False
Let d = -0.017 - -0.017. Let g = 0.3 + -1.2. Let k = g + -0.1. Which is bigger: d or k?
d
Let m(f) be the first derivative of -f**6/360 + f**5/24 - f**4/6 - 2*f**3/3 + 1. Let r(q) be the third derivative of m(q). Let k be r(4). Is 2 < k?
False
Let c be 16/(-40) + (-14)/(-10). Suppose 13 = -3*z + c. Which is bigger: z or -3?
-3
Let s = -30.05 - -26. Let q = -1 - -5. Let t = q + s. Which is smaller: t or 1/3?
t
Let u be (-1)/(0 - (-14)/4). Let f = 3.4 - 0.4. Is f smaller than u?
False
Suppose f + 2*c = -3, 3*c = -f + 3*f + 6. Suppose r + 11 = -4*k + 2*k, -2*r + 2*k + 2 = 0. Is r bigger than f?
False
Suppose 2*z - z - 2 = 0. Let h be (-2 + (-6)/(-4))*0. Let t be z - (1 + (1 - h)). Which is bigger: t or -2?
t
Let j be 2/8 - 117/36. Is -28/13 smaller than j?
False
Let k = -19 + 22. Let f = -0.55 - 0.05. Let s = -0.7 - f. Is s <= k?
True
Let d = 4 - 3. Let n = 3 - 4. Let o be (-2)/n*2/22. Is d less than o?
False
Suppose -4*b + 7 + 5 = 0. Suppose b*i - i - 2 = 0. Which is smaller: -2/11 or i?
-2/11
Suppose -5*t - 2*a + 11 = -4, -19 = -4*t - 3*a. Suppose -3 = -3*r + 15. Let j = r + -9. Is t >= j?
True
Suppose 0 = k - 6*k. Is -1/8 != k?
True
Suppose 2 = -q - q. Which is greater: -15/7 or q?
q
Let n be (6 + 132/(-18))/4. Suppose -4*w + 4*f = -0*w - 8, 0 = 5*w - 2*f - 13. Suppose 3*k + 5*y = -9, -3*k + y - w*y = 0. Which is smaller: k or n?
n
Let h be 28/22 - (-9 - -10). Is h greater than 0?
True
Suppose 0 = 4*f + 4*t + 4, -t = f - 2*t - 9. Suppose -h + 3 = -5*d - 0, 0 = -2*h + 6. Suppose 4*i = f - d. Which is smaller: i or 2?
i
Let v be 48/21 + (-2)/7. Let l = -21/2 - -11. Are v and l unequal?
True
Let f = -1.4 + 2.6. Let c = f - 1.5. Is 1 at most c?
False
Let b = -25.0756 - 0.0244. Let q = b - -25. Is -1/4 <= q?
True
Let o = 27.06 + -27. Which is greater: -1 or o?
o
Suppose -4*c - 25 = 5*g, g - 2*c + 5 = 3*c. Suppose 0 = h - 0 + 6. Which is bigger: h or g?
g
Let y(q) = -q. Let d be y(5). Suppose c - 1 - 5 = 0. Let j = d + c. Which is greater: j or 3/8?
j
Let j be -2 - (482/(-120) - -2). Let f = -19/12 - j. Which is greater: f or -2?
f
Let u = 3 + -1. Let r be (0/3)/u*-1. Let z be 1/(-1) + (-26)/(-30). Is r less than z?
False
Let t(h) = 2*h**2 + 4*h - 2. Let y be t(6). Let z = y - 59. Suppose z = -5*x - 5*j, -18 + 1 = -4*x + 5*j. Is x greater than -3?
True
Suppose 3*q + q = 36. Let c be 15/q*12/10. Is c at least as big as 6?
False
Let l = -4.82 - -4.8. Are l and 3 non-equal?
True
Let d = -61 - -78. Is d != 1?
True
Let h(p) = -p**3 + 6*p**2 - 2. Let k be h(6). Suppose -3 = 3*z - 0*z. Are k and z equal?
False
Let p = -79 + 47. Which is smaller: -33 or p?
-33
Suppose 2*n - 2*y = -22, 8*n - 3*n - 2*y = -40. Let r be n/(1 - -2) - -4. Which is bigger: r or 10/9?
r
Let m be 2/10 - (2 + 7/(-5)). Let t be (-20)/(-14)*8/10. Which is greater: m or t?
t
Let f = 66.8 + -67. Which is bigger: f or 17?
17
Let i = -27 + 14. Let r = i + 15. Is 0.1 bigger than r?
False
Suppose 6 = -5*q - 4. Let k be ((-2)/(-16))/(q/12). Let s be -1 - -2 - (-9)/(-6). Which is smaller: s or k?
k
Suppose 0 = 4*j + j. Let h(c) = 5*c - 12. Let u(k) = 2*k - 6. Let y(n) = 6*h(n) - 14*u(n). Let l be y(-8). Is l greater than or equal to j?
False
Let x = 8 + -3. Let m = 4 - x. Which is smaller: m or -6/13?
m
Let d = 1 - -3. Suppose 3*h = 5*p - 15, 3*p + 5*h - d*h = -5. Which is bigger: 1/3 or p?
1/3
Let l be 3/(-12) - 30/(-56). Let k(o) = o**3 + 7*o**2 + 7*o + 6. Suppose -5*i - 38 = -2*p, -4*i + 4*p = -2*i + 28. Let g be k(i). Is g less than l?
True
Let i = -151 - -139. Suppose 0 = -4*x + 6 - 2. Are i and x nonequal?
True
Let m = -17 + 9. Let j = m + 14. Let l = j - 8. Which is smaller: l or 0.2?
l
Suppose 3*x = -3*a + a + 15, -x = -5*a - 5. Suppose -4*c + c + 3 = x*g, 0 = 4*g - c - 16. Suppose -3*j + g = -12, -4*q = -j - 7. Is q <= 4?
True
Let w(b) be the third derivative of -b**5/60 - 5*b**4/24 + 7*b**3/6 - 3*b**2. Let h be w(-6). Is h != 1?
False
Suppose -5 = -2*b - 1. Is b > -0.07?
True
Let r = -0.1 + -1.2. Let h = -1.2 - r. Which is smaller: 17 or h?
h
Let u(b) be the first derivative of b**4 + 8*b**3/3 - 2*b**2 - 9*b + 3. Let c(o) = o**3 + 3*o**2 - o - 3. Let h(f) = 7*c(f) - 2*u(f). Let m be h(5). Is 0 > m?
False
Let i = -74 - -73. Is i < -8/11?
True
Let w be -1 + (-4 + 2 - 3). Let k be 0 - (w + -2)/(-1). Which is smaller: k or -7?
k
Let u = 71/3 + -214/9. Which is smaller: 1 or u?
u
Suppose -u = 2*u. Let a = 271 + -7863/29. Let t = -104/87 + a. Which is smaller: t or u?
t
Let n = -1.068 + 0.068. Which is smaller: n or 63?
n
Let b = -9 - -11. Suppose 3*c + b*x - 12 = 5*x, 2*x + 13 = -3*c. Is c less than or equal to 2/37?
True
Suppose 9 - 1 = -2*i. Let y(j) = j**3 + 3*j**2 - 2*j + 5. Let t be y(i). Is -2 at least as big as t?
True
Suppose -4*c = -4 - 0. Let q be (2 + 24/(-10))/c. Let v(l) = l**2 + 5*l + 1. Let p be v(-5). Which is greater: q or p?
p
Let h be ((-28)/35)/(2/10). Let f = 9 - h. Suppose y = -5*z + 18, -14 = -4*y - 5*z + f. Which is smaller: 3/2 or y?
3/2
Let r be (6 + -7)*(-1 + -4). Suppose -11 = -r*s + 14. Is 5 >= s?
True
Suppose -5*w - 3*q + 25 = 0, 2*q + 5 = 3*q. Is 13/5 at most as big as w?
False
Let r = -73.1 + 73. Do -6 and r have the same value?
False
Suppose -2*n + 4 + 6 = 2*z, 0 = -5*z + 5*n + 5. Suppose z*v - 7*v - 4*r = -12,