e t and 3 unequal?
True
Suppose 2 = -9*g + 7*g + p, g - 4*p = -8. Suppose -6*s = -g + 6. Which is greater: -2 or s?
s
Suppose u - 4*j - 24 = -3*u, u = -5*j - 18. Suppose -3*a + 6 = -a + 5*t, 3*a - u*t - 9 = 0. Let i be 3*(a - 2) - 3. Which is bigger: 4/9 or i?
4/9
Suppose 0 = 4*r + 52 - 8. Let h = -9 - r. Let y be (h - 6)*1/4. Which is smaller: y or -2?
-2
Let v be 0/((1 + 0)*-1). Suppose 0 = 4*a + 3*g - 38, -a + 5*a + g = 42. Suppose 5*m - 19 = -3*r, m + 2*r = -r + a. Which is bigger: v or m?
m
Let i(z) = 6*z - 90. Let w be i(15). Let f be (-4)/(-11)*(-20)/8. Is f >= w?
False
Let s(x) = x**3 - 9*x**2 - 11*x + 13. Let p be s(10). Suppose 5*i - 20 = -5*c, 11 = 5*i - p*i + 5*c. Which is smaller: 19/6 or i?
i
Let w(v) = -v**3 - 10*v**2 - 12*v + 22. Let u be w(-10). Suppose 0 = 6*p - u + 40. Is p greater than or equal to 19?
False
Let k = -12 - -17. Suppose -4*w = -k + 1. Let b be w + -1 - (-6)/(-12). Are b and -2/5 nonequal?
True
Let s = -0.883 - -0.983. Are 324 and s unequal?
True
Let n = 9 + -4. Suppose 0*c - n*c - 50 = 0. Let s be (2 - -1)*c/(-6). Is s at most as big as 5?
True
Suppose r - 1286 = m, 0 = 5*m + 5*r + 3517 + 2923. Let n be (m/15 - 0) + (-7)/35. Is -86 at least as big as n?
True
Suppose 23 = d - 5*k, -d = -2*d - 4*k - 13. Suppose -d*v + 2*v + 3*y - 8 = 0, 0 = -5*v + y + 16. Which is greater: v or 50/11?
50/11
Let i = 27107/32 - 847. Let g be (-2)/(-7) - 12/42. Is i smaller than g?
False
Let q = -245 + 172. Is q != -73?
False
Suppose -5*h + d - 1353 = 0, 11*h - 2*d + 538 = 9*h. Which is bigger: 0 or h?
0
Suppose 0 = -2*g + 60 - 8. Suppose 0 = 4*f + g - 106. Is f < 17?
False
Let t(p) = -p**2 + 9*p + 10. Let i(s) = 3*s**2 - 2*s + 2. Let f be i(2). Let k be t(f). Which is smaller: k or 2/11?
k
Let d = 143 - 141. Suppose -d*g - 106 = -4*t, 2*t + 19 = -5*g + 78. Is t less than or equal to 26?
False
Suppose 0 = 4*w - 4. Let y(k) = 3*k - 1. Let f be y(1). Suppose -5*r - 6 = b, 4*b - f*b + 3 = -r. Is b greater than or equal to w?
False
Let t = 29/2 - 15. Let p = 0 - t. Which is smaller: 15/7 or p?
p
Let p = -10 - -10. Let a(x) = x + 11. Let c be a(-6). Suppose -c*r = -2*o - 1 - 6, -o - r = 0. Are o and p equal?
False
Let h = -0.37 + -14.63. Let s = 163 + -148. Let g = h + s. Is g less than or equal to 0?
True
Let b = -4 + 5. Let v = 2 - b. Let c = -174 - -1220/7. Which is greater: v or c?
v
Let h be (9/12)/((-660)/32). Let y(c) = c**3 + 4*c - 5*c + 0*c**2 - c**2. Let z be y(0). Which is smaller: h or z?
h
Let l = 2535 + -2033. Which is greater: -0.1 or l?
l
Let s be (-2262)/(-16) + -7*8/(-448). Are s and 143 non-equal?
True
Let l(h) = 2*h**2 + h. Let o be l(1). Suppose -t - 5*p + 21 = 0, 27 = o*t + 3*p - 0*p. Suppose -s = -q - 2, s + 24 = 4*s + 3*q. Is t less than s?
False
Let t be ((-201)/9)/((-1)/(-3)). Is -67 equal to t?
True
Let a be (-6)/(-15) - 14/10. Suppose 2*t + 0*r - 7 = 3*r, 5*t - r + 15 = 0. Let u be ((-22)/(-4))/(10/t). Are u and a non-equal?
True
Suppose -2*k = -0*p - 5*p + 16, 0 = -3*p + 4*k + 18. Which is smaller: 4 or p?
p
Suppose 5*t + 2 = 7. Is t >= -10/27?
True
Let o(j) = -j + 2. Let l be o(3). Let a be 4/(2 + -1) + l. Let r(f) = f + 7. Let k be r(-5). Is k at least a?
False
Let p(f) = -f + 10. Let b be p(5). Suppose -5*t - 4*x - 17 = 0, -4*x - 8 + 1 = -b*t. Let m be (0 - -1) + 22/(-16). Which is smaller: m or t?
t
Suppose -2*w + 449 = 3*d, 0 = -4*w + 32*d - 34*d + 902. Is w less than 225?
False
Suppose -v + 35 = 4*l + 171, l + v + 34 = 0. Let r be -2*(-2)/(4/(-34)). Do r and l have the same value?
True
Let i = -539.9935 - -540. Is 0 smaller than i?
True
Let d(j) = -45*j - 90. Let i be d(-2). Is -9/7 greater than i?
False
Let f = 26 + -24. Suppose -f*s = -5*o + 21, 4*o + 2*s = 4*s + 16. Suppose -4*n - 46 = -v, o*v + 35 = 5*n + 85. Which is smaller: n or -11?
n
Let h(c) = -c**3 - 15*c**2 + 16*c - 1. Let s be h(-16). Let n be s/((-4)/12*-1). Let t = 7 + -11. Which is bigger: t or n?
n
Suppose 8 = -3*z - 5*i - 14, -z = -5*i - 26. Let v be ((-3)/(-4))/((-1)/4). Let o be (2/v)/((-40)/15). Is o at most as big as z?
True
Let d be -1*(-4 - (-1 + 0)). Suppose 5*a - 4 = -0*a + 2*q, -3*q = -5*a + 1. Suppose -a*n + 5 + d = 0. Are n and 0.1 unequal?
True
Suppose 3*f + 2*n + 24 = -125, 3*f - 4*n + 143 = 0. Let h = -2071 - -2021. Is f smaller than h?
False
Let a(b) = -b**2 + 7*b + 8. Let d be a(8). Suppose 5*c = -d*c, -4*g + 12 = -4*c. Let s be (-42)/(-8)*4/g. Is s at most 8?
True
Suppose 6 = -8*q - 2. Is q > 0.045?
False
Let g = 32 - 35. Let p = g - -3. Which is smaller: -6/7 or p?
-6/7
Suppose 0 = -2*v - 2*v - 8. Let w be (-4)/(2*v/(-16)). Let c be -5*60/25 - 3. Which is bigger: w or c?
c
Suppose -4*u + 11 = -125. Let q be (3 + u/(-4))*-2. Let z be 1 + (-1 - -4) - q. Are z and -6 equal?
False
Suppose d = 2*d + 2. Let w be (d/(-5))/((-5)/25). Is -9/10 greater than or equal to w?
True
Suppose 5*a - 54 = 2*a. Let x be ((-24)/690)/(a/(-15)). Suppose -q = j + 2*j - 2, 3*j + 3*q = 6. Is x greater than j?
True
Suppose 6 = -5*z + 3*c, 4*z - 3*c - 2 = -8. Which is bigger: z or 2/119?
2/119
Let t(f) = 3*f - 1. Let z be t(1). Let b be 9/((3/6)/(8/(-6))). Let r be (2/8)/(((-30)/5)/b). Which is greater: z or r?
z
Let s(g) = 181*g**2 + 2*g - 1. Let u be s(1). Which is smaller: u or 183?
u
Let g be (-12)/(-21)*(-143)/(-36). Let r = g - -4/63. Is r > 2?
True
Suppose 5*o + 20 = 0, -4*i + 5*i + 4*o + 32 = 0. Let f = 24 - i. Let t = 21 - f. Are t and -18 equal?
False
Let s = -2169 + 23875/11. Let q = -323 - -324. Are q and s equal?
False
Let r = -264 - -262. Are -15 and r equal?
False
Suppose -17*a = -6*a + 22. Let i be 0*(3 - 5)/a. Is -1/18 greater than or equal to i?
False
Let y = -529 - -529. Which is smaller: y or -2/247?
-2/247
Suppose -6*w + 13 = 7*w. Is -2/1143 less than or equal to w?
True
Suppose 5*g + 13 = 4*s, -3*s - g = -3 - 2. Let w = s - -14. Let z be (-12)/w*16/(-9). Is z bigger than 0?
True
Let l = 16 - 14. Suppose d + 2*c = l*d + 7, 65 = -5*d - 5*c. Is d > 2/5?
False
Suppose 5*b = -4*v - 642, -5*v + b = -4*b + 780. Is -158 >= v?
True
Let f(u) = -2*u**2 + 34*u - 47. Let v be f(16). Which is smaller: v or -16?
-16
Suppose -2*x + 0*x = -6*x. Suppose -4*l + 21 - 1 = x. Which is smaller: -2/3 or l?
-2/3
Let g be 0 + (-39)/1026*8. Let d = -10/19 - g. Are d and 0 non-equal?
True
Let q = 303/187 + -32129/7480. Let t = q + 39/8. Is 1 at least as big as t?
False
Let s be (18/(-4) - -4)*-4. Suppose -c = s*c - 60. Let h = c + -21. Are h and -4/13 nonequal?
True
Suppose -6*i + 5 = 41. Let z be i/4 + (-194)/4. Let f = z + 199/4. Is f bigger than 0?
False
Suppose 4*h - 1018 = -2*q, 5*h = 2*q + 3*h - 1042. Is 517 at most as big as q?
True
Let z be 3/((-9)/6) + 2. Suppose d + 4 = z, -4*d = -4*k - 7*d + 212. Which is smaller: k or 57?
k
Let u be 4/(-3)*(-19)/(-57). Let c = -13 - -29/2. Is c >= u?
True
Let u(v) = 2*v + 16. Let f be u(-3). Let j(c) = c**3 - 5*c**2 - 6*c + 2. Let n be j(5). Let t = -19 - n. Which is smaller: t or f?
t
Suppose -3*l + l + 20 = -4*t, -4*t - 38 = -5*l. Suppose -5*g - 4 = 3*z - l*z, -2*g = -5*z + 13. Let h be (-4)/12*-2*g. Which is smaller: 0 or h?
0
Suppose -27*k = -28*k - 1. Is -2 greater than k?
False
Let l(p) = -p**3 - 9*p**2 - 5*p + 24. Let m = 60 + -68. Let n be l(m). Is 1/20 at least n?
True
Let z = -0.39 - 25.61. Let w = -10 - z. Let p = -15 + w. Which is smaller: 0.5 or p?
0.5
Suppose -2662 = 26*k - 582. Which is smaller: k or -81?
-81
Let r(m) be the second derivative of m**5/20 - m**4/4 + m**2 - 10*m. Let h be r(2). Let t be (-4)/(-2) - 5/2. Is h bigger than t?
False
Suppose 0 = r + 2 + 2, 544 = 4*x - 5*r. Suppose -5*q = -4*g + 2*g + 107, 5*q + 4*g = -x. Let h = -25 - q. Is -2 greater than h?
False
Let k = 37 + -62. Let i = 25 + k. Is i less than 0?
False
Let j(y) = y. Let h be j(2). Let d = -2479 - -27287/11. Which is bigger: h or d?
h
Let k be 6 + -3 + (1 - 2). Let r(l) = l**3 + l. Let m be r(k). Let c be 1/(-5) - (-17)/m. Which is smaller: c or -1?
-1
Let s = 140 + -143. Which is smaller: s or -1/16?
s
Let q be ((-2)/(-3))/(8/(-156)) + 1. Which is smaller: q or 21?
q
Let w(c) = 2*c - 4. Let y be w(-4). Let v be -15 + 4 + (0 + -3)/3. Is v smaller than y?
False
Let n be 8/(-3)*(2 - 7/2). Let o be (4/(6/3))/(n/110). Is -0.1 smaller than o?
True
Let k = -2/1161 - -4706/35991. Is k > 1?
False
Suppose -2*n - 66 = 