k. Let y = 57 + -56.9. Which is greater: x or y?
x
Let n(k) = -k**3 + 8*k**2 - 5*k + 1. Let t be n(6). Suppose 20 = -3*f - t. Let y(o) = -2*o - 49. Let c be y(-14). Is c <= f?
True
Let y(z) = -10*z + 35. Let d be y(9). Let w = d - -127. Are 71 and w unequal?
True
Let w = -210 - -50. Let q be (8 + 1)/((1144/w)/11). Is q at most -13?
True
Let p = -84 + 104. Suppose -2*l - n = 3*l + 9, -5*n - p = 0. Which is smaller: 6/149 or l?
l
Suppose 0 = 78*v - 95*v - 17. Which is bigger: 1/4869 or v?
1/4869
Suppose 4*v + 0*v = 20. Let h = -559 - -562. Suppose 8 - v = -h*o. Which is smaller: -4 or o?
-4
Suppose -166969 = -171*p - 9970 + 546666. Which is smaller: 4114 or p?
4114
Let a = 13 + -8. Let u be (-88)/(-5) - (-2)/a. Let b(j) = -j**3 - 10*j**2 - 6*j - 40. Let o be b(-10). Is u <= o?
True
Let t = 29.916 - -0.084. Let l = t - 29.8. Are -0.045 and l non-equal?
True
Let s be -14 + (1 - 0)*2. Let u be 33/(-4)*(-220)/165. Let n(m) = -m**3 + 10*m**2 + 5*m + 55. Let f be n(u). Which is bigger: s or f?
f
Let j be 4*(-8 - (-25)/30 - -7). Are j and -0.0177 nonequal?
True
Let x = 4709 - 4732. Which is smaller: x or 5?
x
Let p = 9.58 - 8.58. Let b = 0.17 + 6.83. Let h = b + -14. Does p = h?
False
Let s(g) = g**2 - 7*g + 3. Let q be s(7). Let y be q/(-3)*(1 + 22). Let n(h) = h**3 - 79*h**2 + 159*h - 407. Let z be n(77). Which is bigger: z or y?
z
Let p be (5143/15 - 0) + 16/120. Suppose q + 4*o - 56 = 0, 2*o = 5*q + o - p. Let t = q + -41. Is t > 28?
False
Let n(q) be the first derivative of 3*q**3 + 3 + 0*q**2 - 1/4*q**4 + 4*q. Let y be n(9). Is y bigger than 5?
False
Let q = 0 + -0.1. Let x = -0.1 + q. Suppose -4*h + 9 - 17 = 0. Do x and h have the same value?
False
Let b = 1531 + -1532. Is 5/144 at least as big as b?
True
Let w = -132.704 + 91.7. Let h = w + 0.004. Which is smaller: h or -0.1?
h
Suppose 3*w - 148 = 5*m - m, 5*m + 2*w = -185. Let f = -32 - m. Suppose -r = -3*d + 6 - 8, 2*d - f*r = 3. Are 3/25 and d non-equal?
True
Suppose 5*u - 391 - 54 = 0. Let d(p) = -p**3 + 11*p**2 - 6*p - 7. Let c be d(10). Let r = 57 + c. Is r less than or equal to u?
False
Let f = -385 - -380. Let y(k) = k**2 - 9*k. Let p be y(9). Let v be f/(-75) + (1 - p). Which is bigger: 1 or v?
v
Let y = 1 - -12. Let m = -2152 - -12911/6. Which is smaller: m or y?
m
Let o be -4*(2 + (-1645)/7). Is 932 > o?
False
Let w(a) = -90*a + 14. Let s be w(5). Let b = s + 81533/187. Are b and 0 equal?
False
Let t be (-3)/(-6) - 8/((-48)/123). Let d be 3*(2 - 0 - 1). Suppose -30 = 2*r - 4*g, g - d*g - t = 3*r. Is r greater than -8?
False
Suppose 27 = -2*x - x + 3*a, -x - 5 = 3*a. Let g = -1/16910 + -12006/1691. Is g < x?
False
Suppose -9*n = -6*n - 720. Let r be ((-4)/605)/((-288)/n). Which is greater: -1 or r?
r
Let x(y) = -2*y**2 - 5*y + 4. Let n be x(-4). Let f be (747/(-45))/(n/10). Let r = f + -21. Is 0 less than or equal to r?
False
Suppose -3*f = -49 + 13. Suppose -7*z - 15 = -f*z. Let o be (6/(-156))/(z/12). Is o > -1?
True
Let g(x) = 23*x - 74. Let b(f) = 2*f + 1. Let y(h) = -3*b(h) + g(h). Let j be y(5). Which is bigger: 67/10 or j?
j
Let j = 0.54 + -0.27. Let g = -0.19 - j. Let s = g + -2.54. Are 2/5 and s equal?
False
Let i = 1 - -14. Let h be (-188)/36 + (-5)/i. Is h at least -6?
True
Suppose -f = 5*t + f - 483, -4*t + 364 = -4*f. Let w be 0 - 1*108/(-42)*-28. Let i be (-108)/w*188/3. Is i <= t?
True
Let i be (-24)/16*(-2)/3 - -100. Suppose 61 + i = -9*k. Which is bigger: k or -14?
-14
Let p be 3/(45/(-6)) - (-17886)/(-45). Let i be -597*4*2/(-12). Let l = i + p. Which is bigger: l or 3?
3
Let t(q) = 2*q - 14. Let j be t(8). Let a be j/(-1) + (-45)/(-27). Let d = -0.6 + 5.6. Which is bigger: a or d?
d
Suppose 2*q - 10 = 0, 0*n - q = -5*n - 2430. Let w = 468 + n. Is w >= 0?
False
Let r = -22 + 22. Let w(i) = i + 3. Let c be w(r). Suppose -c*l - 5*g + 39 = 0, 0 = 2*g + g. Is l greater than 14?
False
Let z be (-48)/28*(-609)/(-6). Let a = -241 - z. Is a smaller than -66?
True
Let k(g) = -2*g**2 - 107*g + 86. Let h be k(-70). Which is smaller: h or -2228?
-2228
Suppose -4*u = -z + 3 + 30, 5*z = 25. Is -5/38 at least u?
True
Let a = -536 - -617. Suppose 0 = j + 4*u - 83, -3*j - 3*u - 313 = -7*j. Which is smaller: j or a?
j
Suppose 3*y + 23 = 4*p, 0 = -3*p + 2*y + 3*y + 20. Let m be -5*(p/1)/5. Which is greater: -22 or m?
m
Let n = -11.04 - -0.04. Let s(i) = 18*i + 36. Let j be s(-3). Let r be 15/(-36) + (132/j)/(-11). Which is greater: r or n?
r
Let n = -0.48 + 0. Let c = n - -19.48. Let a = -19 + c. Which is smaller: 7 or a?
a
Let d = 511.26 - 517. Let j = d + 5.81. Is j greater than 1.4?
False
Let t(w) = w**2 + 7*w + 20. Let z be t(-14). Let x = z + -117. Is 2/87 > x?
False
Let k be (-6)/4*(-4)/24. Let v(o) = -26*o + o**3 + 4282*o**2 - 4272*o**2 - 12 - 13. Let l be v(-12). Is l equal to k?
False
Let q be 1/((-834)/416 - -2). Suppose -434 = 2*u - 4*d, -152*d + 154*d + 818 = -4*u. Is q != u?
True
Let v be ((-32)/(-6))/(-4)*((-44955)/(-30) + 12). Is v equal to -2014?
True
Let t(m) = m**3 + 6*m**2 + 3*m + 10. Let l be t(-7). Let c(q) = -14*q**2 + 670*q + 1336. Let o be c(-2). Is l >= o?
True
Suppose -2*l = -i - 0*i - 8, 2*i + 22 = -2*l. Let q = -34 - -44. Let n be 10*(-4)/16*42/q. Which is smaller: n or i?
n
Let z(f) = f**3 + 10*f**2 + 9*f + 18. Let w be z(-8). Let g = 75 - w. Which is greater: g or 0?
g
Let k = -13654 + 29671. Which is greater: 16016 or k?
k
Let r = 1.78 - 0.22. Let l = r + -5.56. Are l and 0.2 unequal?
True
Let z(y) = 2*y**2 + 30*y - 368. Let r be z(-23). Which is bigger: r or -1/1179?
r
Let o = -9764/1067627 - -6/781. Which is greater: -1 or o?
o
Let f be (2486/(-4))/(27450/(-12) + -13). Let q = 9/107 - f. Which is bigger: -1 or q?
q
Suppose -54*r + 105*r - 39*r = 432. Is -4 at least r?
False
Suppose 2*c - b + 10 = 0, 0 = 2*c - c - 5*b + 23. Let g be 5*(c - 16/(-4))*1. Suppose 18 = g*j - 7. Which is bigger: 13/3 or j?
j
Suppose 0 = 2*z - 120 + 152. Let s be (-66)/110 - (1 - z/(-10)). Which is bigger: s or -90/7?
s
Let o = -0.065 + -5.535. Let h = 685 + -539. Let n = 145.9 - h. Are n and o unequal?
True
Let r be (8/(-12) + 11/21)/((-54)/270). Which is smaller: r or 15?
r
Let c = 7 + -7. Let j be c/((-9)/(-6) + (-3)/(-6)). Let n be 1/2 + -2 + j. Are n and -2 non-equal?
True
Suppose -3*x - w - 5 = -60, x - 22 = -4*w. Let c be (-134)/(-3) - x/27. Let o be (((-32)/c)/(-4))/((-10)/3). Do 0 and o have different values?
True
Let r = 18718 + -18601.7. Are 3/2 and r unequal?
True
Let q = 465 - 136. Let a = -252 + q. Which is smaller: a or 0?
0
Let l = -6450 - -8318. Which is bigger: 1/3 or l?
l
Suppose -5*c = -2*u + 16 - 2, 0 = 3*c. Suppose -u*h = -26*h + 3800. Which is smaller: h or 201?
h
Let z be (251 - 466)*(-1 - -2). Which is smaller: -8 or z?
z
Let m = 17978.9 - 17979. Is 2312 bigger than m?
True
Suppose -3*f - 829 = -2*d, -268 - 581 = 3*f + 3*d. Is f at most as big as -1119/4?
False
Let q = -38 - -56. Suppose -4*i + 3*i - q*i = 0. Which is bigger: 2/71 or i?
2/71
Let j be (-16)/40*-15*2. Suppose 0 = -j*f + 15*f - 171. Is 55 > f?
False
Let z be 1463/38 - (-5 - 12). Suppose 0 = -0*k - 5*k + 275. Which is bigger: k or z?
z
Let w = -152333 - -128873689/846. Is w at most as big as 1?
True
Let j be 2/(-6) - (98/(-6))/7. Suppose -13 = -i + 5*i - 3*q, 0 = -i - j*q + 5. Is i bigger than 8/37?
False
Let y = 2.27 + -0.37. Suppose 86 = -3*i - 58. Let z be ((-2)/30*4)/(i/(-120)). Which is smaller: z or y?
z
Let p(q) = -q**3 + 5*q**2 + 5*q + 10. Let o be p(6). Suppose o*a + 408 = -28. Let c = -87 - a. Which is smaller: 67/3 or c?
c
Suppose 5*w + 11 - 1 = 0. Let h = w + 5. Suppose 75 = -6*f + h*f + o, -o = 5*f + 125. Do f and -25 have different values?
False
Let t(r) = 3*r + 64. Let o be t(-20). Suppose 4*h - 7*h - o*w = -13, -3*h - 5*w + 17 = 0. Is -2.9 >= h?
False
Let h be (-78860)/9855 + 11 - (-5 - -8). Is 0 >= h?
True
Let p(h) = -h + 20. Let x be p(4). Suppose -x + 100 = -14*s. Suppose 2*m + 2*m + 4 = 4*g, -11 = -m + 4*g. Is s greater than or equal to m?
False
Let d = -2176/5365 + 6/1073. Is 3268 > d?
True
Let o be ((-8)/12 - (-41)/3) + 5. Let u be o/7*(6/9 + 0). Is -5 at least as big as u?
False
Let d = 1768.2 + -1613.2. Are -3/23 and d nonequal?
True
Let o = 4 - 5. Let l = -106.3 + 8.3. Let k = l - -99. Is k != o?
True
Let j be (-198)/(-11)*(-6)/(-28). Let d be (-62)/(-217) - 55