. Is k equal to y?
False
Let r be (-12)/24 + (0 - 0). Suppose -108*k = -104*k + 244. Which is bigger: r or k?
r
Suppose -114 = 3*l - 117. Is l less than -1369?
False
Suppose -6*v = -v - 2*o + 450, -5*o = -2*v - 180. Let n be (v/56)/3*-4. Which is smaller: 2 or n?
2
Let k = 917 + -902. Is k != -1/3?
True
Let s be 9 + ((-15)/(-10))/(5/(-10)). Let j = 98 + -44. Suppose -5*n - k + j = 0, -s*k + k = -20. Are n and 11 non-equal?
True
Let l be (-1)/(-4) + (-15)/12. Let d(f) = -3*f**2. Let c be d(l). Let w(q) = -q - 5. Let s be w(c). Which is smaller: 0.04 or s?
s
Let h be 12/(-8)*7/((-21)/8). Suppose 2*w + 2*g + 2*g - 8 = 0, h*w = g - 2. Is w at least 0?
True
Let w = 7117/15392 + -1/1184. Is -2/19 smaller than w?
True
Suppose 4*d + 13 = -7. Let f be 2 - (-3)/(2 + d). Let y = -3387/8 - -424. Which is greater: f or y?
f
Let u be (-360)/(-576)*7/(-1). Which is smaller: u or -5?
-5
Let g = 16.2 - 0.2. Let q = -19 + 4. Let c = -15 - q. Are c and g nonequal?
True
Suppose 46 = -3*z - 32. Suppose 14*c - 639 = -1017. Is c less than or equal to z?
True
Let b be (-4)/(-14) - 242/14. Let u(t) = -3*t**3 + 6*t**2 - t. Let z be u(2). Are z and b nonequal?
True
Let t = -0.6 + 0.66. Let w = -32.06 + t. Let c = w - -33. Is -24 at most c?
True
Let i = 85 - 121. Let x = i - -35. Is x bigger than -1?
False
Let n be 0 - 34/8*(30 + -34). Is n at most as big as 55/3?
True
Let f = 632 + -632. Is f greater than -34/35?
True
Let c be (6*-1)/(3 - 5). Suppose -c*a - 4*p = 3, a - 15 = -3*a + p. Suppose -2 = -a*l + 1. Which is greater: 1/35 or l?
l
Let o(t) = t**3 + 5*t**2 + 4*t + 18. Let k be o(-6). Is -42 greater than k?
False
Suppose 0 = -3*t - 5*a + 70, 40 = 4*t + 13*a - 17*a. Does t = 13?
False
Let r(n) = -2*n. Let y be r(-2). Let w be ((-6)/(-4))/((-6)/(-256)). Let d be -6*-1*y/w. Which is greater: d or 1?
1
Suppose 16 = b - r, -2*b - 3*r + 34 - 12 = 0. Let c(d) = -d**3 + 15*d**2 - 10*d - 10. Let z be c(b). Which is smaller: 47 or z?
z
Let s be (2 - 348/356) + -1. Let m = -160/801 - s. Which is greater: -1 or m?
m
Let d = -0.07 - -8.07. Let s = d + -5.8. Let n = 1.7 - s. Which is smaller: n or 2/3?
n
Let p = 1.5 - 1.2. Let w = 260.7 + -274. Let x = w + p. Which is smaller: x or 0?
x
Let c = 488 - 702. Is c > 1?
False
Let l(z) = z**3 - 6*z**2 - 8*z + 8. Let p(a) = a**2 - a + 7. Let v be p(0). Let q be l(v). Which is bigger: 24/11 or q?
24/11
Suppose -2*w - 2*p = 5 + 7, -12 = 3*w + p. Let c be (83 + -77)/((-28)/18). Is c greater than or equal to w?
False
Suppose 3*w = 3*n + 18, 0 = -4*n + 3*w + 2*w - 28. Let k(i) = -2*i**2 - 39*i + 35*i + 4*i**3 - 3 - 5*i**3. Let t be k(n). Is t less than -0.1?
False
Suppose -9*y + 4*q = -5*y + 324, -y - 93 = 2*q. Is y smaller than -83?
True
Let x be 13783/(-210) + (-2)/(-15). Let c = x - -67. Is c < 1?
False
Let p = 94 + -74. Let g be 20/(-14)*(-70)/p. Which is smaller: g or 6?
g
Suppose 3*b - 4*w = 24, 2 = w + 5. Let l(q) = -q**3 + 2*q**2 - 5. Let t(c) = -c**2 + c. Let y(m) = -l(m) + 3*t(m). Let h be y(b). Is 2/9 at least h?
False
Let k be 4/(-54) - (2 + -2). Suppose -3*u + 5*q + 6 = 13, -3*q = -4*u - 2. Are k and u non-equal?
True
Let a be 32 - ((-12)/6 + 0). Suppose -30*d = -a*d - 200. Is -52 > d?
False
Let z be -3 - (-1 - -4) - 0. Let b be 3*6/45*(-5)/z. Are -2/7 and b equal?
False
Suppose -2*s - 3*s = -s. Let g be (84/(-406))/(3/2). Is s not equal to g?
True
Let a = 0.0078 + -0.6078. Which is smaller: a or -6?
-6
Let v be 4/(-3)*2/(-12). Suppose -16 - 32 = -78*p + 30. Which is bigger: v or p?
p
Suppose 3*s - 26 + 8 = 0. Let t = 7 - 5. Let l be t + (s/(-9))/1. Which is smaller: l or 0?
0
Suppose -7*k = 19*k - 26. Which is greater: 2 or k?
2
Let s(v) = -v**2 + 5*v - 7. Let y be s(5). Let h = y - 13. Let p be (-4 - -1) + h + 10. Which is greater: p or 2?
2
Let f = -1961.94 + 1962. Which is bigger: 1/3 or f?
1/3
Let i(n) = n + 6. Let l be i(-6). Suppose d = 4 - l. Suppose 4*h - h + z - 15 = 0, d*h = -z + 19. Which is bigger: 5 or h?
5
Let b = -502 + 490. Which is smaller: b or -13?
-13
Suppose t + 4*a = -19, 6*t - 20 = 8*t - a. Is t < -9?
True
Let v = -34.11 + 34. Let n = 0.41 + v. Which is smaller: n or -5?
-5
Suppose 0 = -21*r - 41 - 22. Which is smaller: r or -2?
r
Let k = -6939/8041 + -1/1462. Which is smaller: k or -1?
-1
Let r = 3048 + -2923. Let c = 0.2 + -0.2. Which is greater: r or c?
r
Let r = -11929/7011 + 70/41. Is r smaller than 0?
False
Let w = -117 + 582/5. Is w greater than -2?
True
Let x = 61 + 89. Let u = -1948/13 + x. Which is bigger: u or 2/5?
2/5
Suppose -5 = -5*r + 10. Let l = r - 11/3. Suppose 5*j = 2*d - 5 + 12, -1 = j - d. Is j != l?
True
Let p(s) = s**2 + 62*s + 232. Let m be p(-58). Let j be ((-1)/3)/(1/2). Which is bigger: m or j?
m
Suppose 0*h = 4*h. Suppose -4*p + 2*p + 14 = 3*w, w + 3*p + 7 = h. Let t be 185/20 + (-2)/w. Do t and 7 have the same value?
False
Let u = 28 - 29.7. Let x = u - 7.3. Let s = -10 - x. Is s <= 3?
True
Suppose 22 = -2*o - 46. Let s = o - -34. Which is smaller: s or 7/8?
s
Suppose -i + 208 = -3*r, -i = r - 3*i + 71. Let l = -78 - r. Is -0.4 greater than l?
True
Let c be -10 + (-9 - -20) + (-20)/14. Is 241 > c?
True
Suppose 4 = -x, -2*q - 2*x = -3*x - 424. Let z be (33/(-4))/(q/112). Which is smaller: z or -5?
-5
Suppose -2*k + 1 = -3*k. Let b(u) = -6*u**2 + 2*u + 4*u**2 + u**2 + 1. Let j be b(0). Which is smaller: j or k?
k
Let z be ((-3)/2)/(-4 + 460/112). Let p(u) be the second derivative of u**3/6 + 15*u**2/2 - 3*u. Let n be p(z). Which is bigger: n or 5/6?
n
Let s = 116 - 22. Let g = 101 - s. Which is smaller: g or 11/2?
11/2
Let j(q) = q + 2. Let x be j(18). Is 19 smaller than x?
True
Let w be (-5)/((6 + -3)/(-3)). Let i be ((-10)/(-4))/(w/10). Suppose -z + 3*n + 15 = 0, 7*z = 4*z - 3*n + 9. Which is bigger: i or z?
z
Let j = -3.13 - 75.87. Is 0.07 at least as big as j?
True
Let x be (-60)/45*135/294. Which is smaller: 0 or x?
x
Let u(v) = -2*v**3 - 2*v**2 + 4*v + 5. Let f be u(-3). Let t = f - 18. Let c be (-3 - -2*3) + 9. Are t and c unequal?
True
Let m = -690149/21 + 32840. Let h = 74/3 + m. Is h greater than 1?
False
Let t(p) = 0*p**2 - 13*p + 18*p - p**2 + 10*p. Let i be t(15). Is i at least as big as 1/42?
False
Suppose 4*m + 3*n - 30 = 0, -16 = -2*m - 3*n + 2. Let v be m + -3 - (5 + (-3)/3). Is 29 > v?
True
Let i = -258 + 80. Which is smaller: i or 0.1?
i
Let j = 11 - 7. Let z(i) = 53*i - 583. Let m be z(11). Is m bigger than j?
False
Let t(p) = p**3 + 11*p**2 + 22*p + 5. Let q be t(-9). Let l(n) = -n**2 + 8*n + 54. Let m be l(14). Is m bigger than q?
True
Let z(q) = -2*q**3 - q**2 - q - 1. Let a be z(-1). Let l(p) = -p**2 - 3*p + 4. Let i be l(-5). Let t be i/(-198)*4/(-2). Which is smaller: t or a?
t
Let p = -256 + 511/2. Is p greater than 2/113?
False
Suppose 139*s = 21*s + 118. Is s at most -3/259?
False
Suppose 0 = -4*a + 3*f - 8, -5*a = f + 4 - 13. Let u be (-64)/72 - a/9. Is u not equal to 2/31?
True
Suppose -4*q + 0*d + d - 16 = 0, 5*q + 13 = 3*d. Let a = 7612 - 7617. Are a and q equal?
True
Let o(f) = f**2 - f - 1. Let b be o(1). Let h be (248/(-434))/(4/(-2)). Is h > b?
True
Suppose c + 8 + 7 = 0. Let x = c - -24. Which is smaller: x or 10?
x
Suppose v - 12 = -v. Let c be (-8)/9*v/8. Let d = -87 + 86. Which is greater: c or d?
c
Let c(y) = -y**3 + 6*y**2 + 9*y - 5. Let l be c(6). Suppose 0 = -3*s + 2*u + 144, -4*s - 6*u + 215 = -u. Which is smaller: l or s?
l
Suppose t = 5*u - 16, t + 28 = 4*t + 4*u. Suppose j = -t + 15. Suppose -s = -4*s + 36. Which is smaller: s or j?
j
Suppose 0 = j - 5*q - 3, -2*q = 3*q - 20. Which is smaller: j or 27?
j
Let r = 0.2889 - 0.1339. Which is greater: -3 or r?
r
Let v = 7/4953 + -2506253/24765. Which is smaller: v or -101?
v
Let i = -510 - -508. Which is greater: -0.031 or i?
-0.031
Let u = 211 + -214. Do -2/113 and u have the same value?
False
Let s be 2/(350/(-85) - -4). Is -69/4 less than or equal to s?
True
Suppose 2*v - 2 = -4. Let x be (2 - 21)*(-2)/(-2). Let w be 8/12 - x/(-24). Which is greater: w or v?
w
Let w be (-2 - -1)*1 - 5. Let k(d) = -20*d - 264. Let o be k(-13). Do o and w have the same value?
False
Suppose -5*r = 16*r - 5901. Suppose -w = 2*m - 60, 4*w + 4*m = r - 57. Is w at most 52?
True
Let r(u) = u - 18. Let y be r(7). Let n = 23 + y. Let b be (n/99)/(6/(-9)). Do b and 1 have different values?
True
Let t = 9