pose -3*m = -d - 12, 0 = -m + d - 2 + 4. Let z(i) = i - 9. Let h be z(m). Is -4 at least as big as h?
True
Let n = 9 - 7. Suppose -n*c + 2 = -c. Does c = 1?
False
Let t be ((-6)/4)/((-21)/98). Is 7 smaller than t?
False
Let o = 0.15 + -0.15. Which is smaller: -11 or o?
-11
Let y = -1.04 + 0.04. Is y at least -6?
True
Let v = 4 - 4. Is 2/25 greater than v?
True
Suppose -4*a - g = -0*g - 20, -g - 16 = -2*a. Let k(j) = j - 6. Let b be k(a). Let i be (2*1/(-4))/3. Is b at least i?
True
Let h be (7 - 6)*(1 + -2). Let a(k) = -17*k**3 - 2*k**2 + 1. Let b be a(h). Suppose t - 7 = -q - t, 2*q = 2*t - b. Do q and -2 have the same value?
False
Let i = 0.759 - 0.149. Let k = i + -0.01. Let g = k - 0.2. Which is smaller: g or -0.1?
-0.1
Let r be -2 - ((1 - 2) + -2). Let f(c) = -2*c**2 + 1. Let t be f(r). Let k = -107/360 - -3/40. Which is smaller: k or t?
t
Let w be ((-12)/117)/((-6)/9). Which is smaller: w or 0.01?
0.01
Let j = 3 + -3. Suppose j = -3*a - 0*a - 12. Let w be 2 + a + 48/22. Is w less than 1?
True
Suppose -5*n = -5*z + 10, 2*z - 2*n + 4*n + 4 = 0. Which is bigger: -3/11 or z?
z
Suppose 3*v - 36 = -4*l, v + 0 = l - 9. Does l = 6?
False
Let m be 104/32 + (-1)/4. Suppose 5*a - y = y + 1, m*a + 15 = -4*y. Is 2/19 not equal to a?
True
Suppose -2*w + 31 = 5*y, 0 = 3*y - 3. Is w equal to 13?
True
Let a = -15 + 33/2. Suppose 0*p - 4*d - 23 = 5*p, -p - 2*d = 1. Let g = 8 + p. Which is bigger: a or g?
a
Let h be 5/2*(2 + (-40)/25). Which is smaller: -1/69 or h?
-1/69
Let p = 45 + -23. Are 22 and p equal?
True
Let x(u) = u**2 + 9*u - 9. Suppose 0 = -3*c + c. Suppose c = -0*r - 4*r - 40. Let z be x(r). Is 2/9 at most z?
True
Let w(v) = -2*v - 11. Let p be w(-6). Is p != 1/5?
True
Let y be ((4 - 2) + -3)*0. Let v(t) = -2*t + 14. Let k be v(10). Let s be 4/k*(-12)/(-8). Is y >= s?
True
Let x = 108 + -125. Does 1/3 = x?
False
Suppose 3*i - 4*g + 4 = i, -5*i - 2*g = 58. Let n be (-4)/(2 + i/4). Are n and 8 non-equal?
False
Let a be (4/((-12)/(-9)))/(-3 + 2). Is -6 less than a?
True
Let l = -5.2 - -14.2. Let d = -25 + 14. Let z = d + l. Is z < -2?
False
Let d(c) be the third derivative of -c**5/60 - 5*c**4/24 - c**3/6 + 4*c**2. Let l be d(-4). Let a = 7 - 4. Is a > l?
False
Let j be (-577)/(-20) - (-6)/(-24). Let l = 29 - j. Which is greater: 1 or l?
1
Let i(t) = t**3 - t**2 - 2*t + 3. Let c be i(2). Suppose 2*a = -a + 12. Suppose -a*n = -4*f - 8, -4*f + 4*n = -f + 11. Is f not equal to c?
False
Let x = -939 + 12219/13. Is 1 != x?
True
Let z(c) = -c**2 + 13*c - 10. Let d be z(12). Suppose d*w - 7*w = 30. Which is smaller: -7 or w?
-7
Suppose -8 = 4*q - 56. Which is smaller: -0.2 or q?
-0.2
Let i = -4 + 4. Let m = -55 - -276/5. Are i and m nonequal?
True
Let h(s) = -2*s + 13. Suppose -6*x + 5*v + 24 = -2*x, -4*v + 30 = 5*x. Let k be h(x). Is k >= 1?
True
Let c be (-3)/15 + 0 + 4/(-5). Which is greater: -1/24 or c?
-1/24
Let m = -139 - -140. Which is smaller: m or -0.051?
-0.051
Let j be (-29)/2 + 3/(-6). Let d = j - -21. Suppose 5*y + 4 = -d. Which is smaller: y or -2/3?
y
Let v(s) = 6*s**3 - 2*s**2 + 1. Let b be v(-1). Let f be 1/(-6) + (-1)/(-6). Suppose f*q - 2*m + 4 = q, -28 = 3*q - 2*m. Is b equal to q?
False
Let f be -46*((-50)/(-3024))/1. Let w = f + 2/189. Is w < -1?
False
Let t = -1 + 0. Suppose -114 = -b + 210. Let i = 4214/13 - b. Does i = t?
False
Let p be (3/11)/(9/2). Which is bigger: p or -1?
p
Suppose -4*r + 325 = -283. Let z = 452/3 - r. Is z less than or equal to 0?
True
Let a be (-914)/(-20)*(10 - 8). Let d = -91 + a. Is 0.3 greater than d?
False
Let i be (-2 - 5/(-2))*0. Let m = 4558/11 - 414. Which is greater: m or i?
m
Let w be (42/5)/(30/(-100)). Let d be (3/6)/(w/24). Is 0 less than or equal to d?
False
Let z(g) = -5*g**3 - 2*g**2 - g. Let i be z(-1). Let u be (-1)/(-2 + (2 - 1)). Is u at most i?
True
Let f(u) = 9*u**3 - u**2 - u - 1. Let l be f(-1). Are l and -10 equal?
True
Let s be (-3 - 0)*((-176)/(-24) + -8). Which is smaller: 6/5 or s?
6/5
Let k(h) = h + 1. Let f be k(0). Suppose 2*u = -1 + 5. Let z be 6/(-10) - (-3 + u). Is z greater than or equal to f?
False
Let y be (-145)/140 + 3 + 2*-1. Is 1 at least y?
True
Let p = 5 - 1. Suppose 4*x - 3*x + 2 = -2*i, -p*x = 4*i + 8. Let b(d) = 3*d + 17. Let u be b(-5). Which is smaller: i or u?
i
Let u be 3 + 62/58 + -4. Which is greater: u or 1?
1
Let j be 6/(-24)*(-8)/2. Is j > -1/18?
True
Let u = 7.4 - 5.4. Let s = 2 + -2.1. Is u <= s?
False
Let r be (-6)/2 - -1 - 4. Let j be 10/r + 1/(-3). Let s(i) = -i**3 - 10*i**2 + 2*i + 19. Let p be s(-10). Is p not equal to j?
True
Suppose -4*z = 8, 3*v + 1 = -2*z - 6. Which is bigger: v or 1?
1
Let k = 3/74 + -47/4810. Which is bigger: 0 or k?
k
Suppose -775 = 3*v + h, -4*h + 25 = h. Let g = 1825/7 + v. Which is bigger: 2 or g?
2
Let k(c) = c**2 + 7*c + 8. Let a(w) = w**2 + 7*w + 7. Let l(s) = 6*a(s) - 5*k(s). Let t be l(-7). Is 1/2 != t?
True
Let l = 4/31 + 34/217. Which is smaller: -7 or l?
-7
Let f = 9532/21 + -454. Is 0 at most f?
False
Let k be (-4)/(-14) - (-4)/(-14). Suppose 3*x = 2*x - 1. Is x bigger than k?
False
Suppose 2*j = j. Suppose -p = -j*p - 4. Suppose 0*f + 3 = -f, -w + p = -4*f. Is -8 smaller than w?
False
Let g be -3 - -7 - (-1 - -1). Do 2/9 and g have the same value?
False
Let j = 0.157 - -0.023. Are j and -2 equal?
False
Let p = -17 + 16.9. Let a be ((-2)/4)/(33/(-12)). Which is smaller: p or a?
p
Suppose 5*r = 8 - 18. Is -1 > r?
True
Let h = -3.97 - 0.03. Let n = -6 - h. Let k = -3 - n. Is k not equal to -0.2?
True
Let k = 3.1 - 3. Let m = -8 - -8. Let c = m + k. Is 0.1 at least c?
True
Let z = 0.81 - -0.19. Is 1 at most z?
True
Let g(z) = -z + 15. Let k be g(7). Let x = -3 + k. Suppose 5 = -x*b - 15, 3*q - 3*b = 3. Is q smaller than -2?
True
Let u = 29 - 69. Which is smaller: u or -1/2?
u
Let c = 9 + -11. Suppose 3*i - 2*i + 3 = 0, 5*i + 20 = -5*v. Is v at least c?
True
Let d(q) = q - 2. Let u be d(1). Let t = -8 + 11. Let o be 1*(t + (-44)/16). Which is smaller: u or o?
u
Let j = 175 + -1923/11. Let r(y) = y**2 - 5*y - 7. Let n be r(5). Let z(t) = t + 6. Let i be z(n). Is i greater than or equal to j?
False
Let d(i) = i**2 - 2*i + 2. Let p be d(2). Let z be 1 - (-2 - 2) - 2. Let v be 3 - (-1 + (z - 1)). Is p greater than or equal to v?
True
Let p = 19 + -21. Let l(a) = -a**3. Let b(y) = y**3 - y. Let h be b(-1). Let t be l(h). Is t <= p?
False
Suppose -25 = 5*n - r, -6*n + 4*r - 25 = -n. Let s = 7 - 12. Is n < s?
False
Let k be ((-2)/(-4))/(1/6). Suppose j + 11 = 5*l - 8, j = 2*l - 10. Suppose 5*w - 7 = l. Which is bigger: k or w?
k
Suppose 6 = -2*s - h, h - 14 = -0*s + 3*s. Let m = s - -3. Let n(j) = j + 4. Let q be n(-4). Are m and q equal?
False
Let a = -2/2507 + 5120/132871. Is a <= 0?
False
Let l be 155969/(-693) + 2/7. Let j = l + 225. Which is bigger: j or -1?
j
Let l be (-3)/((-3)/8 + 0). Let h be (-2)/8 - (-26)/l. Let r = 2 - h. Which is smaller: r or -2?
-2
Suppose -v = 7 - 2. Let n(i) = i - 12. Suppose 5*a - 19 = -o - 3, 0 = 5*o + a - 32. Let b be n(o). Is v < b?
False
Let s be 2/(-14)*(2 + -3). Is s at most as big as 0?
False
Let i(n) = n**3 + n**2 + n - 1. Let x be i(1). Let k be (-4)/6 - (x - 2). Let a = -6.037 - -0.037. Which is smaller: k or a?
a
Let q = 13.74 - -0.26. Let l = q - 13. Is -4 at most l?
True
Let x be (-2)/4*(-11 + -1). Suppose 0 = 4*i - 4, -4*i + x = -h + i. Let u be (-14)/21*6/(-16). Which is bigger: u or h?
u
Let b(z) = -3*z + 1. Suppose 5*f - 6*g = -g + 40, 3*g = -3*f - 6. Let p be b(f). Which is greater: p or 0.2?
0.2
Let a = 8.2 - 8. Let w = 5.12 + -5.1. Which is smaller: w or a?
w
Let d(v) = v**3 + 5*v**2 + 3*v + 6. Let b be d(-4). Suppose 6 + b = 4*l. Suppose l*x = 3*x - 4. Is x at least as big as 0?
False
Let s(y) = y + 9. Let w be s(-9). Let r be 2/(-1) + (1 - -1). Suppose c - 4*c + 3 = r. Is c less than w?
False
Let q(c) = -c**2 + c + 3. Suppose 7 = 4*y - 5. Let j be q(y). Let k be (-21)/30 + j/(-15). Is k less than 0?
True
Let q(c) = c + 9. Let f be q(-8). Suppose -2*u + u = f. Is -2/5 < u?
False
Let l(t) = -t**2 - 5*t + 3. Let x be l(-5). Suppose -n = x*v + 1, -2*v - n = -0*v. Let j = -1.8 - -2. Which is smaller: v or j?
v
Let i(b) = b**2 - 4*b + 4. Let a be i(4). Suppose 2*l - 9 + 3 = 0. Suppose l*q = -q + 2*o + 28, -4*q - 4*o + 4 = 0. Which is greater: q or a?
q
Let t be (-