e value?
True
Let c(x) = -x**3 + 5*x**2 - 5*x + 3. Let t be c(4). Let u = t - -4. Let f = 73541 - 73536. Which is bigger: f or u?
f
Let w = -606 + 352. Let s = 271 + w. Which is smaller: s or 8?
8
Let u = -11.1 + 11. Let d = -1943 + 1942.817. Which is bigger: u or d?
u
Let a = 0.155 + 71.845. Let t = -71.05 + a. Let i be (-1)/(-4) - (1 - (-138)/(-120)). Is t <= i?
False
Let h = -11 + 1. Let t = 38 + h. Let j = 32 - t. Is -3 bigger than j?
False
Let t(p) = -6*p + 9. Let w be t(16). Let r = w - -96. Suppose -2*f = -r*f - 105. Which is greater: f or -10?
-10
Let q = 33.969 + -34. Let u = -3623.031 - -3619. Let i = q - u. Which is bigger: i or 1/4?
i
Let i = -190 - -188. Let h be ((-3)/(-6)*i)/(-1). Which is smaller: 1/84 or h?
1/84
Let i be (-3)/(-18) - 2/(-6). Let n = 204.9836 + 0.0164. Let f = n + -207.3. Is i at most f?
False
Let z be 2 - -313 - (5 - (-3 - -5)). Let b(r) = 243*r + 1. Let a be b(1). Let m be a/z - 3/((-36)/(-2)). Which is smaller: 1 or m?
m
Let p = 131.4 - 131.5. Is 96 greater than p?
True
Let v be ((-4)/(-3) + -1)*(-8340)/1112. Which is smaller: -87 or v?
-87
Suppose 3*i + 4 - 19 = 0. Suppose i*r = r + 3*j + 71, -2*r - j = -43. Suppose 8*l + r = -12. Which is greater: -11/3 or l?
-11/3
Let o = -105 - -173. Let t = o - 58.8. Let r = -0.09 - -1.09. Which is smaller: r or t?
r
Suppose -3*r + g - 24 = 0, -r - 6*g = -4*g + 8. Let b be (r/12)/(22/99). Do -7 and b have different values?
True
Let h(v) be the third derivative of -v**5/60 - v**4 - 31*v**3/2 - 35*v**2. Let u be h(-17). Which is bigger: u or 28?
28
Let z(y) = -y**3 + 21*y**2 + 14. Let j be 0 - (14/3)/(4/(-18)). Let o be z(j). Let h be 8424/598 - (-4)/(-46). Is o less than h?
False
Let l be ((-54)/(-32))/(11070/(-450)). Is 0 less than l?
False
Let i(o) = -5*o**2 + o - 8. Let w(t) = t**2 - t - 9. Let m be w(-3). Let k be i(m). Let b be (-2)/4 + -3 + k/(-12). Is 0 < b?
True
Let d = -0.0315 + 0.3615. Let b = d - 0.47. Is -10 less than b?
True
Let a(q) = 170*q - 190. Let f be a(5). Is 4612/7 bigger than f?
False
Suppose 3*g = 2*w - g + 8, 5*w - 24 = -g. Suppose -6*l - w*s + 48 = -10*l, 4*l + 4*s + 32 = 0. Is l at least as big as -75/8?
False
Let a(q) = -129*q**2 - 22*q + 141. Let u be a(-7). Is u greater than -6027?
True
Let j = -21 - -23. Let b be 264/133 + j + -1 + -3. Let k = -141/532 - b. Which is greater: -27 or k?
k
Let j = 8381/3 - 2794. Do 95/18 and j have different values?
True
Let d = -6483 - -6469. Does d = -7?
False
Let f(j) = -2*j - 5. Let c be f(-6). Suppose -988*n + 72 = -980*n. Let v be (n/((-135)/21))/((-1)/5). Is v at least as big as c?
True
Let a be (-1)/(-3)*693/(-22). Let r be 6*(0 - (-5)/2). Suppose 2*u + r = -3*o, -3*o + 5 = -3*u - 40. Which is bigger: u or a?
a
Suppose -4*u + 488 = -2*l, 16*l + u + 732 = 13*l. Is -0.3 <= l?
False
Let i = 256/161 - 30/23. Suppose -8 + 64 = 2*z. Suppose 4*j + z = -0*j. Is i at least j?
True
Suppose -8 = -2*x, -5*n + 28 = 2*x - 0*x. Suppose -n*g - 2 = -6*g. Let c(s) = -s**2 - 3*s + 3. Let k be c(g). Which is greater: -3/44 or k?
-3/44
Suppose 0 = -172*c + 219935 - 230868 - 476515. Which is greater: -2836 or c?
c
Let b = 5617 + -5617.1. Which is bigger: b or -0.5195?
b
Let y = -14321/9 + 1589. Let g be (704/(-72))/(7/(-2)). Let q = y + g. Which is greater: q or 9?
9
Let t = -1044 - -1019987/977. Is t > 1?
False
Let c(l) = l**2 - 67*l + 782. Let s be c(14). Is 32 greater than s?
False
Let h(k) = 3*k**2 - 33*k - 70. Let q(t) = -4*t**2 + 34*t + 69. Let w(p) = 3*h(p) + 2*q(p). Let a be w(17). Is a <= -311?
False
Let a(c) = -45*c**3 + c**2 - 2*c + 1. Let u be a(1). Let y(z) = -2*z + 7. Let t be y(5). Let v = u + t. Is v < -47?
True
Let w be 6*5/(45/12). Let h be 9/(-6) - -1*(-3)/6. Let p be 3*(h/(-8))/((-9)/(-96)). Is p <= w?
True
Suppose -a + 3*a = 3*o - 41, 0 = 3*a - 6. Let h be o*(-2 - (-14)/6). Suppose 3*y = 3*g, 4*y = -0*g - h*g + 27. Is 11/4 at most as big as g?
True
Let c = -126 - -92. Let k = -34 - c. Which is greater: -2/69 or k?
k
Let t = -67 + 71. Suppose -5*o + 3*o = -2*j - 8, 0 = j - 3*o + t. Which is greater: -26/9 or j?
-26/9
Let a = -106 + 107. Let p = 1265 + -72103/57. Is p at most as big as a?
True
Suppose -266 + 404 = 2*k. Is k != 67?
True
Suppose -26 = -2*x - 18. Suppose -17*r = -x*r + 156. Let t be -4 + 22/(-2)*1. Which is bigger: r or t?
r
Let w = -3063 - -3524. Is -0.1 greater than or equal to w?
False
Suppose -26 = 12674*h - 12687*h. Let i be (32/12)/(1/9). Let m be 9/15 - i/(-10). Are h and m equal?
False
Suppose 0 = -w + 2*w. Suppose 2*j = -4*y + 260, -5*j + y + 3*y = -594. Let g = 1951/16 - j. Is w greater than or equal to g?
True
Let j = 0.317 + 73.683. Let z = j - 80. Let p = -0.09 + 0.89. Is p at least z?
True
Let v be (2/3741)/(22/33). Let d = v - 1649/501294. Is -1 at most as big as d?
True
Let o be (79850/(-125) - -1) + (-6)/5. Is o > -641?
True
Let v = -66.819 - -67. Let l = v + -1.181. Which is greater: 1.9 or l?
1.9
Let s be ((-24)/(-20)*-2)/((-2)/5). Suppose -i - s = -3*x + x, -i + 6 = 4*x. Let z be (-1029)/(-84) - (i - 9/(-4)). Is 9 greater than or equal to z?
False
Let c(g) = -89*g**3 + 7*g + 18. Let d be c(-2). Which is smaller: 2 or d?
2
Let j = 5654 + -61306/11. Let b = j - 2686/33. Let u = 15 - 15.055. Which is smaller: u or b?
b
Suppose 5*q - q = -4*y + 44, -3*q + 5*y = 7. Suppose -q*l + 20 = -2*l. Suppose -3*u = -a - 0*a - 17, -l*u = -25. Is 5 not equal to a?
True
Let l = 43 - -69. Let h be (480/(-360))/((-2)/6 - 371/(-1155)). Which is bigger: h or l?
l
Suppose -8232 = 31*j - 14*j - 164*j. Which is bigger: j or 620/11?
620/11
Suppose -10406 = 3*y + 3604. Let h = y - -135415/29. Is h smaller than 0?
True
Suppose 4*p - 46 = 6*p. Let x = -14 - p. Suppose 7*b = 96 - 47. Which is smaller: b or x?
b
Let q = -25 - -25. Let u be q*(-2 + (3 - 0)). Which is smaller: u or 51?
u
Let s = 7446 - 7378. Which is greater: 947/14 or s?
s
Let x be (-7)/(-5) - (304/(-40) + 7). Suppose 0 = 3*k - 2*u + 3*u - x, 2*k - u = 8. Is k < 5/3?
False
Suppose -59 = 4*u + 5*h, 0 = -3*u + 4*u + h + 14. Let t be 13 + u + -2 + 14. Suppose 0 = -11*c + t*c - 99. Is 33 at least as big as c?
True
Suppose -14*s = -4*s. Suppose -3 = -z - s*z. Which is smaller: z or 2?
2
Let t = -114 - -117. Suppose 3*c = 4*h + 387, -5*c - 176 = t*h + 107. Is h less than or equal to -97?
False
Suppose 3*a + 4*k - 296 = 0, -4*a - k + 225 + 161 = 0. Let p be (a/8)/(-3) - -4. Is p > 6/191?
False
Suppose 15*n = -6*n - 2*n. Suppose 11*a + 390 + 314 = n. Which is smaller: -259/4 or a?
-259/4
Let r be (-15)/(1980/12) - 6599/11. Is -597 less than r?
False
Let f = 136 - 126. Let o be 810/(-120) - (-2 - f/2). Let v = -0.28 - 0.02. Is v less than or equal to o?
True
Let l(m) = m - 39. Let j be l(60). Is j at least 10?
True
Let i be (2 - 192/75)*30960/4988. Is -3 less than i?
False
Let o be 1 - (-1)/(15/(-9)). Let g be 2/8 + (-139)/(-4). Suppose 8*a - g = 3*a. Which is smaller: a or o?
o
Let d = -178/585 + -14/45. Let l(y) = y**3 - 4*y**2 - 2. Suppose -3*f = -4*m, 2*f - 7*f = 3*m - 29. Let i be l(f). Is i greater than d?
False
Let y(i) = -i**3 + 29*i**2 - i + 25. Let v be y(29). Let n(d) = -13*d - 58. Let m be n(v). Let f be ((-18)/(-15))/(12/(-45)). Is m equal to f?
False
Let s(n) = n**3 - 10*n**2 - n + 31. Let j be s(10). Suppose 2*l = 3*k + j, 5*l + 5*k - 26 + 36 = 0. Is l greater than or equal to -16?
True
Let x = -609 - -609. Suppose x = 22*m - 138 - 16. Are 122/15 and m non-equal?
True
Let k = 19390/587691 - -6/5023. Let s be (6 - 6)*2/4. Is s less than k?
True
Let m be (3 + (-4)/8)*64/80. Suppose m - 2 = -5*w. Which is smaller: -37 or w?
-37
Let f be -5 - (-2)/304*182*4. Which is smaller: f or -28?
-28
Let o be (76/12)/(1/(-3)). Suppose -6*j - 2 = -5*j. Let y be j - (o/3 + -3). Is 6 at least as big as y?
False
Let m be 204/(-2) - 2*(-10 + 11). Let u(r) = r + 26. Let c be u(-11). Suppose c*h = 11*h - 416. Is m at most as big as h?
True
Let x(j) be the third derivative of -5*j**4/12 - 13*j**3 + 70*j**2. Let c be x(-8). Is 52/15 greater than c?
True
Suppose -3*j + 3 = 0, 2*n + 3*n - 52 = -2*j. Let o = -34 + -194. Let u = o + 227.8. Which is bigger: n or u?
n
Let z = 433 - 428. Let u(k) = -k + 17. Let c be u(11). Suppose -x + c = z. Which is greater: -1/33 or x?
x
Let f be (3/9 - (-106152)/(-318672))*(-3 - 1). Which is greater: f or 1?
1
Let f be 