uppose -3*a - 5*y = -6, -a + 5*y = a - 29. Let c(f) = -f**2 + 10*f + 10. Let k be c(a). Is -1 bigger than k?
False
Suppose 33*g + 1909 = -1655. Is -108 < g?
False
Let n = -52/113 - 32119/678. Which is smaller: -47 or n?
n
Let s = 1235 + -1212. Is s greater than 16?
True
Let b = 380 - 392. Is b <= -61/5?
False
Let b = 7 + 14. Suppose -b*a - 26 = -19*a. Is a greater than 2?
False
Let r = -196 - -296. Which is smaller: r or 0.3?
0.3
Suppose 16*t + 66 = 19*t. Let j be 34/66 - t/121. Which is smaller: -1 or j?
-1
Let l(c) = -4*c. Let d be l(-1). Suppose -5*j + d*u - 3*u + 318 = 0, -j - 4*u = -51. Let k = 253/4 - j. Do -1/4 and k have the same value?
False
Let n = -158.1 - -148. Let d = n + 10. Which is smaller: -12 or d?
-12
Let y = 0.08 - 0.68. Let i = y - -6.6. Let m = i - 3. Is -2 at most as big as m?
True
Suppose -4*m = -4, 39 = -r + m + 3*m. Let i be (-7)/r - 29/20. Is -1 equal to i?
False
Let p be (14/94)/((-11)/(-3)). Let j = p - -385535/3619. Let c = j - 107. Do 1 and c have the same value?
False
Let i be (938/(-210) - 4/(-5)) + 1. Let g be -3 + 0 + -1 + 1. Is i less than g?
False
Let s be -2*(-2)/14 - 92/28. Is -24/11 greater than or equal to s?
True
Let s = 111289/462 - 1688/7. Is s smaller than 1?
True
Let v be ((-28)/(-18))/(-9 - (-35)/5). Is v less than -1?
False
Let a = 0.037 + -63.037. Let g = -1.2 + 0.2. Is a bigger than g?
False
Let v = 4 + -2. Let n = 49 - 4. Suppose -3*z + 5*f - 17 - 20 = 0, 5*z + n = 5*f. Which is bigger: z or v?
v
Let v(r) = r. Let b be v(-1). Let l be (-7 + 4)*(2 + b). Let m(u) = -u**3 + 3*u**2 + 3*u + 2. Let h be m(4). Is l <= h?
True
Let l = -9 + 8.75. Let j = 11.25 + l. Let a = -10.9 + j. Is a at most as big as -7?
False
Let t = -148 + 143. Suppose 0 = 4*f + d + 13, f + 7 = 5*d - 4*d. Is t <= f?
True
Suppose 0 = -5*u + 3*u - 3*l - 17, -4*u = -5*l - 21. Let r = 41 + -41. Are u and r equal?
False
Let c = 1 - 0. Let w = -11 - -30. Let y be 1 + w/18 + 3 + -5. Are y and c nonequal?
True
Let g = 98/11 + -3082/341. Which is greater: g or 1?
1
Let z = 2155 - 2117. Do z and 32 have the same value?
False
Let z(o) = o + 8. Let g be z(-4). Let i = 3 - g. Let n be i/4 + (-46)/8. Which is bigger: n or -5?
-5
Let d = -26 - -24. Let x be d/((-40)/55)*(-12)/27. Is -1 < x?
False
Let n(h) = -h**3 + 11*h**2 - 8*h - 8. Let s be n(7). Suppose 4*r - s = -16. Which is greater: 30 or r?
30
Let s be 4/(-28)*1*-2. Let y = -73.7 + 85. Let x = y - 2.3. Is s greater than or equal to x?
False
Suppose 31*c - 3531 - 871 = 0. Is c at least as big as 0?
True
Suppose -4*h = 2*u, -6 + 0 = 3*h. Is u smaller than 0?
False
Let l(d) be the first derivative of -9*d - 1/2*d**2 - 5. Let b be l(-9). Which is smaller: b or -2/3?
-2/3
Let w = -60517/13 - -9289/2. Let z = 210/13 + w. Let m be (0 + -9)*(-4)/6. Is z >= m?
False
Let y be 6/9 - 9/54*-1475. Is 247 less than y?
False
Let b(j) = 2*j - 16. Let l(v) = -v**3 - 3*v**2 + v - 4. Let n be l(-4). Let s be b(n). Let x = 1/2 + -1/4. Is x at least s?
True
Suppose 0 = -4*y - 3*s - 64, -y - 5*s - 1 = -8*s. Let n(m) = m + 14. Let b be n(y). Which is smaller: b or 7/6?
b
Let z = 57 + -59. Which is smaller: z or 0?
z
Let g = 269 + -449. Let q be (-292)/1287 - 40/g. Is q smaller than 0?
True
Suppose -3*v = 5*g - 471, -161 - 131 = -2*v + 4*g. Let b be (-606)/v + (-1 - -5)/1. Is b smaller than -1?
False
Suppose 0 = y - 4*f - 163, 4*y - 587 = 5*f - 2*f. Suppose 3*v = -v + 3*m + 163, -4*v - m + y = 0. Is 36 < v?
True
Suppose 3 = -3*g + 6*g. Suppose -5*j - 44 = -2*p, j + 0*p - 2 = 4*p. Let o be (1/(-10))/((-4)/j). Is g < o?
False
Suppose -281 = -3*l + y, 0 = -4*l + 34*y - 31*y + 378. Which is bigger: 94 or l?
94
Let y(n) = n**3 + 6*n**2 - 2*n - 5. Let v be y(-6). Suppose 0 = v*w - 6*w + 40. Let i be 1 - (w/12)/(-5). Which is bigger: i or 2?
2
Let r be -1 + 4/(-14) - 64/(-224). Which is greater: r or -29/14?
r
Let i = 292449/8500 - 585/17. Are 0 and i nonequal?
True
Suppose -5 = -3*c - 2*y, 5*c + 3*y + 0*y = 9. Suppose j - c*j = -6. Suppose 4*m + 5*h = 48, j*m + h - 13 = 3*h. Which is greater: 4 or m?
m
Let o(s) = -2*s**2 - 29*s - 94. Let g be o(-10). Which is smaller: -27/5 or g?
-27/5
Let c = 160 - 124. Let h be ((-2)/(-16))/(7/c). Which is greater: h or -1/3?
h
Let d = 683 - 683. Which is smaller: 76/5 or d?
d
Let k = -22 + 6. Let z = k + 11. Is z bigger than 0.1?
False
Suppose g - 161 = -3*y, -3*g - 2*y + 415 = -89. Is 170 greater than g?
False
Let h = -0.034 + -0.126. Do h and 0.2 have the same value?
False
Let t be (-3)/(-9 - (-156)/16). Let c be 22/(-6) - 1/(-3). Which is greater: t or c?
c
Let q be 8*1/((-4)/(-25)). Let k(f) = -3*f + q*f**2 - 37*f**2 + f**3 + 18 + 4*f. Let v be k(-13). Is 4 < v?
True
Let h = -24 - -21. Let n = 5 + h. Are n and 3/4 equal?
False
Let c(f) = -f**3 + 14*f**2 - 41*f + 6. Let w be c(10). Let o be 12*-1*(-3)/2. Suppose o = -5*a - 27. Which is smaller: w or a?
a
Let g(r) = r**2 + 3*r - 9. Let x be g(3). Let l be -21*((-30)/x - -2). Are l and 28 equal?
True
Let m be 4/(-84)*(12/3 - 10). Are m and -2 non-equal?
True
Let m be 302/18 + 28/126. Which is smaller: m or -5?
-5
Let i = 297006/191 + -1555. Let m be (-54 - -63) + (-9)/1. Is i greater than m?
True
Let a = -808 + 822. Do 187/13 and a have different values?
True
Let o = -188 + 197.3. Let i = o - 9.4. Which is greater: 2 or i?
2
Let w be ((-9)/15)/1*(-17)/(-6). Is w > -1?
False
Let y = -78 - -45. Let i be (-18)/(-90) + y/(-35). Is i <= 1?
False
Let i be 1 + -4 + (-112)/32. Let h = i - -6. Which is greater: -3 or h?
h
Let u(k) = k**3 - 8*k**2 + 9*k + 19. Let y be u(6). Which is smaller: 2/203 or y?
2/203
Let i(a) = a**2 - 4*a - 97. Let y be i(12). Are 7/80 and y nonequal?
True
Let r be (-9 - -10)/(-2*(-2)/492). Suppose 2*z = -5*c + 626, -3*z = c - z - 130. Is c at least as big as r?
True
Let h(c) = -c + 5. Let n be h(0). Let a = -9 - -9. Suppose 2*v + w - 14 = a, 4*v - 5*w + n - 33 = 0. Which is smaller: 6 or v?
6
Let d = 26 + -14. Suppose 5*v = 4*g - 24, -5*g + g = -2*v - d. Is g >= 1/8?
True
Suppose 2*p = 4*p. Suppose -5*i + 39 = 4*o, o = 6*o - 4*i - 18. Suppose o*r + 18 = -p*r. Is r != -5?
True
Let z = 2010231/104 - 38635/2. Let u = -1381/40 + 227/5. Let v = z - u. Is 0 bigger than v?
False
Let z = -28 - -38. Which is smaller: z or -3?
-3
Suppose m + 75 = 4*c, -45 = -c - 6*m + m. Is 21 < c?
False
Let z be (-6)/(-10) + -1 + 7493/295. Which is smaller: z or 24?
24
Suppose 4 = 2*p - 36. Let q = 67 + -139/3. Let t = q - p. Do 1 and t have different values?
True
Let d = 9135 - 4839. Let m be (-10)/(-25) + d/(-10815). Let n = m - 212/2163. Are n and -1 nonequal?
True
Suppose 0 = -1856*t + 1884*t + 56. Let v be 22/(-8)*(-2)/(-5). Which is greater: t or v?
v
Let o = 49.6 - 54. Let u = o - -18.4. Let y = 5/7 + -29/21. Is y less than u?
True
Suppose -27 - 23 = d + n, 146 = -3*d + n. Which is smaller: 0.4 or d?
d
Let a(v) = -v**2 + 13*v - 14. Let x be a(12). Let r be (-192)/(17/(-31) - -1). Let o = -426 - r. Is x less than o?
True
Let v(i) = -i**2 - 11*i + 3. Let h = -10 + 12. Suppose -c - 3 = d + h*d, d = 3. Let z be v(c). Is -10 > z?
False
Let s = -18.1 + 19.19. Let r = s + -0.98. Is r smaller than 2?
True
Let f be 120/25 - (-12)/(-15). Suppose -3*u = -f*u + 1. Let p = 7/2 - 2. Is u <= p?
True
Let o(r) = -r**3 + r**2 - 2*r - 8. Suppose 3*b + 10 = 2*n, 2*b + 0*n - 25 = -5*n. Let k be o(b). Let w be (1/18)/(4/k). Is w greater than -1?
True
Let q = 34 + -23. Suppose -16 = q*n - 93. Is n >= 10?
False
Let p be -2*((-6)/4)/1. Suppose p*g = 4*d + 5*g - 30, 4*g = 2*d - 40. Is 10 greater than or equal to d?
True
Let g(k) = -k**3 + 5*k**2 + 5*k - 5. Let t be g(7). Let d = -38 - t. Let w be (-25)/d + 2/6. Is w less than or equal to 0?
True
Let r = -1332.13 - -1332. Which is bigger: r or 2/35?
2/35
Suppose 0*i + 2*r = 2*i - 8, 0 = -2*i + r + 6. Suppose 2*t + 8 = t + i*y, -2*t - 13 = -3*y. Suppose 2*u = -0*u. Which is bigger: t or u?
u
Let i = 1 + -5. Let q(k) = -2*k**2 - 3*k + 6. Let n be q(i). Let x = 10 + n. Is x at least as big as -2?
False
Let r = -287 + 285.7. Is 2/17 bigger than r?
True
Suppose 5*t + 2*o = -o + 125, 5*t - 105 = o. Suppose -4*z + 5*z - 10 = -g, -3*z = 5*g - t. Suppose 4*d = -5*u + 54, -7*u + 2*d + 64 = -3*u. Is u at least z?
True
Suppose -7*r - 60 = -r. Is 5 less than or equal to r?
False
Let a(i) = -i**3 - 11*i**2 + 13*i + 