 y(v) = -v**3 + 13*v**2 - 7*v - 33. Let z be y(13). Let n = 128 + z. Which is smaller: n or 5/2?
5/2
Let i = 2.85 + -2.99. Which is smaller: -2/3 or i?
-2/3
Let w(h) = -h + 1. Let v be w(9). Let p be 14/56 - (-10)/v. Is -18 != p?
True
Let b(t) = t**2 + 2*t - 8. Let r be b(9). Is r at least as big as 91?
True
Suppose 3 = -f + 5. Suppose j + z - 3 = -4, -22 = 2*j - f*z. Let d be 4/10*(-5)/j. Is d bigger than 0.1?
True
Let z = -180.15 + 47.26. Let u = z - -132. Is -2/3 at least as big as u?
True
Let l = -44491/483 - -645/7. Do l and 0.4 have the same value?
False
Let l = -17 - -19. Suppose 6*y - 2*y + 48 = 0. Let w be l/y - (-36)/54. Which is bigger: w or -4/9?
w
Let p = -8 - -8. Suppose 5*k - 3*i - 2*i = p, i = -2*k + 15. Is k at least as big as 5?
True
Suppose 3*r = 5*i - 33, 2*r - 61 = -5*i - 2*r. Suppose 0 = 2*k + 3*s - i - 26, -4*s + 12 = 0. Are k and 13 nonequal?
False
Let y(k) = 24*k**2 - 2*k + 2. Let z be y(1). Is 25 smaller than z?
False
Suppose 2*o - 14 = -8. Suppose 0 = -6*b + o*b + 6. Is 3 equal to b?
False
Let a(l) = l**2 - l - 5. Let x be a(3). Let w(y) = 2*y - 17. Let m be w(12). Are x and m non-equal?
True
Let r(p) = -6*p + 28. Let y be r(8). Let l = -21 - y. Is l > -2/15?
False
Let b = -66 - -116. Suppose 2*y = -3*s - 90, 2*s - 2*y = -0*s - b. Which is smaller: s or -29?
-29
Let o(s) = -3*s - 25. Let t = -119 + 111. Let r be o(t). Which is smaller: r or -96?
-96
Let w be (-2)/26 + 49706/626574. Which is smaller: w or 0?
0
Suppose 14*q - 22*q - 40 = 0. Let a be q + 7 + (-2)/2 + -1. Which is smaller: -9/17 or a?
-9/17
Suppose 0 = 5*t - 3 - 17. Suppose t*c - 13 = -9. Which is greater: c or 2/21?
c
Let a(f) = 3*f**2 - 21*f - 1. Let h be a(7). Suppose 0 = 3*s - 0*m + m + 41, -59 = 4*s - 3*m. Let b be 8/(-7) - s/49. Which is bigger: h or b?
b
Let t(g) = 4*g - 1. Let f be t(4). Let p = f + -18. Let j be -9 + (-9)/(-3) + p. Are -8 and j non-equal?
True
Let a = -15 - -39. Suppose 0 = -b - 3*b - a. Let v(i) = i**3 + 6*i**2 - 2*i - 8. Let h be v(b). Are h and 3 nonequal?
True
Let d(q) = q**3 + 9*q**2. Let p be d(-9). Suppose p = 4*k - n + 8, n = -5*k - 14 + 4. Let f be 3 - (-3 + 5) - 2. Is k less than f?
True
Let l = 0.3 - -0.7. Let t be 99/(-15) + 48/80. Do t and l have the same value?
False
Let h = 571 + -573. Is -6/311 at least h?
True
Let v be 143/26 + -4 + -1. Is -51/4 at most v?
True
Let r = 882 + -883. Which is smaller: r or -1/3556?
r
Let n be ((-2)/5)/((-1)/5). Suppose 5*g + 3 = 4*x + 21, 0 = 5*g + 4*x - n. Let v be (-2)/(-9)*24/8. Which is greater: v or g?
g
Let x = 0.213 - 92.213. Let b = -92.1 - x. Which is bigger: -2 or b?
b
Let f = -571 - -696. Which is greater: f or 0?
f
Let x(u) = 3*u**2 - 7*u - 3. Let t be x(3). Which is smaller: t or 27/13?
27/13
Let p = 0.114 - 0.056. Let f = p + -0.058. Which is smaller: -7/9 or f?
-7/9
Suppose -a - 3*q + 87 = 0, q + 64 = 4*a - 336. Is 95 at most as big as a?
True
Suppose o - 4*o + t + 26 = 0, -o + 4*t = 6. Is 14 bigger than o?
True
Let z = -24 - -17. Let m = 7.13 + z. Let o = m + -0.23. Is 1/5 < o?
False
Let o be (-7 - (-3 + 2)) + 1. Let q be 3570/(-900) + 2/12. Which is greater: q or o?
q
Let t(g) = -15*g + 40. Let f be t(4). Are f and -28 equal?
False
Let w = -383 + 384. Is 177 smaller than w?
False
Let q = 16.19 + -16. Let x = q - -0.01. Suppose 0*n = 2*n + 6. Which is smaller: x or n?
n
Let z = 152 + -154. Which is greater: z or 1/9?
1/9
Let j(n) = n**2 + 11*n + 9. Let a be j(-9). Let y = 16 + a. Let o = 7 - y. Do o and -2/25 have different values?
True
Let u be (-22)/44 + (-70)/(-116). Which is smaller: 0 or u?
0
Let r = 4841/3 - 1615. Let i(y) = -y + 3. Let o be i(4). Which is smaller: o or r?
r
Let i be (-6)/136*12/36. Which is smaller: i or 0?
i
Let u(m) = -m**3 + 3*m**2 + 6*m - 7. Let q be u(4). Let s be 869/275 - (4 + -1). Which is smaller: s or q?
s
Let u(w) = -w - 13. Let x be u(-16). Let j = 25 - 21. Is x at least j?
False
Suppose 3*s = -2*d + 2, -2*s + 3*d = -5*s. Suppose -s*z = 3*z + 1575. Let o be 20/8*(-12)/z. Which is bigger: o or 0?
o
Let n(j) = j**2 - 3*j - 2. Let z be n(4). Suppose -k + 0*k = -z*x + 11, 0 = -x + k + 7. Suppose 29 + 58 = 29*u. Is u != x?
True
Let q be (-2 + 1)/(2/86). Is q bigger than -376/9?
False
Let q be -54 - -6 - 4*9/6. Does -50 = q?
False
Let m = 494 - 510. Let y be (1/2)/(1/(-34)). Is y equal to m?
False
Suppose 4 = -2*n + 2. Let w be 310/145 + 5/((-5)/2). Is n >= w?
False
Let i(o) = 7*o**2 + 17*o. Let a(b) = -11*b**2 - 26*b. Let k(t) = 5*a(t) + 8*i(t). Let g be k(-6). Let j = 1975/14 - 141. Which is smaller: g or j?
g
Let p be ((-1)/3)/(2/(-18)). Suppose -p*i = -0*i + 3*g, 0 = 4*i - 5*g - 27. Suppose -i*c = 4*r + 47, 1 = 2*c + 4*r + 35. Is -13 > c?
False
Suppose 5*h = h. Suppose 2*o + 2*o = h. Which is greater: -1/6 or o?
o
Suppose 0*n = 5*n - 55. Suppose 19 = -11*s + 85. Suppose s + 64 = 7*f. Is f >= n?
False
Let f = -47 + 43. Let b be (-8)/(-6)*(-198)/f. Which is smaller: b or 65?
65
Let i = 1 - 2. Let w(b) = 2*b**3 - 7*b**2 - 2*b - 7. Let u be w(4). Let v be (15 - 17)*6/4 + u. Is i at most v?
False
Let r be 29/(-1) - -1 - -2. Let a be -3 + 0 - (32 + r). Suppose 0 = 4*v - v. Does v = a?
False
Let d(i) = -4*i**2 - 3*i + i + i**2 + 2*i**2. Suppose -2 = 2*j - j. Let x be d(j). Are 4 and x equal?
False
Suppose -5*d + 10 + 10 = 0. Let v be 2/d*(32 - -4). Suppose 5*g - 3*g = v. Which is greater: 7 or g?
g
Let q be (-24)/(-8) - 22/2. Let f be 180/(q - -3) - (1 + -1). Is -36 greater than f?
False
Let w(b) be the first derivative of -b**2 + 24*b - 10. Let p be w(9). Which is bigger: p or 4?
p
Let j = 22.028 + -0.028. Let i = j - 23. Do i and 1 have different values?
True
Let m(g) = -80*g - 563. Let w be m(-7). Is -71/20 greater than or equal to w?
False
Let g = 16 + -19. Let o be (-186)/195 + 1*(-12)/(-15). Is o < g?
False
Let l = -111 - -123. Is 7 greater than l?
False
Suppose 0 = i - 5*i. Let x be i + ((-342)/1890 - 1/(-6)). Is 1 > x?
True
Suppose 2*l + 0*l - 5*v = -27, v = 5. Let t be (14/(-161))/(l/(-3)). Is t != 1?
True
Suppose -33*b - 154 = -11*b. Which is smaller: 7 or b?
b
Suppose -4*w + 40 = 2*z, 0 = 2*w - z - 3*z. Let r(a) = a**2 + 4*a - 5. Let g be r(-6). Suppose 0 = -9*n + g*n + 18. Is w less than or equal to n?
True
Suppose 2*g - 398 = -3*k - 392, -k - 3*g + 2 = 0. Let o = 4.7 + 0.3. Is k >= o?
False
Let x = -224 - -1567/7. Suppose 3*d - 7*d + 4 = 0. Which is smaller: d or x?
x
Let y be 408/117 - 4/26. Let o = y - 9/2. Which is bigger: -1 or o?
-1
Let u be (-4)/(-26) - 222/(-78). Suppose -4 = 3*l - 22. Is l less than or equal to u?
False
Suppose -17*p = -12*p - 40. Let l be ((-36)/16)/(1/p*26). Does l = -2?
False
Let l(k) be the first derivative of -k**2/2 - 11*k + 41. Let u be l(0). Which is smaller: -7 or u?
u
Let t = 1.1 + -5.1. Let s = 41.972 + -42. Let q = s - 0.972. Do q and t have different values?
True
Let n = 419 - 33937/81. Let u = -1543/162 + n. Which is bigger: u or -10?
u
Let z(a) = -a**2 + 14*a + 2. Suppose 2*h + 42 = 5*h. Let k be z(h). Suppose -k*i + 7 = 5. Is 1 less than or equal to i?
True
Suppose 9 = -5*m + 39. Let k be 10/(-95) - (-97)/19. Is k at least as big as m?
False
Let z(i) = i**2 - 6*i + 84. Let p be z(-11). Which is smaller: p or 272?
p
Suppose -7*a = 4 + 3. Let k be 3 + (1 - -4)/a. Is -5 at most k?
True
Suppose -2*p - 3*x - 55 = 0, -p + 7*x - 2*x + 5 = 0. Let r(m) = 55*m - 333. Let g be r(6). Let h = g - p. Are 18 and h equal?
False
Let g = -10 - -11. Let d be (((-14)/(-16))/(-7))/g. Suppose -3*c - 4*z + 0*z - 9 = 0, 0 = -c - 3*z - 8. Does c = d?
False
Let t be ((-4)/(-6) + -2)*(-15)/70. Which is smaller: -66 or t?
-66
Let w = -2 - -3/2. Suppose -r + 30 - 9 = 2*f, 3*r - 4*f = 93. Suppose -r = -5*m - 2. Is w at most m?
True
Let y(f) = -f**3 - 23*f**2 - 3*f + 31. Let g be y(-23). Which is bigger: 102 or g?
102
Let y = 3809 - 1009384/265. Is 1 at most as big as y?
False
Let v be (-5)/3*6/(-2). Suppose -5*c + 2*r + 3 - 1 = 0, 4*r - 20 = -2*c. Suppose c*w - 19 = 2*b - b, 5*b = -2*w - 11. Is w bigger than v?
True
Let f be (3/(-6))/((-2)/16). Suppose -f = 4*n - 8. Let g be n + 26/(-6) + 3. Which is smaller: 8 or g?
g
Let q = 9 + -8.9. Let r = -130 - -129. Is q smaller than r?
False
Let a(w) = -16*w + 1. Let k be a(-2). Suppose -4*o = -o + k. Which is smaller: o or -12?
-12
Let j = 913 - 934. Is -43 at most j?