b + f*p - 12 = 0, -3*b - 2*p - 3 = -9. Let a be -5 - (-3 - 2 - b). Which is greater: 2/53 or a?
2/53
Let z(b) = -7*b**3 - 11*b - 72. Let x be z(-3). Which is smaller: 49 or x?
49
Let a(q) = -21*q**2 + 2. Let u be a(1). Let c(v) = -v**3 - 19*v**2 - 2. Let p be c(u). Let x be 2 + (-558)/12 - p/(-4). Is x greater than or equal to -44?
False
Let h be 21 + 0 - (-3 + 1). Suppose 109*n - 36*n - 49*n = 240. Which is smaller: n or h?
n
Let l be (-3)/(-5)*(-290)/174. Let v = -1/24 - -29/56. Which is smaller: v or l?
l
Let s = 470 - 479. Let u be (10 + s)*(2 + -1). Is u <= -114?
False
Let p = 530.534 - 0.534. Let b = -529 + p. Which is greater: b or -82?
b
Let h = -0.982 - -1.973. Let w = -0.03 - -0.021. Let j = h - w. Which is bigger: j or -0.2?
j
Let s = 64.8 - 64.218. Let q = -0.082 + s. Let l = -1.3 - 4.7. Is q bigger than l?
True
Suppose 9*k - 437 = 481. Let g be 0/(-9)*1/(-2). Suppose 0 = 5*s - g*s - 515. Which is greater: k or s?
s
Let a = 4 + -11. Let p be -21*-1*(-4)/14. Is p at least a?
True
Let b(m) = -m + 19. Suppose 0 = 20*t - 24*t + 68. Let j be b(t). Suppose -2*g + 12*g = j*g. Which is smaller: -6/5 or g?
-6/5
Let n = 1252 - 1269. Which is smaller: n or -87?
-87
Suppose 0 = -4*h - 17683 + 17687. Is h equal to -2/2869?
False
Let b(y) = 43*y - 2321. Let x be b(54). Is x less than 1/1763?
False
Let k = -491/510 - -14/15. Suppose -3*f + 3*o = 9, -293 + 282 = -3*f - 2*o. Which is greater: f or k?
f
Let w be (-27)/3 - (-1 + 1). Let a be (-12)/w - (-82)/6. Let c be (-372)/(-24) - 1/4*-6. Is c < a?
False
Suppose 0 = 13*h - 177 + 21. Suppose 3 = -5*f - s, -5*f + h = -0*f - 4*s. Which is smaller: f or -0.292?
-0.292
Let d = -5735 + 8979. Which is bigger: d or 3245?
3245
Let b = -1547.3 + 1547.74. Which is smaller: b or 34?
b
Let x(j) = -165*j + 3. Let c be x(0). Is 38/21 less than or equal to c?
True
Suppose -8*z + 3*x = -3*z + 50, -4*x - 30 = 3*z. Let s(o) = 19*o + 170. Let w be s(z). Is w not equal to -21?
True
Let o(k) = -2*k**2 + 31*k - 116. Let w be o(9). Suppose 3*n + a + w = 2*n, 2*n = 3*a - 2. Which is bigger: n or 1/1224?
1/1224
Suppose 5*o = -3*a - 6 - 228, 4*o + 158 = -2*a. Let l = a + 53. Let f be (-2)/(-20)*((-75)/l)/(-3). Is f at most as big as 0?
True
Let h = 0.02512 + -0.96412. Is 3/5 at most as big as h?
False
Let s = 87 + -68.75. Let k = 0.25 - s. Let g = 2/53 - 112/159. Which is bigger: g or k?
g
Suppose 2*m + 8*w - 7*w + 291 = 0, 5*m = -4*w - 732. Let p be (-3)/(-1)*3/m. Is p smaller than -3?
False
Let i = 2595.7 + -2596. Let k be 7932/27170 - (-6)/(-15). Let n = -2/715 - k. Which is smaller: n or i?
i
Suppose 74 = -2*k + 5*u, 5*k = -u + 6*u - 170. Let i be k/160 - (1 - 19/(-5)). Let z be i - 11*(-10)/14. Which is greater: z or 4?
4
Let d be (-53)/(-11) - 16/(-88). Suppose -5*k - 58 + 218 = -5*x, 0 = -5*x - d. Let i = 32 - k. Is i at least as big as -3/25?
True
Let l be 12/(-54) - 38780/(-1008). Is 38 at least l?
False
Let w = 195 + -45. Let y = -149.9 + w. Which is greater: 5/16 or y?
5/16
Let h(q) = -q**3 + 9*q**2 - 7*q - 7. Let l be 8/2 + 7 + (-2 - 1). Let d be h(l). Let y be (0*d/(-2))/(-2). Which is bigger: -7 or y?
y
Suppose 0 = -48*s + 45*s + 6. Suppose 10*k - 48 = s. Suppose -3*f = -k*i + 2, -4*i - 6 = f - 3*i. Which is smaller: -7 or f?
-7
Suppose 4*h + 5*l - 100 = 0, 2*l - 42 = -3*h + 40. Suppose b = 34 - h. Suppose 0 = b*q - 3*q - 2. Is 0 smaller than q?
True
Suppose -4*c + k - 67 = 0, 15 = -20*k + 25*k. Which is bigger: c or -161/10?
c
Let s be 1 + -1 - 79*(-11 + 6). Let v = 363 - s. Which is smaller: v or 2?
v
Let n = -994938 - -1677244. Let f be 2 + n/(-224140) + (-10)/(-25). Let p = f - -2/1601. Is -1 >= p?
False
Let v = 5868 - 5867.9. Is v > 1616?
False
Suppose 18833*h - 42 = 18840*h. Suppose -8 = 3*a - 4*k, -2*k - k = -5*a + 5. Suppose -m - a - 1 = 0. Is m != h?
True
Let m = 0.03887 - 12.03887. Which is smaller: m or -11/4?
m
Let y be (4 - 10)*(-8)/12. Suppose a = -y*q + 2*a + 17, -6 = -3*q + 3*a. Suppose 0 = -2*w + q*t + 31, 2*w + 0 = -t + 37. Which is smaller: w or 19?
w
Let o(g) = 19*g + 3. Let z be o(4). Let w = 239/3 - z. Let s be ((-9)/6 - 0)/(51/493). Is s < w?
True
Let z = 3.48 - -196.52. Let u = z + -193. Is 0.09 at most as big as u?
True
Let b = -0.18114 - 131.81886. Let w = 0.6 - 2.6. Which is smaller: b or w?
b
Let m = -153 + 161. Let x be 2/(-5 + m + (-6 - -1)). Is -1.42 less than x?
True
Let n = 3999 - 3998.7. Which is greater: n or -1157?
n
Let x be (-904 + 12)/(((-308)/62)/(-1)). Let c = -1862/11 - x. Do 9 and c have different values?
True
Let x = 2 + 0. Suppose 2*w + 16 = -0*i - 2*i, 5*w + x*i + 49 = 0. Let k(q) = 2*q**2 + 62*q + 290. Let y be k(-25). Is y greater than w?
True
Let b = 1.7 + -1.73. Let s = 0.101 + -53.101. Let h = s - -53. Which is bigger: h or b?
h
Let f be 26/(-14) + -24*17/(-476). Which is smaller: f or -46?
-46
Let o be (-155496)/(-11961) - (-107 + 120). Which is bigger: o or 0?
o
Let l(q) = -5*q**2 + 190*q - 200. Let j be l(47). Is j smaller than -2316?
False
Let l = -17741/2 - -8864. Which is bigger: 2/21 or l?
2/21
Let o(b) = -2*b**2 + 32*b - 1. Suppose 0 = -h - 2*x + 71, -h + x + 69 = 5*x. Let p = h - 57. Let v be o(p). Is v >= 4?
False
Let f be (-184)/414 + (-144338)/(-324720). Which is smaller: f or -1?
-1
Let j(b) = -b**2 + 15*b - 12. Suppose -5*z + 0*z = -70. Let s be j(z). Suppose s = 3*d + 17. Which is smaller: d or -31/5?
-31/5
Let s(o) = o - 7*o - 2*o**2 - 3*o + 3*o**2 - 98. Let u be s(21). Which is bigger: u or 153?
u
Let f = 57 - 51. Suppose -20 = -f*u - 2. Suppose 4*g - 18 = g - u*s, 3*s = -5*g + 20. Which is greater: -1/3 or g?
g
Suppose 4*w - 3 + 19 = 0. Let j be 81/(-6)*((-14)/(-42) + 0). Which is bigger: j or w?
w
Let q = 5300 - 5259. Does 377/9 = q?
False
Let r = 44 + -43.994. Let u be 36/(-414) - (-4)/(-552)*80. Which is bigger: r or u?
r
Let x be (-240)/21*((-259)/70 - (-3)/15). Which is smaller: 43 or x?
x
Let w = -9/332 - -20037/4316. Suppose 20*b + 51 = b + 165. Which is smaller: w or b?
w
Let j(b) be the second derivative of -b**5/20 + 29*b**4/12 + 31*b**3/6 + 16*b**2 + 21*b. Let r be j(30). Which is greater: r or 61?
r
Let a be ((-25)/30)/((-1)/6). Suppose p = a*p. Let g be (-17)/117 - 20/(-90). Which is bigger: p or g?
g
Let y = 2958 - 2841. Which is greater: -0.042 or y?
y
Let z(h) = -h**3 - 3*h**2 - 13*h - 15. Let k be z(-5). Suppose -2*g + 200 = 2*g - 4*s, 2*g = -s + k. Is g bigger than 49?
True
Suppose 3*v = -w + 5*w + 22, -4*w + 2 = v. Let m be 1*(v + (-16)/2). Which is bigger: m or -6?
m
Suppose 47003 = -84*d + 13714 - 36431. Which is smaller: -824 or d?
d
Let v(t) = 18*t + 1110. Let f be v(-58). Let a = -120 - -189. Which is smaller: a or f?
f
Let y(v) = v**2 - 14*v + 12. Let n be y(13). Does 4604 = n?
False
Let s(m) = m**3 + 9*m**2 - 7*m + 13. Let j be s(-10). Let k(l) = l + 17. Let i be k(j). Let f = -1313 + 90595/69. Which is bigger: f or i?
i
Suppose 12*l + 510 = -342. Let z = l - 96. Is z greater than or equal to -165?
False
Let m be ((-3)/(-2))/((-2)/(-4)). Suppose 21 + 7 = 2*d + 5*k, -3*k = m*d - 33. Suppose -39 + d = -3*j. Do j and 11 have different values?
True
Suppose -3*g = 12*g - 30. Suppose 0 = 2*i - g*d - 4, d = 11*i - 13*i + 10. Let t be 9 + 1 + -4 - 0. Is t bigger than i?
True
Let a = 2077/24843 - 4/49. Suppose 2*b - 15 = 5*y, b + 2 = 3*y + 10. Is y less than a?
True
Let v be ((-9)/6)/((-7)/126). Let z = 30 - v. Suppose -r - 1 = 5*x, 6*r + z = -4*x + 3*r. Which is smaller: x or -1/2?
-1/2
Let w = -85388876/692563 - 4/40739. Is w equal to -122?
False
Let r = 11325 + -11354. Is r < -501?
False
Let j = -78 - -81. Suppose 33 = -j*h + 2*z, 11*h - 6*h - 4*z + 55 = 0. Is h bigger than -11?
False
Let z = -1.675 + 1.775. Is 59 at most as big as z?
False
Let f(k) = -2*k - 1. Let o(y) = 20*y + 30. Suppose 0 = -22*s + 18*s + 4. Let g(i) = s*o(i) + 4*f(i). Let m be g(-3). Which is smaller: 3 or m?
m
Let p = 3 - 0. Suppose -212*b = 351*b. Is b at least as big as p?
False
Let z = 118 + -114. Suppose z*r - 4*t + 53 = 17, 2*r + 30 = 5*t. Let x = 5 - 11. Which is bigger: x or r?
r
Let u = 10217 + -8602. Is u > 1606?
True
Let y = 58 + -58. Suppose y*s - 3 = 3*m - 3*s, 0 = 2*m + s + 17. Which is smaller: m or -8?
-8
Let n = 61 + -61. Suppose 7*t - 4*t - 285 = n. Suppose -96*w + 1 = -t*w. Are w and -3/28 nonequal?
True
Let m be ((-844)/1)/((-