 m be w(0). Which is smaller: m or -16?
-16
Let p be ((-9)/15)/(10/(-600)). Let c be p/27*15/16. Suppose 4*v + 20 = 0, u - 2*v = 2*u + 8. Is c < u?
True
Let i = 9133/1184 - 649/32. Are i and -13 nonequal?
True
Let s = -3559 - -2753. Is -807 equal to s?
False
Let o be (-165)/44 + ((-2)/(-8))/(-1). Let n be 1/(-4*o/80). Let w = -6 - -12. Is w < n?
False
Suppose i = -2*t + t + 34, -5*t + 134 = 4*i. Let y = -34 + i. Suppose -5*o = -y*o + o. Which is smaller: 2/93 or o?
o
Let q(j) = j**3 + j**2 + j. Let f be q(-1). Let h(z) = -9*z - 4. Let k be h(f). Which is smaller: k or -2?
-2
Let f = -2128 + 100026/47. Suppose 2*h + 8 - 6 = 0. Which is smaller: f or h?
h
Let j = 3/153926 - 2907970007/769630. Let n = j + 3792. Is 15 at least as big as n?
True
Let v be (145 - 144) + (-679)/19. Which is smaller: -2/7 or v?
v
Suppose -33*s + 14*s = 3420. Is s at most as big as -183?
False
Let k = 102 + -94.5. Let t = k + -41.5. Let j = 30 + t. Is j <= -2/3?
True
Suppose 114*m + 88 = 202*m. Which is bigger: m or -1895?
m
Let y = -2538.2 + 2538. Which is smaller: 152 or y?
y
Let m = -706 + 704. Suppose -4*l + 1489 - 481 = 0. Let y be (49/l)/(m/8). Which is bigger: y or -2?
y
Let p(u) = 2*u**2 + 30*u + 25. Let n be p(-13). Let l be (9/n)/(-1*(-1)/(-6)). Let d be (2/(-9))/((-2)/12). Is d >= l?
False
Let v be 0 - -542*(-3)/(-18). Let g(h) = -943*h - 854. Let i be g(-1). Which is smaller: i or v?
i
Suppose 94*g + 64 - 1516 = -27*g. Is 325/28 less than or equal to g?
True
Let h be (-124*2)/(-2)*(-51)/34. Let k = h + 284. Do k and 95 have different values?
True
Let i = 11.07 - -1.73. Let h = i - 12.9. Is h greater than 0.31?
False
Suppose 2*s + 879 = -3*l, l - 16*s = -15*s - 303. Is l greater than 8?
False
Let a = 7589 - 22765/3. Is a bigger than 1413?
False
Let m = -1291 + 45189/35. Let j be 2/6 + 15/9. Let b be (j - (-2)/((-4)/6))*1. Which is smaller: b or m?
b
Let y = 14909 - 14953. Let l = -62/269 + -60484/1345. Which is smaller: l or y?
l
Suppose y - 4*k - 20 = 0, -2*y - 3*k = -2 - 5. Let v(w) = w**2 - 9*w + 8. Let r be v(y). Does r = 3/4?
False
Let m be -6 + (79 + -78)/(2/7356) + 0. Is m at least -0.1?
True
Let c = 16162 - 16163. Which is bigger: 4/585 or c?
4/585
Let s(g) = 5*g**2 - 40*g + 1. Let p be s(8). Which is greater: -32/161 or p?
p
Let p = -4019 + 3989. Which is smaller: p or 0.3?
p
Suppose 0 = 5*c - 3*u - 114, 5*c - 19 = 2*u + 92. Which is bigger: c or -19?
c
Let f = -5497 + 5498. Which is greater: f or -6934?
f
Let l be (10/(-60))/((217/381822)/31). Which is bigger: l or -9092?
l
Let f(n) be the first derivative of 21 - 25*n - 1/2*n**2. Let k be f(-9). Which is bigger: k or -15?
-15
Let f = 3993 - 1736. Which is smaller: f or -2?
-2
Suppose 21 = 7*j, 11*f + 5*j = 6*f - 15. Let p = -7 + 9. Are p and f unequal?
True
Let k be (-51)/7 - (7 - (-51)/(-7)). Let v be ((-2)/k)/(69/161). Which is greater: 137 or v?
137
Let h = -289 + 484. Let l be (6/h)/(0 + 1/5). Which is smaller: l or 1?
l
Let x be (-1635)/6*(-16)/20. Suppose b - 4*d - 68 = 3*b, 2*d - x = 5*b. Let p = b - -45. Is p at most as big as 4?
True
Let k(q) be the second derivative of -q**5/30 + q**4/6 + 5*q**2 - 21*q. Let m(c) be the first derivative of k(c). Let d be m(3). Which is smaller: -5 or d?
d
Let g = 2/13 - -7/39. Let n = -49/4 - -8569/700. Let x = -3687/1400 - n. Which is bigger: x or g?
g
Let i(j) = -j**3 + 28*j**2 - 24*j + 318. Let s be i(32). Is s less than -4546?
False
Let s = -0.0569 - 0.2031. Let f = 3.14 - s. Is 0.01 greater than f?
False
Suppose -27*w - 2675 = -2675. Which is bigger: 2/4343 or w?
2/4343
Let x = 4 + -36. Suppose -2*u - 502 = -818. Suppose 4*c = 5*f + u, -2*f = 5*c + 56 - 6. Is f bigger than x?
True
Suppose 3*n = 5*c + 2*n - 2709, -c = -5*n - 537. Let l = 308 - c. Which is smaller: l or -236?
-236
Let b = 1187.6 + -1188. Let y = -16.68 + -0.32. Does y = b?
False
Let r = -0.7 + 0.7. Let s = -26 + -35. Let a = -94 - s. Which is bigger: a or r?
r
Let r be (-135)/(-10)*(3 - 21/9). Suppose -r*f + 10*f - 4 = 0. Suppose 0 = 4*g + 8, 0 = 2*q + 4*g + 6 + f. Which is bigger: -2/119 or q?
-2/119
Let t = -189534119/1731 + 109494. Which is bigger: 0 or t?
0
Let r = 6338 - 12316. Which is smaller: r or -5977?
r
Let q = 519 + -368. Let p = q - 155. Which is smaller: p or -53?
-53
Let r be (-7 + 2)/(0 - 2/(-8)). Let j = r + 13. Let a be (-19)/j - 3/1. Which is smaller: a or -56?
-56
Suppose 5*a + 6 - 1 = 0. Let y = -80874/13 + 1938102/299. Let d = y - 261. Is a greater than d?
False
Let r = 36691 - 36691. Is -2/4147 <= r?
True
Let k = 295 - 269. Suppose 189 = -q - k*q. Is -7 smaller than q?
False
Let x = 48 + -44. Suppose 6*k = 8*k - x. Let u be (7 - 14)/((0 + k)/(-2)). Which is greater: u or 3?
u
Let p be (-40)/(-64)*(-32)/(-40). Let f be (-2)/(-7) + 116/(-14). Let u be (f/4)/(-1 - 1). Are u and p non-equal?
True
Suppose 7*v = 12*v - 10. Suppose -m = v*x - 36, 0*m + 5*x = m - 36. Suppose -2*d = -38 + m. Which is smaller: d or -2/15?
-2/15
Suppose 3*n = -4*r + 17, 3*r - 6*r = -4*n + 6. Let o = -1 - n. Let k = -1848 - -1846. Is o less than k?
True
Let h = 2294/17 - 135. Let p = 5 - 2. Suppose -6*v - 17 = -p*v + 4*g, 4*v - 3*g = 19. Is h at least as big as v?
False
Let p = -108.812 - 0.188. Let d = p + 108. Let i = -68 - -36. Which is bigger: d or i?
d
Let d(f) = 87*f + 77. Let q be d(2). Let g = q - 248. Which is bigger: 7 or g?
7
Let j = 7461 + -6820. Which is greater: j or 1925/3?
1925/3
Let i = -2/55591 + -52889/75103441. Which is smaller: i or -1?
-1
Suppose 1022*p + 252 = 2036*p - 1035*p. Let l be 2/9 + (-168)/27. Are p and l non-equal?
True
Suppose 2*t + 3353 = -3*r, -2*r + 83*t - 2232 = 81*t. Which is bigger: -2 or r?
-2
Let m = -0.023 - 242.977. Let o = m + 258. Let w be (-10)/35 + (-16)/(-7). Is o >= w?
True
Let p = 838 + -837.54. Let v = -2.3 + 1.3. Is p < v?
False
Let o be (-10)/3*(-54)/10*(-745)/6. Are o and -4469/2 equal?
False
Let h(y) = 30*y - 1140. Let z be h(38). Which is greater: z or 2/479?
2/479
Suppose k - 29 = -2*n, -149 = -4*k + 2*n + 7. Suppose -16*g = -7*g + 36. Do k and g have the same value?
False
Let m(x) = -x**3 - 10*x**2 - 25*x - 34. Let p be m(-11). Let j = p - 367. Is j smaller than -32/5?
False
Let r(o) = -4*o - 35. Let l be r(-12). Suppose 0 = 3*h - l - 38. Which is greater: h or 31/2?
h
Let w = -6 - 2. Let o = -26 - w. Let v = -18635/3 + 6212. Is o at most v?
True
Let n(j) be the third derivative of j**4/12 + 28*j**3/3 - 22*j**2. Let t be n(-17). Let i be (-8)/(-177)*t/(-88). Which is greater: i or 1?
1
Suppose -20 = -5*c + 20. Suppose a - c = -a. Let t = 365/2 - 178. Is a less than t?
True
Let y = -1384.6 + 1385.6. Which is greater: -9723 or y?
y
Let q(k) = k**3 + 19*k**2 + 47*k + 30. Let l be q(-16). Let z = l - 50. Is z at least as big as -29?
True
Suppose -4*w + 5*p + 997 = -209, -4*w + 1210 = -3*p. Let y = -304 + w. Let r be (-132)/(-81) + 1 + -3. Which is smaller: y or r?
r
Let o be (53158/(-8860) + 6)/((-9)/2 - -5). Which is smaller: 1 or o?
o
Suppose -33*j + 266 = 19 - 116. Which is smaller: 5 or j?
5
Let n = -1.52 + -9.18. Let f = 10.397 - -0.603. Let j = f + n. Are j and 8 non-equal?
True
Let h be (1/2)/((-91)/(-6) + -15). Are 267 and h equal?
False
Let q = -1736 + 1960. Are q and 214 non-equal?
True
Let d(o) = 5*o + 172. Let x be d(13). Is 240 <= x?
False
Suppose 2*k = 4*q + 8, -6*q + 3*q - 6 = -5*k. Let o be (-2709)/(-10962) - (-3)/(-9). Which is smaller: k or o?
o
Let y be 7*(-4)/(-28)*560. Suppose y = -11*b + 31*b. Is b > 1?
True
Let r(u) = -u**2 - 3*u + 20. Let g be r(-6). Suppose -5*q - 4*b - 15 = 0, g*b - 3*b - 6 = -q. Which is greater: q or 5?
5
Suppose 0 = -5*c, -k - 2*c + 29 - 22 = 0. Let z(t) = 2*t - 21. Let l be z(k). Let g = -14/145 - 5557/1015. Are l and g non-equal?
True
Let b = -64818 - -64818. Let f = -1.08 + -88.92. Which is smaller: b or f?
f
Suppose -13*o + 12*o - 44 = 0. Suppose 60*h - 54*h + 234 = 0. Is o at least h?
False
Let m be (-10)/(-86)*128 + (-555)/111. Which is bigger: m or 11?
11
Let l = 5581 - 5580. Do l and 29.81 have different values?
True
Let k = 23 + -55. Suppose -v - 4 = 4*z - 2, 0 = -3*v - 6. Which is smaller: k or z?
k
Let y be 54009/(-2349) - 2/18. Which is greater: -23 or y?
-23
Let m(v) = 53*v + 621. Let w be m(-11). Which is smaller: w or 371/10?
371/10
Suppose -4*h = -z - 30953, -3*z + 38721 =