y - 3*v = -v + 10. Let s be 256/(-56) + (4 - y). Which is smaller: 3 or s?
s
Let l(o) = o**2 + 5*o - 6. Let p be l(-6). Let u = -1170035/126 - -9286. Is u <= p?
False
Let w(y) = -y**2 - 15*y - 86. Let m(a) = -41*a - 99. Let k be m(-2). Let j be w(k). Which is bigger: j or -117?
-117
Let d be 13 - -1*(5 + -3 - -1). Suppose 9*j - j = d. Suppose j*u + 4*y - 7 - 3 = 0, u + 3*y = 8. Which is bigger: 3/11 or u?
3/11
Let s be 2/3 - (-18)/270*-400. Let p be ((-8)/(-16))/(1/(-50)). Is s >= p?
False
Let y be 9*7/12*-1. Suppose -7*r + 2468 = -486. Let q = 418 - r. Which is smaller: q or y?
y
Let y = -13553/16 - -846. Let n be 0/(-3 - -4 - 3). Is n >= y?
True
Let d = -77 + 78.2. Let y be (-1 - (-5)/15)/(3/(-9)). Which is smaller: d or y?
d
Let t = -113 + 168. Let b(r) = 2*r - 1. Let w be b(2). Suppose 2*g - t = -w*g. Do 9 and g have the same value?
False
Let k = -3418 + 3515. Which is bigger: 1/5 or k?
k
Let m = 375 + 180. Do 555 and m have the same value?
True
Suppose 68*z = -39*z - 186608. Are z and -1745 equal?
False
Let t(i) = -i**2 + 33*i - 18. Let f be t(32). Let g be (-48)/((f/(-35))/(8/30)). Is g less than or equal to 98/3?
True
Let a = -1 - 0. Let s be (-2)/1164*(175 - 171). Is a > s?
False
Let l be (8/14 - 0)*371/(-530). Which is smaller: -2/449 or l?
l
Let j = -291 + 297. Let w be (4/35)/(88/14 - j). Is -3 greater than or equal to w?
False
Let c = -262 + 227. Let h = -13.4 - -10.4. Is c greater than or equal to h?
False
Let b be (-4 - 3) + (0 - 0). Suppose -3*k + 25*m - 10 = 20*m, 0 = -3*m + 6. Is k greater than or equal to b?
True
Let y(t) = 3*t**3 - 30*t**2 + 44*t - 1. Let o be y(9). Is o != 16?
True
Let l = -17062 - -17491. Is l < 428?
False
Let u be ((-30)/38)/(-1) + -1. Suppose -2*z = l + 489, 0*z + 4*l + 972 = -4*z. Let p = 245 + z. Is p greater than u?
False
Let j = -171 - -220. Let f = -46 + j. Which is smaller: -0.05 or f?
-0.05
Let n(k) = -99*k**2 + 4*k + 5. Let x be n(-1). Let z be (-276)/3059*x/4. Which is bigger: z or 3?
3
Let m(h) = -128*h**3 - 4*h**2 + 3*h + 4. Let z be m(-1). Are z and 118 nonequal?
True
Suppose 5*j - 324 = 2*l + 102, 3*j = 0. Do l and -1277/6 have the same value?
False
Let y = -2809 - -2949. Is y > 148?
False
Let n(t) = 35*t**3 + 3*t**2 + t - 1. Let v be n(-1). Let y = -30 - v. Let s be (3/3)/((-2)/y). Which is smaller: s or 3?
s
Let n be 1 + -2 + (-195)/(-201). Let v = 0.213 - 3.333. Let o = 3.22 + v. Is o < n?
False
Let k = 15.5 - -13.3. Let t = -32.8 + 3.8. Let i = k + t. Which is smaller: i or -14?
-14
Let n = -70 - 42. Suppose -342*t = 32020 + 6968. Is n greater than t?
True
Let h = -1056 + 1057. Let w = 55 - 221/4. Which is smaller: h or w?
w
Let j = 25696 - 25696. Is j >= -93/283?
True
Let r be 8/((-32)/20) + 70. Let t = r - 64. Let x = 44 - 351/8. Which is bigger: t or x?
t
Let s = -196.88 - -196.9. Which is smaller: s or -6/11?
-6/11
Let j = 8108/83 + -3837356/39425. Let n = j - -3/25. Which is smaller: n or 0?
0
Let y = -397/323 + 20/19. Suppose -3 = -24*a - 3. Which is smaller: a or y?
y
Suppose -4*x = 5*c - 90112, 5*x + 4*c - 89082 - 23567 = 0. Let q = x - 563413/25. Is -3 greater than q?
True
Let i = 1571 + -1557. Do i and 208/15 have different values?
True
Let k = 2826.6 + -2827. Which is bigger: -144 or k?
k
Let i(u) = 1. Let d(y) = -y**3 - 4*y**2 + 5*y - 5. Let x(a) = -d(a) - 5*i(a). Let h be x(-4). Let p be 7511/406 - (-6)/4. Is h greater than or equal to p?
True
Let u = 7246 - 7561. Which is smaller: u or -318?
-318
Let c = 24 + -21. Suppose -15*r + 14*r + 31 = -2*x, c*x + 99 = 4*r. Is r bigger than 23?
False
Let k(x) = x**2 - x + 4. Let g be k(-3). Let q(o) = 3*o**3 + o**2 - 1. Let r be q(-1). Let m(l) = -5*l + 1. Let n be m(r). Are g and n nonequal?
False
Let m = -1.7 - -7.7. Let z = m - 5.898. Let h = 5.102 - z. Which is smaller: h or 0?
0
Suppose 109*v = -208*v - 20*v. Which is bigger: 87/314 or v?
87/314
Let a(h) be the third derivative of h**6/40 - h**5/20 - h**4/12 + 14*h**2. Let f be a(-1). Let q be 1*(2/f + (-1)/(-2)). Which is smaller: 11 or q?
q
Let n = -3.53 - -17.83. Let l = n - 14.1. Is l less than or equal to 73?
True
Let h = 14630 + -14608. Let w = 0.4 + 0. Let a = w - 0.3. Is h bigger than a?
True
Let d(c) = -2*c**2 - 41*c + 1762. Let k be d(24). Are k and -374 non-equal?
False
Let m be 528/72 - (4 + (-22)/6). Which is greater: m or 450/53?
450/53
Let a = -3/3077 + 589/3760094. Which is smaller: a or 0?
a
Let g = 2268.4 + -2478. Let i = -209 - g. Which is smaller: i or -2?
-2
Let l(q) = 2*q**2 + 6*q + 6. Let i be 0 + (1 - 3) - 2. Let d be l(i). Let x = 76 + -62. Is d not equal to x?
False
Suppose -4*y - 40*n = -45*n - 2143, 1073 = 2*y - 3*n. Let u = y - 466. Which is greater: u or 70?
70
Let n be (-2)/(-4) + (-18)/4. Let s(y) = 2*y - 26. Let o(k) = -k - 9. Let v(d) = -5*o(d) + s(d). Let z be v(n). Are z and 1/3 non-equal?
True
Let l(r) = r**3 - 7*r**2 + 11*r - 3. Let q be l(6). Let o be (-140)/(-11)*q/(-54). Which is smaller: o or -7?
-7
Suppose 5*n + c - 21 = 0, -3 = -2*n + 2*c + 3. Suppose -3*q = -3*p - p + 437, -n*p - 5*q = -445. Which is smaller: p or 111?
p
Let g = -2.5731 + 2.3769. Is 1/2 at least g?
True
Suppose -9 + 5 = -n, -5*n = -5*v + 455. Let j be ((-798)/v)/((9/10)/3). Which is smaller: -5 or j?
j
Let h(i) = 3*i + 71. Let b be h(-25). Let d = 4208/3333 - -1016816/489951. Let j = 2/441 - d. Which is greater: j or b?
j
Let h = -650176/13 + 49976. Is h less than or equal to -37?
True
Let k(m) = -2*m**2 + 115*m + 772. Let f be k(-6). Does f = 245/24?
False
Let w be (-9)/15 - (235/25 + -4). Let n be (w/(-7))/((-56)/(-4704)). Which is smaller: n or 1?
1
Let k(u) = -22*u - 152. Let w be k(-7). Which is bigger: w or 227?
227
Suppose x - 2 = 0, -3*u = 29*x - 32*x + 54. Is -80 greater than u?
False
Let t be -3*5/40 + 5808/128. Is t != 53?
True
Let n(z) = 5*z - 118. Suppose 19*f - 84 = 16*f. Let a be n(f). Suppose -6*l + 22 = -5*l. Is l equal to a?
True
Let d be (1/(-6) - 7/(-42))*1. Suppose d = 3*n - 4 - 20. Suppose -2*y - 3*v + 10 = -16, -n = -4*v. Is y at least as big as 10?
True
Let q be 9 - -13 - (-8077)/(-369). Suppose -3*k - 2*j = 5, 4*k + 0*j = -2*j - 8. Let w = k + 2. Is q > w?
True
Let w = 3901 + -3891. Is w >= 3/13?
True
Let q = 3/3994 - -12976/5991. Suppose 0 = 2*x - 4*x + 2. Is q at most x?
False
Let y = 0.09413 + -0.00413. Which is smaller: -76/7 or y?
-76/7
Let c be 675 - 270/630*(20/6 + -1). Is 2021/3 at most as big as c?
True
Let f(u) = u**3 + 7*u**2 - 17*u + 18. Let z be f(-9). Suppose z*v = -148 - 77. Which is smaller: v or -21?
v
Let i be (-1)/(4/(-20) - 0). Suppose i*m + 217 = 2*b + 2*b, -5*m - b = 227. Let h = -36 - m. Are -1 and h nonequal?
True
Let w be ((-9)/12)/(6/(-4))*0. Let n be 1*(-4)/(-546) + w. Are 1 and n nonequal?
True
Let x be (-6 - -9) + 329/(-105). Do 55 and x have the same value?
False
Let n be (10 + (-18781)/1876)*(-280)/45. Which is smaller: 0 or n?
0
Suppose -70*n = -114*n. Are 76/59 and n nonequal?
True
Let u = 0.27367 - 0.04267. Which is bigger: 3 or u?
3
Let i = 91 + -92. Let t = -99/10 - -14919/1510. Does i = t?
False
Let m be (-60)/8*(-410)/25. Suppose -m = -8*a - 3. Are 13 and a nonequal?
True
Let k = -20.97 - -42.44. Let g = 0.5126 - -0.0174. Let i = k + g. Which is smaller: 1 or i?
1
Let f be ((-2)/(-6))/((-8)/(-6)). Let a = -23939 + 23938. Which is smaller: a or f?
a
Suppose -2*z - 76 = -324. Let h = z + -144. Is h equal to -16?
False
Suppose -83*b + 1507 = 3*o - 88*b, -5*b - 2525 = -5*o. Which is greater: o or 2?
o
Let a = -96 + 99. Let r be (-7)/4 + 0*a/24. Let d = -3/4 + r. Which is smaller: -3 or d?
-3
Let u be -1 + ((-3 - -5)*-4 - -19). Let l = -13 - -21. Suppose 4*s + 32 = -2*y, 3*y = l*y - u. Which is greater: -11 or s?
s
Suppose 2*z - 507 = 5*m, -4*z = -5*m + 226 - 1265. Let v = z + -251. Is 15 equal to v?
True
Let i = -33381047/8278 + 8065/2. Which is smaller: 0 or i?
i
Let x be (0 - -2 - 1)*-23. Let o = -17 + -5. Let q = x - o. Which is smaller: q or -15/7?
-15/7
Suppose -85*g + 3*q + 33 = -82*g, 17 = g - 2*q. Let d(p) = 7 - 4*p**2 + p**2 + 4*p**2 + 5*p. Let a be d(-5). Is a less than g?
False
Let b = 404 - 404. Let s be b - (2 + 1120/(-536)). Are 0 and s nonequal?
True
Let y be (-1320)/(-50)*(2 - -113). Which is bigger: y or 3037?
3037
Let l be (363 - 16/(-8))*(-8)/(-210). Which is bigger: 13 or l?
l
Suppose t