22) - (-57)/(-11). Let o = q - -4. Which is greater: o or -3?
o
Suppose 40 = 2*q - 2*i, 2*q + 4*i - 48 = 2*i. Let m be 6/(-27) - q/(-18). Which is greater: m or 2/11?
m
Let c = -1.83 + 1.9. Let l = -0.1 + c. Which is greater: l or 0.1?
0.1
Let c = -6.1 - -1.1. Let s = c + 0. Which is greater: s or -1?
-1
Let d be ((-2)/(-6))/(8/(-312)). Is d != -14?
True
Let s = -0.4 - -0.3. Let z = 6.87 - -0.13. Which is smaller: s or z?
s
Let d = -29 - -20. Let l = d + 5. Let j = l + 3.8. Are j and 1/5 non-equal?
True
Let w be 2/(-2) + 3 + -9. Do -7 and w have the same value?
True
Suppose p + 2 = 4. Let h be ((-264)/90)/(-11)*(1 - -5). Which is bigger: h or p?
p
Suppose 5*y - o = -6*o, 2*y = -4*o + 6. Let f be (-4)/y*(-2)/(-4). Which is bigger: f or 2/7?
f
Suppose -6 = -9*m + 6*m. Suppose 2*r - 4 = -m. Is -1/10 > r?
False
Let s be ((-18)/(-12))/((-3)/104). Is -50 smaller than s?
False
Let x = -68/35 - -15/7. Let p = -219/5 - -44. Is x greater than or equal to p?
True
Let u(q) = -2*q**2 - 24*q + 5. Let x be u(-13). Are -21 and x unequal?
False
Let x be (-1 + 2)/(3/9). Suppose -2*a = -5*c - x, a + 5 = -2*c + 2. Are c and -1 nonequal?
False
Let l(i) = -i**3 - 3*i**2 + 2*i - 3. Let x be l(-4). Suppose -40 = -x*g + 35. Are g and 15 equal?
True
Let h = 121 - 225/2. Is h at least as big as 8?
True
Suppose 4*z = -0*z + 12. Let p(b) = -z*b + 0 + 1 + 2*b - 9. Let o be p(-8). Does 0 = o?
True
Let d be (1/(-20))/(285/(-90)). Let s = 1107/2090 + d. Is 0 greater than s?
False
Let s be (-1)/(-2)*(20 + -36). Let d be ((-2 - -18)/2)/(-1). Is d not equal to s?
False
Let r = -9 - -2. Let s = r + 7.2. Let c = s - -0.2. Is -2 <= c?
True
Let d = -2/207 - -653/3312. Which is greater: d or 1?
1
Let a(o) be the third derivative of o**6/120 - 2*o**5/15 - 3*o**4/8 + 3*o**3/2 + 3*o**2. Let n be a(9). Let d be n/4 - 3/12. Are 3/2 and d unequal?
True
Let i = -83 - -124. Which is smaller: i or 40?
40
Let q = -0.5 - -1.1. Let s = q + -0.4. Is 5 bigger than s?
True
Suppose x - 78 = -2*x. Which is smaller: 25 or x?
25
Let v = -253.9 - -265. Let m = v - 11. Which is smaller: m or -2/9?
-2/9
Let v(s) = s**3 + 7*s**2 + 6*s + 3. Let q be v(-6). Is 3 bigger than q?
False
Suppose 4*r = -4 + 20. Suppose -5 = -5*s + 5*c, r*s + 4*c + 6 = -6. Is s not equal to -4?
True
Let w = 2 - 2.5. Let r be 15/(-4) + 2/8. Let l = 15/4 + r. Which is smaller: w or l?
w
Suppose -6*n = -2*n - 40. Suppose 8 - 19 = x + 2*a, -2*a - n = 0. Are -3 and x nonequal?
True
Let a(n) = n**3 + 8*n**2 + 6*n - 3. Let o be a(-7). Suppose g - 20 = 4*q + o, 3*q = -3*g - 3. Let c be ((-7)/(-14))/(2/g). Does c = 2?
False
Suppose -5*g - u - 13 - 3 = 0, -3*g + 3*u = 24. Is g at most as big as -4?
True
Let m = -2 + 4. Let v(a) = -a**2 - 2 - m*a - 3*a - 3. Let l be v(-4). Which is greater: -3/7 or l?
-3/7
Let j(n) = n**3 - 5*n**2 - 6*n + 1. Let r be j(6). Let x(t) = t**2 + 5*t - 6. Let l(d) = -d**3 - 4*d**2 + 2*d + 2. Let z be l(-4). Let y be x(z). Is y <= r?
True
Suppose -12 = -2*k - 0. Let o = 0.05 + 0.15. Let r = o - 0.2. Which is greater: k or r?
k
Suppose 5*s - 3*s = -5*l + 5, -10 = 2*s. Let p be (2/l)/((-12)/(-18)). Which is smaller: p or -1?
-1
Let i(u) = u**2 - 5*u + 7. Let f be i(3). Does 2 = f?
False
Let m be (-81995)/42600 - 6/(-10). Let h = m + -32/213. Let d = h + 7/8. Which is smaller: -1 or d?
-1
Let h = -9 + -3. Is -9 smaller than h?
False
Suppose -3*v + 5*c = -4 - 3, 0 = 4*v - 2*c. Let z = -2081/9 + 231. Which is bigger: z or v?
z
Suppose -211 = 3*i - 3*h + 86, -5*h + 305 = -3*i. Let n = i - -477/5. Suppose -5*o - 3*a - 7 = -5, -4*o - 8 = -4*a. Is n greater than o?
True
Suppose 4*b = 2*m - 90, -3*b - m + 93 = -7*b. Are -24 and b nonequal?
False
Let f(u) = u**2 + 5*u + 1. Let a be f(-5). Which is bigger: -6/13 or a?
a
Suppose g - 6*g + 5 = 0. Suppose -2*d + 9 = 1. Suppose -d*x - 1 + 6 = 3*o, -3*x - o = 0. Is g greater than or equal to x?
True
Suppose -3*c - 7 = -2*m + 13, 4 = 3*m + 2*c. Suppose -3*t + 3 = -m*t. Which is greater: t or -4?
t
Suppose -2*u = -3*u. Let n = 2 + u. Is 3 at most n?
False
Let r be 18/4*(-8)/12. Let w = 2 + r. Do 0 and w have different values?
True
Let o be 0 + -1 - -1 - -3. Let u(p) = p**3 - 3*p**2 - p + 2. Let f be u(o). Which is smaller: -2/5 or f?
f
Let l = 30 - 30. Is 1/4 at least l?
True
Let f = -4 + 3.4. Let u = -0.6 - f. Is -0.1 <= u?
True
Let s be ((-80)/48)/(2/6). Let k(y) = -y**3 - 6*y**2 - 4*y + 8. Let o be k(s). Is o at most 0?
False
Let j be -2 + 0 - 14/(-5). Suppose 2*k - 2*a - 2*a = 0, a - 11 = -5*k. Which is smaller: j or k?
j
Suppose 0 = 3*a - a + 46. Which is smaller: -21 or a?
a
Let m = 48/17 + -494/187. Suppose -5*a - 4 = 4*x, -a + 4 = -4*x - 0. Which is bigger: a or m?
m
Let h = 73/7 - 82/7. Is 0 less than or equal to h?
False
Suppose -m - 3*m = -c + 16, 5*c - m - 61 = 0. Suppose -3*k = -u + c, -k = 4*u - 0*u - 22. Do 5 and u have different values?
True
Let n = -59.7 - -57. Let r = -0.3 + n. Let u = 3 + r. Is u less than -3?
False
Suppose -14 + 16 = l. Is l not equal to 0?
True
Let o = 0 + -1. Let j(s) be the third derivative of -s**5/60 + s**4/4 - s**3/6 - 3*s**2. Let i be j(6). Is i at most as big as o?
True
Let u = 36 - 41. Is u > 1/3?
False
Let g = -59 + 13. Let a = -229/5 - g. Which is smaller: a or -1?
-1
Let w = 65 - 64. Which is smaller: w or -3/25?
-3/25
Suppose -4 = g - 3*g. Let t be -2 - -6 - (-1 + g). Suppose 7 = -t*k + 1. Do k and -1 have the same value?
False
Let w = 1 - 2. Let i = -1669/2317 - -2/331. Which is smaller: w or i?
w
Let a = -50 + 47. Let x = 0.2 + -0.4. Is a at least as big as x?
False
Let u = 6 + -5.9. Let b = -4 - -3. Which is bigger: b or u?
u
Let t = -0.4 + -0.1. Let c = t - -0.2. Is 2/7 equal to c?
False
Let w = -3 - -3.3. Let j = 3 - -1. Let c be (-4)/j*1*2. Do c and w have different values?
True
Let t(g) = g**2. Let k be t(-1). Let o(d) = 2*d - 17. Let l(j) = j - 8. Let s(f) = -9*l(f) + 4*o(f). Let w be s(2). Do k and w have the same value?
False
Let u = -17 - -37/2. Let f = 27 + -26. Is f at most u?
True
Let t(i) = 6*i**3 - i**2 + i - 1. Let c(a) = -5*a**3 + 2*a**2 - a + 2. Let s(l) = -5*c(l) - 4*t(l). Let v be s(6). Let b be 120/(-810)*(-1 + 4). Is v > b?
True
Let b(l) = -l - 4. Let m be b(-9). Let r be 2/10 + (-9)/m. Suppose -f - 2 = 2*u, 2*f + 2 = -2*u + 3*f. Which is greater: u or r?
u
Let p be (-145)/(-644) - (-2)/(-8). Let c = -6/23 + p. Are 1 and c equal?
False
Let d be (-1 - -1 - 2) + 2. Suppose -2*m - 3*f = 33, -m + 3*f + 1 - 13 = 0. Let u be 6/m - 16/10. Which is bigger: d or u?
d
Let a be 10*(5/(-180) + 4/(-18)). Which is bigger: -3 or a?
a
Let h be (-3)/(-15) + 1 + (-171)/80. Which is smaller: -1 or h?
-1
Let q be 12 + -15 - (-23)/7. Is 1 at most as big as q?
False
Suppose 0 = 6*d - d + 475. Is d >= 1?
False
Let r = -2 - 0. Let z be (-1)/(-1) + (-194)/(-8). Let g = z - 699/28. Is r != g?
True
Let f be (-3)/(-2)*(-12)/(-189). Is 1 greater than f?
True
Let t(w) = -w**3 + 7*w**2 - w - 42. Let g be t(6). Do -12 and g have the same value?
True
Let c = -10 + 7. Suppose -u + 2*i = -10, -4*u + 4*i = -34 + 14. Suppose u*n - 4*n - 8 = 0. Is c not equal to n?
True
Let p be (2 - 4 - -5)*-1. Let g(o) = -2*o - 3. Let d be g(p). Let f be 5/(-5) + 2/d. Is 1/4 less than f?
False
Let k = 69 - 71. Is -2 greater than k?
False
Suppose -2*q + 18 = 5*d, -2*q - d - 2 = -36. Which is smaller: 22 or q?
q
Let y = -1 - -1. Let g = -129/4 + 33. Is y < g?
True
Let k be 1 + -15*1/1. Let l(s) = -11*s**2 + s + 3. Let b be l(3). Let d be 4/k + b/(-105). Is 2 less than or equal to d?
False
Let u = -157 - -783/5. Suppose 2*b - 1 = 3*d - 5, 2*b + 5*d = 12. Which is smaller: b or u?
u
Let p = -0.003 - -1.003. Suppose 2*i - 5 = 5. Suppose -23 = 3*z - i. Is p < z?
False
Let o be (2 + -1)*(-165)/11. Is 1 smaller than o?
False
Let x(t) = -t**2 - 12*t - 11. Let u be x(-11). Suppose u = z + 4*z. Which is bigger: z or -5/6?
z
Suppose 6 + 2 = 4*m, -s + 10 = 3*m. Let c = 16 - 11. Which is greater: s or c?
c
Let z = -4 - -3. Let j be (-3)/(-3)*(-2)/(-10). Which is smaller: j or z?
z
Let v be 4/2 + (-60)/21. Which is bigger: 0 or v?
0
Let z(x) = 4*x + 68. Let m be z(-17). Which is smaller: m or 0.29?
m
Let d = -10 + -6. Is -16 not equal to d?
False
Let f = -13 - -12. Which is bigger: 2 or f?
2
Let f = -8 + 5. Let n be (f - -4) + (1 - 2). Is 0 >= n?
True
Let r be (0 + -3)/(3/(-