- 14 = -2*m, l + 5*m - y = -3*l. Let i be (12/(-104))/(4/l). Which is smaller: i or 0?
i
Let q(b) = -b**2 - 10*b - 12. Suppose -5*l + 6*l + 8 = 0. Let j be q(l). Suppose -7 - 1 = j*r. Which is smaller: 0 or r?
r
Let h = -1.11 - -0.11. Let v = h + 26. Is -1 <= v?
True
Let v(y) = -21*y - 357. Let c be v(-17). Is c < 2/3105?
True
Let m be 2*3/(-24)*1355. Let i = 341 + m. Let l be ((-1090)/(-100) + -11)/((-2)/20). Which is smaller: l or i?
l
Let y be 16 + -19 - 9/276*-93. Is 0 < y?
True
Let q = -44.7 + 37.7. Is q equal to 57?
False
Let k(m) = m**3 - m**2 - m - 1. Let a be k(2). Let s(v) = v - 1. Let t be s(a). Suppose 3*p - 6 = -0*p, -3*i - 4*p - 4 = t. Which is smaller: -3 or i?
i
Let q = 930/11 - 84. Is -2/23 at least as big as q?
False
Suppose 30*c = 12*c - 198. Is -22 bigger than c?
False
Let g be -5 + 4 - 0/(-1). Let y = 77860/57 - 1366. Is g >= y?
False
Let r = 27 + -20. Let t = -9.5 - 2.5. Let h = t + r. Are 1 and h non-equal?
True
Suppose -6 = 3*h - 9. Let l be (1105/420)/13 - 1/6. Which is greater: h or l?
h
Let j(u) = -4*u**2 + u. Let q be j(1). Let f be -2 + q/(-1 - 0). Let v = -68 + 1290/19. Which is smaller: v or f?
v
Suppose 5*j - 15 + 0 = 0. Suppose j*f = c + 9, 0 = 4*c - f - 2*f. Is 13/7 >= c?
False
Let k = -36 + 37. Let g be (-1 - k - 1) + 32. Which is smaller: 31 or g?
g
Suppose -1713 - 357 = -5*k. Which is bigger: k or 413?
k
Let k(g) = -g**2 + 8*g + 437. Let d be k(25). Which is bigger: 242/21 or d?
d
Let a be -2*1 - (2 + -9). Let z(o) be the third derivative of o**4/8 - 11*o**3/6 - 16*o**2. Let d be z(a). Which is greater: d or 0?
d
Suppose 15*y - 12*y = 12. Suppose g = -y*c - 34, -3*g + 4*c - 70 = -0*g. Let v = 15 + g. Is v less than -10?
True
Let d(s) = s**3 + 18*s**2 + 20*s + 50. Let c be d(-17). Are 1/3278 and c non-equal?
True
Let x = 489 + -489. Which is smaller: -0.039 or x?
-0.039
Let q be 35 + 3 + 3*(2 - 3). Suppose 0 = 5*p - 5*r + q, -4 = -2*p + 6*p + 2*r. Is p at least -9/5?
False
Let p = 11 - 9. Suppose -p*k + 4*k = 0. Which is bigger: 8/17 or k?
8/17
Let y = 279 + -288. Suppose w = -w - r - 17, w = -5*r - 13. Is y bigger than w?
False
Let i = 29 - 17. Let o be (3/i)/((-1)/(-14)). Is 5 != o?
True
Let g = 183 - 554/3. Let u = 12 + -10. Let s be u*((-6)/(-4) + -2). Which is smaller: s or g?
g
Let p(w) = -4*w + 13. Let b be p(4). Let j be b/(-9) + (-88)/288. Which is greater: j or 0?
j
Let n be ((-5148)/(-77))/(-13) - (-2 + -2). Which is bigger: n or 0?
0
Let r be (-74)/592 + 9/(-56). Are -2/957 and r nonequal?
True
Let t = 17 + -25. Let n be (-4)/t*(-20)/6. Which is smaller: n or -2?
-2
Let t be ((-1)/(-2))/((-4)/112). Let f = t + 18. Suppose 32 = -f*l + 4. Do l and -7 have different values?
False
Suppose -4*l - 4*x = 84, 0*l + l = -2*x - 22. Let g = l - -21. Which is greater: g or -1/4?
g
Let w be (-1 - -13)*(10 - 481/52). Is w greater than -4?
True
Let k be (-24)/(-460)*4/56. Is k at most as big as 0?
False
Let y = 316 + -315. Is y > -2/935?
True
Let w = 879 + -878.99. Which is smaller: w or 79?
w
Let n(h) be the second derivative of h**5/20 + 2*h**4/3 - 7*h**3/2 - 15*h**2/2 + 12*h. Let b be n(-10). Is -5 greater than or equal to b?
True
Let o = 75 + -50. Which is smaller: o or 28?
o
Let v = -0.22 + -2.53. Let n = 0.25 - v. Let u = 8 + n. Which is bigger: u or 2/3?
u
Suppose -27 = 9*a + 9. Let r = a - -26. Is r >= 23?
False
Suppose -13 = -5*y + 4*m + 24, 3 = 3*y + 4*m. Is 106/25 greater than or equal to y?
False
Let f = 15.82 - 14.82. Suppose 12 = 5*a - 18. Let x = 25/4 - a. Is x at most f?
True
Let c(x) = -x + 5. Let r(l) = 6*l - 26. Let t(h) = 11*c(h) + 2*r(h). Let s(z) = -2*z**2 - z. Let q be s(-2). Let y be t(q). Which is bigger: -1 or y?
-1
Let n(z) = -z**3 + 8*z**2 + 12*z - 12. Let g be n(9). Suppose -v + g = 2*k, -k + 30 - 6 = 2*v. Which is smaller: 6 or v?
6
Let y = -32 - -77. Let p = y - 44. Do p and -2/39 have the same value?
False
Let c = -2 - -6. Suppose a + c*a = -2*v - 64, 3*v + 66 = -5*a. Let p = -6 - a. Is p > 7?
False
Suppose -3*o - 5*c = -98, -o - 2*c + 26 = 3*c. Let l be 8/o + 235/(-45). Suppose -3*t - 2*t + 4*u = 14, 4 = -u. Which is bigger: l or t?
l
Suppose -5*w + 5*a + 1 = -4, -w - 4 = 4*a. Let x = -69 - -72. Is w != x?
True
Let t = 0.83 - -0.17. Let r = 0.1277 + -0.1377. Which is smaller: t or r?
r
Let u be ((2 - 0) + -1)/(2/8). Suppose -4 = -8*p + u*p. Is -1/9 less than or equal to p?
True
Let z(q) = -q + 2. Let o be z(3). Let p = 1 + o. Let j be (12/(-9))/((-6)/18 - 1). Which is smaller: p or j?
p
Let k(h) = -h**2 + 4*h + 4. Let n be k(5). Suppose -26 = 5*s - 36. Suppose 14*l - 13*l - s = 0. Do l and n have the same value?
False
Let v = 128 - 146. Is v equal to 3/2?
False
Let u = -559 + 561. Which is greater: u or -2/289?
u
Let a = 53.6 - 55.6. Which is smaller: a or 61?
a
Let m = 6.14 + -9.9. Let x = 0.76 + m. Let y(o) = -o**2 + 6*o - 5. Let i be y(5). Which is bigger: x or i?
i
Let f = -34 + 66. Let q = f + -33.3. Let v = -1.4 - q. Is -4 at least v?
False
Let y(m) be the second derivative of -m**5/20 - m**4/12 + m**3 - m**2 + 27*m. Let b be y(-4). Is 23 < b?
False
Let i = -1001 - -1007. Which is smaller: i or -6.9?
-6.9
Let m = 15 + -15. Suppose -4*t + 4*r - 44 = 0, -17 - 51 = 3*t + 4*r. Let s be ((-7)/((-7)/(-2)))/t. Which is bigger: s or m?
s
Let g be 3985/(-2)*(-42)/(-27). Let k = -3105 - g. Do k and -6 have the same value?
False
Suppose 4 + 2 = 2*q - 2*o, 0 = 2*q + 5*o + 22. Let a be q/2*(-12)/2. Which is greater: a or 16/5?
16/5
Let d(z) = -z**3 - 40*z**2 - 88*z - 75. Let g be d(-38). Are g and 381 non-equal?
False
Let f be 8/(-5)*(-35)/14. Suppose p + f*p + 140 = 0. Let q = -29 - p. Which is greater: -16 or q?
q
Let k = 236 - 370. Is -131 < k?
False
Let m = -8.15 + -16.85. Which is bigger: m or -4?
-4
Let x be (-10432)/(-34) + -1*(-2 + 1). Let i = x - 308. Which is smaller: 0 or i?
i
Let y = 63/4 + -193/12. Let u = 18 - 12. Which is greater: u or y?
u
Let y = -76/657 - -1/219. Let d(j) = -j**2 - 2*j - 6. Let g be d(-4). Let a be 4/g - 9/(-7). Are y and a non-equal?
True
Let z be (-27)/(94 + -13)*0. Let k be ((-9)/2)/(-11*3). Which is smaller: z or k?
z
Let z be 6/(-4) + 2/(-4). Let f be z + 4/6*12. Let s = f - 7. Which is smaller: s or -6/13?
s
Let g be 5 + (8975/85)/5. Is g <= 25?
False
Let f be 0/(2/4*2). Let a be (f + 1)/(-5 - 12). Let h be 3/4 - 5/(-20). Which is greater: a or h?
h
Let k = -1349/94 + -7/47. Let b(m) = m**2 + 8*m - 3. Let g be b(-6). Which is greater: k or g?
k
Let v = 0.616 + -0.572. Is -2 at most v?
True
Let n = 0.053 - -0.317. Let l = n + -0.27. Which is greater: -13/2 or l?
l
Suppose 4*t - 2236 = 5*y + 1068, -y - 2478 = -3*t. Do 826 and t have different values?
False
Let y be 49/14 - 6/(-4). Let i(v) = v + 3. Let m(p) = -1. Let w(x) = -i(x) - 6*m(x). Let k be w(y). Is k less than -3/4?
True
Let k be (11/(-22))/(11/6494). Let q = k + 295. Which is smaller: q or 0?
q
Let a be (14 + (-4)/(-4))*1. Suppose -3*x - 28 + 2 = 5*c, -c - a = 2*x. Let s = x + 15. Which is smaller: 3 or s?
3
Suppose 2*k + 107 = 109. Which is smaller: k or 1/1569?
1/1569
Let u(p) = -7*p - 15. Let z be u(-7). Let g = z - 33. Let y be (14/91)/(0 - -1). Is y at most g?
True
Let t be 2/24*(-9 + 4953/549). Which is smaller: t or 1?
t
Suppose -d - 1 = 0, -6*d + 2*d - 4 = -2*x. Let m be -4 + 5 + (-16)/1. Is x at least m?
True
Let r be ((-3)/507)/(10/(-6)). Which is smaller: 0 or r?
0
Let g(r) = r**2 + 29*r + 55. Let b be g(-26). Which is bigger: b or -67/3?
-67/3
Let w = -277 + 6370/23. Let p(m) = 2*m**3 - m. Let t be p(1). Let i be (3 - t) + (-1 - 1). Which is greater: w or i?
i
Let m be (2 - (-9 - -8)) + (-6)/(-9). Let o be (4/6)/((-3)/(-18)). Which is smaller: m or o?
m
Suppose 0 = 2*x - 10 + 20. Let k be (-2 + (-2 - x))*(24 + 0). Which is smaller: k or 26?
k
Suppose -2*v - 19 = -3*q, -18 = -2*v + v - 4*q. Let b(t) = -4*t - 4. Let u be b(v). Suppose 0 = x + 2*w - 10, 4*x - 5*w + w - 16 = 0. Which is greater: x or u?
x
Let a be (-4)/(-3)*(-708)/(-8). Which is bigger: 237/2 or a?
237/2
Suppose 0 = 119*o - 120*o + 19. Which is smaller: 258/13 or o?
o
Let l be (378/420)/((-6)/(-544)*-10). Which is greater: l or -7?
-7
Let g be (12/15)/((-22)/345). Is -14 less than or equal to g?
True
Let l be ((-6)/((-9)/(-3)))/((-3)/6). Let d be (14/l)/((-18)/20 - -1). Is d bigger than 35?
False
Let q(z) = 