t o = -61/36 + r. Which is bigger: o or 1?
1
Let f = -15 - -4. Let y(l) = 2*l - 2. Let r be y(f). Suppose -119 = 5*u + w, u - 4*w = -2*w - 15. Which is bigger: u or r?
u
Let y(r) = -r**2 + 33*r. Let d be y(33). Suppose d = -5*b + 3*w - 441, -w + 3*w - 265 = 3*b. Which is bigger: -86 or b?
-86
Suppose 3*j = j + 16. Suppose 0 = j*z + 8*z + 416. Suppose 2*n - 2*l + 48 = 0, -4*n + 2*l = -3*l + 95. Which is greater: n or z?
n
Let z = -2422958/59345 + 2424/1079. Let l = z - -192/5. Let v = 48 - 48. Which is bigger: l or v?
v
Let v(l) = 3*l**2 + l + 6. Let s be v(3). Let d be (-582)/4*(-12)/s. Is 50 smaller than d?
False
Let w be (-1)/(-5) + ((-112)/(-42))/(40/12). Is w < 3/98?
False
Let l be ((-928)/(-14) - -2) + (-6)/21. Let o = 53 - l. Let z be 4 + -5 - o/13. Is 2 equal to z?
False
Let x(s) = s**3 - 90*s**2 + 86*s - 52. Let j be x(89). Is j at most as big as -317?
True
Suppose 9*p + 41 - 50 = 0. Are 8/117 and p nonequal?
True
Let z = -78587/74 - -1062. Let k = z + 215/518. Let x = 19 + -19. Which is smaller: k or x?
x
Let n = -19639 - -17564. Is n less than or equal to -2078?
False
Let v be (176/(-64) + 26)/((-90)/16). Is v > -3?
False
Let y = 22.221 - 14.221. Does y = 3.19?
False
Let i be (36/30)/((-434)/124). Is i at most as big as 1?
True
Let q be (-58)/22 + 20/(-55). Let d be (-36)/54 - (q + (-30)/(-9)). Suppose -4*k + 8 = -4. Is k less than or equal to d?
False
Let a be (((-2622)/95)/23)/((-17)/(-10) + -2). Is a greater than 293/54?
False
Let h = -3218.9 + 3219. Let q be (300/(-125))/((-6)/8). Which is greater: q or h?
q
Let s be 10/(-150) - 52/(-1140). Is s at most -8/3?
False
Let c = -7681/78 - -121/13. Let d be ((-178)/3)/(126/189). Is d smaller than c?
False
Suppose -3*l = -8*k + 9*k - 114, 0 = -3*k + 2*l + 353. Suppose 0 = -s - 2*s + k. Which is greater: 37 or s?
s
Suppose -2375 = -82*n + 413. Is 34 equal to n?
True
Let s be 16671/(-5559) - -6*(-2)/(-4). Which is smaller: s or -1?
-1
Let j(u) = 4*u**2 - 107*u + 77. Let l be j(26). Which is greater: -11/177 or l?
-11/177
Suppose 4*s + 63 = -3*t, -2*t + 4*t + 4*s + 42 = 0. Let b be -17 - t - -79*1. Do 83 and b have different values?
False
Let k(j) = j**2 - 30*j - 111. Let i(a) = 6*a - 88. Let r be i(20). Let s be k(r). Is -42 bigger than s?
True
Let s = -9320 + 9259. Which is bigger: -79 or s?
s
Suppose -3*w - 3*v = 1 - 70, -2*v = 5*w - 106. Suppose 1308 = w*l - 92. Let c = 47 + 24. Is c equal to l?
False
Let v(o) = 5*o**2 - 3*o + 21. Let g(b) = -3*b**2 + b - 11. Let z(s) = -7*g(s) - 4*v(s). Let n be z(-6). Do n and -18/11 have different values?
True
Suppose 194 + 72 = 19*i. Suppose w - 3 = 0, 5*w = -n + i - 3. Let o be 20*(40/(-18) - -2). Which is greater: n or o?
n
Let s = 2755.5 + -2969. Which is greater: s or -1?
-1
Suppose -2*h - 4*a = -h, -3*h = a - 11. Suppose -44 = -22*g - 0*g. Suppose -38*b + 35*b - 2*o = 0, -5*o = g*b + 11. Which is greater: h or b?
h
Let p = 7046 + -345280/49. Which is bigger: p or -1/2?
-1/2
Let g = -123493442624915/138788 - -889799137. Let w = g - 1/884. Which is smaller: w or 1?
w
Let p = -37 - 51. Let r = p + 87.47. Let t = 6.53 + r. Which is smaller: -1 or t?
-1
Let q = -142/23 - -2422/437. Suppose 0 = -o + 4*u - 274, o + 3*u - 81 = -355. Let n = o + 272. Which is greater: q or n?
q
Let a = 2245 + -2103. Is a bigger than -0.4?
True
Let o = -1923.5 - -1924.5. Which is smaller: o or 0.0335?
0.0335
Let q = -99285 - -51926021/523. Which is bigger: q or -1?
q
Let m = 0.04 - 0.076. Let z = m - 0. Let j = -0.964 + z. Which is smaller: j or 10/3?
j
Let t(v) = -v**3 - 8*v**2 - 8*v - 27. Let z be t(-8). Suppose -4*h - 19 = -5*n + z, -2*n - 103 = 5*h. Let c = -20 - h. Is c at most -20/11?
False
Let w be ((-14)/5)/(85/150). Let r = -493 + 488. Which is smaller: w or r?
r
Let l = -319 - -698. Let i = l + -378.985. Which is greater: -0.2 or i?
i
Let u = 5.838391 - 6.838391. Suppose 2*d + 5*c = 8, -4*c + 46 = -3*d + 12. Let q be d/(-10) - (-2)/(-2). Is q less than or equal to u?
False
Suppose -3*h + 4*w = -5, -h = -4*h - 4*w - 11. Let f be 14/28*-8 + (h - 29). Are f and -1 nonequal?
True
Let b = 38 + -40. Let z be (6 - -1)*(3 - 8/4). Let d be ((-3)/b)/3*(-3 - z). Which is smaller: 0 or d?
d
Suppose -4*p + g - 3 + 2 = 0, -3*g + 3 = 4*p. Let s = 7323 - 607799/83. Which is smaller: p or s?
p
Suppose -403*w = -468*w + 15015. Which is greater: 204 or w?
w
Suppose 2*y - 5*z = 147, -5*y - 45*z = -40*z - 420. Is -16 <= y?
True
Let d = -0.18722 + 0.08722. Let r = -107.198 + 0.198. Is r at most d?
True
Let v = 0.291 + 0.589. Let w = 1.08 - v. Which is smaller: w or 56?
w
Let q = -22/3 + 7. Let f = -0.21 + -108.79. Let u = -52 - f. Which is bigger: u or q?
u
Let d = 2122 - 2116.855. Let z = -0.145 + d. Which is smaller: 9 or z?
z
Let t = 178.894 + -179. Let b = t + 0.106. Which is bigger: b or -26?
b
Let c(y) = 44*y**3 + 19*y**2 + 11*y + 1. Let w be c(-2). Which is greater: w or -302?
w
Let b(q) = q**3 + 8*q**2 + 9*q - 57. Let n be b(-7). Let v(w) = 2*w**2 - 13*w + 1. Let t be v(10). Let m = t + n. Is 2/69 > m?
True
Let d = -32553 + 3841295/118. Is 0 equal to d?
False
Let k(j) = -j**2 - 45*j + 290. Let c be k(6). Is -23 less than or equal to c?
True
Let k(y) = 2*y**3 + 2*y**2 - 2*y + 4. Let x be k(-3). Suppose 0 = i - 3*h - 5, i + 2*h - 4 = 1. Let s be (-5 - x)*i/(-15). Is s != -7?
False
Let s be ((-160)/8)/(-4) + (-11106)/2211. Is s smaller than -1?
False
Let k(m) be the first derivative of -2*m + 17 + 7/2*m**2 - 1/3*m**3. Let j be k(6). Is -2/15 less than or equal to j?
True
Let i(b) = -22*b + 39. Let t be i(-8). Let n = -350 + t. Which is greater: -136 or n?
n
Suppose 26*v - 11*v - 32760 = 0. Which is smaller: 2185 or v?
v
Suppose -834 = 34*d - 13*d - 141. Let r be -2 - (-1)/2*-62. Is d greater than r?
False
Let i = 410 + -12711/31. Suppose -k - 28 = -8*k. Suppose 0 = -4*r + 4*m + 4, 0*m - 2*m = k. Is r less than or equal to i?
True
Let n(c) = -c**3 - 16*c**2 - 29*c - 12. Let g(d) = d**2 - 6*d - 10. Let y be g(-4). Let r be 105/y*8/(-2). Let u be n(r). Which is greater: u or 20/21?
u
Let w be (((-1890)/12)/(-7))/((-332)/(-8)). Is w at most 1?
True
Let b be 2 - (1 - (-364)/(-6 + 2)). Suppose 6*t + b = -58. Is -24 at most as big as t?
False
Let f(h) = h**3 - 11*h**2 + 11*h - 9. Let s be f(10). Suppose -12 = 6*z - 3*z. Let o be (2 + (-2 - -3) + s)*z. Which is smaller: -18 or o?
-18
Let l be (-1 - 0/5)/(-1). Let y be (11 - 10)*l*-4. Let f be 19/y + 3 + -2. Which is greater: f or -3?
-3
Let c = 2019 + -2022. Let b be 10/2 - 2882/330. Which is bigger: b or c?
c
Let w be 196/2 - (3 - 7). Let b be -2 + ((-1444)/(-4291))/(4/w). Let j = b - 6/613. Is 6 bigger than j?
False
Let q = -816.1892 + 0.1892. Which is smaller: 0 or q?
q
Let a = 7230 - 6214. Is a at most as big as -4?
False
Let s be 8/6 - (-4)/6. Let l(f) = -2*f**2 - 18*f - 30. Let o be l(-6). Let b be 1/(1/o*2). Is s <= b?
True
Suppose 2*v + 2*g - 458 = 0, 2*v + 3*g - 170 = 288. Let r = -120 + v. Which is greater: r or 107?
r
Let o be -2*(-6)/4 - -1. Suppose 0 = -x - 5 + 3, 5*c - 33 = o*x. Is -8 <= c?
True
Let r be ((-20)/(-30))/((-2)/9). Let f = -20 + 32. Let q be f/(-30) + r/5 + 0. Is 1.3 <= q?
False
Let v = -2486 + 3100. Which is smaller: v or 619?
v
Let n be 1/(7/(-6))*(479 + -500). Suppose -4 = 5*p + 2*v - n, 2 = 2*p - v. Which is smaller: p or 144?
p
Let w = -329 - -260. Let o = w - -69.32. Is -0.1 > o?
False
Suppose 0 = 2016*w - 2019*w + 8469. Is 2823 not equal to w?
False
Let k = -4956.1 + 4956. Which is greater: k or 18?
18
Suppose 128*k + 2*k + 234106 = -250144. Is k >= -3726?
True
Let d = 91 - 138. Let i = -14 - d. Let s(j) = -4*j**3 + j**2 + j - 1. Let p be s(-2). Is p smaller than i?
False
Suppose 5*z = 2*f - 361, -4*z - 148 = -2*z - 2*f. Do z and -68 have different values?
True
Suppose j - 3*j - 13*j = 66885. Is -4458 at least as big as j?
True
Suppose 5*h + 825 = -50*h. Suppose 2*d = -w - 0 - 29, 76 = -3*d + 5*w. Is h smaller than d?
False
Let f = -237 - -85. Let z = -5513 - -5510. Let s be z + (-54 + -6)*6/f. Which is smaller: -1 or s?
-1
Let y = -3.411 + 2.411. Are -108.4 and y equal?
False
Let c(f) = -141*f**2 - 31*f + 15. Let d be c(-7). Is -6676 less than or equal to d?
False
Suppose 5*n - 14414 = 4*f, 2*f + 888 - 12414 = -4*n. Is 2882 < n?
False
Let x = 0.01588 - 0.01588. Is x > -0.015?
True
Let f be (192/