)). Which is smaller: 9 or v?
v
Suppose -2*w = 3*k + 5346, w + k = -0*w - 2672. Let l = -568709/213 - w. Which is greater: l or 0?
l
Let j = -1443.93 + 1444. Which is bigger: -237 or j?
j
Let g = -2 + 3. Let x = -20738 + 4749000/229. Is g equal to x?
False
Let y be ((-96)/120)/(5/25)*5/58. Is y >= -1?
True
Let a = -794 + 796. Suppose -3*p + 0 = -3. Let f be -27*(p - (-53)/(-51)). Which is smaller: f or a?
f
Let z be (246/(-1476))/(533/(-15)). Which is smaller: z or 1?
z
Let y be (-2 - 0)/(6 + 1904/(-315)). Let o = y + 51. Are o and 98 unequal?
True
Let i(h) = h**3 - 22*h**2 + 20*h + 25. Let f be i(21). Let d be (6/3 - 4)/8*f. Which is smaller: d or -24?
-24
Let l = -0.354 + -33.446. Let t = l + 20.8. Is 3 < t?
False
Let f(c) = -11*c - 12. Let k be f(-1). Let x be ((-2)/4)/(k/98). Are x and 48 nonequal?
True
Let z be 5 + (5 - (-1 + -97 - -3)). Which is smaller: z or 71?
71
Let o = -3316 - -3360. Is 846/19 greater than o?
True
Let f(n) = -2*n + n - 5 + 0*n. Let a be f(-4). Suppose -4*b + 3*l = -5, 4*b + 27 = -4*l + 11. Is a greater than b?
False
Let c = -106.8 - -107. Suppose -d + 0*d = -2*t + 261, -5*t - 5*d = -690. Is t less than or equal to c?
False
Suppose -3*q - 102 = 4*r - 0*q, 0 = -4*r + q - 110. Suppose -11*u = -14*u - 87. Which is greater: r or u?
r
Let s = 2/2565 + -166747/28215. Suppose 4*v - 26 = 2*b, 3*b + 323 = -v + 312. Which is bigger: s or b?
b
Let n(d) = 12*d - 350. Let m be n(29). Suppose 2*t = t - 3. Let k be 1 + (-1 - (-5)/t). Is m less than or equal to k?
True
Let c(z) = z**3 - 7*z**2 + 3*z + 1. Let n(y) = 4*y**2 - 2*y - 1. Let i = 1 + -2. Let k be n(i). Let l be c(k). Is l >= -35?
True
Let k be 8/(-4) + 1 - 21. Let n be (-1)/(-2) + (k/(-4) - 3). Suppose w + i + 25 = 0, -5*w + n*i - 33 = 108. Which is greater: -28 or w?
w
Let o(c) be the first derivative of -275*c**2/2 - 3*c - 56. Let p be o(-2). Is p >= 546?
True
Suppose u - d + 11 + 1 = 0, 19 = -2*u + d. Let w(y) = -50*y - 26. Let l be w(u). Let v be (-9)/(-66)*(-16)/l*-3. Is v <= 0?
False
Let j = -119.2317 - -0.2317. Is 2 at least j?
True
Let i = -14017 + 14042. Which is smaller: 51/2 or i?
i
Suppose 174*a - 173*a + 10 = 0. Is a > -486/53?
False
Let a = -264 + 233. Let n(u) = 7*u + 149. Let x be n(a). Is x at most -68?
True
Let s = -147.39 - -148. Let u = -1.01 + s. Which is smaller: 9 or u?
u
Let m = 3051 - 3035. Is 5/28 greater than m?
False
Suppose 5*f + 3*m + 444 - 1776 = 0, -5*m = f - 262. Let z be f/2 + -1 + -5. Is 128 equal to z?
False
Let j = 64/57 - 21163/18696. Which is greater: 0 or j?
0
Let z be (1/((-6)/(-1)))/((-2)/(-71)). Let n = z + -20/3. Let v(o) = -o**2 + 4*o - 3. Let r be v(3). Which is bigger: n or r?
r
Let i = -3467572/655 + 5294. Which is smaller: -0.1 or i?
-0.1
Suppose -1 + 4 = 4*x + 3*a, -a - 3 = 0. Let k be (-100)/16 - 1/(-4). Let g be 3/k - (-27)/6. Is g >= x?
True
Let l = 0.67082 + 658.30918. Let q = 661 - l. Which is bigger: q or -2?
q
Let c be ((-2 + 1)/(-1))/(24/258). Which is smaller: c or 10?
10
Let w = 67.848 + 0.152. Let h = w + -106. Which is bigger: 2/5 or h?
2/5
Let t be 1 - (-1 + 7 + 1). Let m be 112/(-24)*(-6)/4*-3. Let v be t/(-4) - m/(-18). Is v greater than or equal to 4/7?
False
Suppose -16*a = 28*a + 48*a - 88044. Which is smaller: a or 949?
949
Let l = -15 + 37. Suppose -404*x + 40 = -412*x. Let w be 28 - 6/(x + 6). Is l > w?
False
Let i = -36741252/475 - -77350. Let k be 1/5 + 6/(-5). Which is smaller: k or i?
k
Let y = 563 - 485. Which is smaller: 20 or y?
20
Suppose m + 140 = 4*r, -m + 79 + 87 = 5*r. Suppose -r*q + 32*q = 8. Let t be (q - -2 - -1) + 6/2. Which is greater: 9/4 or t?
9/4
Let p = 1157045 - 1157530.697. Let f = 486 + p. Let x = -0.003 + f. Which is smaller: 20 or x?
x
Let f = 316.55 - 317. Let v = f - -0.35. Are v and 196 non-equal?
True
Let j = -290 + 319. Let o be ((-16)/298)/(-27 + j). Is o at most as big as 0?
True
Let u = 23817 + -23971. Is u smaller than -30?
True
Let v = -26779/824 - 1/824. Let o be (-1389)/45 - -1*7/42. Let d = o - v. Is 2 bigger than d?
True
Let r = -82 - -123. Let f = 205 + r. Is 246 smaller than f?
False
Suppose 3*v = 3*g + 18, 0 = -3*v - 4*g - 8 - 2. Let t be (v/(-32))/(3131/(-124)). Which is bigger: t or -1?
t
Suppose 3*p + 69 = -3*j, 0 = -p + 4*j + 21 - 54. Which is bigger: p or 49?
49
Let c be (-2)/(-11) + 175/1155 - (-38063)/2397. Is c >= 17?
False
Suppose 5 = 3*s - 5*f - 15, 7 = s - 2*f. Suppose -4 = -s*m + 46. Suppose 0 = -2*a - 2*l + m, 2*a + 5*l - 13 = a. Is 4 greater than a?
True
Let l = 7586800/111 + -68349. Is 0 less than or equal to l?
True
Let h = -11 - -3. Let f(c) be the second derivative of c**3/6 + 4*c**2 + 18*c. Let a be f(h). Which is greater: 2/43 or a?
2/43
Suppose -q + 20 = -5*q. Suppose 0 = -4*a + 5*b - 256 - 371, -3*a - 471 = -3*b. Let m = -161 - a. Which is smaller: m or q?
q
Suppose 2*o + 0*o - 68 = 0. Let d = o + -69. Let k = d - -34. Which is smaller: k or -4/31?
k
Let h = -9883/2 + 286609/58. Let i = -2.4 - -0.4. Is i at least as big as h?
False
Suppose 32*a + 90 = 35*a. Suppose a*f - 19*f = 0. Is -3/32 at most as big as f?
True
Let y = 34 + -48. Let o = y + 14. Let m be 0/((-8 + 1)/7). Is o at most m?
True
Let a = -0.1 - 0.9. Let q = -0.18 - -0.216. Let v = q + -8.036. Do a and v have the same value?
False
Let k = -159 + 119. Let n be (8 + 368/k)*5/(-3). Is n less than or equal to 0?
False
Suppose 0 = 3*f + 2*i + 8, i + 17 = -5*f - 8. Let w be (-1)/(15/(-20)) - 4/f. Let h be (-2 - 13/(-4))*w/5. Which is bigger: 0 or h?
h
Let x = -35 + 53. Suppose 19*s - 89 = -5*y + x*s, 3*y = 5*s + 59. Are y and -1 equal?
False
Suppose 0 = -2*k - 3*q + 348, -2*k + 28*q + 352 = 32*q. Suppose -4*h - 5*g = k, 2*h + 3*h + 201 = -4*g. Which is smaller: h or -107/3?
h
Suppose -2*l + 7076 = 7078. Which is greater: l or 1/2501?
1/2501
Let w = -0.15605 - -0.06815. Which is greater: w or -1?
w
Let v = -19043 - -19042. Which is bigger: v or 7189?
7189
Suppose -3*v - 3*j - 81 = 0, 6 = 4*v - j + 124. Suppose 4*k = -0*k + 8. Let f(b) = -16*b + 3. Let m be f(k). Do v and m have the same value?
True
Let m = 140 - 146. Let j be (-6)/33 - 0 - (-190)/(-44). Which is greater: j or m?
j
Let o = -14 + 9. Let b = 0.65 + 1347.35. Let d = b + -1349. Is o equal to d?
False
Suppose 20*v = 38*v - 53*v + 202195. Is v less than or equal to 5777?
True
Suppose -3*y = -0*y - w - 26, 32 = 3*y - 4*w. Let m(p) = -54*p + 55*p - 2 + y. Let b be m(5). Is 11 greater than b?
False
Let z be 1/((-16)/111)*4/(-6). Let h = 7/8 + z. Let b = h - 29/6. Are b and 2 equal?
False
Let w be (4308/5)/(930/75 + -12). Which is smaller: w or 2153?
2153
Suppose 5*t - 10 = -3*z, 3*z + 0 = 2*t - 4. Let i(x) = 4 + 9 + 1 + 9 - 13*x + x**t. Let d be i(8). Which is bigger: d or -18?
d
Let t = -34741 + 34619. Is t smaller than -157?
False
Let g(w) = -4*w**3 + 14*w**2 - 15*w - 4. Let i be g(5). Which is smaller: -237 or i?
-237
Let f = 3626 + -3627. Are f and -2/9115 nonequal?
True
Let v be (-3)/(160/(-145) - -1). Let w be -7842*4/(-1104) - 6/(-69). Is v > w?
True
Suppose -54 = -426*m + 423*m. Suppose 0 = -19*u - m*u - 3589. Is u greater than -100?
True
Let c be ((-984)/(-27))/(-2) - 22/(-99). Let t = -1014 - -995. Which is smaller: t or c?
t
Let k(a) = -a**2 - 44*a - 16. Let s be k(-8). Let z = s - 272. Is z at most 4/211?
True
Let p(a) = -5*a**3 + 2*a**2 + a. Let i be p(-1). Let u(t) be the second derivative of -5*t**3/6 + 15*t**2 + 177*t. Let g be u(i). Which is greater: -37 or g?
g
Let b = -495 + 495. Let m be b - 3*2/(-12)*-2. Which is smaller: m or 2/115?
m
Let k = 82 + -28. Let x = k - 53.4. Let z = -0.46 - -0.16. Is z != x?
True
Suppose 1592*r + 73095 = 1635*r - 73879. Is r greater than 3417?
True
Let o be (-3920)/(-1344) - (-2)/24. Let n = -2 - 3. Let z be (-19)/n - (-7)/35. Which is smaller: o or z?
o
Let n be 3/(-20)*(-15)/8. Let z = -1/32 + n. Let t = 1.19 + -0.59. Which is smaller: z or t?
z
Let b be (-48)/168 + (-592)/(-14). Let l be b/77 - 230/(-22). Which is smaller: l or 14?
l
Let c(k) = 2 - 8*k**2 - 2*k**3 + 7*k - 13*k**3 + 16*k**3. Let x be c(7). Do 1 and x have the same value?
False
Let v(d) be the third derivative of -d**5/30 - 7*d**4/4 - 20*d**3/3 - 8*d**2 + 1. Let p be v(-20). Is p <= 32?
True
Suppose -2*l = 3*l - 5. Let j = -76211271 - -4101309549276/53815. Let d = 1/1145 + j. Do d and l have the same va