-2*d + 15. Let m be l(8). Let j = -5/11 + 7/11. Which is smaller: m or j?
m
Let o(x) = x**2 - 9*x + 18. Let k be o(6). Let s = -14/55 + 5/11. Are s and k equal?
False
Suppose 5*y - 12 = 3*r - 6*r, 4*r + 10 = 2*y. Let i be (-3 - -1 - r)*1. Let b be 4/30*(i - 2). Is b smaller than 1?
True
Let x be 3 - 0*(-1)/(-3). Which is smaller: 4 or x?
x
Let n = 2.8 + -3. Let s = 3.2 + n. Let x = s - 3. Is -1 equal to x?
False
Let f be (2/(-122))/(6/12). Which is smaller: f or 0?
f
Suppose -5*i - 8 - 2 = 0. Let l(t) = -t**3 - t**2 + 2*t - 1. Let q be l(i). Which is greater: q or -1/3?
-1/3
Let b(s) = -13*s**2 + 4*s + 4. Let i be b(-2). Is -57 greater than or equal to i?
False
Let c = 58/55 + 6/11. Let b = c + -46/35. Is b less than -0.03?
False
Let s = 0.14 + -0.84. Let x = s + 0.8. Is x less than or equal to -0.2?
False
Suppose 0 = -4*h - 2*r + 46, 13 = 2*h - r - 0. Which is bigger: 10 or h?
10
Suppose 2*r = 2*b - 20, -4 = -3*b - 16. Let z be 32/r - 8/(-28). Let n = z - -3. Is n smaller than -1/4?
False
Suppose -5 = -v - g, 3*v + v = -g + 17. Let y be 3/((-6)/v - -3). Let n = -0.6 + 0.5. Is n smaller than y?
True
Let v(l) = l**2 - 2*l - 2. Let m be v(3). Suppose -3*h + 2 = -m. Is 0.2 greater than or equal to h?
False
Let q = 5229/10 + -522. Is 2 at least q?
True
Let w be -1*(-1 + 0 - 3). Let o be 4 + (1 - -1) + -5. Which is bigger: w or o?
w
Let b(y) = y**3 + 2*y**2 - 5*y - 3. Let r be b(-3). Which is smaller: 5 or r?
r
Let o = 9987 + -69791/7. Are 16 and o unequal?
True
Let r = -0.51 + 3.81. Let k = 0.3 - r. Let p = -2.9 - k. Is -2/7 at most as big as p?
True
Let k = -0.1 - -1.1. Let b = 0.04 + -0.13. Let o = b - -6.09. Are o and k non-equal?
True
Suppose -5*a = -6*a + 6. Does a = 7?
False
Let h be (-50)/12*4/35. Let l = 4/37 - -9/259. Let p = h + l. Which is greater: 0 or p?
0
Let w = 2 + -8. Let s be (2/w)/(2/(-12)). Which is smaller: 4 or s?
s
Let u be (2 + 0)/(4/4). Let k = u + -1. Let n be k/(-2)*-1*0. Is n equal to -1/2?
False
Let w(j) = j**3 + 9*j**2 - j - 6. Let u be w(-9). Suppose 2 + u = -5*q. Is -1 > q?
False
Let o be ((0 - 3) + 1)*-1. Let h = o + -1. Which is smaller: 0 or h?
0
Suppose 2*j = -3*j + 110. Is j bigger than 22?
False
Let g be 24/(-14) + (-2)/7. Let k be 8/(-32)*(-5)/g. Which is smaller: -2 or k?
-2
Suppose -5*k = -k + 20. Which is bigger: k or -1?
-1
Let s = 4 + -6. Let j = 17 + -20. Which is greater: j or s?
s
Let w(b) = 4 - 1 - b - 3 + 8. Let u = 2 + 7. Let o be w(u). Which is greater: -1/5 or o?
-1/5
Let l = -10 + 15. Let w(d) = 5*d**2 + 3*d + 3. Let g be w(-1). Are l and g unequal?
False
Let k be 3/1 + 2*-1. Let h be 6/(-18) - 30/(-9). Are k and h non-equal?
True
Let d be -2 + (-2)/(-2) + (-10 - 3). Do -13 and d have the same value?
False
Let y = -0.1 - 6.9. Let n = y - -7.04. Let r = n + 2.96. Is -2/5 at most r?
True
Let u = 17 + -15. Let p = -36.9 + 39. Let c = p - u. Is 0.1 <= c?
True
Let c = 17 - 16. Which is greater: 10 or c?
10
Suppose 0 = 3*w + 6*w - 3*w. Which is smaller: -3 or w?
-3
Suppose 0*a - a = -4*y + 104, 328 = -3*a - 4*y. Let l be 4/18 - 111/a. Is 1 equal to l?
False
Let k(p) = -2*p**2 - 2*p - 3. Suppose 5*h = -o - 0*o - 2, 0 = h - 1. Let v = -9 - o. Let r be k(v). Which is smaller: -0.1 or r?
r
Let a = 533/5 - 107. Is a != -0.042?
True
Suppose 2*a + 5*l + 10 = 7*a, 0 = -3*a + l. Is -1 < a?
False
Let d = -8 + 6. Let i be 7 - (d + (-3 - -7)). Suppose -u + i = 4*u. Which is smaller: 4/5 or u?
4/5
Suppose -5*a + 5*w - 24 = 21, -4*a = -2*w + 30. Is a greater than or equal to -6?
True
Let p = -5 - -2. Let q be (-1 - 2)/(-3 - -4). Is p <= q?
True
Suppose 3*a - 7*a - 41 = -5*z, -2*a - 13 = 5*z. Let i(m) = -m**3 - 9*m**2 + 1. Let u be i(a). Are 1/5 and u unequal?
True
Let g be 4/(-15)*(-1)/((-3)/36). Which is smaller: -4 or g?
-4
Let l = 4.5 + -2.5. Let o = l - 2.1. Is 8 greater than o?
True
Let z(v) = -v**3 - 4*v - 4. Let j be z(-3). Let s be (-38)/(-5) - (-14)/j. Let c be (-4)/16 - 6/s. Is c equal to 2/23?
False
Let o(j) = -2*j - 7. Let s(u) = u + 3. Let i(t) = 4*o(t) + 9*s(t). Let x be i(9). Suppose 4*b - x = -0*b. Is 1 > b?
False
Let w = 56 - 56. Is 6 less than w?
False
Let t be (2/(-3))/2 - 0. Suppose -2*m + 17 + 41 = -5*g, 5*g + 5*m = -30. Let j = g + 11. Which is smaller: t or j?
t
Suppose -10*i + 9 = -11. Which is smaller: 16/13 or i?
16/13
Let m = 24 + -44. Let j = 31 + m. Is j less than -1/4?
False
Let w = 24 + -23. Are w and 1/6 nonequal?
True
Let o = 32.2 + -37. Let k = 4 + o. Let a = -0.7 - k. Are 0.1 and a unequal?
False
Suppose 5*o + 15 = 0, 4*w - 2*o - 7 = 3*o. Let x be (9/12)/(w/8). Suppose -2*d + l + 13 = -7*d, -9 = d - 3*l. Is d bigger than x?
False
Let w be (4/(-3))/(-2) + 0. Let v(n) = n**3 + 3*n**2 - n - 1. Let u be v(-3). Suppose -2*f = -q + 3, -4*q = -q + f - u. Which is bigger: q or w?
q
Let l(g) = -g + 2. Let x be l(-3). Suppose -2 = -u + 5*v - 0*v, 4*v = -4*u + 32. Is u smaller than x?
False
Let h(w) be the third derivative of w**4/24 + w**3/3 - 2*w**2. Let v be h(3). Suppose 4*a + 23 = -5*l, -2*l = v*a + 20 + 13. Is -6 less than or equal to a?
False
Let x be 2 - ((-4)/(-2))/(-2). Suppose -4*m + 9 = -x. Let n = -365 - -370. Which is smaller: n or m?
m
Let p = -0.36 - -0.46. Suppose -4*f + 12 = 2*x, 0 = 2*f + x - 3*x. Suppose 4*r - 3*t - 25 = 0, f*r - 11 - 3 = 2*t. Which is greater: p or r?
r
Let o be (333/(-84))/(115/(-2146)). Let p = o - 57/322. Let a = -74 + p. Is 1 >= a?
True
Let y = 31/35 + -8/5. Is y less than 0?
True
Let z = 3 + -1. Let b = 2 - z. Let r = -0.4 + b. Which is bigger: r or -1?
r
Suppose 11*h + 180 = 5*h. Is -30 smaller than h?
False
Let s = 814325/65439 + 3/7271. Is s greater than or equal to 11?
True
Let s be 2/10*24/(-16). Is -1 < s?
True
Let n = -26 + 77/3. Let h = 1.2 + -0.2. Let w = 1 - h. Which is greater: n or w?
w
Let x = 1.8 + -2. Let q = 5/14 + -53/70. Which is greater: x or q?
x
Suppose -2*d = -3*d + 2*d. Is -4/57 < d?
True
Let c(f) = -3*f - 5. Let m be c(-4). Let g = -3 + m. Suppose 0 = 4*a + 4*k + g, k + 2 + 0 = 0. Which is smaller: -1/7 or a?
-1/7
Suppose 0 = -2*q + w - 6, 3*w = 4*q + 7*w. Let i = -14 + 24. Let u = -10.3 + i. Which is smaller: u or q?
q
Suppose -2 = -2*f - 8. Let o be (-1)/f + 0/(-16). Are -1 and o non-equal?
True
Let t(u) = u**2 + 4*u + 3. Let m be t(-3). Let q = 0 + m. Let k = -3/4 + 5/4. Which is greater: k or q?
k
Let s be ((-1)/(-6))/(2 - 34/16). Which is smaller: s or 0?
s
Suppose -5*l - 2*x + 6 = 2, 4*l + 5*x = -7. Suppose 5*f + 8 = -4*j - l, 3*f + 6 = 3*j. Is f < 0?
True
Let u(f) = f**2 + 7*f + 7. Let n be u(-7). Let m be 2/n - (-164)/(-84). Which is smaller: -1 or m?
m
Let n = -21245/97 + 219. Is -1 at least n?
False
Let s = 115/728 + -3/91. Is -1 at most s?
True
Let n = 0.916 - -0.084. Which is greater: n or 7?
7
Let l(n) = n**2 + 6*n - 9. Let r be l(-7). Suppose 14*q = 20*q + 30. Is r less than q?
False
Let f = -145/444 - 1/148. Is f not equal to 17?
True
Let x be 5006/(-90) - 2/(-9). Let t = x + 56. Let r(v) = -v**3 + 6*v**2 - 4*v - 3. Let l be r(5). Which is greater: t or l?
l
Suppose 149 = 5*z - 4*w, 0 = 7*w - 3*w - 16. Which is greater: 34 or z?
34
Let g(r) = -r**3 - r**2 + 2*r + 3. Let o be g(-2). Let u = -2 - -1.8. Let z = u - -0.1. Which is greater: o or z?
o
Let v(z) = -5*z**3 + z**2 - 1. Let w be v(1). Let c be -2 - ((-3)/(-3) + w). Is c at most as big as 1?
False
Suppose 4*u + 4 - 12 = 0. Suppose -u = -5*x + 23. Are x and 5 nonequal?
False
Let z be ((-156)/(-81) - 3) + 1. Let g = z + 31/54. Is 2 greater than or equal to g?
True
Let n = -5 - -7. Let o be (-17)/42 + n/(-12). Is -1 < o?
True
Let u = 145 - 1017/7. Let a = 3 + -2. Suppose -5*g + p = -2 - a, 5*g - 5*p = 15. Which is greater: u or g?
g
Let p(c) = -c**2 + 8*c - 9. Let q be p(6). Suppose 0 = -q*j - 2*j + 10. Let d(b) = 2*b**2 - 3*b + 1. Let u be d(2). Which is smaller: j or u?
j
Let o be (-9)/(((-10)/(-4))/(3/6)). Suppose -4*l - 5 + 1 = 0. Is o at most l?
True
Suppose -12 - 8 = -5*k. Let v = -14 - -20. Which is greater: k or v?
v
Suppose -5*t = -0*v - 3*v - 23, 2*v - 4*t = -18. Let z(x) = x**2 - 12*x + 15. Let n be z(11). Let c be (-3 + 3)/(8/n). Is v <= c?
True
Let x = 0.07 - -3.93. Let m = -1 + x. Let f = -2 + m. Which is smaller: -2 or f?
-2
Suppose 2*t + i - 7 = -0*t, -3*i + 15 = 0. Let r be (1 - -1)/(0 + t). Suppose 3*k - 1 = r. Does 1 = k?
True
Let m = 