. Which is smaller: z or -1/22?
-1/22
Let u(o) = -3. Let l(i) = -5*i + 76. Let a(h) = -2*l(h) - 2*u(h). Let r be a(20). Is r smaller than 54?
False
Suppose 4*f - 75 = 101. Let j = f + -35. Suppose -11*r - 4 = -j*r. Which is smaller: r or 0?
r
Let l(t) = -t - 2. Let s be l(-8). Let v(c) = 11*c**2 + 6*c**2 - 49 + 5*c**3 - 2*c**3 + 3*c - 4*c**3. Let u be v(17). Which is bigger: u or s?
s
Suppose -1 = -c, -5*v + 4*c + c = -7225. Which is smaller: v or 1447?
v
Let c(h) = -556*h - 3207. Let t be c(-6). Which is smaller: 135 or t?
t
Suppose -2*r + 5*s + 24 + 17 = 0, -4*s = -3*r + 65. Suppose 0 = -3*f + r - 8. Suppose 0 = 9*i - 4 - f. Is 2/11 >= i?
False
Let b = -0.107 - -0.46. Let n = b + 16.547. Let r = -17 + n. Which is smaller: r or -3/11?
-3/11
Suppose -286 = 2*u - 2*w - 4, -2*u = 5*w + 275. Let m be (-1 - 1 - u)/(6/4). Are m and 183/2 nonequal?
True
Suppose 52*b - 54*b = 8. Let g be 1 - b/(4/1) - 36. Let k = -83 - -48. Are g and k nonequal?
True
Suppose j = 5*j + 4*c + 76, -3*j = -4*c + 29. Let y(n) = -3*n**2 + 5*n - 17. Let i be y(-6). Let a be ((-8)/i)/((-2)/j). Is 1 <= a?
False
Let l = 397 + 31. Let m = l - 428. Which is bigger: 5/113 or m?
5/113
Suppose 5*w + 3*b - 3 = 2*w, -w + b - 5 = 0. Let p be 6/(-12) + 15/6. Suppose 0 = -7*l + p*l - 20. Which is greater: w or l?
w
Let i = 364955/13 + -28041. Which is smaller: i or 32?
32
Let f = -2 + -114. Let y = -116 - f. Which is smaller: -13 or y?
-13
Suppose -16*t - 10 = -18*t. Suppose -t*n = -0*y + 4*y - 14, -n + 4*y - 2 = 0. Let f = 3.07 - 0.07. Is n < f?
True
Suppose -5*n - 1 = 4. Let d = 196235/118 - 1663. Which is smaller: n or d?
n
Let y be (660/(-210))/(2/14)*(-6 + 2). Which is smaller: y or 68?
68
Suppose -6*k - 72 = -9*k. Let v be (6/(-15))/(k/(-30))*-17. Let i = 0 - 9. Which is smaller: i or v?
i
Let m(u) = 4*u**3 - 39*u**2 - 99*u - 84. Let f be m(14). Is 1864 not equal to f?
True
Let y = -5338/705 + -4/141. Let s(m) be the second derivative of -m**4/12 - m**3/2 + 10*m**2 - 13*m. Let a be s(-7). Which is greater: y or a?
y
Let l be (-86)/387 - 284/18. Let k be (20/55)/(1/l). Which is smaller: k or -0.1?
k
Suppose 89*r + 1941 = -1530. Which is greater: r or -47?
r
Let u be 3 + 9/3 + -4. Let w(p) = 2*p**3 - 4*p - 131*p**2 - 138*p**2 + 7 + 261*p**u. Let t be w(6). Is t greater than 128?
False
Let b be (-5 - -4 - 102)*-21. Does b = 2161?
False
Suppose -x + 42 = 8. Suppose 3*b - 117 = -4*z, -6*z + 4*z + 5*b + 91 = 0. Let h = x - z. Which is smaller: h or 6?
h
Suppose -6*d = -d - 5*z - 10, 5*d - 10 = 4*z. Suppose 1 = -d*f - 17. Suppose 0 = -2*x - 7 - 11. Is x < f?
False
Let o(h) = h - 3. Let y(v) = 6*v + 33. Let b be y(-5). Let n be o(b). Is n bigger than 4/83?
False
Let c be (12/(-153))/(464/(-348)). Let f be (-1)/13*(1 - -1). Which is smaller: f or c?
f
Suppose 11*y = -16 - 6. Let q be y*9/108*8. Let b(g) = g**3 - 4*g**2 + 3*g - 1. Let a be b(3). Which is smaller: a or q?
q
Let w = -322 + -12926. Let q = 119078/9 + w. Which is bigger: -17 or q?
-17
Let h be -1*((-24)/(9/3) + 3). Let v be (-468)/(-30) - 3/h. Suppose -u + 60 = 3*u. Is v > u?
False
Let t(g) be the second derivative of 5/6*g**3 + 0 + 21/2*g**2 + 29*g. Let h be t(-4). Is 40 less than h?
False
Let n be 18/48 + 6/(-8) + 60/96. Is n at least as big as -147/16?
True
Let w = -894 - -892.641. Let t = -0.141 + w. Let b = 0.5 - 5.5. Is b at most t?
True
Let o(i) = -4*i**2 - 3*i + 2. Let j be o(-4). Let b = -6897 + 13693/2. Let l = b - j. Which is greater: l or -3/40?
-3/40
Suppose -8 = -2*g - 4*k, 4 = g + k + 4*k. Let v(x) = -8 - g*x + 8*x - 3*x + 22. Let a be v(6). Is 20 at least a?
True
Let n be (-237606)/990 + -2 + (-4)/6. Let k = -1422/11 - n. Let u = k - 64066/565. Is -1 not equal to u?
True
Let a = 564979/2850730 - 81/409. Do a and 1 have different values?
True
Suppose 64*d + 1283 = -9021. Is -161 less than d?
False
Let a be (-17)/(102/4)*33/(-2). Suppose d + 150 = a*d. Let w = -2.9 - -3. Which is smaller: w or d?
w
Let y be (-8)/6*420/(-8). Suppose y = -4*s + 66. Which is bigger: s or -6/5?
s
Let r = 1339 + -1302. Which is smaller: r or 6/5?
6/5
Let y = -39 - -53. Let k be 8976/(-119) - 8/y. Is -77 smaller than k?
True
Let u(l) = 28*l + 29*l + 2*l**3 - 7*l**2 - 8 - 55*l. Let x be u(5). Suppose x*m = 81*m + 4. Are m and -2/51 equal?
False
Let g(h) = -h**3 + 6*h**2 - 3*h - 6. Let w be g(5). Let k be (w - (-44)/(-10))*-10. Suppose 2*s + 8 = -4*l, -2 - 2 = k*s + 2*l. Is s > 1/41?
False
Let z be 158/(-869) + 7/(-22). Let r(b) = -8*b + 1. Let s be r(-7). Suppose 11 + s = -4*d. Which is greater: d or z?
z
Let o(g) = 269*g**3 - 4*g**2 - 41*g - 77. Let u be o(-2). Is -2165 >= u?
False
Let z = -1.1 - -1. Let x = 172973/127 + -1362. Let l = 389/1016 + x. Is l greater than or equal to z?
True
Let p be (-1 + 2)*20/(-26870)*(-3)/30. Which is greater: 0 or p?
p
Suppose 32*o = 91*o - 177. Is -86 > o?
False
Let c = 119349/6881609 - -3/20063. Let q = 29173/1029 - c. Which is smaller: 27 or q?
27
Let t(h) = -2*h**2 + 125*h - 413. Let s be t(59). Which is smaller: 17/63 or s?
s
Suppose 12*f = 51*f - 3744. Suppose -3*h = -3*j + h + f, -h + 3 = 0. Which is bigger: j or 34?
j
Let j = -0.3596 + 0.3296. Is j at least -2753?
True
Let p = 5572 + -5188. Which is smaller: p or 1/2?
1/2
Suppose -42*l - 105*l = 5*l. Is -22/43 greater than or equal to l?
False
Suppose 2*x + 44 = -156. Suppose -6*d - 362 = 232. Is d bigger than x?
True
Let v = -0.2779 - -0.4279. Are 3 and v equal?
False
Let u = -273 + 869. Let w = u - 601. Which is bigger: w or -7?
w
Let x be (-5)/(0 - -25) - 2/(-10). Let l = 107.6 + -107. Which is smaller: x or l?
x
Let l be ((-2)/8 - -1)/3. Let h = -5898/5 + 1180. Is h at most l?
False
Suppose 125*f - 65*f = 52*f. Suppose -2*k + 4 + 0 = 0. Suppose m - 12 + k = f. Which is bigger: 8 or m?
m
Let d(w) = 5*w**2 + w + 2. Let o be d(-1). Suppose -o*b = 11*b + 255. Is -19 > b?
False
Suppose 0 = 5*b + 2*r - 28, b - 4*b = -r - 8. Let l be -6 - 8/(-2) - -7*b. Which is smaller: 30 or l?
l
Suppose -509*x + 47631 = -124*x + 166211. Is x at most as big as -309?
False
Suppose -2*r - 60*m + 57*m - 7177 = 0, -4*r - 3*m = 14333. Is r greater than or equal to -3581?
True
Let k = 13 - 36. Let q = -33278 - -33256. Which is bigger: q or k?
q
Let x be 603/(-268)*(1 + 1)/(-12). Let m be 3/21 + 57/(-7). Let j(p) = -p**2 - 10*p - 16. Let r be j(m). Is r less than or equal to x?
True
Let w = 20 - 16. Suppose -5*h - 3*c - 20 = 0, -20 = h + w*h - 2*c. Suppose -i + 1 = 0, 9*v = 5*v - 5*i + 9. Is v greater than or equal to h?
True
Let t be 15*(-8 + 8/4). Let u = -82 - t. Which is greater: 13 or u?
13
Let c = 47 - 46. Let h be (-5)/(-15) + (-51)/(-225). Which is greater: c or h?
c
Suppose 7*f - 363 - 211 = 0. Let w be f - (-4 - 10/(-2)). Is w less than 78?
False
Let i = 651 + -1136. Let r = -484.8 - i. Is r less than 19/5?
True
Let d(h) = -h**2 + 13*h - 8. Let j be d(12). Suppose -15*p - 4*o + 7 = -14*p, j*o = -4. Which is smaller: p or -1?
-1
Let r = 104 - 68. Let d = r + -26. Suppose 2*a = a - d*a. Is a smaller than -14?
False
Let b = -429 - -377. Which is bigger: b or -49?
-49
Let q = -25.82 + -0.18. Let k = q - -39. Let c be ((-10)/40)/((-6)/16). Is k smaller than c?
False
Suppose -2*u + 3*a + 217 = 0, 2*a = 4*u - 480 + 66. Is 101 not equal to u?
False
Let c be -9229 - 7 - (-28)/(-11 - -7). Is c <= -9244?
False
Let s = 353.86 + -359. Let c = s - 18.96. Let m = 24 + c. Which is smaller: m or -37?
-37
Suppose -3*b - 3 = 3*t, 0*t - 5*t = -2*b - 30. Let u be 4/(-12)*t/3. Let y = -230 - -229. Which is smaller: y or u?
y
Let b = -5906 - -6706. Do b and 791 have the same value?
False
Let v = -82 + 198. Suppose 1133 + 132 = 11*g. Which is smaller: v or g?
g
Suppose -13 = l - w + 31, -4*w - 184 = 5*l. Let n = -41 - l. Which is greater: 2/7 or n?
2/7
Let f(g) = -g**2 - 10*g - 4. Let k be f(-10). Let n = -21 - -7. Let l = n - -14. Which is bigger: l or k?
l
Let d(m) = -m**2 + 5*m - 6. Let c be d(2). Suppose 5 = i - 1. Let s be 1*8/i*(-15)/10. Is c equal to s?
False
Let o = -14/359 - 648/1795. Is 0.555 greater than o?
True
Suppose -217*y - 18 = 6*b - 219*y, 3*b + 5*y = 27. Which is bigger: -12/4097 or b?
-12/4097
Suppose -3*q = 14*y - 12*y + 4, -3*q - 4*y - 2 = 0. Let u = 1642 - 557. Let m = u + -11947/11. Is m < q?
False
Let s be 3/6*33/(462/(-28)). Let i = -462389/3405 + 679/5