2 - 7)). Which is greater: -1 or w?
w
Let f(o) = 19*o**2 + 12*o - 12. Let j be f(1). Suppose 0 = 29*c - 34*c + 20. Let l be c + 87/6 + 0. Is j <= l?
False
Let r(z) = 4*z - 7809*z**2 + 7812*z**2 - z - 1 - 3*z**3. Let t be r(-1). Is t != 9/8?
True
Let u = 38 - 127. Let j = 89 + u. Which is smaller: j or 1/304?
j
Let f = 86 + -148. Let i = 47 + f. Let k be (-3)/(i/10)*4. Is k at least as big as 9?
False
Suppose -9*a = 3*a + 24. Let p be (-228)/14 - (-1)/((-7)/a). Let s = 15 + p. Which is greater: s or -1/15?
-1/15
Let a be (-6 - -8)/(1/(-10)*2). Let z be (-2 - 57/15) + 2/a. Let s be 2 + (-3)/z*-10 + -1. Is 2 greater than s?
True
Suppose 0 = 11*r - 22 - 44. Suppose 0 = 4*s + 5*a - 53, 5*a = -5*s + 104 - 39. Is r <= s?
True
Let n = 577 + -570. Let z(t) = 103*t**2 + 2*t - 2. Let d be z(-2). Suppose -d = n*v + 189. Is v less than or equal to -84?
True
Suppose 4*f - 11 = -3. Suppose f*a = 2*i - 6, -a - 2*i - 3 = -i. Which is bigger: -8 or a?
a
Let d = 86 - 203. Let b = d + 45. Let k = b - -72.33. Which is greater: k or -1?
k
Let g be 731/(-1)*3/9. Let v = g + 247. Let w(u) = 1808*u - 19886. Let o be w(11). Are o and v equal?
False
Let v(n) be the first derivative of n**3/3 + 5*n**2/2 + 9*n - 7. Let d be v(-3). Suppose -7 = -d*j - 10. Are j and 2/29 nonequal?
True
Let u = -15 + -31. Let d = u - -41.5. Let l = d - -4.5. Does l = 0.12?
False
Let x be (-3)/(54/3) - (-2596)/24. Let l be (-20)/x*(-24)/(-30). Suppose 4*a = 0, 0 = 3*n - 3*a - a - 3. Which is greater: n or l?
n
Let n be (-28)/210 + 1078/(-15). Let k be (n/(-5))/((-7)/35). Let w be (k/80)/(12/10). Which is smaller: 2/7 or w?
w
Suppose -v + 5*v + 4*v = 0. Let t = -3070 - -3070.0316. Which is smaller: t or v?
v
Let u(d) = d**3 - 2*d**2 - d + 2. Let o = 52 + -50. Let x be u(o). Let v be (x/(-2))/(-3 + -1). Which is bigger: -3/7 or v?
v
Let q be 9 + (-259)/28 + 1494/(-8). Let n = q - -192. Is n at least 0.3?
True
Let b = 28862 - 28841. Let u be 2*(-2)/(-8)*38. Which is smaller: u or b?
u
Let o be 1/(105/25 + -4). Suppose 17 = -o*t + 27. Suppose -28 = y + 5*f, t*y + f + 4*f = -31. Is -1 smaller than y?
False
Let x = 5177272036/12813 - 404064. Which is smaller: x or -1?
-1
Suppose -169*k + 16 = -173*k. Let f be (-20)/9 + (-16)/(-72). Let i be f/8 - (-1806)/(-392). Is i at most k?
True
Let r = 335.97 - 325.97. Is r <= 28.8?
True
Let f(a) = 2*a**2 - 7*a - 2. Let k(t) = -2*t**2 + 7*t + 2. Suppose 2*x + 6 = -0. Let m(d) = x*f(d) - 4*k(d). Let c be m(3). Is -7 less than c?
True
Let f(d) = -d**2 - 6*d. Let h be f(-6). Let o(w) = -30*w - 3 - 9*w**2 + 2 + 7*w**2 + w**2 + 28*w. Let i be o(h). Which is smaller: i or 1/32?
i
Suppose 1097 = 43*a - 1010. Is 50 >= a?
True
Let g be ((2/(-1))/38)/((-4)/(-32)). Let d be 2/18 - (-140)/(-126). Is d greater than or equal to g?
False
Let u(f) = 58*f**2 - 6*f + 3. Let k be u(-4). Let n be ((25/k)/5)/(3/(-3)). Is n greater than -1?
True
Let d be 0 + (0 - -4) + -133. Let c be d/8 + (-3)/4. Let n = c + 5281/312. Is n < 0?
False
Let u = 4654 + -4706. Suppose 0*z + 5*b - 285 = 5*z, 2*b + 60 = -z. Is z bigger than u?
False
Let v be (1/7)/((-1)/(-7)). Is v at least -70/543?
True
Let i(w) = -2*w**2 + 67*w - 128. Let u be i(37). Let k = 444 + u. Which is smaller: -4 or k?
-4
Let m be 16/152 + 11524844/(-6270). Let z = -1838 - m. Is z > 1?
False
Let y = -41 + 80. Let z = y - 33. Let w be z + (-3 - (4 + -4)). Is w < 15/4?
True
Let h(o) = -6*o + 27. Let w be h(2). Suppose -2*k = -2*g + w - 855, 0 = -2*g. Is k < 420?
False
Suppose 2*d = -4*x + 220, 0 = 4*x - 20 - 0. Suppose -d*t = -103*t - 531. Which is smaller: -178 or t?
-178
Let s = -1946 - -691. Is -2511/2 != s?
True
Let g be 18177/9960 + 3 + -1 + -1 + 1. Which is smaller: 3 or g?
3
Suppose 5*q = -4*v + 28 - 11, -4*v = 8. Let t(a) = -3 + q - 2*a - 21. Let m be t(-9). Which is smaller: m or 0?
m
Suppose 0*s + 2*s = -2. Suppose 1872 = -4*l + 504. Let z be 6*(-219)/l - 4. Are s and z equal?
False
Let c be (-2 - (-8)/10)*5. Let t be 1 + (4 - (7 - 7)). Suppose 5*a + 43 = -t*u + 8, 5*a = 5*u + 15. Is c at least as big as a?
False
Let a = -350 - -186. Let n = -61 - a. Which is smaller: n or 101?
101
Suppose -3*v + 4 = 3*w + 19, 10 = v - 2*w. Let x be (-29)/(-30914)*(v + -2). Which is greater: 1 or x?
1
Let q = -5031836/343 - -14670. Are -1/3 and q unequal?
True
Suppose 2650 = 4*w - 2*x, 3320 = w + 4*w - x. Let t = w - 39899/60. Let i(y) = -53*y + 107. Let h be i(2). Is h < t?
False
Let f be (-2603)/(-133) - 12 - (-4)/(-7). Suppose 2*d + d - 12 = 0. Is f > d?
True
Suppose -4*p = -4*v + 124, -13*p + 14*p = 4*v - 34. Let u be (21/2)/(8 + p/4). Are u and 24 unequal?
True
Let o = 0.0441 - -231.9559. Let c = o - 112. Let r = -108 + c. Is r greater than or equal to -1?
True
Let d be (1/1 - 5) + 39040/10440. Let v = d + 14/29. Let y = -0.5 + 0.58. Is v at most y?
False
Suppose 0 = -5*j - 16 - 14. Let p be ((-20)/j)/(1/(-6)). Let m be -6*43/14 - 12*(-4)/(-84). Which is bigger: m or p?
m
Let c(u) = -u**3 + u**2. Let n be c(-1). Suppose 0 = t - 3*t + n*h - 12, -5*t - 14 = 3*h. Let s be (t + 7)*((-8)/12 + 0). Is s smaller than -3?
False
Let x be (-2)/13 + -8 + 148944/2639. Is x > 49?
False
Let n be (2084/8 + 0)/(15/((-720)/56)). Which is smaller: n or -222?
n
Let w = 87 - 119. Let p be 1*(36/w + (-1)/(-8)). Let v be (-1)/(2 + p - 182/195). Is -16 less than or equal to v?
True
Let r be ((-3)/(-45)*6)/((28/(-30))/(-7)). Is -325 smaller than r?
True
Let k be 830*((-44)/8 + 6)*(-5)/(-1). Which is smaller: 2077 or k?
k
Let t be 5 + (-2)/2 + (16 - 13). Suppose -t*q = -35 + 35. Let b be (4/(-30))/(1/5). Is q less than b?
False
Let a be ((-315)/75)/21 + 12/(-15). Is a < -37/32?
False
Let z be 10/35*14 - 1. Suppose 3*f - p - 7 = -z, -5*p = f + 4. Which is bigger: 1/616 or f?
f
Let a = 18 + -25. Let h be (a + 6)/((-5)/(-465)). Is h <= 3?
True
Let y = 37/2 - 40. Suppose -d + 5*o - 24 = 0, 3*d - d - 2*o + 8 = 0. Suppose -2*f = 5*r + 51, r + d = -0*r. Which is bigger: y or f?
y
Let n be (-2)/7 + (-8)/(-14). Let d = -39084 + 39043.941. Let i = 0.059 + d. Is i <= n?
True
Suppose d + 5 = 0, 3*v - 2*d - 3 - 70 = 0. Suppose -v*p = -25*p - 4. Which is smaller: 3/11 or p?
p
Suppose -5*m + 1915 = -1535. Suppose -5*s - 425 = -m. Does s = 53?
True
Let d = 71174/9 + -7908. Which is greater: d or 326/7?
326/7
Suppose -2*i + 475 = 3*t, 5*i - 773 - 383 = 3*t. Suppose -10 - i = -9*w. Suppose -l = 3*m - 146 - w, -228 = -4*m - 2*l. Which is smaller: m or 58?
58
Let u = 23 + -353. Let o = 329.9 + u. Which is smaller: -9 or o?
-9
Let b be (-6 + 11)*(-3 + 7 - 2). Suppose 12 = -3*v, -4*y + b*v - 272 = 6*v. Is y not equal to -72?
False
Let v be 1/(-11) + 133956/99. Is 1352 smaller than v?
True
Let a be (31/4)/(2 - 9/4). Let t = a + 19. Let d(f) = f**3 + 12*f**2 - f - 11. Let g be d(t). Is 6/13 less than or equal to g?
True
Let q = 472 + -470. Suppose 0 = -5*u - 5, -6*f + 7 = -f - q*u. Is 2/101 bigger than f?
False
Suppose 68*a - 72*a + 5*c = 1961, -a = -2*c + 488. Which is bigger: -497 or a?
a
Let t = -218/3 - -73. Let q = -1.87 + 1.5. Let d = -0.07 - q. Is d != t?
True
Let x = -352 - -499. Let i = 118 - x. Let u be 5*(-4)/(-30)*261/(-6). Is u bigger than i?
False
Let o = 6.46 - 6.08. Which is smaller: 4 or o?
o
Let m be (2 - 1)/(2/2)*1. Let q be (-12 + 12)/((m - 1) + -1). Let w(x) = 4*x + 4. Let u be w(q). Is 3 smaller than u?
True
Let s be 352/132*((-71)/(-201) - (-1)/(-3)). Do -1 and s have the same value?
False
Suppose 5*o - 3*g = -15, -5*o - 2*g = -2 - 8. Suppose -3*p + 2*j + 59 = o, -3*j = -4*p - p + 97. Which is greater: p or 14?
p
Let h(t) be the second derivative of -t**5/20 - 7*t**4/12 - 5*t**3/6 + 2*t**2 + 4*t - 1. Let d be h(-6). Does d = -9/4?
False
Suppose -47*s = -45*s - 24. Let c be 158/(-424) - 3/s. Let l = c + 1049/1855. Which is smaller: l or 0?
l
Let v be (-78 - -79) + (4020/14)/(-3). Is v greater than -95?
True
Suppose 0 = 7*w + 1182 + 1996. Let j = 702 + w. Is j greater than 248?
False
Let z(i) = -i**3 + i**2 + 2*i + 1. Let h(y) = 3*y**3 + 21*y**2 + 48*y - 59. Let p(t) = -h(t) - 4*z(t). Let c be p(27). Is c not equal to -2/501?
True
Let w be 12*1/(6/111). Suppose -59*h + w = -65*h. Let j = 38 + h. Is j equal to 3/73?
False
Suppose -2 = 3*k - 5*k. Let s = -674699/1042 - -1295/2. Is s smaller than k?
True
Suppose 0 = 71*b - 81*b + 3710. Let a = b - 361. Which