*u = 9*u - v. Which is smaller: u or 21?
u
Suppose -8 = 2*q + 393*t - 397*t, -2*q - 4*t = -16. Is -2422 smaller than q?
True
Let k be (14 + 960/(-84))*251/3. Which is smaller: k or 214?
214
Let f be -6 - -22*(-20)/8. Let l = -151 - f. Which is bigger: l or -88?
-88
Let i be (1785/(-714))/((-6)/(-244)) + 14/12. Suppose -3*n = 2*w + 200, -2*w - n = 2*w + 400. Are i and w nonequal?
True
Suppose 0 = 2*u + 3*q + 32, 22 = -4*u - q - 22. Let r = -17 - u. Let i(v) = 1430*v - 12876. Let h be i(9). Which is greater: r or h?
h
Let m = 487166/19943985039 - -4/355717. Is m less than 0?
False
Suppose 2*v - 1068 = x + 120, -5*x = -v + 5922. Which is smaller: x or -1186?
-1186
Let f be 2/(-9) - 13224/(-216). Suppose 10*l - f = 189. Let w = 83 - 55. Which is smaller: w or l?
l
Let a(p) = p**2 - 124*p - 7487. Let h be a(-57). Which is bigger: h or 2833?
2833
Let y be 154*((-2)/(-5))/((-12)/15). Let s = y - -87. Suppose 0 = 2*x - s*x + 8. Is x >= 1/6?
True
Let j be (322/(-336))/23*9 + (-25158)/(-16). Is 1572 at most as big as j?
True
Let g = 7374988/735 + -10034. Is g <= 4/19?
True
Suppose 4*q = 5*k - 12, -2*k + 1 = 4*q - 15. Suppose 2*j + 7 = s, 0 = -3*j + s + 3*s - 13. Let b(r) = 6*r + 20. Let y be b(j). Is y at least k?
False
Let u = 0.05498 - -0.07512. Do 1 and u have the same value?
False
Suppose 24 = 3*v - 96. Let t(a) = a**3 + 15*a**2 - 14*a + 32. Let s be t(-16). Suppose s = -0*i + i - 2, 4*f = -i + 166. Which is bigger: f or v?
f
Suppose u - 16 = 5*u, -4*q + 4*u = -36. Let z be (-488)/72 + 7 - (-140)/18. Suppose 0 = -5*i + 4*r + z, -5*i - 6 = 5*r - 2*r. Which is smaller: i or q?
i
Let k = -1263 - -1270. Let j be 15/2 + 6/(-3). Which is smaller: j or k?
j
Suppose 347*l = 349*l + 6. Let m be l/10*(-80)/96. Which is greater: -159 or m?
m
Suppose 7*v - 21352 - 22510 = 0. Which is smaller: 6265 or v?
6265
Suppose 7 = 2*x - 3*u, 19*x + 5*u = 17*x - 17. Which is smaller: x or 6/4729?
x
Suppose 0*z = z + 25. Let f be 17*(1/(-5) + 20/z). Suppose 0 = 3*a + 2*l + 40 + 15, 4*l = 2*a + 10. Which is smaller: f or a?
f
Let p = 5290 - 2620. Let x be p/(-45) - ((-12)/(-9))/2. Which is greater: x or -61?
x
Let n be (-5)/16*36/(-765). Which is smaller: 1 or n?
n
Let k(x) = -15*x - 61. Let g be 12/(63/18 - 5). Let o be k(g). Do o and 53 have the same value?
False
Let b(z) = 5*z - 9. Let y be b(3). Suppose -n + y + 4 = 0. Let f be (-104)/n + (-34)/(-85). Is -11 smaller than f?
True
Suppose 2*u + 4 = 4*u + 2*k, 3*u = 3*k - 6. Suppose -6*d - 6 + 24 = u. Let v be (-37)/60 - d/(-4). Which is greater: v or -1?
v
Let t = 725.5 - -107.5. Let i = t + -836.095. Let o = i + 0.095. Is o not equal to 1?
True
Suppose -270 = -4*a - s, -3920*a + 3922*a + 3*s - 150 = 0. Which is smaller: a or 732/11?
a
Let h(w) = w**3 + 10*w**2 + 5*w - 16. Let s be h(-11). Let r = s + 193. Is r less than or equal to 1?
True
Let g be (-6)/(-116)*258976/48. Let a = g - 279. Is 1 <= a?
False
Let j be ((-201)/(-1155) + (-1)/5)*112/(-86896). Are j and -1 unequal?
True
Let t = -14730 - -19958. Which is smaller: t or 5229?
t
Let g(l) be the third derivative of -l**6/120 - 2*l**5/15 - 3*l**4/8 - l**3 + 3*l**2. Suppose -4*n = 6*n + 70. Let x be g(n). Is x smaller than 6?
False
Let f = 95 + -94. Let d = 2180/3 + -102461/141. Which is smaller: f or d?
d
Let t = -1898057/17 + 305772273/2737. Let p = t - 474/7. Do p and -2 have different values?
True
Suppose -3*i + 2*v = -v - 45, 5*v = -2*i - 5. Suppose -8 = -2*q - 5*g, -g - 3 = -5*q - i. Is q at most as big as -68?
False
Let p = 219595299/331 - 663429. Is p at most as big as 2?
True
Suppose 16*z - 7*z = 27. Let s = -48 - -51. Suppose -s*o + 9 = 0, 5*o - 17 + 5 = z*h. Is 8/15 smaller than h?
True
Let n be 8/(-28) + 60/14. Suppose 0 = k + n*k. Suppose k*s = 5*s + 105. Is -21 > s?
False
Suppose -6*i - 4*b - 18 = 0, 4*i + 169*b + 7 = 168*b. Which is smaller: i or 1/2634?
i
Let y be 1 + 2/(-4)*2. Let q be (-30)/46*(66/(-154) - 18/105). Which is greater: y or q?
q
Let w = -12302 - -12304. Do -23/4 and w have the same value?
False
Let y = -1953800/314047 - -467198340613/12159899840. Let s = 1/7744 + y. Which is greater: s or 32?
s
Suppose -2*u = -4*b + 8, -3*b - 2*u = -5*b + 6. Let m = 11.29 - -745.71. Let w = 757.053 - m. Is w at least as big as b?
False
Let p be (-8)/(-14)*26/5*(-175)/(-20). Let o(d) = 12*d - 2. Let j be o(2). Is j greater than p?
False
Suppose 5*k - 9 = 3*s, -5*k - 7*s + 2*s + 25 = 0. Suppose -5*v + 3*l + 921 = 306, -k*l = 0. Which is bigger: v or 0.1?
v
Let s(i) = i**2 - 5*i. Let j be s(5). Let n = -143.835 - 0.165. Let l = n - -144.25. Which is smaller: j or l?
j
Let b be 7/378*(4 - 8). Let p be (-40)/(-15)*(-18)/(-8). Let d = 6 - p. Are b and d equal?
False
Let r = 2/1007 - 2292/139973. Let n be ((-4)/3 + 1)*3. Is r greater than or equal to n?
True
Let v = 0.65 - 19.35. Let l = v + -62.3. Which is smaller: 1 or l?
l
Let l be (43 + (-6)/(-3))*10/(-6). Let y = l - -75. Is y at most as big as 2/133?
True
Let p(s) = 16*s**2 + 29*s + 16. Let y(a) = 3*a**2 + 6*a + 3. Let t(d) = 2*p(d) - 11*y(d). Suppose -17*m - 32 = -13*m. Let q be t(m). Is -8/13 < q?
False
Suppose -4*i = 5*z + 12004, -2*z = -2*i + 2887 + 1911. Let l = z + 93605/39. Let x = -20/13 - l. Is x smaller than -3?
False
Let r(y) = y**3 - 16*y**2 + 30*y - 26. Let h be r(14). Suppose i = -5*f - 40 + 7, 2*f + 34 = -3*i. Let o be 27/(-24)*i/6. Which is smaller: o or h?
o
Let i be (-1 - (4 + -2)) + 0 - -4. Is -2/6309 smaller than i?
True
Let d = 129771 - 1288755799/9931. Let u = d + 486603/79448. Which is greater: 7 or u?
7
Let p = 0.79 + -0.09. Let s = 197 - 166. Let x = s - 32. Which is smaller: p or x?
x
Suppose 148790 = 73*k + 717293 + 351151. Which is greater: k or -12597?
-12597
Let u(v) = -10*v**2 - v - 157. Let x be u(0). Is x > -2?
False
Let b = -517 + 730. Suppose 3*v - 3*c - b = 0, 341 = 5*v - 2*c + 4*c. Let x = -69 + v. Does 5 = x?
False
Let p(d) = -d**2 + 12*d - 7. Let n be p(11). Let h be n/(192/28) + (-3)/18. Which is greater: -2/3 or h?
h
Let y = -11449 + 1362400/119. Is 0 at most as big as y?
False
Let u = -36 - -58. Let p = u - 12. Is p equal to -1/5?
False
Suppose -39*p + 16630 = -3611. Which is smaller: 512 or p?
512
Suppose -4*h = -11 + 123. Suppose 2192 = 12*r - 160. Let s = r - 224. Is s > h?
False
Let v = -6116.5 - -6043. Is -1 less than or equal to v?
False
Let r be 2/(-6)*1 + 2891104/1433208. Let b = -1/3143 - r. Which is bigger: b or -1?
-1
Suppose -358*x + 353*x + 150 = 0. Let a be (-42)/(-10) - 4 - x/25. Let m be 1 - ((-39)/(-20) - 1). Which is greater: m or a?
m
Suppose -5*j - 4*r = 10492, -r + 3196 = -2*j - 1006. Is j at least as big as -1?
False
Let w = 624938 + -168733037/270. Let i = -2/27 - w. Is -1 < i?
True
Let o = -75 - -130. Suppose 2*l = -5*r + o, -3*r = -0*r - 3. Suppose -2*n = 5*u - 6 - 4, -5*n = 3*u - l. Is -3/53 at most u?
True
Let q be (10 - 1040/70) + 6. Is -2/69 at most q?
True
Let a be (0 + 29/(-203))/(1/(-7)). Are 90/47 and a equal?
False
Let k(z) = 254*z - 5572. Let p be k(29). Which is smaller: 1793 or p?
1793
Let r(l) = 33*l - 238. Let n be 198/132*52/6. Let x be r(n). Is 189 != x?
True
Let z be -247 - (4 - -2)*1/2. Which is bigger: z or 3?
3
Let o = 0.1476 - 0.2586. Let s(i) = i**2 - 3*i - 19. Let k be s(-3). Is k not equal to o?
True
Let s(h) = 10*h**2 + h. Let u be s(-1). Let m = -23 + u. Suppose 84*y + 1534 = -34*y. Is m >= y?
False
Let n be ((-3)/(-1))/(-3) - 3. Let h be -1 + 1 - 4/n. Is h at least -3?
True
Let c = 751/9620 + -7/148. Which is bigger: c or -38?
c
Let v be 18/((-9)/(-3)) - 2. Let t(p) be the third derivative of p**4/24 - 5*p**3/3 - 41*p**2. Let n be t(v). Which is smaller: n or -8?
-8
Let v(j) = -3*j**3 - 210*j**2 + 2*j + 120. Let u be v(-70). Let s(p) = -21*p**3 + p. Let i be s(1). Is i at most u?
True
Let h = -7/4706 - -1245931/11765. Do 105 and h have different values?
True
Let s be 1/(-4)*16/204*(-9)/1362. Which is bigger: 1 or s?
1
Let r = 17.7 - 16. Let g = r + -1.7. Let n = -13/48 - -1/3. Do n and g have the same value?
False
Let q be (372/(-14))/(16/(-560)). Which is greater: q or 925?
q
Suppose 112*v = -139*v + 219*v + 480. Which is smaller: v or 19?
v
Let r(x) = -2*x + 13. Let g be r(7). Let u(q) = -3*q - 2. Let v be u(g). Let z = -953856/191 + 4994. Is v < z?
False
Let l = 405 + -401. Suppose -j + l*x - 15 = 0, -4*j 