181 + p. Which is smaller: m or h?
m
Suppose -2*o - 3 - 12 = 3*r, 0 = -2*o + 3*r - 45. Suppose 0 = -3*y - 15, -3*l - 3*y - y = -97. Let v be 1 - (l/(-115))/(5/o). Is v at most as big as -1?
False
Let f be 3*2/(-9)*6 + 0. Let v be (-6*f/72)/((-1)/57). Let j = 20 + v. Is 1/21 not equal to j?
True
Let p be (-16)/(-48) - (-212)/(-6). Let w be 1*(360/p + (-4)/(-14)). Let u be (3/(-3))/(-1 + 2). Which is smaller: w or u?
w
Let a(b) = -b**2 - 24*b + 51. Suppose 7*y - 7 = -203. Let r be a(y). Is -60 smaller than r?
False
Let b(s) = 7*s**2 + 27*s + 42. Let g(a) = -a**2. Let x(o) = b(o) + 6*g(o). Let r be -28 + 9*(-4)/(-12). Let y be x(r). Which is smaller: -15/2 or y?
y
Let g = 2540 - 477517/188. Is 0 at least as big as g?
False
Let d be (-9317605)/3267 - (-3)/81. Which is smaller: -1/4 or d?
d
Let u = 960.3 - 1073.3. Which is smaller: 48 or u?
u
Let r(o) = 805*o + 101898. Let a be r(-127). Let x(j) = 85*j + 3. Let t be x(-4). Is t bigger than a?
False
Let h = 34/7493 - 17436381/37465. Which is bigger: h or -464?
-464
Let n be (-123)/2*(-6 - -8). Let l = -60 - n. Let h = -1 - l. Are -63 and h unequal?
True
Let t(z) = 10*z + 15. Let q(s) = s + 1. Let i(d) = -14*q(d) + 2*t(d). Let r be i(-6). Is r less than or equal to -234/11?
False
Let b(p) = 2*p**2 - 6*p + 5. Let r be b(1). Let v be (r - 16/14) + 29/7. Suppose -3*y + v = y. Which is bigger: 22/15 or y?
22/15
Let z = -1724 + 1724. Do -2038 and z have different values?
True
Let s(i) = -2*i**3 - 15*i**2 + 20*i + 57. Let m be s(-7). Let t = -4 + 7. Let f be t + (2/(-5))/(m/(-935)). Is 1 smaller than f?
False
Suppose -7*h = 19*h - 85746 + 85564. Which is smaller: 426/67 or h?
426/67
Suppose 0 = 86*s - 20*s. Which is smaller: 9/413 or s?
s
Let k(a) = 3*a - 41. Let f(p) = -2*p + 21. Let w(o) = 5*f(o) + 3*k(o). Let n be w(-25). Suppose -10*y = -n*y - 3. Is y at most as big as 2/109?
False
Let o = -207 + 116. Let b = -32 - o. Is 56 smaller than b?
True
Suppose -1828 - 692 = -8*g. Let z be g/20 - -1 - (-3)/(-4). Is z bigger than 14?
True
Let x be 3*((0 - -37) + -2*(-3 + 0)). Does x = 16?
False
Let s(p) = 24*p**3 - 119*p**2 + 5*p - 19. Let x be s(4). Which is greater: x or -366?
-366
Let g = -15552 - -15500. Is -674/13 > g?
True
Suppose 4 = -4*l + 542*h - 541*h, 5*h = -4*l + 20. Which is bigger: l or 2/2501?
2/2501
Let x be 2*((-54)/12 + 5). Suppose 4*z + 177 = -435. Let s = z + 3521/23. Which is smaller: x or s?
s
Suppose 12*p = 21*p + 54. Let d be -8 + (-59 + 5)/p. Which is bigger: 11/45 or d?
d
Let z(x) = x**3 - 2*x**2 - 2*x + 16. Let t be z(5). Let g = t + -82. Is g equal to -6/29?
False
Let l = -19.2 + 20. Let g = l + -0.77. Let m be (27/(-27))/(10/6). Is m smaller than g?
True
Let k be -3 + 4 + (-23281)/(-713). Which is smaller: k or 34?
k
Suppose -2*f - 5*s - 2 = 0, -1 = 3*f - 3*s + 2. Let w be (f - (-1 + 0)) + 36/(-8). Let o = 13.3 - 13. Which is greater: o or w?
o
Let m = -33.91 + 27.41. Is m greater than or equal to 1?
False
Suppose -5*x + 0 = 5, 3*c + 3 = -3*x. Let j be (-4)/26 + 44792/(-54288). Let z = j + 30/29. Which is smaller: z or c?
c
Let c = -133 - -132.26. Let i = c - -0.64. Which is smaller: 8.7 or i?
i
Let o(r) = -r**2 - r - 2. Let m be o(2). Let z be (-15*9/(-45))/((-1)/m). Let d be (-48)/168 + z/35. Is 1 greater than d?
True
Let f be (-2 - 1) + (-792)/1782 + (-18560)/(-5391). Are f and -1 unequal?
True
Suppose 2*d - 19 = -5*c - 0*c, -4*c - 3*d = -11. Let t = 10.1 + 0.9. Let q = 11 - t. Do c and q have different values?
True
Let u be 42*(8 + (-231)/28). Is -3 < u?
False
Let n = -682 - -682.1. Which is smaller: n or -1527?
-1527
Let u = 311702/665 - -11304/95. Is u at most 589?
True
Let r be -9 - (31/7 + (-8)/(-252)*18). Which is smaller: -233/17 or r?
r
Let h = 272.973 + -273. Let j = -0.083 - h. Which is bigger: j or 2/5?
2/5
Let a be ((-20)/(-18))/((-28)/(-651)). Let c = -16117/576 - -173/64. Let k = a + c. Which is bigger: 2 or k?
2
Let j(k) = 23*k + 25 - 38*k + 13*k. Let l be j(18). Let z be 2/2 - (-39)/(-3). Which is smaller: l or z?
z
Let z = 24965 + -24941. Let p(b) = b**2 - b - 4. Let r be p(5). Which is smaller: r or z?
r
Let j = -13252206/795823 - -1/34601. Which is smaller: j or -16?
j
Suppose 41*c = 54*c - 52. Let k be (-386)/c*(12 + 0 - 10). Is -195 less than k?
True
Suppose 7*n + 1982 = 11*n + 2*k, -k - 1479 = -3*n. Let v be n/418 + (-4)/22. Is 1 at most v?
True
Let d = -108 - -1295/12. Let g = -300 + 87. Let k = g + 212. Which is bigger: k or d?
d
Suppose 141*l + 254 = 143*l. Suppose -2*r = 2*r + s + l, 0 = r + s + 28. Is r > -33?
False
Let t be 1 + 0 + 680/8. Let x = 9 + t. Is 96 bigger than x?
True
Let t = -128 - -130. Let c = t + -4. Let d be c + ((-11)/(-7) - 12/(-28)). Which is smaller: d or -1/30?
-1/30
Suppose 0 = 7*h + 125 - 34. Let f(j) = 2*j + 26. Let i(p) = -1. Let m(s) = f(s) + 2*i(s). Let u be m(h). Which is smaller: u or -6/11?
u
Let u(d) = -70*d + 67*d + 4*d**2 - 6 - 3*d**2. Let w be u(-8). Which is bigger: w or 83?
83
Let n = -475 + 491. Let h be n*3/(-6) - -13. Is h > 0?
True
Let r be (-9)/(-45) - (-21)/(-5). Let a(z) = -7*z - 10. Let u be a(r). Suppose v + 0*v = -u. Is -16 greater than or equal to v?
True
Let b = -35 - 7. Let m(z) = -z**3 - z**2 + 6*z + 18. Let l be m(-10). Let o = l + -1801/2. Which is greater: b or o?
b
Let j(i) = -4*i**2 - 14*i + 9. Let d be j(-4). Let y be (-5*d/(-45))/(5/570). Which is smaller: 12 or y?
12
Let a = -43.82 + 42.82. Which is smaller: a or 7541?
a
Suppose 34 = 4*g + 2. Suppose g*t + 14 = 6. Is t at most -2/3?
True
Let x = -4.4 - -5. Let c = 1 - x. Let p = 733 - 735. Is p less than or equal to c?
True
Let k be (3/(-78)*1)/(1513/526). Let d = -5/1157 - k. Which is greater: 0 or d?
d
Let j(u) = -239*u - 1300. Let a be j(-4). Let r = -60 - 284. Are a and r unequal?
False
Let v be 2 + (-1)/(-3)*-5. Let l be 842 - 830 - (1570/24)/5. Which is bigger: l or v?
v
Suppose 0 = 7*x - 3*x - 5*v + 469, -3*x + 3*v - 348 = 0. Let j = x + 111. Which is bigger: j or -6?
j
Suppose 16*h + 48 + 45 = -77*h. Which is greater: h or 3/127?
3/127
Suppose -3*h - 2*t = -30 + 2, -t + 34 = 4*h. Let q(z) = -7*z + 7 - 6 + h. Let w be q(12). Are -75 and w equal?
True
Let i = 246 - 911. Let r = i + 632. Is r < -33?
False
Let w(a) be the third derivative of a**6/120 - 19*a**5/60 + a**4/8 - 19*a**3/2 - 18*a**2 + 2*a. Let u be w(19). Which is smaller: -0.69 or u?
-0.69
Let r = -4/4359 + 21851/61026. Suppose n = 2*n - 5. Let c = n + -6. Are c and r non-equal?
True
Suppose 0 = d + 5*h + 113, 0 = -2*d - 7*h + 5*h - 194. Let o(s) = -s**3 - 21*s**2 - 14*s + 26. Let z be o(-20). Is z > d?
False
Suppose 10*u + 11*u + 4*u - 50 = 0. Do 132/73 and u have different values?
True
Suppose 11*o + 6 = 17. Let c be 3/(((-789)/(-798) - o)/(-1)). Let w = 2928/11 - c. Is 0.1 not equal to w?
True
Suppose -5*i + k = -0*k - 12, -k = -i. Suppose 5 = 5*u + 5*b, b = 2*u - b - 18. Suppose -t + 25 = -5*w - 6*t, 23 = -u*w - i*t. Which is smaller: -26/5 or w?
-26/5
Let t = 3 + -1. Let v be t + 2/(18/8 - 2). Let c be (4 - (-88)/(-18))*v/(-8). Is c >= 2?
False
Let p be (-1)/6 + (-10)/(-51). Let h(w) be the second derivative of -w**4/12 - 5*w**3/6 - 3*w**2 - 34*w. Let c be h(-3). Are p and c equal?
False
Suppose 2*i = -3*h + 4880, 3*h - 5*i - 2348 = 2525. Is h > 1626?
False
Suppose -25*x = 8*q - 23*x + 16742, -28 = 4*x. Are q and -2090 non-equal?
True
Suppose 0*x - 2*o - 252 = -5*x, -x - o = -56. Let t = -57 + x. Let g be (-4)/(-10) - 44/10. Is g at most as big as t?
False
Let d = -5140 - -5139. Which is greater: d or -122.3?
d
Let u(h) = 167*h - 711. Let c be u(6). Which is bigger: c or 297?
297
Let b = 40 + 1000. Which is greater: b or 1?
b
Let s = 3.5 + -3. Let p = 98392 + -98373. Do p and s have the same value?
False
Let z be (80/30)/(0 - (-16)/36). Suppose -z*w = -w + 2*o - 635, 20 = -4*o. Which is smaller: 131 or w?
w
Let o = 88 + -1513. Which is smaller: o or -1422?
o
Let w be 59 + -5 + 2 + -12. Which is greater: 586/13 or w?
586/13
Suppose -3 = c, -53*c = s - 49*c + 12. Let d be (-16)/(-222)*24/544. Which is smaller: d or s?
s
Let u = 0.4602 + -0.7212. Which is smaller: 8/5 or u?
u
Let d(s) = -79*s - 64. Let q be d(-2). Let p be 13/(-52)*q + (-1)/2. Is p less than or equal to -76/3?
False
Suppose 223 = -8*m + 215. Is 11/266 at least m?
True
Let f be 300/(-35) - -7 - (-4)/7. Let q