 + a*k = 8. Let u(g) = -g - 1. Let p be u(2). Which is bigger: p or k?
k
Let t = 13.0313 - 0.0313. Is t at most as big as 16?
True
Suppose -17 + 6 = -5*y - 3*l, l = 2*y. Suppose -2*a = -5 + y. Let z = -42 + 41.9. Which is bigger: a or z?
a
Let t = -651 - -562. Is -86 at most t?
False
Let m(s) = 141*s + 642. Let g be m(-7). Which is bigger: g or -346?
g
Let l = -10/231 + 3/154. Suppose 4 = -2*i + i. Let n be (i + 5)/(1 + 0). Is l greater than n?
False
Suppose 4*q - 12 = -0*q. Suppose -j + 13 = -q*p + 3*j, p - 4*j = -15. Let c be ((-10)/225)/((-1)/(-10)). Are c and p nonequal?
True
Let n = -1272 - -15319/12. Do n and 5 have different values?
True
Let d be -1*2 - (-13)/4. Let m(x) = -x + 9. Let v be m(4). Suppose -3*y - 3*n = -21, -y + v + 12 = 3*n. Which is smaller: d or y?
d
Suppose -22*y = 16*y + 114. Suppose -a - 10 + 5 = 0. Does y = a?
False
Let h = -258 + 241. Is h > 0?
False
Suppose 0 = 5*y + 2*o - 169, 5*y - 4*o + 128 = 9*y. Which is greater: 37 or y?
37
Let p be 194*3/(-288) - -3 - 1. Suppose 19 + 3 = 2*h - 5*t, 0 = 2*t + 8. Which is greater: p or h?
h
Let v = 1/16 + -1/4. Which is smaller: 0 or v?
v
Suppose -6 = -v - 1. Let j be (86/5)/(((-40)/25)/(-4)). Let n = j - 38. Is n > v?
False
Suppose -12 = 12*w - 16*w. Let f be 5/60*-34 + w. Suppose -3*u + 2*d = -3, -u - 3*d = -2 + 12. Is f less than u?
False
Let v(c) = 1. Let b(o) = 3*o + 14. Let a(i) = -b(i) - 2*v(i). Let j be a(-5). Does j = 0?
False
Let s = 5724 + -40077/7. Let x = -3 + 8. Suppose -x*m + 8 = -2*u, 0*m + 3*u = -2*m - 12. Which is bigger: s or m?
m
Suppose -3*a = -4*h - 6, h = -a + 6*h + 2. Suppose -2*k + 16 = -a*b, k = -0*k + 4*b + 2. Let q be (-2)/k*6/3. Is 0 equal to q?
False
Let j = 8 - -8. Let s(b) = 5*b**2 - 30*b - 5. Let r be s(6). Let t be (32/r)/(20/(-50)). Is j at least as big as t?
True
Let x = 0.1 + 0. Let q = 692 + -691.83. Are x and q unequal?
True
Let r = -33 + 89. Let u be (-3)/(-18)*(-30)/r. Let o = -29/168 - u. Are o and 1 equal?
False
Let x be 31/15 - 180/108. Is x != 0?
True
Let y = 427 - 434. Which is bigger: -0.13 or y?
-0.13
Let f be -1 + 29/(-10) + 4. Let n be 4 + ((-60)/(-4))/(-5). Is f equal to n?
False
Suppose -38*q - 12 = -36*q. Is q at most -14?
False
Let w be 9535/(-25) - (1 - 1). Let z = -383 - w. Which is bigger: -1 or z?
-1
Let r = 38 + -21. Suppose 15*b - r*b = -14. Is b less than 11?
True
Let y = -85/123 + 1481/205. Which is smaller: y or 6?
6
Let y = -124 - -152. Which is smaller: y or -6?
-6
Let i = -0.5 + -42.5. Let l = i - -45.9. Let m = -0.9 + l. Which is greater: 0.2 or m?
m
Let i = -17/404 + 12045/267044. Does i = 2?
False
Let y(o) = -35*o - 461. Let m be y(-13). Let h be 2 + -6 - 2 - -1. Is h at most m?
False
Suppose -4*x = -5*c - 34, -3*c - 2 - 4 = 0. Let g be 0 + x/(-4)*10/5. Which is smaller: -1 or g?
g
Let k = 39 + -54. Let f = 17 + k. Which is smaller: f or 9/13?
9/13
Let u be (-12)/(-8)*2 + (-341)/(-3). Let v = u - 118. Is v at most as big as 0?
True
Suppose 27*k + 12 + 157 = 7. Let w be -1 + 1 + (1 - -1). Let n(b) = -b**3 + 3*b - 3. Let h be n(w). Which is greater: h or k?
h
Let d be (-9)/(-24)*(-241160)/(-450). Let c = -201 + d. Which is bigger: 0 or c?
0
Let x(w) = w + 14. Let u be x(-11). Suppose 19 = -4*q - i, 0 = 4*q - 7*q - u*i - 3. Are q and 0 equal?
False
Let l = 614 - 615. Is 5/27 greater than l?
True
Suppose -6*a - 28 - 2 = 0. Let b = -15 + 10. Is b greater than a?
False
Let w be 315/65 + 2/13. Let c = -4 + w. Let p be ((-8)/(-28))/(c/7). Is 2 at most p?
True
Suppose -3*k - 3*b = -7*b - 3904, 4*k + b - 5180 = 0. Let v = k + -3815/3. Is v less than 24?
False
Let j = -3 - 18. Let k = j - -1. Let n = k + 31. Which is greater: n or 9?
n
Let m(a) = a**2 + 34 - 12*a - 68 + 31. Let y be m(12). Which is smaller: y or -1?
y
Suppose -4*r + 10 = r. Suppose -5*v + r = 12. Let g be (-1 - (-34)/30) + (-364)/455. Which is smaller: v or g?
v
Let g = 2.4 - 2.3. Let y = g - -0.9. Is 6/5 equal to y?
False
Let b = 15428/11 + -1402. Which is greater: 91 or b?
91
Let h be ((-24)/9)/(2/(-6)). Let g(r) = r**2 - 7*r + 5. Let i be g(7). Let c = 12 - i. Which is smaller: h or c?
c
Let a = 45 - 36. Let c be -1 - (-7 + 0 + 0). Which is greater: c or a?
a
Let s be 88/(-21) - (9 - 13). Let l = 64 - 64. Which is bigger: s or l?
l
Suppose 80 = -6*n + 14*n. Suppose 73*f + 40 = 78*f. Is f smaller than n?
True
Let b = 191/5 + -1132/35. Suppose 3*p + 2*k + 36 = -2*p, -2*p - 9 = -k. Let a = p + b. Which is smaller: -1/2 or a?
-1/2
Let k(y) = -y**2 - 2*y + 7. Let c be k(-3). Suppose -c*i = 4*i + 128. Do -12 and i have different values?
True
Let c = -1/5291 + -917/238095. Which is smaller: -1 or c?
-1
Let x = 16/313 - -621/18467. Is -1 less than x?
True
Let m be (-8)/(-12)*((-434)/3)/7. Is -15 > m?
False
Let a be 2/(0 - -10)*135/(-54). Let i = 9 - 9.16. Is i less than a?
False
Let q = 2067497 + -45507559/22. Let f = 10892/11 + q. Let t = f - -77/2. Which is bigger: 1 or t?
1
Suppose -25*l + 26*l = -1. Let m be -1 + ((-3996)/1017)/(-4). Is l != m?
True
Let c = 505 + -1160. Which is greater: c or -1?
-1
Let f = -17217176/921 + 18694. Let d = -1748/43287 + f. Is 0 < d?
False
Let m = -8 + 9. Let k = -3 + m. Let c be (k/(-12))/((-1)/2). Is -0.07 at most as big as c?
False
Let d be (-16)/(-20) - (22/(-10) - -3). Suppose 0 = -3*h - 5*w + 12, -2*w + 12 - 4 = 2*h. Suppose n + 5 = -h*n. Which is bigger: n or d?
d
Suppose 0 = 708*a - 715*a - 728. Which is smaller: a or -105?
-105
Let f = -861 + 859. Which is greater: -21 or f?
f
Suppose -30 = -2*v - 0*w + 3*w, -2*v = w - 14. Let h be v/(9/(-2)) + 22. Suppose -h*b - 110 = -15*b. Is b at least -23?
True
Suppose 0 = d - 98 + 18. Let f be 5/d*2/2. Is f greater than or equal to 0?
True
Suppose 9*i + 10 = -2*n + 6*i, 1 = 5*n + i. Which is greater: n or 3/25?
n
Let d = -131 - -131.077. Let f = 1.177 - d. Is -1 greater than f?
False
Let t(k) = -k**3 + 38*k**2 - 33*k - 195. Let q be t(37). Is -522/11 at least q?
False
Let x(q) = q + 9. Let o be x(8). Suppose -3*b + y + 51 = 0, -3*y - 45 = -3*b - 0. Is o bigger than b?
False
Let q = -6.8 - -7. Suppose 8 = 4*g + 3*n - 2, 0 = 3*g + 3*n - 9. Let w be 0 + -2 - -4*g. Is w smaller than q?
False
Let s = 83/91 - 10/13. Let v be (-1)/3 - 9*1/54. Which is bigger: s or v?
s
Let h be (5 - 4)/(-3) - (-9148)/27516. Let y = h - 6791/100892. Which is smaller: y or 1?
y
Let b = -511 + 510. Is -2/127 < b?
False
Let n = -10409/11 - -946. Which is smaller: n or 9?
n
Suppose 3*q = 3*l - 12, 0 = 2*l + 2 - 0. Let g be (75/(-6))/q*20. Suppose -c - 5*v - 8 = 0, -c + 4*v - 13 = -g. Is 18 at most c?
False
Let p = -0.11 - -0.81. Let w = -2891 + 2890. Are w and p equal?
False
Let x be 5 - (-66)/(-14) - 656/2282. Let j = -1497/203098 - x. Is j at most -1?
False
Let d(i) = -i + 5. Let s be d(-10). Suppose 10 = 5*h + 5*x, h + 3 = -4*x + 5. Suppose 2*m - 26 = -4*u, -h*m - 3*u - 8 = -35. Is m at least s?
True
Let x = 218 - 217. Which is smaller: x or 1/93?
1/93
Let j be 110/(-15)*36*1. Let r be 1/4 + (-30)/j. Suppose h - p - 3 + 2 = 0, 0 = 4*h - 2*p - 2. Which is bigger: h or r?
r
Let s(z) = z - 6 + 6 - 2 - 4. Let y be s(7). Let l = 366/5 - 73. Is l at least as big as y?
False
Let t be -24 - 0 - (-1 + 4). Let j be (-4 + 1)/(t/18). Let m(x) = -4*x + 3. Let g be m(j). Which is smaller: g or -0.1?
g
Let x(g) = g + 1. Let v be x(-1). Let k be ((0 - 35) + 1)/(-26) - 1. Which is greater: k or v?
k
Let x be (-4)/18*1682 - 48/216. Let c = -14213/38 - x. Is 1 at least as big as c?
True
Suppose 0 = -7*w + 2*w + 65. Let s = w - 24. Which is smaller: s or -12?
-12
Let b(n) = n**3 - 19*n**2 - 20*n - 7. Let o be b(19). Are -389 and o nonequal?
True
Let g(u) = -u + 4. Let o be g(6). Suppose 21 = 3*f - 4*t - 8, -4*t = 3*f + 11. Suppose -f*x - x = 4. Is o less than x?
True
Let y = -4.73 + -0.57. Let w = y - -5.4. Let v = -46 - -137/3. Is w equal to v?
False
Suppose 6*i + 13*i = 0. Let r be 4535/(-2660) - 1/(-4). Let q = r - -1/38. Is q at most as big as i?
True
Suppose -5*r + 4 = 3*c, 3*r = 4*c + 2*r + 33. Let w be ((-3)/(12/(-32)))/(-2). Let m = w + -5. Are m and c nonequal?
True
Let t be 4*(-48)/416*(-1)/9. Does t = -2?
False
Let v(h) = -h**3 - 5*h**2 - h - 5. Let t be v(-5). Let a be (1 - 4) + t + 7. Suppose -g = -1, a*z + 1 = 2*z - g. Which is bigger: 3/8 or z?
3/8
Let s = -208 - -1874/9. Let n(y) = y**3 - 22*y**2 + 