(y) + 5*h(y). Let c be k(4). Suppose l - c = -4. Which is smaller: l or 0?
l
Suppose 3*p - 86 = -2*l + 163, p = 2*l + 83. Let j = 84 - p. Which is smaller: 2/21 or j?
2/21
Let p be (-226)/76 - 565/226. Let f = -1317/133 - p. Which is bigger: f or -3?
-3
Suppose 0 = 14*y - 7300 + 3937 - 20297. Which is bigger: y or 1691?
1691
Let g = 16530 + -12096. Is 0 smaller than g?
True
Suppose -2*z - 5*a - 35 = -24, -17 = 2*z - a. Which is smaller: -11 or z?
-11
Suppose 0 = -4314*k + 4324*k - 1090. Which is bigger: k or -2?
k
Let f be -1 - 316/16 - 47/188. Which is smaller: -868/41 or f?
-868/41
Let l = 0.04 - -1.61. Let a = 1.698 - l. Which is greater: 2 or a?
2
Let s be 10118/(-844) - 324/(-27). Which is smaller: s or 1?
s
Let x = 426 - 390. Suppose 0 = 3*h - 6, -5*a - 38*h - 1506 = -x*h. Which is smaller: -301 or a?
a
Let n be 4290/99*(-81)/45. Are -61 and n equal?
False
Let x be 6890/325*((-8)/6 + 3). Suppose -2*b + 2 = -66. Is x != b?
True
Let j be -4*(-26)/(-6)*(-6)/34. Let l(u) = u**3 + 16*u**2 - 20*u - 47. Let z be l(-17). Which is greater: j or z?
z
Let v be -123 - -34*(-9)/(-18). Which is smaller: -641/6 or v?
-641/6
Let b = -852 + 852. Let d be -3 + 170/72 - 0. Let v = 5/12 + d. Is b at least v?
True
Let j(y) = 329*y - 1414. Let q be j(8). Is q equal to 1217?
False
Let r(n) = 36*n + 36. Let i be r(-1). Suppose 9*y = -i*y + 2781. Are y and 309 non-equal?
False
Let x be 2*(10/20 + 5). Let y = -134471/4670 - 5/934. Let v = y - -29. Which is bigger: v or x?
x
Let m be 1630/30 - 1/3. Suppose -5*g + m + 246 = 0. Let f be (-10)/6 + 184/g. Is f at most as big as 1?
False
Suppose -4*v - 3*o = 334, 76*o = -4*v + 75*o - 346. Which is smaller: v or -113?
-113
Suppose 7*s - 6*s = -26. Let g be (44/s)/(2/(-341)). Let a = -289 + g. Are a and -0.1 equal?
False
Let h(i) = -138*i + 805. Let g be h(5). Is g smaller than -7?
False
Suppose -4898 = -13*h - 4*g + g, -2*g + 1506 = 4*h. Is 384 not equal to h?
True
Suppose 7*p + 3*p + 10 = 0. Let i = p + -12. Is i less than -144/11?
False
Let v(u) = -21*u**2 + 29*u - 3. Let m be v(2). Let t be -2*(3 - 100/(-8)). Is m < t?
False
Suppose 0 = 5*h + 3*g - 60, h = -6*g + 5*g + 14. Is h bigger than 222/25?
True
Let a(o) = 2*o - 37. Let l be (240/(-36))/(6/(-9)). Let m be a(l). Which is smaller: m or -31/2?
m
Let v be (-2)/(-1) + (5148/165)/(-13). Let l = -5.6 + 6. Let t = l + -1. Which is smaller: v or t?
t
Let f be (6 + -1)*42/(-105). Let t be (-7 - (1 - 6))/f. Which is smaller: 1/159 or t?
1/159
Let d = 3649/8 + -10963/24. Is d bigger than -11971?
True
Let t be ((-78)/(-9))/(3 - (-14)/(-6)). Suppose -30*o + t*o - 17 = 0. Is -55 smaller than o?
True
Let y = -0.3 - -4.3. Suppose 36 = 5*l - 3*b, 3*l - 5*b - 5 = -9. Are y and l non-equal?
True
Suppose -337 = 11*j - 2581. Suppose 11*i = 5*i - j. Is -34 >= i?
True
Let g = 32 - 121/4. Let j(q) be the third derivative of 7*q**4/24 - 20*q**3/3 - 34*q**2. Let i be j(6). Do i and g have the same value?
False
Let j = -10660.5383 - 1.4617. Which is smaller: 1 or j?
j
Suppose -11*t = 87*t - 98. Do t and 1/3770 have different values?
True
Let s be 5/(-10)*3 + (-14)/(-4). Suppose -3*p = n - 9, 0 - 16 = -4*n - s*p. Which is smaller: n or 8/7?
8/7
Let i be (-4 + 2)/(8/(-30)) + -7. Let x = 99 + -98.5. Is i bigger than x?
False
Suppose 0 = 2*q + 8*q + 10960. Let k be 36/(-42) + 1 + q/28. Which is bigger: -31 or k?
-31
Let x be ((-1146)/30 - 10)*-5. Are 3 and x nonequal?
True
Suppose -4*v - f = -455, 2*v = f + 207 + 22. Let c = -113 + v. Let r be (-3 - -7)*(-4)/(-56). Which is greater: c or r?
c
Suppose -8*i + 3530 + 1854 = 0. Suppose i + 488 = 3*n. Is 386 greater than or equal to n?
False
Suppose 0 = -w - 58 + 6. Let n be (-240)/10*(-2)/w. Suppose 14 = -251*p + 244*p. Which is greater: n or p?
n
Suppose -286*y + 377*y = 0. Which is smaller: 1/9795 or y?
y
Let k = 12581.9 - 12586. Is k greater than -0.157?
False
Let i(g) be the third derivative of g**4/24 + 4*g**3/3 - g**2 + 6. Let r be i(1). Which is smaller: 0.02 or r?
0.02
Let q be (2/1)/(2/(-5)). Let w = 315 - 310. Let n be (-40)/(-16) + ((-45)/6)/w. Are n and q equal?
False
Let i = -150 - -176. Suppose 324 = -32*n + i*n. Which is smaller: n or -55?
-55
Suppose 0 = -46*b - 13056 - 13348. Let w = b - -574. Is 5/12 > w?
True
Suppose -5*w + 201 + 369 = 0. Suppose 0 = -s - w + 349. Which is smaller: 234 or s?
234
Suppose -13*a = -435 - 618. Let t be 30/12 + 2174/28. Is t smaller than a?
True
Suppose 9*b - 1537 - 5537 = 0. Let h = b - 711. Is 374/5 >= h?
False
Let r = -7846 + 384458/49. Which is bigger: 4/5 or r?
4/5
Let d be (-3)/2*-4 - (-6566)/3. Let r = -124574/57 + d. Which is greater: 9 or r?
r
Let c = -754 - -447. Let i = 313 + c. Is i <= -1/2?
False
Let b = -297 + 295. Let y be 51/b*((5 - 0) + -7). Is y >= 53?
False
Let i(z) = -119*z - 506. Let g be i(-15). Are g and 1280 non-equal?
True
Suppose -2*m = m - 15. Suppose -9 = m*t + 3*c - 2*c, -3*t + 3*c = -9. Let k be (-1)/(-26)*(11 - 15)/1. Does t = k?
False
Let k be -7 + (12 - 6) + -4. Let g be 30*2/((-22)/(-6) + k). Which is greater: g or -48?
g
Suppose 2*a = 3*a - 1. Suppose 3*u - h = h + 4, -5*h - 15 = -5*u. Let y be ((-6)/(-3))/(u - 7). Which is smaller: y or a?
y
Let a = -16 + 20. Suppose 3*t + 89 = -4*n, a*t = 5*n + t + 145. Suppose 253 = -19*d - 11*d - 467. Is n at most as big as d?
True
Let z be 1/(1 + -2)*(12 + -12). Let w be z/(-2) + 4809/(-9) - -1. Let b = 539 + w. Is b at least 0.1?
True
Let f = -4173 - -4174. Is f less than or equal to -1/2226?
False
Suppose h - 409 = 4*l, -5*l + h = -2*l + 306. Let k(d) = -45*d + 513. Let t be k(0). Suppose -t = 5*r - y, -503 + 188 = 3*r + 3*y. Is l greater than r?
False
Let q be (-6 - (-58)/10) + 3 + (-4172)/(-35). Suppose 3*r = 4*k + 358, 58 = r - 5*k - 54. Is q <= r?
True
Let b = -176.3 - -175. Let q(t) = t**3 + 11*t**2 - t - 12. Let z be q(-11). Is z < b?
False
Let n = -5388064/31 - -173828. Which is smaller: 2/9 or n?
2/9
Suppose 4*w - 247 = b, -2*b - 60 = -2*w + 446. Is -231 at most b?
False
Let s(q) = -q**2 - 10*q - 18. Let r be (11 - -3)*(-16)/56. Let o be s(r). Is o at most as big as 21?
True
Let u be (-33 - -34)*(6 - 6). Is u > -4309?
True
Let v(g) be the second derivative of -g**5/20 - 7*g**4/12 - 52*g. Suppose 7 = -3*h + 2*h. Let l be v(h). Does 10/9 = l?
False
Let k = -261 + 247. Suppose -14*t = -17*t + 36. Let b = t + -25. Which is smaller: b or k?
k
Let g = 17127/266 - 1222/19. Let d = -2 + 2. Suppose -l + 5*k - 16 = d, -4*l - 6*k + 2*k = -8. Is g greater than or equal to l?
True
Let y = 13.894 - 13.9. Let j = y + 0.006. Is -1 at most as big as j?
True
Suppose -3*r = 457 - 442, -3*q + 5*r = 6866. Is -2299 less than q?
True
Let y = 2.541 + -2.73. Let a = -0.071 + y. Is 0.3 greater than a?
True
Let w = -13438 - -12403. Is -1035 smaller than w?
False
Let z(q) = 22 + 12*q + q + 2*q + 3*q. Let s be z(0). Is s >= 23?
False
Let t = -35781/7 + 5111. Which is bigger: 0.8 or t?
0.8
Let n = 10044 + -10043.99. Which is smaller: 0 or n?
0
Let m(a) = 2036*a**2 + 94*a + 14. Let b be m(2). Is 2 less than b?
True
Let x = 0.16947 + 6.83053. Is x >= -0.365?
True
Suppose 2*w + 11*w - 169 = 0. Let p = 2 + 14. Let n = p - w. Which is smaller: n or 2?
2
Let p = -18 - -24. Suppose -2 - p = -4*t. Are t and 42/23 unequal?
True
Let c be (-145)/(-24) - ((-147)/24 - -6). Let r(p) = -3*p**3 - 5*p**2 - p + 1. Let g be r(-2). Suppose 14 = 9*a - g*a. Which is smaller: c or a?
c
Let q = 60944/111771 - -2/10161. Which is bigger: q or -87?
q
Let v(l) be the second derivative of -l**4/12 - 7*l**3/6 - 4*l**2 - 26*l. Let x be v(-5). Suppose 4*w - x*w = -24. Are -12 and w non-equal?
False
Let g = -227 + 237. Let p be (-15)/g*(-9)/2727. Is 1 >= p?
True
Let d(p) = -5*p**2 - 87*p + 9. Let i be d(-12). Let j = i + -328. Which is smaller: 30/7 or j?
30/7
Suppose 5*n - 33 = x, -5*x = -2*n + 18 + 101. Which is greater: x or -19?
-19
Let f(m) = 9*m - 59. Let y be f(7). Let x = y - 1. Let d be 4/3*x*(-2)/4. Is d bigger than -3/5?
False
Let f(o) = -o**3 + 4*o**2 + 4*o - 11. Let y be f(4). Suppose 17 = -5*a - y*t - 8, -5*a = -t + 37. Let d be 12/(-63) - 1/a. Which is smaller: -1 or d?
-1
Let c = 21 - 28. Let i = 552/19 - 4700/133. Is c at least i?
False
Let r be (-992)/(-2490) + 60/(-150). Let s = 4839/1660 - r. Which is bigger: 3 or s?
3
Let q be 3 + ((-1332)/(-30))/((-18