+ 9/(-3))/1. Let h be l/((a - 6) + 0). Which is smaller: h or -0.1?
-0.1
Let m = -46902 + 235333/5. Which is smaller: m or 165?
m
Suppose b = z - 29, -b - 81*z - 49 = -86*z. Which is greater: -231/10 or b?
-231/10
Let z = 519 - 504. Suppose z*r + 4*r = -r. Is r smaller than 1/119?
True
Let q = 3333/14 + 30333/70. Is q equal to 671?
False
Let r = 78 + -77.26. Let b = -32.74 + r. Let m = -32 - b. Which is smaller: m or -4/3?
-4/3
Let v(m) = -5*m + 12. Let n = 44 - 34. Let o be ((-2)/(-16))/(n/(-20))*-8. Let x be v(o). Is x smaller than 16/15?
False
Let v = 0.946 - 40.046. Let m = -41 - v. Let u = -129/28 - -34/7. Which is bigger: m or u?
u
Let a(m) = -3*m**2 - 14*m + 290. Let x be a(8). Suppose 3*i + 0*i + 1 = 2*g, 20 = -5*g + 3*i. Do g and x have the same value?
False
Let q be (-36 - (-6342)/168)*(4 - (-22 + -2)). Let r(z) = z**2 - 3*z - 5. Let h = -18 - -12. Let a be r(h). Is q at most a?
True
Let h(a) = a**3 + 25*a**2 - 57*a - 81. Let t be h(-27). Suppose t = -31*k - 1543 - 1650. Which is smaller: -102 or k?
k
Suppose 0 = 17*u - 531 - 5028. Let k = 980/3 - u. Which is greater: -23/4 or k?
k
Let n = 170 + -141. Suppose s - n = -30. Which is greater: s or -2/9?
-2/9
Let h = -16 + -107. Let d(o) = -o**2 + 11*o - 21. Let w be d(17). Is h > w?
False
Let l = 2561 - 2607. Are 32 and l nonequal?
True
Suppose 0 = -32*c - 16380 + 54172. Which is smaller: 5906/5 or c?
c
Let z = 2521/22 - 1057/11. Which is bigger: z or -1/3?
z
Suppose 86*y - 3890 = 1786. Which is smaller: y or 72?
y
Let a be (1 - -1 - 7) + 17 + 6. Suppose 0 = 2*d - 5*m - 57 + a, -d + 3*m = -22. Which is smaller: d or 20?
d
Let p = -72 - -32. Let u = -40.08 - p. Let k = u + 4.08. Is -0.2 at least as big as k?
False
Suppose -2*m = 2*c - 26, 2*m = 4*c - 47 + 13. Let j be 48/(-40) - (-171)/c. Is j greater than or equal to 15?
True
Let y(k) = -2*k**3 + 7*k**2 + 29*k + 5. Let q be y(6). Let m = -32 - 101. Let s be (35/m)/((-1)/1). Is q at most s?
True
Let n be 3050/1098 + (-2)/(-9). Suppose -7*u + 10*u - 2*h = 326, -n*u + 323 = h. Are 0 and u non-equal?
True
Let c be (-4 - (-15)/6)*(-4)/(-3). Let j(k) = -k**3 - k - 9. Let x be j(c). Is -1/189 less than or equal to x?
True
Let y be ((-136)/10)/(228/(-30) - -8). Suppose 3*l + 2*l - 160 = 0. Let f = l + y. Which is bigger: 6 or f?
6
Let v = -410.715 - -402.4. Is -2/3 less than or equal to v?
False
Let f = -2362 + 2605. Which is smaller: -9 or f?
-9
Let n = -8 - -39. Let w(c) = 15*c + 21. Let o(u) = 7*u + 10. Let s(h) = 13*o(h) - 6*w(h). Let v be s(25). Which is smaller: n or v?
v
Let a be ((55 - -111)*2/(-28))/(30/21). Is 1/5 < a?
False
Let h be ((4 - 1) + -2)*(1 - (2 + -1)). Let s = -20 + 14. Let c be (-17)/(-15) + 2/s. Which is bigger: h or c?
c
Let d = 53 - 32. Suppose 3*o + 9 = d. Suppose 52*c = 56*c + o. Which is bigger: -8/9 or c?
-8/9
Let q be ((-2)/(-6))/((-1)/(-39)). Let r(l) = l**3 + 13*l**2 + 17*l + 54. Let n be r(-12). Let c be 8*(-3)/n + 55/5. Are c and q unequal?
True
Let r(t) = 5*t**2 - 66*t - 23. Let i be r(6). Which is smaller: -241 or i?
-241
Let j = 1050 + -7362/7. Let q = -155 - -174. Suppose 1 - q = 6*t. Which is smaller: t or j?
t
Let w(k) = -k - 3. Let i be w(-3). Let v(r) = -r**3 - 6*r**2 - 3*r + 10. Let h = -114 + 109. Let f be v(h). Is f at least i?
True
Let g(n) = n**3 - 11*n**2 + 4*n + 15. Let k be g(9). Let q = 99 + k. Is 0.05 greater than or equal to q?
True
Let j(s) = -2*s + 34. Let p be j(17). Suppose 0 = -p*k + k + 1. Is -20/31 less than k?
False
Let m(o) = o**3 + 3*o**2 - 4*o + 9. Let v be m(-4). Is v at least as big as 19?
False
Suppose -86 = 7*s + 5. Let g = s - -22. Let u be ((-15)/(-24) - 1)*2/g. Is 0 greater than or equal to u?
True
Suppose 0 = -l - 2*h - 0 + 16, 84 = 4*l + 3*h. Let o be -6*1 - 0 - (l - 1). Which is greater: o or -26?
-26
Let w = 2.26 - 2.398. Let x = -0.138 - w. Is x > -190?
True
Let f(l) = 577*l - 3463. Let j be f(6). Which is bigger: j or 2/14223?
2/14223
Let h(d) = d**3 - 2*d + 4. Let z be h(-2). Suppose z*i - 19 = -5*t - 2*i, 0 = -5*i - 15. Are t and 22 non-equal?
True
Let a be 9 + (-20)/15*3. Suppose 4*q + 118 + 683 = -a*k, -5*q = -4*k + 1032. Which is bigger: q or -405/2?
-405/2
Let g(j) = 16*j - 16. Let s be g(-6). Let n be 1*(-4 + 1) + s/(-48). Is n smaller than 0.6?
True
Let u = 18.984 + -19. Let q = 0.1139 + -0.8139. Which is smaller: q or u?
q
Let w = 209 + -185. Let m = 58 - w. Which is smaller: 31 or m?
31
Let a = -12 - -11.3. Let s = -1.74432 - -0.04432. Let c = a - s. Is -73 less than or equal to c?
True
Let o(r) = -r**2 + 18*r - 33. Let z be o(11). Suppose 0 = z*j - 45*j + 110. Which is bigger: j or 111?
111
Let y = 451 - 489.8. Let i = -4.2 + y. Let s = 28 + i. Is 2 < s?
False
Suppose 20 = 4*c, -220 = 2*j + 3*c - 793. Does 276 = j?
False
Let a be (-2)/20 - 326997/(-270). Which is smaller: a or 1212?
a
Let f be (3 + -1)/(-2 + -2 - -5). Suppose 0 = -2*p - 5*n - 3 - 4, -4*p - f*n = 6. Are -6 and p nonequal?
True
Suppose 32*z - 44 = -19*z + 7*z. Let g be -3 + ((-53752)/8956)/(-2). Which is bigger: g or z?
z
Let s = 961 + -1600. Let r = s + 28115/44. Suppose -8*a + 6*a = 0. Which is smaller: a or r?
r
Suppose 4*m - n = 577, 4*m - n - 565 = 4*n. Suppose 2*u + 3*u - m = 0. Which is smaller: 30 or u?
u
Let u = 9 - -11. Let l be 9/2*((-42)/(-18) - 7). Let q = u + l. Which is bigger: 1/27 or q?
1/27
Let p(f) = -141*f + 286. Let b be p(-6). Is 1131 greater than b?
False
Let m = -26025 - -26090. Are m and 78 unequal?
True
Let s(u) = -u - 37. Let p(l) = 68*l + 3145. Let t(z) = p(z) + 85*s(z). Let j(w) = -w**3 - w**2 + 1. Let h be j(1). Let x be t(h). Which is smaller: x or 16?
16
Let l = -276235/1639 + 1854/11. Is l >= 0?
True
Let a = -3/190 - 8033/20710. Are -1 and a equal?
False
Let q be (-1)/(-2) + 126/(-4) - 3. Let l be (-12)/36*(q - -1). Suppose -5*s - l = -76. Are 12 and s equal?
False
Let y(k) = -k**3 + 10*k**2 + 66*k - 29. Let j be y(14). Which is bigger: j or 113?
113
Suppose -q - 240 = -5*b, -3*b = -1580*q + 1583*q + 702. Is -1643/7 >= q?
True
Suppose 2*g = 3 + 1. Let t be 82/6 - g/(-6). Suppose 4*n + 1 = 5*h, 5*h - n + 0*n - 4 = 0. Are h and t equal?
False
Suppose -471 = 2*m - t, 2*m - 5*t + 234 + 209 = 0. Which is greater: m or -28?
-28
Let k = -509 - -505. Let v be (12/(-110))/(k/(-45)*9). Suppose 5*y - 2*z + 6 = 3*y, z = 4*y + 3. Which is greater: v or y?
y
Let x = 61448/2481005 + -38/1355. Let w = -54396/162959 + x. Is w greater than or equal to -1?
True
Let n = -923 + 958. Which is bigger: -6 or n?
n
Let y = -8355 + 3095. Is -2/3 at least as big as y?
True
Suppose 3703 + 19609 = 62*n. Is 3 at least n?
False
Let c be 723/(27/(-24)*16/12). Are -489 and c non-equal?
True
Suppose 2*h + 0 + 4 = -4*n, 4*h - 3*n - 14 = 0. Suppose 3*y = 5*j - 43, y - 5*j = -19 - 2. Let w be (y - -3 - -5) + h. Which is smaller: w or -7?
-7
Let x(f) = -f**3 + f**2 + 5*f - 3. Let m be x(2). Let c be 1 - m - 7/1. Let g = -44 - -35. Is c greater than g?
False
Let o be 2/(-3) + 1844/66. Let w(a) = -672*a + 7419. Let s be w(11). Which is smaller: o or s?
s
Let m(l) = -l**2 + 21*l - 94. Let y be m(9). Let s be (18 - y) + (-1)/(-165)*-656. Which is bigger: 1 or s?
1
Let u = -5.5399 + -0.0921. Let r = 0.368 - u. Which is smaller: r or 2/39?
2/39
Let t(z) be the first derivative of -z**4/4 + 14*z**3/3 - 3*z**2/2 + 39*z - 78. Let m be t(14). Let j be 2 - 10/(-14)*-6. Which is greater: m or j?
j
Let p(c) = c**3 - 4*c**2 - 11*c - 11. Let i be p(6). Let a be (-1 + 1)*i/20. Let h be (a - (18 + -3))*1. Is -16 greater than or equal to h?
False
Let r = 17 - 0. Let h = r + -16.9. Let l = -90 + 811/9. Is h at most l?
True
Let p = 4563 - 188. Which is smaller: p or 1?
1
Let x be (-120)/(2*(1 - 2)). Let f be ((-66)/77)/((x/(-56))/5). Let h be ((-20)/(-16))/((-2)/(-8)). Which is greater: h or f?
h
Let r be -3*(-4)/(-12)*(-690 - 0). Let c be r/136 - 45/(-54)*-6. Which is smaller: c or 0?
0
Suppose 3 + 1 = -n. Let b(t) = -t**3 - 7*t**2 - 2*t - 10. Let z be b(-7). Suppose -16 + 4 = r - 2*v, -12 = z*r + 4*v. Which is smaller: r or n?
r
Let z(d) = 8 - d**3 + 16*d + 19 - 9 + 7*d**2. Let m be z(9). Is m at most as big as 0?
True
Let c = 32.33 - 0.73. Let i = -80.6 + c. Which is smaller: i or -0.2?
i
Let p(d) = 2*d**2 - 44*d - 211. Let v be p(-4). Is v <= -39/17?
True
Suppose -5*b + 2 = -2*c - 3, -3*b = 3*c - 3. Let q = 1