(-40). Let j be n - (4/1 - 6). Let z = -14 + 24. Which is greater: z or j?
j
Let a be (-8)/(-10) - (-14319)/(-1480). Which is smaller: -8 or a?
a
Let b = 0.297 + -219.297. Is -1 at most b?
False
Let l be (50/(-25))/(3/((-15)/(-2))). Let p be 1 + -2 - 62/(-10). Let o = l + p. Is o at least -1?
True
Let w = 144 + -144. Let t = 9.5 + -1.5. Which is smaller: w or t?
w
Let l be (-64)/576 - ((-488)/18 + -1). Does 21 = l?
False
Let g be 3 - 17/(-1)*(-2)/10. Let l = -1.72 - -2.29. Which is greater: g or l?
l
Let q = -293 + 2329/8. Is -3 at least as big as q?
False
Let h = 0.27 - 31.27. Let b = h - -31. Which is bigger: -27 or b?
b
Let i be 13565/75 + 1/(-5). Let v = 184 - i. Suppose 2*b + 1 = -t + 5, 4*b - t = 20. Which is greater: b or v?
b
Suppose 0 = -z + 2*y - 426, 6*z + 2130 = z - 4*y. Is z smaller than -425?
True
Let v = -56 - -101. Let k = v + -32. Let i = k + -15.1. Is -0.1 equal to i?
False
Let z = 2647/5 - 182743/345. Is z equal to -1?
False
Let x = 1807 - 5420/3. Let q(b) = 4 + 10*b - 4. Let a be q(-1). Which is greater: x or a?
x
Let g(l) = l**3 + 6*l**2 - 2*l - 7. Let q be g(-6). Let v = q - -17. Let b be (-136)/6 - v/(-33). Are b and -22 unequal?
False
Let o = 4 + -2. Suppose -4*i = 4*k, i + 12 = -0*i + 2*k. Let g be ((-6)/i)/(-3)*0. Is g greater than or equal to o?
False
Let r = -1114/9 - -124. Which is smaller: 26 or r?
r
Let z = 9/2 + -4. Let g = 343 + -343. Do z and g have the same value?
False
Suppose 12 = 4*k + 4, -4*k = o - 278. Is o less than 808/3?
False
Let j = -14 - -18. Suppose -7*s - 6 = -j*s. Is -2 < s?
False
Let t(s) = s**2 + 2*s - 3. Let x be t(-3). Suppose x = -2*w - w. Suppose w*y = 4*y + 8. Is y <= -12/5?
False
Suppose -2*m - 83 = 3*l, 26 = 5*m + 1. Let n = l - -72. Is n less than or equal to 41?
True
Let m(l) = l + 1. Let f be m(-1). Suppose 21 - 6 = o - z, o - 3*z - 5 = f. Suppose o = -0*i - 4*i. Which is bigger: -4 or i?
-4
Suppose -4*r - 5*c = -6*c - 19, 2*c + 6 = 0. Which is greater: r or -7?
r
Let m = -0.23 + -0.04. Let f = -45.97 - -46. Let j = m - f. Is 1 bigger than j?
True
Let h = 329 + -608. Which is smaller: 2 or h?
h
Let f be (13/65)/((-1)/3). Let l = 0.12 - 6.12. Let y = -3 - l. Which is smaller: f or y?
f
Let w be (28 + -2)/((-16)/(-56)). Suppose -2*n = 5*n - w. Which is smaller: n or 11?
11
Suppose 80*x = 86*x - 192. Is x not equal to 23?
True
Let x = -36 + 19. Let h = 15 - 24. Let k = h - x. Is k <= 7?
False
Let n be ((5 - 1) + -4)/1. Suppose n*z - 4 = -3*o - 2*z, 5*o = -2*z + 8. Let b be (28/(-6) - -4) + o. Is 0 at least as big as b?
False
Let n be (-240)/(-114) + 1*8/(-76). Suppose -4*k + 2 = 3*o - 2, -o + 4 = 2*k. Are n and k non-equal?
True
Let h be -2 - (-28)/60*4. Suppose -k = 9 - 12. Do h and k have different values?
True
Let q = -6 + 6.19. Let v = q - 2.19. Let a = -761/510 - 2/255. Which is bigger: v or a?
a
Let f = -5 - -7. Suppose -j - 5*r - 15 = 0, 2*j - 2*r + 4 = r. Let k = f - j. Is 8 smaller than k?
False
Let b be 1 - (-1 + 3 - 1). Let k be (-1372)/(-44) + (-2)/11. Suppose -4 = k*j - 33*j. Is b at most j?
True
Let d = 9 + -6. Let l(u) = -u**3 - 16*u**2 - 12*u + 47. Let j = 121 - 136. Let m be l(j). Do m and d have the same value?
False
Let t = -0.4787 - -0.2407. Which is smaller: -0.1 or t?
t
Let x be (-34)/(-8)*12/1. Let w be 2 + 1/(x/(-90)). Suppose -245*v = -233*v + 12. Does w = v?
False
Let c be -3 - 2/((-2)/(-181)). Let w be 40/(-8) + (-916)/c. Is -1 greater than or equal to w?
False
Let h = 0.5 + 0.1. Let x = -5.6 + h. Let s = -0.82 + -0.18. Is x bigger than s?
False
Let g = -0.818 + 0.545. Which is smaller: -0.1 or g?
g
Let n = -7 + 11. Suppose n*x - 4*g = 3*x - 1, g = -5*x + 16. Let b = x + -3. Which is smaller: -3/10 or b?
-3/10
Let y be 3/(-9)*12/(-68). Let b = y - -83/34. Do -1/3 and b have different values?
True
Let r be ((-2)/(-6))/(1/15). Let l be 1 - ((-925)/309 + 4). Let h = l + 212/927. Which is smaller: h or r?
h
Let l be (2152/(-112))/((-1)/(-6)) + 4. Let w = l + 111. Which is smaller: 1/4 or w?
w
Let n = 1139/12 - 2623/24. Which is smaller: n or -15?
-15
Let s = -85 + 97. Let a = 11 - s. Are -16/7 and a nonequal?
True
Let i be (34/3)/(100/150). Is i smaller than 111/7?
False
Suppose -212*r = -215*r + 315. Which is bigger: r or 104?
r
Let p = -55 - 54. Let z = p + 162. Does 53 = z?
True
Let c = -2553 - -2490. Is -60 >= c?
True
Let p be 1*4*3/15. Let a(c) = -c**2 - 17*c - 40. Let n be a(-14). Suppose n*v - v = -v. Which is greater: v or p?
p
Let g be 0/(-6*((-1)/3)/(-1)). Let m = -8 + 6. Which is greater: g or m?
g
Suppose -3*b + 7*b = 0, b = -3*x + 15. Let l = 7 + 1. Suppose -24 - l = -4*r. Is x bigger than r?
False
Let b be (-2)/(-12) + 155128/144. Let j = 1079 - b. Is 2 != j?
True
Suppose -2*p + 2 - 7 = 3*n, 2*n - p + 15 = 0. Let d be 0 + (2*n - 0). Let m = 3 + d. Which is smaller: -15/2 or m?
-15/2
Suppose -l = -2*s + 38, -5*l - 79 = -3*l - 5*s. Let x(v) = -32*v + 2. Let m be x(1). Is l > m?
False
Suppose 0 = -3*m - 2*s - 2 + 14, 3*m + 3*s = 9. Let w be ((-4)/((-8)/m))/(-1). Let d = -117/148 + 3/74. Which is bigger: w or d?
d
Suppose n - 2*x + 31 = 0, 6*n - 9*n = -2*x + 93. Is -89/3 != n?
True
Let u = -7 + 6.1. Let z = u + 0.85. Let t = 0.05 - z. Is -5 equal to t?
False
Let w = 207 + -1447/7. Which is greater: w or 0?
w
Let c = 0.344 + -0.044. Is -3/23 > c?
False
Let m be 18 - (-1 + 5 + -5 - -4). Is m smaller than 11?
False
Let a = 421 + -422. Let m be 0 - 1/5*-2. Is a > m?
False
Let l(k) = -k**2 + 9*k - 10. Let w be ((-32)/6)/(40/(-60)). Let p be l(w). Does -2 = p?
True
Suppose 26 = 3*f + 4*g, -g - 13 = -4*f - 10. Suppose -5*h = -a - 5, 5*a = h - 0*h - 1. Let l be h/2*2*1. Is l > f?
False
Suppose -32 = -3*f + 5*p - 0, -5*f + 72 = p. Is f at most 14?
True
Let f be 3*(4 - (-30)/(-9)). Suppose 0 = -5*m + 2*b + 2*b + 31, -f*m = -3*b - 18. Suppose -m*i + 10 = 2*i. Are i and 4/3 nonequal?
True
Let b = 2 + -2. Let z = -63223174/39 + 1621221. Let k = z + -341/3. Is b smaller than k?
True
Let c(k) be the first derivative of k**4/2 - 22*k**3/3 - k**2/2 + 8*k + 13. Let b be c(11). Let r(g) = g**2 + 5*g - 2. Let u be r(-5). Which is greater: u or b?
u
Let u(v) = -26*v - 105. Let a be u(-4). Which is smaller: -3/779 or a?
a
Let i(x) = -2*x + 1 + x + 7 - 2. Let k be i(0). Suppose 2*h = -0*h + 3*y + 8, h + y = -k. Which is smaller: h or 0.03?
h
Let v = -1055 + 1042. Is v greater than or equal to -27?
True
Let d be (75/(-10))/((-138)/(-23)). Which is bigger: d or -12?
d
Suppose -2*z = -8, 2*a + 3*a = -z + 124. Let p = a + -8. Is 15 smaller than p?
True
Let i = -971 + 1457. Which is smaller: 0.1 or i?
0.1
Let f be (-1)/(-5) + 1989/(-85). Is -22 greater than or equal to f?
True
Let n be 2/15 - 2033/285. Let b be (10 + n)*(-1)/2*-2. Which is smaller: -7 or b?
-7
Suppose 4*u = -5*d + 140, 0 = -4*d + 22*u - 18*u + 76. Is 25 less than or equal to d?
False
Suppose -358 = -126*z + 128*z. Is -182 bigger than z?
False
Let d be 2*2*(-1)/4. Suppose 9 = -3*a - 3*x, 0*x + 3*x + 12 = -4*a. Let s be (2 - a/(-2))*0. Which is greater: s or d?
s
Suppose 31 = 8*g - 1. Let m be 2 + 1610/(-765) - g/(-18). Which is smaller: m or 1?
m
Let r = -1114 - -1090.3. Is 4/5 less than or equal to r?
False
Let c = 0.0562 - -21.9438. Suppose -3*f = -2*f - 1. Which is smaller: f or c?
f
Let z be 4/(-10) + 16/(-10). Let v be (-2)/((-4)/(-30) - 6/(-30)). Let t be z/((20/v)/5). Which is greater: 3/2 or t?
t
Let j = 635.7 - 636. Is j less than 22/7?
True
Suppose -n - 3*s + 6*s - 9 = 0, -3*n + 9 = 3*s. Is 2/355 <= n?
False
Let r = -0.824 + 0.822. Is r < 5?
True
Suppose -104 = 3*k - 143. Suppose -n = -0*n - 13. Do n and k have different values?
False
Suppose 5*d = 509 + 271. Let x be (-2)/(-13) - (-1536)/d. Suppose -6*y = -x*y. Is y at most as big as 2/9?
True
Suppose 0 = 8*g - 7*g + 32. Let h = 38 + g. Which is smaller: h or 8?
h
Let d = -992 + 975. Is d smaller than -1?
True
Let v(g) be the third derivative of -g**5/60 - 5*g**4/24 + g**3/3 + g**2. Let d be v(-5). Suppose -2 = -0*w + d*w. Is w < -2?
False
Let p = -15 + 3. Let a = -9 - p. Suppose a*m + 0 = -6. Which is smaller: m or 1/3?
m
Let c(w) = w**2 + 2*w + 3. Let h be c(4). Let j = -63 - -88. Is j < h?
True
Let k = 0.19 + 0.11. Let z = k + -1.3. Let t = 3.8 + -3.9. Which is bigger: z or t?
t
Let s(c) = -c**3 - 2*c**2 + 3*c + 3. Let j be s(-3). Let d be (-7)/(1