0/(-4)). Let f be 96/(-26) + 2 - 0. Let q = m - f. Is q at least -1?
True
Let p = 8 - 7.99. Let i = p - -0.99. Is -3 greater than or equal to i?
False
Let r = 41.8 - 42. Which is greater: r or 3?
3
Let d(t) = -t**2 + 9*t + 9. Let c be d(10). Which is smaller: -3 or c?
-3
Let d = 1.7 + -1.6. Let y = 8 + -5. Is y smaller than d?
False
Let l be (-19)/2*(-2 - 0). Let g = -77/4 + l. Let r = -7 - -5. Which is greater: g or r?
g
Suppose 20 = 6*p - 10*p. Suppose t + 2 = 6. Suppose t*v + 0*v + 16 = 0. Is p greater than or equal to v?
False
Let d = -1.9 - -2. Let q = 1.9 + d. Let o = -128/3 + 42. Which is smaller: q or o?
o
Let o be (-8)/(-44) + (-999)/(-11). Let q be 8/6*21/o. Is q < 0?
False
Suppose -15 = w - 11. Is w smaller than -11/4?
True
Let i = 31 + -92/3. Let p be (-136)/(-76) + 0 + -2. Let t = -27/38 - p. Which is greater: t or i?
i
Suppose 2*s - 3 - 7 = 0. Suppose -2*r - 1 - s = 0, 13 = -t - 5*r. Let d be ((t - 1) + -1)/(-2). Is d >= -2/9?
True
Let k(b) = -2*b - 10. Let m be k(-4). Which is smaller: m or -18/11?
m
Let n be (-8)/(2 + -1) - 1. Which is bigger: -7 or n?
-7
Suppose 0 = -c - 2*c - 183. Let y be -3 + c/(-12) + -2. Let b = 3 + -4. Which is smaller: y or b?
b
Let g be 339/(-585) - (-12)/30*1. Is g smaller than -1?
False
Let o be 17/3 - 3/(-9). Let g = -7 - -4. Let n be (g/(-16))/((-9)/o). Are n and 0 equal?
False
Let k = -1.02 - 4.01. Let a = 5 + k. Let h = -0.9 + -0.1. Is a less than h?
False
Let b(j) = j**3 - 2*j**2 - 3*j + 3. Let r be b(3). Let n be r*(0 - 2/14). Are n and 1 unequal?
True
Let s = 6.7 + -7. Let t = s - -1.4. Let d = -0.1 + t. Which is greater: d or -6?
d
Suppose 10 = 2*g + 4*i, 6*i - 6 = -3*g + 3*i. Let q(k) = k**3 + k**2 + k + 6. Let s be q(0). Suppose s*l + 5 = l. Is g at least l?
True
Suppose 2 = -3*j + 8. Let o = 0.2 + -2.2. Is j at least o?
True
Suppose 3*r = 3*u - r + 32, 22 = -2*u + 2*r. Which is bigger: -100/9 or u?
-100/9
Let a be (-2)/4*2/2. Suppose 0 = 5*k - 5*w - 20, 5*k + 3*w + 12 = -0*w. Let j = -2 - k. Is a greater than or equal to j?
True
Let j = 55 + -42. Is 9 > j?
False
Let x = -0.024 + -0.076. Let z = 2 - 1.9. Is z at most as big as x?
False
Let h be (-16)/(-6)*(-9)/(-6). Suppose h*i = -9 + 1, -2*t + 12 = -4*i. Let u = 2 - t. Which is bigger: u or 1/6?
1/6
Let f = -1.99 + -0.01. Let d(u) = -u**2 - u + 2. Suppose 0 = 3*q - 6, -o + q = -2*o. Let i be d(o). Is f greater than or equal to i?
False
Let s be ((-2)/(-6))/((-4)/(-12)). Are s and 1/36 nonequal?
True
Let x = 12 + -11.9. Which is bigger: 22 or x?
22
Let a = -1568/27 - -58. Which is smaller: 0 or a?
a
Let u(m) = m**3 + 8*m**2 + 8*m + 9. Let o = 10 - 17. Let q be u(o). Let r = 2 - -1. Is q > r?
False
Let k = -2.967 - 0.033. Which is greater: k or 23?
23
Suppose 4*b + 0 = 5*q + 12, q = 0. Let w be (-6)/(-8) - b/(-12). Let d = -579/1562 - -1/142. Which is bigger: w or d?
w
Let n = -1 + -3. Let h be 24/(-18)*(-42)/4. Suppose 2*o + 3*g - 2 = 0, -g = -0*o - 2*o - h. Is n smaller than o?
False
Let k be ((-3)/(-9))/(3/54). Which is greater: k or 7?
7
Let k = -76/105 + 2/35. Is k less than or equal to -2?
False
Let k be (-1 - (1 + 0)) + 0. Let w(o) = o**3 + 11*o**2 - o + 1. Let y be w(-11). Suppose y*v - 8*v = -4. Which is smaller: v or k?
k
Let t = 2.8 - 2.8. Which is greater: 18 or t?
18
Let z = -3.9 + 5.8. Let r = 0.1 + z. Is r less than 2?
False
Let u = 140/477 - 77561/4770. Let f = -84/5 - u. Which is smaller: -1 or f?
-1
Let k = 1.62 + -1.8. Let u = 1.18 + k. Is u != 0.2?
True
Suppose -4*x + s = 2*s + 2, -5 = -3*x - 4*s. Suppose 4*v + 6 = -2*v. Is v less than x?
False
Let x be (-2 + 7 - -3)/(1/1). Is x greater than 9?
False
Suppose 2*o = 1 - 9. Let a be 1/o - 9/12. Which is greater: -0.05 or a?
-0.05
Suppose 2*m = m - 1. Is 1 at least m?
True
Suppose -w - 3 + 4 = 0. Does w = 47?
False
Let c be 1/9*3 - (-1)/(-7). Is c < 1?
True
Let p = -12 - -40. Does p = -0.1?
False
Suppose -8 = 7*d - 9*d. Let h be ((-3)/2)/((-2)/4). Suppose 0 = -d*j + 1 + h. Which is smaller: j or -2/9?
-2/9
Let z be 304/52 + 4/26. Let h be (z - 9) + 2*1. Let s be 2/(-2) + (-2)/(-3). Is s != h?
True
Suppose x - 5*x + 4*q = 20, -q = 5*x + 1. Suppose v + v = 0. Which is bigger: x or v?
v
Let k be ((-3)/4)/(3/12). Let u = -2 - k. Let x = 266/11 + -24. Which is smaller: x or u?
x
Let v(b) = 7*b. Let s be v(-1). Is -7 > s?
False
Let u be (-14)/(-63) + (-22)/18. Let b be 24/20 + u + 0. Which is bigger: b or 0.1?
b
Let r = -1/4 + 3/4. Is -12 equal to r?
False
Let j be 2 - 3 - (4 + 0). Let p be (j/15)/(8/(-6)). Which is bigger: -0.5 or p?
p
Let l = 47 + -56. Which is smaller: -26/3 or l?
l
Let p be (-6)/(-15) + 124/(-10). Let q = 30 + p. Let r be (-19)/7 - q/63. Which is bigger: r or -4?
r
Let i = -28 - -41. Let c = 11 - i. Which is smaller: 3 or c?
c
Let g be (2 + -2)*2/4. Suppose 5*q = 8*q - 51. Suppose 6*t + 5*y = 3*t - q, 4*t + 16 = -5*y. Which is smaller: t or g?
g
Let c = 6 + -6. Let g be 2/(26/(-1)) + c. Let x be (-6)/(-4)*6/(-9). Which is bigger: g or x?
g
Let a = 0.03 + -0.08. Let j = a + -0.05. Is j smaller than -0.5?
False
Suppose n + 4*t = 9, 3*t + 0 = n + 5. Are n and 1/13 non-equal?
True
Let x = -4 + 7. Suppose -2*b + s = -x*s - 16, -2*b - 2*s = 2. Which is greater: b or 0?
b
Let m = -23 + 20. Let d = m + 2.6. Which is smaller: -1 or d?
-1
Suppose -4*j - j + 50 = 0. Let q be ((-7)/6)/((-1)/9). Let v = j - q. Are -2 and v nonequal?
True
Let v = -6 + 12. Let m be 4/v*(-2)/(-4). Is 1 > m?
True
Let x(q) = q**2 + 4*q - 5. Let z be (-9)/(-3)*-2 + 1. Let m be x(z). Which is smaller: m or 2/45?
m
Let u be (-146)/(-520) - (-8)/(-32). Which is smaller: -1 or u?
-1
Let r = 0.83 - -3.07. Let o = r + -2.98. Let d = 0.08 + o. Which is smaller: -0.03 or d?
-0.03
Let u = 19/5 - 18/5. Let j = -473 - -471.03. Let k = j - 0.03. Are k and u equal?
False
Let z(r) = -r**3 + 13*r**2 + 14*r - 15. Let s be z(14). Is -16 > s?
False
Let j = 6762 - 41059/6. Let b = -81 - j. Suppose -2*o + 1 = -5*i, o + 1 = -1. Is b less than or equal to i?
False
Let c = -6 + 9. Let d(b) = b - 6. Let l be d(0). Let i be (0 - 2 - l) + -1. Is c <= i?
True
Suppose 0 = -5*m + 4*h - 153, -105 = -2*m + 5*m + 2*h. Let a = 166/5 + m. Which is smaller: a or 0?
0
Let d be (-1 - 2)/((-18)/54). Which is greater: 54/7 or d?
d
Let y(l) = -l + 20. Let i be y(19). Which is smaller: -2/111 or i?
-2/111
Let r = 0 + 4. Which is smaller: 0.3 or r?
0.3
Let r(a) = 7*a**3 + a**2. Let c be r(-1). Let u(b) = b + 5. Let s be u(c). Do -1/3 and s have the same value?
False
Suppose 0*n + 3*n - 10 = b, -4*n = -8. Do -5 and b have the same value?
False
Suppose 4*h - 3*z = 291, 2*h + z + 217 = 5*h. Let y be 1*-1 - h/8. Are y and -11 unequal?
True
Let m = 2.8 + -1.4. Let f = -0.4 + m. Let a = 0.9 - f. Which is smaller: -1/4 or a?
-1/4
Let m be -1*((-7)/(-5) - 1). Which is smaller: 1 or m?
m
Let t = -0.48 - -2.08. Let d = -1 + 1. Which is smaller: t or d?
d
Let x = -15 - -43/3. Suppose -14*v - 2 - 12 = 0. Do x and v have different values?
True
Suppose 4 = -5*g - 6. Let o = -11 + 119/11. Which is smaller: g or o?
g
Let w(d) = -d**3 - d**2 + 3*d + 3. Let h be w(-2). Let t = 53349/994 + -144/71. Let p = t - 103/2. Which is smaller: h or p?
p
Let s = -17/3 - -6. Which is smaller: 1 or s?
s
Let z = 4.4 - -0.6. Let p = z - 6. Is 0 >= p?
True
Let r(y) be the first derivative of -y**3/3 + 5*y**2/2 - 2*y + 9. Let s be r(5). Is s greater than or equal to 2?
False
Let p be -2 + 6 + (5 - 23). Let k be 2/p*(-28)/24. Which is smaller: 1 or k?
k
Let u(z) = -z - 1. Let y be u(-8). Let w be y/14 + 2/8. Which is smaller: -1 or w?
-1
Let w = 0 + -0.2. Let r = 0.3 + w. Let x = -44.8 + 45. Is r at least as big as x?
False
Suppose -2*x - 57 - 27 = 0. Let c = x + 717/17. Which is greater: -1 or c?
c
Let s = 73 + -35. Is s >= 38?
True
Let v(a) = 4*a**2 - a. Let o be v(-1). Suppose o*d + 5*f - 15 = 0, 0 = -4*d - d + f + 15. Suppose j = -d*j. Which is smaller: j or 4/5?
j
Let o(t) = t**3 + t**2 - 5*t - 2. Let g be o(-3). Let j = g + 7. Is j smaller than 2?
False
Suppose 2*a + 11 + 15 = 4*m, -3*a - 2*m - 79 = 0. Which is smaller: a or -24?
-24
Suppose -o + 2 + 11 = -5*w, 0 = 4*o - 4*w + 12. Let c(d) = -d**3 - 6*d**2 + 7*d. Let t be c(o). Is 2/5 greater than t?
True
Suppose -h + 2 = -3*h. Let b(v) = -2*v. Let z be b(h). Let d = z + -5. Is -3 greater than d?
False
Let h be 