 - 16/32. Let w = 277/364 + 5/52. Is d greater than w?
False
Let y = -49409 + 12648829/256. Are y and 0 unequal?
True
Let f(j) = -27*j + 55. Let s be f(2). Let u be s/(-2) + (-26)/(-52). Which is bigger: u or -2/77?
u
Let d = -4396.8 + 4396. Which is smaller: -8/5 or d?
-8/5
Let p be (613789/187)/(2/(-673)). Let i = -1103986 - p. Let c = 506 - i. Which is smaller: 0 or c?
0
Let r = 4481 + -215107/48. Let o = r - -7/16. Which is greater: 1 or o?
1
Suppose 2*o + 5*y + 2804 = 0, -4*o - 587 = 4*y + 5057. Which is smaller: -1416 or o?
o
Let t = -25841762/11709 - -2207. Is t bigger than 0?
True
Let j = -99 + 103. Let h be j - 343/(-252)*-3. Which is bigger: -1 or h?
h
Suppose 0 = -7*r + 13 - 6. Let h be r/9*-3 + (-94)/(-354). Suppose 7*l - 4*l = 0. Is l bigger than h?
True
Let b be 1 - (-1117)/(-28) - 51/68. Is b equal to -39?
False
Suppose -2*n + 10 = 3*u, -3*n = -u - 2*u. Suppose -44 = u*w - 4*w. Suppose -48 = -3*b - 5*c, 3 = -b - 4*c + 12. Which is bigger: w or b?
w
Suppose 114*k - 393 = 3255. Let u = -9.3 + 5.2. Let w = -4 - u. Which is smaller: k or w?
w
Let n = 0.1421 + -1194.1421. Let c = 1202.29 + n. Let g = c - 8.1. Which is smaller: 2 or g?
g
Let v = -7513072/68393 + 28/5261. Let f = -258 - -368. Let t = f + v. Which is bigger: 2 or t?
2
Let i(b) = -b + 16. Let z be i(-9). Let d be 3 + -6*37 - 0. Let k = d - -242. Is k less than or equal to z?
True
Let g = -21503/3 - -78808507/10995. Which is bigger: g or 0?
g
Let s(m) be the first derivative of m**4/2 - 2*m**3 + 4*m**2 - 8*m + 26. Let d be s(3). Which is smaller: 3 or d?
3
Let p(r) = 165*r - 3300. Let x be p(20). Which is smaller: x or -42.41?
-42.41
Suppose v + v + 204 = 0. Suppose -2017 - 104 = 21*p. Are v and p unequal?
True
Suppose 21*v - 26*v = 3*l + 10, -l = -2*v - 4. Let k be 36/(-62) - (2 + -2). Are k and v nonequal?
True
Suppose -2*j + 16 = 2*j, 4*j = -3*p - 7526. Let b be 2/(-4) - (p/(-20))/(-3). Let x = b - 40. Is -0.1 at least x?
False
Let a = -1.785 + 0.785. Which is greater: a or 26/295?
26/295
Let t(k) = -5*k - 92. Let f be t(11). Let p = -293/2 - f. Which is smaller: 0.11 or p?
0.11
Let d = -21463 + 21462. Let z(q) = 12*q**3 - q**2. Let g be z(1). Which is smaller: d or g?
d
Let v be -3369 + (-9 + -6 - -16). Is -3367 less than or equal to v?
False
Let n = -1.36 + 1.335. Let l = -0.125 - n. Which is greater: -56 or l?
l
Let p = 60158283/3185 - 18888. Which is greater: p or -1?
p
Let l(v) = v - 1. Let p be l(5). Let q be (48/(-56))/((-15)/665). Suppose -42*x + p = -q*x. Which is bigger: x or 0.32?
x
Let q = -31510 + 29891. Is -1630 not equal to q?
True
Suppose 0 = -3*w + 71 - 503. Let c = w - -152. Is 7 less than or equal to c?
True
Let v = -93.87 + 0.07. Let w = 8.8 + v. Let l = w - -84.92. Is l equal to 2?
False
Let p be ((-3108)/735)/74*-49*7/72. Is 1 at most as big as p?
False
Let i = -0.903 + 0.176. Let g = 0.173 - i. Is 0.3 >= g?
False
Let z be (-2402)/(-4)*8*(-11)/44. Let m = -880 - z. Do 322 and m have the same value?
False
Let k = 21666 - 21767.947. Let h = k + 102. Which is smaller: h or 1?
h
Suppose -5*p = l - 10*p - 25, 4*l - 5 = p. Suppose 5*n - 19 = 5*d - 29, l = -3*n + 5*d - 4. Are -49 and n nonequal?
True
Let s = 1/9652 - 115955/1264412. Is -2 at least s?
False
Suppose z + 231 = 5*k, -k + 2*k - z - 47 = 0. Suppose k = 6*c - 80. Let q = -13/22 + 232/11. Which is bigger: c or q?
c
Let u = 11.2 + -24.8. Let y = -16 - u. Let p = -1957.9 - -1958. Are y and p equal?
False
Let d(w) be the third derivative of w**5/30 - w**4/6 - 2*w**3/3 + 16*w**2. Let f be d(-1). Let i = f - 1. Which is smaller: i or 2?
i
Let y = -3 + 5. Suppose 2*o - 4*g = 22, -2 = -y*o + o - g. Suppose 7 = o*m - 3. Is 7/6 smaller than m?
True
Let i(p) = -51*p - 781. Let f be i(-21). Are -0.06 and f equal?
False
Let t(u) = -5*u**2 + 127*u + 77. Let z be t(26). Which is smaller: z or -69/139?
z
Suppose -m + 1433 = a, -m + 2*m = 4*a + 1433. Let y = m - 2943/2. Let v = y + 39. Which is smaller: v or -12?
-12
Let v = 4066 + -4065. Which is smaller: -8/47 or v?
-8/47
Let f be ((-28)/10)/((-1)/115). Let r(t) = 2*t**2 + f*t - 301*t - t**2 + 18. Let z be r(-18). Which is smaller: -35 or z?
z
Let n(h) = 53*h + 159. Let w be n(-3). Let u be (-25)/(-35)*4/(-10). Which is smaller: w or u?
u
Let g be (-4 + 155)*1*-1 + 3. Let z be g/(-36) - ((-140)/(-45) + -3). Which is greater: z or 71?
71
Let q = -0.5 - -0.3. Let s = -3.6533 - 11.3467. Which is smaller: q or s?
s
Let z = -7/271756 - 198376287/217133044. Let c = -7/47 - z. Is c at least 2?
False
Let y = 52.11 - 66.11. Which is bigger: y or -124?
y
Let j = -45 + 52. Suppose -j*c = -6*c. Suppose 2*o - o + o = c. Is -8/11 not equal to o?
True
Let g = -1888 + 1887.908. Let n = -462 - -461.092. Let h = g + n. Which is greater: h or -0.24?
-0.24
Let q = -0.0315 + -160.9685. Let t = q - -161.21. Which is smaller: t or 0.02?
0.02
Let b = -530284/285 - -27166/15. Do b and -51 have different values?
True
Let y(m) = -m**3 + 19*m**2 - 85*m + 4. Let n be y(10). Let h be (-171)/n*-44*(-3)/1. Which is bigger: h or -419?
h
Let j = -0.9426 + 0.5426. Let s = 14 + -10. Is j < s?
True
Let p be ((2/(-8))/(10/(-40)))/696. Which is greater: p or -1?
p
Let z(y) = 3*y - 64. Let i be z(21). Let u(q) = q - 13. Let f be u(17). Let c be (f + 168/(-45))/(12/(-70)). Does i = c?
False
Let x = -3433 + 6253. Let d = 724741/257 - x. Are 0 and d nonequal?
True
Let v = -41 - -85. Let u = v - -28. Does u = 2/3?
False
Let z be (1 - 1) + 5/34. Let s = 628/51 + -38/3. Let j = z - s. Which is smaller: j or -1/9?
-1/9
Let n = 7036 - 1491635/212. Let g be ((-16)/(-6) - 2) + (-100)/150. Are g and n unequal?
True
Let t(j) = 41*j - 259. Let m be t(6). Let l be ((43 - 1)/(26/m))/(-3). Is 11 at least l?
True
Let d = -2/937 - 1800/34669. Let a(l) = -6*l**3 - 98*l**2 - 32*l + 1. Let o be a(-16). Which is smaller: o or d?
d
Let g be (54/1164)/(6/4). Let m be -1 + -2 + (0 - 6 - -10). Is g at least m?
False
Suppose a = 5*a + 72. Let t be a/(-5)*(-300)/(-24). Suppose 0*j + t = -5*j. Which is smaller: j or -8?
j
Let r be 4/(-123)*(99 + 9)/12. Let a = -31 + 32. Is r at least as big as a?
False
Let t = -973231/179790 + 37/4610. Let k = t + 72/13. Which is greater: 8/3 or k?
8/3
Let q be 15 + (-1391)/91 + 1703/7. Which is smaller: q or 1221/5?
q
Let d be -11*15/330*-4. Let z = -6 + 13. Is z > d?
True
Suppose -5*r - k = 1 - 17, 0 = 3*r + 5*k + 8. Suppose 216 = -r*q + 8*q. Let y be 0 + -1 + 3/(q/(-12)). Which is smaller: -1 or y?
y
Suppose -124156 = -168*j + 741212. Which is bigger: 5152 or j?
5152
Let f be 4/(-5)*(-170)/(-6766). Let o = f - 569/1393. Which is smaller: -0.22 or o?
o
Let h = -175 - -181. Let b be (1608/92)/h - 3. Which is bigger: b or 0.3?
0.3
Let v be ((-54)/12)/((-12)/16) - -558. Is v greater than 551?
True
Suppose g - 715 = 2*b - 41, -323 = b + 3*g. Let p = -325 - b. Which is smaller: p or 34/3?
p
Suppose -10*l + 5*l = 55. Let h = -849/76 - -35/38. Is h smaller than l?
False
Let o(r) = -r**3 - 2*r**2 - 9*r - 50. Let a be o(-4). Suppose 82 = a*d + 226. Which is greater: d or -3/7?
-3/7
Let s = -449 + 1542. Which is smaller: s or 1092?
1092
Let c be (-6)/(-9) - 726/(-18). Let g = -41 + c. Let j be 5 + g - 2 - (-8)/(-2). Which is smaller: j or -1/46?
j
Let h(t) = -t**2 + 6*t - 97. Let m be h(17). Let o = m - -285. Is -2/127 > o?
False
Let x be (1 - -510)/(1 - 132/143). Is x less than -0.1?
False
Suppose 16 = -929*r + 945*r. Which is smaller: 111/143 or r?
111/143
Let l be (0 - (-56)/8) + -1. Suppose -4*s = -4*w - l*s - 2, 4*w + 5 = -3*s. Which is greater: w or -12/43?
w
Let z(x) = -31*x - 100. Let h be z(-14). Suppose -h*y - 1 = -335*y. Which is bigger: -2/1109 or y?
y
Let l(j) = -430*j + 429. Let g be l(1). Which is greater: -3/1589 or g?
-3/1589
Let q(k) = 5499*k - 18. Let i be q(-13). Let z = -14944515/209 - i. Let o = -18/19 - z. Is 0 at most o?
False
Suppose 5*h + 8 - 3 = 0. Let u = -0.827 - 3.173. Which is smaller: h or u?
u
Suppose -4*t + 4*h = 236, t = -5*h + 33 - 128. Are t and -54 nonequal?
True
Let a(l) = l - 2. Let v be a(7). Let o be (-29 + 27)*(-45)/14. Which is smaller: v or o?
v
Let r = -3/127 + 715/24892. Which is smaller: r or 16?
r
Let c = -3511898/5947 - -11220/19. Let l(w) be the second derivative of w**3/6 + 2*w**2 + w. Let r be l(-3). Which is greater: r or c?
r
Let h(d) = 14*d 