t d(r) = -r**2 + 28*r - 148. Let a be d(21). Which is smaller: 5/19 or a?
a
Let j(t) = 21*t - 2. Let d be j(4). Suppose d + 61 = -11*m. Is m greater than -10?
False
Let x(g) = -g**3 - 12*g**2 - 19*g + 14. Let d be x(-10). Let a be (d/58)/(-1 - 0). Let m be (1 - 2) + 2 + -1. Is m at least as big as a?
True
Suppose 0 = 4*t - 185 - 63. Let d = 67 - t. Is d at least 6?
False
Let u be 1/7 + 13585/308. Is u greater than or equal to 45?
False
Let f(u) = -u**3 - 14*u**2 + u - 123. Let k be f(-15). Is k at most as big as 88?
True
Let v = -93894 - -10140469/108. Let r = 14/27 + v. Is r less than -50?
False
Let t = -32/75 - 6/25. Let b(y) = -y**2 - 19*y - 74. Let g be b(-14). Is g <= t?
True
Let w(p) = -3*p**2 + 22*p + 18. Let k be w(8). Let h = 6 + 0. Suppose 0 = -2*s + h - 0. Which is smaller: k or s?
k
Suppose 0 = -5*i + 5*m + 15, -i - 6 = 2*i + 2*m. Let h be (-18)/((-2520)/(-637)) - (2 - 7). Is h smaller than i?
False
Suppose -2*m + 152 = 6*m. Let l be (m - 14)/(10/12). Let b be 2/(-16)*(-2)/(-1). Is l less than b?
False
Let x(y) = 1614*y - 4. Let i be x(1). Let m be (-1)/7*i/60. Which is greater: -3 or m?
-3
Let o be (4/(-2))/2 - (-3 - 7). Is -2 less than o?
True
Suppose 34 - 88 = 2*r - 5*m, -3*r - m = 47. Let z = r + 20. Suppose -3*q = 5*v - 6 + 1, -z*v + 3 = 5*q. Is 0 less than q?
False
Suppose 4*j + 16 = -2*p, 3*p + 3*j + 4 + 5 = 0. Suppose -10 = -p*i - 10. Is i < -18/19?
False
Let f = -66 + 54. Let k be 3 + f/((-2)/(-2)). Which is greater: k or -12?
k
Suppose 13 = 4*i - 191. Suppose -l + 0*l = -i. Are 52 and l non-equal?
True
Let x(s) = -29*s**2 + 2*s + 10. Let c be x(-3). Is c less than -256?
True
Let p(y) = y**3 - 10*y**2 + y + 10. Let d(m) = m**3 - m**2. Let k(z) = -2*d(z) + p(z). Let x be k(-8). Let a be -1*x + 168/82. Is a smaller than -1?
False
Suppose -3*j + j - 8*j = 0. Let r be (-120)/175 - 4/(-14). Which is smaller: r or j?
r
Suppose 4 = a + 2. Suppose a*s = 5*s - 3. Let f be (-6)/33*((-1)/(-2) - 1). Which is bigger: s or f?
s
Let d = 342 + -154. Is 190 at least d?
True
Suppose 0 = -6*q + 3*q - 30. Let f be (-6)/(-10)*(-11)/(165/q). Is -5 less than f?
True
Suppose -50 - 17 = -4*s + k, 3*k + 48 = 3*s. Is s at most -31?
False
Let m = -0.69 - -0.45. Let u = 1.24 + m. Is -2/3 smaller than u?
True
Let j = -1108 + 819. Does j = 1/2?
False
Let o = 3 + -4. Let j = 1478 + -1467. Which is bigger: j or o?
j
Let y(u) = 3*u + 59. Let l be y(-18). Suppose 2*r - 12 = -r, l*r - 68 = -4*q. Which is smaller: q or 11?
11
Let g = -6/77 + 232/1001. Let a = 32 - 32. Which is greater: a or g?
g
Let j be 1 + 12/((-2)/(-1)). Let f = j + -17. Let u(h) = 9*h**2 + 284*h + 145. Let x be u(-31). Is f at least x?
True
Let h be (-2)/8 - 2/(-2). Let i = -14 + 27. Let x = -12 + i. Which is bigger: h or x?
x
Suppose 32*k = 1612 - 108. Is 4 >= k?
False
Suppose 0 = 2*d - 0. Let s be -1*(3 - ((1 - -1) + d)). Which is smaller: -1/23 or s?
s
Let z = -793 - -793.525. Which is smaller: z or -1?
-1
Let o(t) = -3*t**2 + t**2 - 71*t - 5 + 71*t. Let h be o(2). Which is smaller: h or -12?
h
Let s = 3 - 1. Let p = s + -1. Let z = -13.579 - -16.579. Is p greater than z?
False
Let r be 7*(-8)/(-56)*(-7)/(-19). Which is smaller: r or 1?
r
Let m(r) = 5*r + 203. Let n be m(-29). Which is bigger: n or 45?
n
Let n(g) = -g**3 - 6*g**2 - 6*g - 7. Let j be n(-5). Let v be 4/11*1/j. Suppose 0 = -4*z - 4*w, -8 = -4*z + 3*w + w. Is z >= v?
True
Suppose 0 = -4*p - 6*p + 70. Suppose -5*w + 16 = 4*n, -4*n = -p*n + 12. Is w <= -21/16?
False
Let p = 1126 - 1145. Which is smaller: -17 or p?
p
Let b = 29 - 25. Suppose -18*a + 19*a + b = 0. Let j be (7/21)/((-1)/a). Which is bigger: j or -1/4?
j
Let a be (152/4142)/(4/(0 - -2)). Which is bigger: a or 3?
3
Suppose -5*r + 184 = 3*m - 171, 0 = r - m - 71. Suppose 2*h = 2*w + 36, w + 17 = -3*h + r. Is h greater than 19?
False
Let t(y) = -y**2 - y + 4. Let a be (-1)/(1/2) - 3. Let u(d) = 3*d**2 + 3*d - 7. Let f(r) = a*t(r) - 2*u(r). Let l be f(0). Do l and -8 have different values?
True
Let n = -227 - -232. Which is smaller: n or 31/8?
31/8
Let y be (78 + 1)*(-7 - -6). Let x = y + 78. Which is bigger: x or 3/32?
3/32
Let g be -34*(20/(20/(-4)) + 5). Which is smaller: g or -30?
g
Let k be (4/(12/57))/(-1). Let x = 13 + k. Let j be ((-11)/(-2))/((-3)/x). Which is smaller: j or 10?
10
Let p = -211 - -210. Is -117 less than p?
True
Let v be (-108)/(-243)*(-1017)/(-2). Is v smaller than -1?
False
Suppose 0 = -3*y + 2*u + 35, 43 + 6 = 4*y - 5*u. Let f(b) = b**2 - 13*b + 18. Let g be f(y). Is g greater than -3?
False
Suppose 3*u = 3*g - 8 + 41, -2*g = 10. Suppose 2*f + 76 = u*f. Is 19 <= f?
True
Suppose 80 = -115*q + 92 + 103. Let b = 29 - 117/4. Is q bigger than b?
True
Let a be (11 + 61)/(-9) - -10. Is a < -257?
False
Let b(n) = -3 + 3 - 3*n. Let s = 872 - 871. Let j be b(s). Which is smaller: -1 or j?
j
Suppose 4*w + 2*i - i - 12 = 0, 5*i = 5*w + 10. Let u be 15 + -18 + 3 + (3 - 4). Let n be u/w + (0 - -1). Which is smaller: -1/2 or n?
-1/2
Suppose -11*n + 19*n + 24 = 0. Let p be (n/2*8/6)/(-71). Let q be (-1 - -2) + 0/2. Which is bigger: q or p?
q
Let o be (-3)/(-12) + (-2)/(-4). Are 2 and o nonequal?
True
Let p be 6/(-2) + 56 - -2. Let r = p + 22. Are r and 77 non-equal?
False
Suppose 7*n = 4*n - 186. Let c = -48 - n. Is 13 >= c?
False
Let y be (-12)/(-2) + (-9672)/1599. Is y equal to 1?
False
Let r(l) = -12*l + 7*l**2 - 15*l**2 + 7*l**2 - 2. Let c be r(-11). Let j be (c/(-6))/(1/10). Is -14 greater than or equal to j?
True
Let t be 0 - (-2)/4 - (-122)/(-244). Which is smaller: 4/33 or t?
t
Suppose 90 = p + 5*p. Is -7 <= p?
True
Let s = -17 + 9. Let u be ((-2)/(-1))/(s/3). Is -1 smaller than u?
True
Suppose 124 - 121 = 3*t. Let a = -19 + 286/15. Is t less than a?
False
Suppose 2*v = 2 - 4. Let h = v + 5. Suppose -h*w - 24 = 2*p, 5*p = -2*w - 47 + 3. Is -8 equal to p?
True
Let w be (10/(-4))/((-2)/(-16)). Let r be 86/5 - -2*2/w. Which is smaller: -1 or r?
-1
Let z(r) = -3*r - 5. Let v be z(-3). Suppose 5*j + 3*x = -2, 2*x + 2*x + 16 = 0. Is v > j?
True
Let w(p) = -3*p - 10. Let o be w(-5). Suppose 4*r + 13 = o. Let z be ((-1)/(-6))/((-2)/15). Which is smaller: z or r?
r
Suppose -5*y + 40 = 115. Let v be 51/342 - (-1 - y/18). Does v = 0?
False
Let h = 20494196440031/5775 + -3548778566. Let d = h - 2/1925. Let s = 38 - d. Which is smaller: -2 or s?
-2
Let r = -255.983 - -256. Which is bigger: 2/11 or r?
2/11
Suppose 3 = -2*t + 13. Let q(m) = -3*m**2 - 9*m + 9. Let u(h) = h**2 + 5*h - 5. Let k(i) = -2*q(i) - 5*u(i). Let o be k(t). Which is greater: -4 or o?
o
Let c = -41 - -26. Let p(l) = l**2 - l + 1. Let y be p(-2). Let o = y + c. Which is greater: o or -7?
-7
Let c be (12/(-2))/2 - 0. Let f be 6/10 - (-30)/75. Suppose x - f = -3. Is x < c?
False
Let i(o) be the third derivative of 19*o**4/24 - o**3/3 + 7*o**2. Let z be i(-4). Let c be 2/11 + z/66. Which is bigger: c or -4/23?
-4/23
Let o(j) = -5*j - 10. Let l(s) = s - 1. Let d(b) = -4*l(b) - o(b). Let u be d(-11). Let h(i) = -i. Let c be h(-1). Is u != c?
True
Let d = -1.13 + -63.87. Let b = d + 64.9. Let q = 2 + -2.05. Which is smaller: q or b?
b
Let j(q) = q**3 - 6*q**2 - 9*q + 23. Let y be j(2). Which is smaller: y or -81/8?
y
Let d(g) = g**3 - 7*g**2 + g - 4. Let i(m) = 2*m**3 - 13*m**2 + 2*m - 7. Let o(w) = -7*d(w) + 4*i(w). Let s be o(2). Which is bigger: 4 or s?
4
Let s(k) = 11*k**2 - 2*k + 3. Let d be s(2). Suppose -5*i = d - 3. Let t be 3/(-30)*i/3. Is t < 0?
False
Let z = 9.4 - 9.326. Let p = 28.926 + z. Which is smaller: p or 0?
0
Let o = -0.2 + 0.3. Suppose 63 = 2*f + 3*y, -f - y + 15 = -15. Let h = f - 27. Is h <= o?
True
Suppose 2*n - 5*k = 20, -n + 3*k + 11 = -0*k. Let d be ((-10)/4)/(55/(-132)). Is d < n?
False
Suppose -2*j + 9706868 = 2*j. Let i = j + -80092321/33. Let u = -323 - i. Which is greater: 0 or u?
u
Let c = -17.5 + 0.5. Let d = 17.3 + c. Let b = -11 - -13. Which is smaller: b or d?
d
Let f(s) = -4*s. Let t be f(-1). Let r be (-200)/160*t/26. Is r less than 1?
True
Let f = 959 - 958. Which is greater: 718 or f?
718
Let y(s) be the third derivative of s**6/40 + s**5/20 - s**4/12 + 7*s**3/6 - 14*s**2. Let q be y(-3). Which is bigger: -40 or q?
-40
Let x = -10/574359 + -5694194536/33887181. Let l = x - -168. Let v = l - -404/1475. Which is smaller: v or 0?
0
Suppose -178 = -10*y + 1