 733/5. Let z be (-2)/(160/(-52) + 3). Let k be z/(-117) + 10/18. Are k and t nonequal?
True
Let r(c) = c + 8. Let d be r(-5). Suppose 0 = -2*k + d + 27. Which is smaller: 16 or k?
k
Let n(p) = p**3 + 5*p**2 - 6*p + 2. Let f be n(-6). Suppose f*x = -x - 63. Let s be (3/(-9))/(x/(-18)). Which is greater: 1 or s?
1
Suppose -185 = -5*j + 5*q - 0*q, 0 = -3*j - 2*q + 91. Let x be (11/j)/((-8)/(-66)). Which is smaller: x or 3?
x
Suppose 6*r - 4*r = 2100. Let z be (-880)/r + 2/3. Which is smaller: z or -1?
-1
Let i = 537 + -542. Which is greater: i or 32?
32
Let d = -94 - -97. Let g be d - (-134)/(-130) - 2/1. Which is bigger: -1 or g?
g
Let f(i) = 3*i - 12. Let b be f(5). Suppose c = -b*c + 56. Suppose -2*r - c = -12. Is r greater than or equal to -1?
True
Let o = 89.7 - 89.86. Which is smaller: 0.18 or o?
o
Let d = -2 + 10. Let v = 16 + -23.8. Let x = v + d. Which is bigger: x or -3?
x
Let v = -136.9 - -144. Let x = -7 + v. Suppose -6*a = -2*a - 24. Is x >= a?
False
Let k = -1614 + 1594. Which is smaller: -4 or k?
k
Let x = -160 - 4. Which is smaller: x or -165?
-165
Let j be 2838/(-6) + 0 + 0/6. Which is bigger: -471 or j?
-471
Let d be 20/(-6)*12/(-10). Suppose d*b + 35 = -b. Let w be 2*4/(-8) + -1. Which is bigger: w or b?
w
Suppose 0 = -3*y, -3*j - 9 = y - 0*y. Let g = j + 4. Let p be (-8)/52 + 15/13. Is p at least as big as g?
True
Let i(f) = 4*f. Let v be i(1). Suppose -2*s - 4*d - 104 = -4*s, 4*d = v*s - 212. Suppose 5*q = -3*z + 40, 4 - s = -5*q - 5*z. Is q at most -1?
False
Suppose -2*o - 22 = 4*u, o + 5 = -4*o. Let x(s) = -4*s**3 + 2*s**3 + 5 - 5*s**2 + 8*s + s**3. Let c be x(-6). Which is bigger: u or c?
u
Let p be ((-18)/5)/((-3)/(-15)). Let j(y) = -y**3 - 19*y**2 - 18*y + 3. Let r be j(p). Which is bigger: 0 or r?
r
Suppose -6*m = 40 + 158. Let b be 6/m - (-70)/22. Let t = -5 + 8. Is t less than or equal to b?
True
Let l be (-160)/(-100)*(-2)/8*10. Are -27/5 and l unequal?
True
Let n be ((-10)/6)/(17/(-51)). Suppose 5*b = 20, n*g + 2*b + 2 - 5 = 0. Let r be (-7)/4 + g/4. Which is smaller: r or 0.03?
r
Let s be (-2)/(-4) - 9/(-2). Suppose 0*g - 5*g = 0. Suppose g*a + s = 5*a. Is a > 1?
False
Let q be (9/(-2))/((-15)/40). Which is greater: 5 or q?
q
Let t(f) = f**3 - 4*f**2 + 3*f + 4. Let r be t(3). Which is smaller: 1.4 or r?
1.4
Let o = 456 + -592. Is o greater than or equal to -136?
True
Let p be (530/8 + -10)*4. Which is smaller: p or 226?
p
Suppose -z = -2*q + 55, -5*z + 5*q = -94 + 344. Let n be (-16)/(-10)*z/27. Let b(t) = -2*t**2 - 2*t + 1. Let p be b(-2). Which is smaller: p or n?
p
Suppose -5*m = -9*m - 16. Suppose 6*f = 3*f - 6. Let t(u) = -u**3 - 4*u**2 + 2. Let k be t(f). Which is smaller: k or m?
k
Suppose -5*n - w = -6*w - 50, -2*n + 24 = -3*w. Suppose 0*u = -n*u - 354. Is -60 smaller than u?
True
Suppose 2*r + r - 3 = 0. Let h be r + 0 + (-9)/3. Which is bigger: h or -0.6?
-0.6
Let q = -3 - -3. Let i = 57 + -22. Let d = -104/3 + i. Is d less than q?
False
Let z(f) = 9*f**2 + 199*f - 28. Let j be z(-22). Which is smaller: -11 or j?
j
Let j = 5 - 3. Let l be (j/5)/(2/110). Suppose s - l = -s. Is 11 bigger than s?
False
Let j be 3/((-183)/36 - (-55)/11). Which is bigger: -32 or j?
-32
Let k be (-56)/26 + 2 - 372/(-52). Suppose 8*o = o + k. Which is greater: 2 or o?
2
Let k(n) be the second derivative of n**5/20 - n**4 + 13*n**3/3 + 9*n**2/2 - 2*n. Let f be k(9). Which is smaller: f or -7/6?
-7/6
Suppose 5*o + 33 + 17 = 0. Let v be 110/(-6) - 2/(-6). Let f = v - o. Which is smaller: -9 or f?
-9
Let x = 11 - 36. Let j = -25 - x. Suppose 2*c - 2 + j = 0. Which is greater: 2 or c?
2
Let p(w) = -w**3 - 3*w**2 + 3*w - 1. Let i be -6*(7/(-3) + 3). Let o be p(i). Which is smaller: 1 or o?
1
Let r(o) = -o**3 - 4*o**2 + 6*o - 2. Let f be r(-5). Let t = 5 + f. Let s be (t/(-5))/((-2)/4). Which is smaller: s or -2?
-2
Let o = -41 + 28. Let v be 4 + -58 + -1 + -1. Let k be (v/20)/((-1)/(-5)). Is o at most k?
False
Suppose q - 5*z - 31 = -3*q, -3*z - 9 = 0. Suppose -q*t = 3*a + t + 34, -5*a + 10 = -5*t. Let m = 17 + a. Is 14 >= m?
True
Let d = -42/3865 - -21018416/50245. Let n = 418 - d. Suppose -2*j - 2*h = h - 6, 3*j - 6 = -3*h. Which is smaller: n or j?
n
Let v = 2/79 + 152/237. Let j be 10/1 + -12 + 11. Let q(r) = 2*r**2 - 19*r + 5. Let z be q(j). Does v = z?
False
Let q(m) = -11*m**2 + 4*m + 2. Suppose 19*v - 24*v - 10 = 0. Let x be q(v). Is -49 less than x?
False
Suppose j + 3 + 0 = 0. Let i = 4 + j. Let r(s) = -2*s**3 - 81*s**2 + 42*s + 42. Let w be r(-41). Is i >= w?
True
Suppose 2*n = -2, b + 4*b + 3*n - 12 = 0. Suppose -2*j + o = -b*o + 16, -12 = -5*j - 3*o. Suppose j*q = q. Is q at least as big as 0?
True
Let n be -2 - 0 - (-3)/((-6)/(-20)). Let g be n/90*5*3/18. Which is smaller: g or 1?
g
Suppose -6*t + 112 = 1336. Which is greater: t or -203?
-203
Let b(x) = 5*x**2 + 56*x - 13. Let v be b(-13). Which is greater: 100 or v?
v
Let y = -1993 - -3003. Which is smaller: y or -1?
-1
Let s be (27/(-6))/(3/(-6)). Let g = 6 - s. Are 0 and g equal?
False
Let w = 3.09 + -0.09. Let j = -6 + 5.6. Let m = -0.3 - j. Which is bigger: w or m?
w
Let f be (-133)/(-9) + (-6)/(-27). Let w = -14 + f. Let l be ((-4)/25)/(54/(-15)). Which is smaller: l or w?
l
Let a = 0.172 - 0.242. Let v = 0.14 + -0.74. Does a = v?
False
Let u = -9100 + 9125.162. Let o = u - -0.038. Let v = o - 25. Is 1 != v?
True
Let t be 2/(-8) - 7/(-12). Let a(n) = -4*n**2 - 16*n + 28. Let w(v) = 3*v**2 + 16*v - 28. Let z(b) = -4*a(b) - 5*w(b). Let d be z(14). Is t < d?
False
Let f = -59 - -20. Let j = f + 119/3. Which is smaller: 2 or j?
j
Let v = 22.973 + 0.027. Let g = v + -7. Let o = g + -16.2. Is o <= -2?
False
Suppose 2*g - r = g - 1102, g + 1114 = 5*r. Which is bigger: g or -1098?
-1098
Let v be (-2)/1 - -9*1. Let t = -3 + v. Let o = t - 5. Is o less than 1/3?
True
Let f(a) = -14*a + 281. Let t be f(28). Is t bigger than 2?
False
Let o be -8 + (9 - 5) + 1. Is o greater than -2?
False
Let s = -78.911 + -0.089. Let c = 91 + s. Are 1 and c equal?
False
Let y = 3 + -19/7. Let j(v) = 25*v + 1. Let n be j(3). Suppose -4*a - 4*w - n = 0, 2*a + a + 49 = 5*w. Is y less than a?
False
Let p(m) = -m**2 - 13*m - 12. Let x be p(-12). Suppose -6 - 6 = -2*a. Suppose -2*f - 2 - a = x. Are -3 and f equal?
False
Let d(k) = 75*k - 11. Let f be d(-4). Is 1/4 >= f?
True
Let d(r) = r + 8. Let q be d(-8). Let s be (1 + q)*0/(-8). Let v be (s - -4) + 1 + -4. Does 2/13 = v?
False
Let z = 24.9 + 8.1. Let f = 22 - z. Which is smaller: -1 or f?
f
Let p = -4 + 12. Suppose 5 = 3*y - p*y - 4*v, -v - 1 = y. Which is bigger: 1/134 or y?
1/134
Let v(q) = -2*q**2 + 60*q - 60. Let x be v(29). Which is bigger: x or -2/3?
-2/3
Let x = 14 - 23. Let f be 3 + x*(-1)/(-4). Suppose -q - 3*q + 8 = 0. Which is greater: q or f?
q
Let b = 8 + -7.8. Let c = 0.5 - b. Let f = -0.5 + c. Is 0 less than f?
False
Let c be -4*27/180 - (-94)/165. Are -1 and c equal?
False
Let r = -31/106 - -28289/318. Do r and 89 have the same value?
False
Let t be 40/(5/1) + -7. Which is smaller: -9/41 or t?
-9/41
Let t be (-203)/(-7 + (-20)/(-3)). Is 610 bigger than t?
True
Suppose -3*u + 0*u - q - 13 = 0, -4*u - 39 = -3*q. Let k(d) = -d**2 - 5*d - 5. Let g be k(-5). Is g != u?
True
Let o = 382 - 383. Is -5/23 greater than o?
True
Let n = -25 - -19. Let x = 18 - n. Suppose 2*l + x = -3*o + 4*o, -4*l = 5*o + 34. Is l at least -10?
False
Let d = -477 - -472. Let r = 0.3 - -0.7. Does r = d?
False
Let u = 634 - 641. Which is greater: u or -23?
u
Suppose 84 + 3 = -29*q. Let r(i) = -i**3 - 4*i**2 - 2*i - 2. Let k be r(-3). Which is smaller: k or q?
k
Let l be 3 - (100/(-3))/(-10). Which is smaller: l or -1.8?
-1.8
Let u be 3*3/(-9) + 22. Let m(n) = -u*n - 2 + 20*n - 8 - 5. Let r be m(-15). Which is smaller: -20 or r?
-20
Suppose 4*a - 2802 = -3*h, 35*a - 697 = 34*a + h. Which is smaller: 700 or a?
a
Let k = 668 + -647. Is k <= 18?
False
Let j = -124/35 - -37/14. Which is greater: 2/21 or j?
2/21
Let z = 37 + -62. Let l = -25.4 - z. Is l > -1/4?
False
Let v = -99971 + -418231. Let t = v - -16590399/32. Let y = 248 - t. Are 0 and y equal?
False
Let i(c) be the first derivative of c**4/4 - 11*c**3/3 + 4*c + 12. Let u be i(11). Let y be (u/3)/(5/(-15)). Do 1 and y have different values?
True
Let u = -133/1020 - 1/340. Let d(z) = -z**3 - 6*z**2 - 5