+ 4*g = -9. Let d be 1 - h - 3/(-3). Which is bigger: 3/10 or d?
3/10
Let u = -6 + 10. Suppose 0 = u*j + 18 + 10. Which is smaller: j or -6?
j
Let j = 8 - 10. Let v = j - -1. Which is bigger: v or 2/11?
2/11
Let p be ((-8)/(-6))/(6/9). Let a = 4 - p. Let l be (a - 15/6)*-2. Is 1/12 != l?
True
Suppose 0 = 5*o - o - 124. Are 30 and o non-equal?
True
Suppose -2*q = -1 - 7. Suppose 0 - 8 = -4*x - 3*r, 8 = 4*x + q*r. Which is smaller: -2 or x?
-2
Let n = -59/2 - -291/10. Suppose 4*d = -0*d + 4. Do d and n have different values?
True
Let v(o) = o**3 - 5*o**2 - 3*o - 8. Let d be v(6). Suppose 0 = -3*u + 5 + d. Suppose -u*c = 2*n + 3 - 0, -3*n = -c + 13. Which is greater: -1/5 or c?
c
Let m = -90/13 - 93/26. Let t = -71/6 - m. Is t > -1?
False
Let x be (-236)/3 - (-1)/(-3). Let s = x - -319/4. Which is greater: 2 or s?
2
Let s(g) = -g - 5. Let f be s(-10). Let k be 1/f - 8/15. Let l = -0.1 + 0.1. Is k at least l?
False
Let t = -5 + 11. Let v be (1/(-9))/((-3)/t). Let g(n) = -n**3 - 5*n**2 - 4*n + 1. Let i be g(-4). Which is bigger: v or i?
i
Let r = -546 - -2183/4. Let b be 1/(-2)*(-1 - -1). Are b and r nonequal?
True
Suppose -2*u - 11 = -u. Is -10 < u?
False
Suppose -18 = -d - 3*d - 5*s, -3*d - s + 8 = 0. Let i = 17 - 14. Are d and i equal?
False
Let y(p) = -5*p + 3. Let f be y(-3). Let z = 27 - f. Do z and 10 have different values?
True
Suppose 0 = -5*y - 9 - 21. Is -10 greater than y?
False
Suppose 5*r - 20 = 30. Let h = r + -16. Let q = 4 + h. Which is smaller: -1 or q?
q
Let n be -4 + -2 + (1 - -14). Are n and 9 unequal?
False
Suppose -b = b - 4. Let l be ((-3)/6)/(b/(-8)). Let g be l/(-3) - 16/(-18). Is g >= 2?
False
Suppose -q + 1 + 1 = 0. Suppose z + 3 = q. Which is smaller: 3/13 or z?
z
Suppose 4 - 40 = -5*f + 2*d, 0 = 3*d - 6. Let b = 60 + -53. Which is greater: f or b?
f
Let z be ((-2)/20)/(4 - (-154)/(-35)). Is z equal to 1/35?
False
Let b = 0.22 + -0.32. Which is smaller: b or -2/3?
-2/3
Suppose -5*c - 23 - 22 = 0. Let q = 23 + -32. Is c bigger than q?
False
Let d(b) = b - 6. Let p be d(9). Suppose 29 = -p*f + 8. Which is greater: f or -8?
f
Suppose -2*t - 6 = -8. Which is smaller: t or -3/8?
-3/8
Let h(t) = 2*t - 1. Let x be h(7). Let i = x - 4. Let o be ((-2)/i - 0)*3. Which is smaller: o or -1?
-1
Let n = 22 - 37. Let d be (10/n)/((-4)/(-18)). Is -3 smaller than d?
False
Suppose 2*r - 2*d = -4*d - 30, -3*r + d - 65 = 0. Is -19 greater than r?
True
Suppose 5*m - 4*x - 29 = 7, -2*m = -5*x - 28. Suppose 2*r + z + 17 = -2*z, m*r + 13 = z. Which is greater: 1 or r?
1
Let a be 2/2*(1 + 24). Suppose t - a = 6*t. Let f = t + 4. Are 0 and f unequal?
True
Suppose -7*x = -0*x - 14. Let a be 2/(-2)*-2*1. Is a smaller than x?
False
Let d = -12 + 6. Let h be 2/d + 6/(-9). Is h >= -2?
True
Suppose -2*s = -6*s. Which is smaller: s or 1/15?
s
Let h be (-3)/1*(-5)/(-5). Let a = h + 2. Let n be a*5*6/15. Which is greater: n or -1?
-1
Suppose 5*v - y = -2, 3*v - 5*y = -2*v + 10. Is v equal to -2/41?
False
Let o = -8 + 8.05. Let h = o + -1.05. Is h != 1?
True
Let f = 61 - 57. Is 10/3 at most as big as f?
True
Suppose 2*b + 2*m - 12 = 0, 4*b + m - 4 = 2*m. Suppose 0 = -p - 2*n, n = 5*p + b*n - 18. Let s(u) = 6*u - 1. Let w be s(1). Which is smaller: w or p?
p
Suppose v = 3 - 1. Let b be v/(-8)*(2 - 1). Which is smaller: b or 1?
b
Let h be (-4)/10 + 176/40. Suppose 2*x + 8 = 3*i, -h*x + 2*i + 2*i = 16. Is -6 > x?
False
Suppose -3*b + 5*n - 10 = n, 3*n - 6 = 3*b. Which is bigger: 1 or b?
b
Let x = -29 - -29.1. Which is bigger: x or 0.06?
x
Let k = -7.2 - -7.3. Let p = -56.1 + 52. Let i = -0.1 - p. Is i <= k?
False
Suppose 0 = -9*a - 176 + 23. Are -17 and a equal?
True
Let u be ((-1)/7)/1*-3. Let l(i) = -i**2 + 8*i - 1. Let h be l(8). Are u and h unequal?
True
Suppose -b + 0 - 1 = 0. Do -5/3 and b have the same value?
False
Let j be 98/(-8) - (-3)/(-4). Let o = j + -41. Let t be 96/o + 4/(-18). Do t and -3 have the same value?
False
Let r(q) = q**3 + 11*q**2 + 11*q + 11. Let a be r(-10). Is a greater than or equal to 1?
True
Let q(p) = -p**2 - 5*p + 1. Let y be q(-5). Let a = y - 0. Which is greater: 10/9 or a?
10/9
Let r be 2*(-6)/4*1. Suppose 12 = 2*v + v. Suppose h + 18 = -0*h + v*m, 2*h = 3*m - 16. Do h and r have different values?
True
Suppose 0 = 2*y - 3*f + 6*f - 1, -13 = -5*y + 3*f. Suppose y = i - 1. Which is smaller: i or 16/7?
16/7
Suppose -5*o - 1 = 4. Let f(g) = -g - 1. Let j be f(4). Let c be (-3)/j + (-2 - o). Is -0.1 <= c?
False
Let b = -59/345 + -2/69. Let d be (-4)/(-10) - 231/(-35). Let a = 6 - d. Is b smaller than a?
False
Let g(x) = x**2 + 11*x + 6. Let v be g(-12). Let l be 1 + 1 - 9/v. Is l greater than 1?
True
Let w = 3/37 - -28/111. Which is smaller: 1 or w?
w
Suppose -r + 11 - 4 = 0. Let c(u) = u**3 + 3*u**2 - 3*u + 1. Let m be c(-3). Suppose 5*q = m*q - 35. Is r < q?
False
Suppose 2*m - 5*r = -20, -2*m + 4 = r - 0. Let b be (-10)/(-8)*3/(-15). Which is smaller: b or m?
b
Suppose 0 = 3*t + 2*t + 30. Let d be (-1)/t + (-34)/(-12). Are 3 and d nonequal?
False
Let f be (6/12)/(14/12). Suppose -2*o + o - 18 = -5*l, -l = -4. Suppose o*z - 2*j + 4 = 0, 1 - 2 = -j. Is z less than f?
True
Let x be (-3)/(-12) + (-3)/(-4). Let f be x + (0 - 1) + 1. Suppose 0 = -4*i - 1 + 5. Is i less than f?
False
Let s(j) = j**3 - 7*j**2 - 7*j - 7. Let b be s(8). Suppose 4*r = n - 4, 2*r - 4*n + b + 15 = 0. Suppose l = -3*l + 4. Which is greater: l or r?
l
Suppose 0 = -27*a + 19*a - 72. Let o = 11 - 21. Is o equal to a?
False
Let g be (-2)/(-6) - 1/3. Let b = 0 - g. Let u = 4 + -5. Do b and u have the same value?
False
Let p(w) = -w + 1. Let i be p(1). Suppose -9 = -s - i*s. Is 9 smaller than s?
False
Let l be 4 + (-9)/(36/(-8)). Let z(c) = 2*c. Let k be z(3). Is k >= l?
True
Suppose -d - 3*h = -7, d + 4*h = 3*h + 3. Let u = d - 5. Is u less than or equal to 0?
True
Let w(y) = -y - 6. Let s be w(-9). Suppose -3 = -z - v, 0*z + 3*v - s = -z. Which is smaller: z or 1?
1
Let z(d) = d**2 - 7*d + 7. Let m be z(6). Let i(x) = -3*x**2 + x. Let g be i(m). Which is greater: -3/4 or g?
-3/4
Suppose 3*h - 2*f = -5*f - 15, 15 = 4*h - 3*f. Let k be -2*(-3)/(-42) + h. Let m = -12 - -12. Do m and k have the same value?
False
Suppose 22 = -2*s + 10. Are s and -4 equal?
False
Let p(t) = t**2 - t. Let y be p(0). Suppose y = k + k - 10. Is 6 bigger than k?
True
Let h = -2459/13 - -189. Is 0 bigger than h?
True
Let s be (-2)/7 + (-90)/(-21). Let b be ((-55)/20)/((-1)/4). Suppose -b = -s*r - 3. Which is smaller: r or -1?
-1
Suppose -9*u + 8*u = -3. Let r = 6 + -2. Suppose u*f - f = r. Is -1 equal to f?
False
Let a(y) = -2*y - 2 + 0 - 2 + 0. Let h be a(-3). Let f be (h + -5 + 4)/(-4). Are 0.04 and f equal?
False
Suppose -3*j + 46 = -29. Let q = 45/2 - j. Does q = -2/3?
False
Let a = 36 + 3. Let q = a + 3. Let n be (-12)/8*(-8)/q. Is n less than 1?
True
Suppose -20*q - 12 = -16*q. Are -22 and q equal?
False
Let a be (-4)/10 + 14/10. Suppose a = -2*u + u + 5*o, -2*u = -3*o - 5. Are 2 and u nonequal?
True
Let p(q) = q**3 + 5*q**2 - q - 3. Let a be p(-5). Suppose 6*x - a*x = 16. Suppose 0 = w + x*w. Which is smaller: -2/11 or w?
-2/11
Suppose 3*q + 4 = -5*k + 1, 0 = 5*k - 4*q - 4. Let i(v) = -v**3 + v**2 - v + 6. Let b be i(k). Is 5 smaller than b?
True
Let y = -14 + 18. Suppose -y*m - 30 = m. Is m at most as big as -6?
True
Let i = -78/7 - -269/21. Is i <= -2/7?
False
Let m = 244637 - -73491. Let n = m - 45173829/142. Let l = 4/71 + n. Do l and 3 have different values?
True
Let f = -0.7 + -0.3. Let h = 0.31 + 1.79. Let l = -2 + h. Is f less than or equal to l?
True
Suppose m = -m - 4*y, m + 3*y = 0. Suppose -3*a + 84 = 2*i, 2*i + a = 56 + 32. Let d be 6/27 - (-8)/i. Which is greater: d or m?
d
Let p be (0 - 7/((-14)/(-4)))/2. Is p less than -2?
False
Let d be 0 + 9/3 - 3. Suppose 0 = -2*t + 2*b - 0 + 2, 3*t + 4*b + 25 = d. Which is smaller: -4 or t?
-4
Let z be (-369)/(-756) - (-8)/(-14). Is z >= -1?
True
Let w = 2.2 - 2. Is 0.2 greater than w?
False
Let l be (5/4)/(3/(-6)). Do -4 and l have the same value?
False
Let h = -678/5 - -136. Is 24 >= h?
True
Let d be 1/(-3 - 5/(-2)). Is d < -3?
False
Let o be 30/99 - (-14)/(-21). Let a(k) = k**3 + 2*k**2 - 1. Suppose -1 = 3*r + 2. Let w be a(r). Are w and o unequal?
True
Let j(m) be the third derivative of m**5/60 + m**4/24 + 2*m**2. L