l = 1/21 + -5/7. Which is smaller: z or l?
l
Let k(u) = u**3 + 4*u**2 - 5*u. Suppose -2*o - n - 3 = 0, 0*o + 4*n = 3*o + 32. Let m be k(o). Let b = -40 + m. Which is greater: -21 or b?
b
Let y = 461813/245 + -321/49. Which is smaller: y or 1878?
1878
Let b(g) = 76*g + 1755. Let w be b(-26). Is -1978/9 != w?
True
Let w(f) = 12*f**2 - 265*f + 22. Let y be w(22). Are y and -11/926 non-equal?
True
Let u = 0.041 - 2.041. Let r(s) = s**2 + 6*s + 6. Let f be r(-3). Is f greater than u?
False
Let r be (-4)/12 - (-8)/(-12)*1. Let g(k) = -2*k**2 + k + 1. Let a be g(r). Which is smaller: a or -9?
-9
Let g be 24484/1860 - ((-14)/(-4))/7. Let o = g - -1/310. Let h be 80/6 + 6/(-18). Which is smaller: o or h?
o
Let m = 1.14 - 125.14. Let o = -88 - m. Let c = o + -56. Which is smaller: c or -0.2?
c
Let h be -2 + (2 - (31*-2 + 4)). Suppose h - 4 = -9*o. Which is smaller: -33/7 or o?
o
Let x = -9710 + 6644. Which is bigger: x or -3067?
x
Suppose -3*h = -2*h - o - 11, -4*o - 8 = 2*h. Let r = h + -10. Let q(m) = -4*m**2 - 52*m - 3. Let b be q(-13). Which is smaller: b or r?
r
Let a be 422/31 - (8 + 7 + -5). Which is greater: 3 or a?
a
Let b = -968.5 - -971. Let a be (-5 - (-10)/2)*1. Which is greater: b or a?
b
Let v be -4 - (0/8 + 3119). Let k be v/42*44/33. Is k at most as big as -99?
True
Let c = 351.8 + -352. Suppose -2*k + 15 = k. Let b be (-1)/((k/3)/(-5)). Do b and c have the same value?
False
Suppose 27*x + 68 = 44*x. Suppose -2*g - x*r = 0, -3*r + 14 = -5*g + r. Is 93 at most g?
False
Let n = 53003 - 423405/8. Is 78 at least as big as n?
True
Let i(t) be the first derivative of -t**3/3 - t**2 + 7*t + 104. Let j be i(15). Is j > 0.1?
False
Let d be 1 + 33/(-22) - (-13)/(-2). Let v be (-5)/d + -4 - (-4 + 1). Which is smaller: v or -2/29?
v
Let q = 153.4 + -15.4. Let x = q - 137. Which is smaller: -0.126 or x?
-0.126
Let u be 1222/(-104) - -12 - 12850/8. Does u = -1607?
False
Let s = -507 + 177. Let f = s + 187. Which is greater: f or -1/2?
-1/2
Let o = -341 + 267. Let f = o - -11767/159. Which is greater: -1 or f?
f
Let v(z) = -z**3 + 20*z**2 + 41*z - 57. Let l be v(18). Are l and 1328 equal?
False
Let b = -159 - -159.99. Let y = b - 0.79. Let n = 0.02 - -1.78. Are n and y equal?
False
Let c be (-1)/(-3)*0 - -13. Let t(p) = -p**2 + 760*p + 1535. Let d be t(-2). Which is bigger: c or d?
c
Let n(j) = -j**3 - 18*j**2 - 45*j - 2. Let t be n(-15). Let r(k) = -k**3 - 4*k**2 - 4*k - 1. Let v be r(t). Is v at most as big as 1/23?
True
Let j(f) = -f**3 + f**2 - 4*f + 6. Let u be j(4). Is u bigger than -53?
False
Let d be 2/4 + (-5)/18. Let m = 785 + -69081/88. Let k = m - -17/88. Is k not equal to d?
True
Suppose 425 = -3*m + 4*y, -4*y - 289 = 4*m + 259. Suppose 2*v + 4*q = -316, -131*v + 132*v = -5*q - 188. Is m smaller than v?
True
Let j(t) = t**2 - 9*t - 5. Let g be j(8). Let d be 522/90 - (-1 - 4/(-5)). Suppose 0 = 5*z + 4*l - d*l + 71, 5*z - 5*l = -80. Are z and g nonequal?
False
Let u(g) = -2*g**3 + 26*g**2 - 28*g + 49. Let o be u(12). Which is smaller: 37/147 or o?
37/147
Let y = 3.22 - 3.7. Let g = 28.48 + y. Let t = 27 - g. Which is bigger: t or -13?
t
Let h = -894 - -498. Is h at least -380?
False
Suppose f = -6*a + 9*a + 42, 4*f - 194 = -a. Suppose 21*p + f + 99 = 0. Is -7 greater than p?
False
Suppose -3*h = -10*m + 13*m - 4902, 0 = 4*m + 20. Which is bigger: h or 1641?
1641
Let y be (-2)/6 + 16/(-132). Let k = -45 + 8. Let v = k + 38. Is y < v?
True
Let r = -26201 + 21861. Which is smaller: 2/9 or r?
r
Let y be ((-6)/(-2))/((-75)/(-50)). Suppose 2*v - 18 = s, 7 = -y*v - 3. Which is bigger: -30 or s?
s
Let n = -4.98 - -5.08. Let s = 1 + 1. Which is smaller: n or s?
n
Let k(s) = s**3 - 4*s**2 - 20*s - 4. Let n be k(7). Suppose 4*c + 4*b = n*b + 280, -4*c - 3*b = -272. Suppose -352 + 64 = -4*q. Is c greater than q?
False
Let i be (0 - (-132)/(-9))/(6/(-27)). Let h = 71 - i. Suppose 6 = -h*k - 14. Is k <= -6?
False
Suppose 0 = 20*y - 48*y. Suppose 36 + 16 = 4*v. Let c be v/3 - 2 - y - 2. Which is greater: -1/3 or c?
c
Let i = 2906 - 2827. Is 0.08 > i?
False
Let n = 2802 - 2779.011. Let k = n + -23. Let q = 0.489 - k. Is -0.5 < q?
True
Suppose -4*y = 5*l + 9, 0*y + 2*l + 7 = -5*y. Let z be (-1022 + -5)*1 - 2*1. Let u = 52481/51 + z. Which is smaller: u or y?
y
Let q(b) = 25*b**2 + 158*b + 1855. Let a be q(-12). Do a and 3559 have the same value?
True
Suppose 219*v = -133*v - 125*v. Which is bigger: 23/1181 or v?
23/1181
Suppose 1437*v = 1442*v - 7*c + 588, -596 = 5*v + c. Which is smaller: -2 or v?
v
Let s = 491 + -490. Let m = -0.52 + 0.48. Which is bigger: m or s?
s
Suppose 0 = -0*k - 2*k - 4*u + 20, -u = k - 7. Suppose -9*j + 4*j - 4*v = -32, -3*j = -k*v. Which is greater: j or -6?
j
Suppose 1302 = 3*q + 4*q. Suppose 7*n = 13*n + q. Let o = n + 28. Which is smaller: o or -2?
o
Let m(q) = 39*q - 6. Let n be m(1). Suppose n*j = 19*j - 5530. Which is smaller: -396 or j?
-396
Let g = 2461 + -2151. Do 316 and g have the same value?
False
Let r = 53 + -43. Suppose 67*g + 218 = 69*g. Let s = -101 + g. Is r greater than or equal to s?
True
Suppose 4*n + 12 = 2*h - 8, 4*h - 28 = 5*n. Suppose -j - 18 = h. Is j less than or equal to -19?
True
Suppose -f + 6*s - 5*s - 229 = 0, 5*f - 2*s + 1133 = 0. Let t be ((-1)/(-5))/((-9)/f). Is t bigger than 0.024?
True
Suppose -34999 + 116263 = 16*q. Let l = q + -213305/42. Which is smaller: -1 or l?
-1
Let f = -152898 + 1990122/13. Are 188 and f nonequal?
True
Suppose o - 5*h - 559 = 755, -3*o + 5*h + 3922 = 0. Is o at least 1?
True
Let t = 19 - -352. Suppose -107*f + t = -114*f. Is 1/3 at least f?
True
Let c = -41.026 - 0.034. Let w = c - -49.113. Let d = 0.053 - w. Is 0 at least as big as d?
True
Let f be (-38305)/(-550) - 4/88. Which is smaller: 70 or f?
f
Let i = 4569 - 4515.54. Let b = -54 + i. Let k = -0.46 + b. Which is greater: -6.5 or k?
k
Suppose -1030*n = -1092*n + 59 + 3. Which is greater: n or 10/1593?
n
Let v = 136369/420 - 974/3. Suppose 34 = -4*x + 108 - 70. Is x less than or equal to v?
False
Let l = 485 + -478. Let x be (10 - (-187)/(-22))/(1 - l). Is x less than 1.7?
True
Suppose -21*m + 2 = 1 + 22. Which is smaller: m or -13/1905?
m
Let x = -317874042 + 4140627265093/13026. Let o = -1/1002 + x. Let q be (23 + -23)/(12/(-2)). Which is bigger: q or o?
q
Suppose a - 5*r = -7*r + 2, 4*r = -a - 2. Let d be -3 + -3 + (-47)/a. Is -13 at least d?
True
Suppose -6 = -2*p + 3*k, -p - 3*k = p - 18. Suppose -p*r = 1 + 5. Let h be (-2)/(0 + (-2 - 123)). Which is smaller: h or r?
r
Let m(r) = r + 4. Let k be m(-4). Let g = -3185 + 1870. Let v = g + 93363/71. Is v equal to k?
False
Let b be (4/(-7))/(18/(-63)). Suppose 4*i + 3*i = -b*i. Is i not equal to -3/163?
True
Let g = -5454 - -5203. Is g greater than -254?
True
Let a = -219974 - -219974. Let x = -45 - -44.967. Which is bigger: x or a?
a
Suppose -g - 40 = 3*q + 24, 3*q - g + 68 = 0. Let k be 7/35 - (-101)/(-5). Is q at most as big as k?
True
Let q be 2/(-6)*((-1307)/18930 - 31/(-465)). Is q smaller than -1?
False
Let k = -152801026134/125 - -1222415723. Let a = 7514 - k. Let s = -2851/36125 + a. Are 1 and s nonequal?
True
Let y(h) = -h**3 + 2*h**2 + 17*h - 7. Let m be y(5). Let q = 14 + -13. Suppose m*k = 2*k - q. Which is bigger: k or 1/6?
1/6
Let o = -222/343 - -775769/1199128. Are 1 and o unequal?
True
Let q be 624/(-5)*(502/(-2838) - (-258)/4257). Which is greater: 14 or q?
q
Let u be (-28)/6*1320/(-70). Is 60 at most u?
True
Let t be 1139 + (560/224)/(1/(-2)). Is t < 1133?
False
Suppose 314 = -367*v + 365*v. Suppose -127 = 3*f + 344. Is v smaller than f?
False
Let h = -74534 - -485514477/6514. Is h bigger than 1?
False
Suppose -9 = 3*c - 0. Let l(j) = j**3 + 12*j**2 + 30*j - 14. Let m be l(-8). Suppose 2*a = -z - 4, -m*a + 2*z - 4*z - 6 = 0. Is c at most as big as a?
True
Suppose -3*x = 3*b - 900, 12 = -3*x + 7*x. Let o = b - 292. Which is smaller: o or 17/3?
o
Suppose 1996 = -g - y, 2 - 4 = -y. Let q be g/(-2035) + 4/(-22). Is q less than 3.6?
True
Let t = 85.79 - -0.21. Let r = t + -86.57. Let f = r - 0.43. Which is smaller: f or -9/7?
-9/7
Suppose z = 20 + 50. Let k(l) = -9*l**3 - l**2 + l + 2. Let i be k(-2). Which is bigger: i or z?
z
Let a(s) = s**2 - 11*s + 4. Let x be a(8). Let t(l) = -l**3 + 6*l**2 - 4*l - 7. Let y be t(7). Let i = -105 - y. Which