 109 = -4*j. Let z be j/(-6)*-6*12/378. Which is greater: z or 101?
101
Let i = 99.24 - 97. Let p = -37.76 - i. Which is smaller: p or 0.2?
p
Let j(g) = -2*g + 6. Let v be j(-7). Let p(s) = -4 - v*s + 42*s - 27*s. Let m be p(-1). Which is greater: 43 or m?
43
Let t = 1268/9 - 16736/117. Let f = -506/247 - t. Is f bigger than 0?
True
Let u(c) = 2*c**2 - 1032*c + 4150. Let n be u(4). Let a(m) = 53*m + 1 - 1. Let b be a(1). Is n at least as big as b?
True
Let g be -269 + (-4 - (1 - 4)). Let u be 2/(-2 - 545/g). Suppose u = -2*j + 5*d, -d - 4*d + 64 = -j. Which is smaller: -45 or j?
-45
Let k = -513 - -517. Suppose -3*o - 2*p + k = -3*p, 4*o + 3*p + 12 = 0. Let i = -387 + 3487/9. Is i at least as big as o?
True
Let i(k) = 3*k**2 + 886*k + 18030. Let s be i(-22). Let w = 1.98 - 2. Which is bigger: s or w?
w
Let v = -4383 - -13150/3. Is 357 != v?
True
Let y = 647 + -639. Suppose -5*l + 453 = -y*l. Which is smaller: l or 3?
l
Let i = -27470.85 + 27471. Let v = 144 + -79. Let p = v - 193/3. Does i = p?
False
Let w = 426681 - 426680.9. Let v = -18.9 - 127.1. Which is smaller: w or v?
v
Suppose -5*x + 0*x + 5*z = -17970, 0 = 4*x + 5*z - 14385. Suppose 14*j + x = -815. Are -315 and j non-equal?
False
Let y be 1/(-28) - (-39)/(-156). Let f = y + 80/231. Is -1 equal to f?
False
Let p(s) be the second derivative of -7*s**3/6 - 2*s**2 + 5*s. Let d be p(-1). Let j be 16/6 - (-1)/d. Which is smaller: -3 or j?
-3
Let r = 0 + 0. Let t be 4 - 2*1227/(-42). Let v = t - 61. Is v > r?
True
Suppose 0 = 3*g + 2*h + 3, -6*g + 5*h = -g + 5. Is 1/1787 smaller than g?
False
Let o be 71960/(-160) + 3/(-12)*-3. Let z = 492 + o. Which is greater: z or 42?
z
Let m(j) = 30*j - 1. Let n be m(2). Let b be (-12)/(60/35) - -9. Suppose 2*g + 53 + 132 = 3*h, 0 = -b*h - 2*g + 110. Is n at least h?
True
Suppose 2*o = -5*k + 3956, -17*o + 14*o + 3*k = -6018. Which is smaller: 2001 or o?
o
Let v be -21 - -20 - (1 - 7). Let y be 67/5 - 2/v. Suppose 7*p - 45 = 4*p. Which is bigger: y or p?
p
Let y = -5158 + 5070. Which is smaller: y or -121?
-121
Let y(j) = j**3 + 17*j**2 - 49*j - 11. Let v be y(-20). Let k = 199 + v. Suppose 0 = 3*r - 4*t + 112, 0 = 5*r + t - 7 + 163. Is k less than r?
False
Let x(c) = 2*c**2 - 5*c + 9. Let h be x(3). Let p = 2640 - 26353/10. Let t = p - -67/10. Which is smaller: h or t?
t
Let t be (-2 + -4)*(-132)/(-48)*6/11. Let h = -3 - -9. Which is smaller: t or h?
t
Suppose 3*z - 5*n = 29, 0 = 2*z + n - 0 - 2. Suppose 4*g + 12 = 2*t, 1 = 4*t + z*g - 1. Let i be (-1 + 2 + t)*(-2)/6. Is i <= 3/29?
True
Suppose -2*q - 20 = -3*o - 2*o, -q + 3 = 4*o. Suppose -o + 0 = -2*f. Let j be (-4)/26 - 7597/(-43381). Is f greater than or equal to j?
True
Suppose 2*q + 410 = -14*q + 202. Let m(p) = p**2 - 9*p + 2. Let d be m(5). Does d = q?
False
Let y = -29367/5 + 5892. Let h = -413 - -431. Which is smaller: y or h?
h
Let p = 43.80389 + -0.00389. Is -4 smaller than p?
True
Suppose -9*b + 67 - 4 = 0. Let w be -2 - (248/(-28) - 1/b). Is 8 < w?
False
Let h be 2/10 + 634*(-1)/(-5). Suppose -z = 3*a - h, -3*z - 130 + 551 = -a. Let k = z + -688/5. Do k and 1 have the same value?
False
Let g = -0.11951 - 0.88049. Are -3664/11 and g non-equal?
True
Suppose 0 = -4*n - 3*h + 13 - 29, 3 = 5*n - 2*h. Let m = -162 + 649/4. Which is bigger: n or m?
m
Suppose 315*y - 329*y = 17 + 11. Let g = -3.5 - -5. Which is bigger: g or y?
g
Let c = -732 + 436. Let o = c - -91. Which is smaller: o or -206?
-206
Let s be ((-28)/(-10) - 1)*((-17760)/(-36))/4. Is s greater than 226?
False
Let q = -483 + 7243/15. Let m(h) = -h**3 - 9*h**2 - 9*h - 4. Let n be m(-8). Suppose -5 = -2*y - n*i - i, -4*i = 5*y - 4. Which is smaller: q or y?
q
Let n = 1.1 + -0.1. Let p(a) = -a**3 + 6*a**2 + 44*a + 35. Let r be p(-4). Which is bigger: n or r?
r
Let i be (-24)/2 + 101 + -590. Do i and -501 have different values?
False
Suppose 4*l + l = -3*q + 85, -4*l - 2*q = -66. Let o be -7*-3*24/l. Suppose -25*s - 22*s + 1739 = 0. Which is greater: o or s?
s
Suppose -2*c - 252 = -6*c. Let h = -21 - -90. Let n = h - c. Which is bigger: -1/4 or n?
n
Let k = -586.7 - -556.7. Which is greater: k or -160?
k
Let d = 263 + -262. Let w be 1/6 + 2535/(-15345). Which is smaller: w or d?
w
Let k be 2/(-8) + 32/(-96). Let x = k - -1/12. Let d = -2 - -1.9. Which is greater: x or d?
d
Let s be 0 + (-10 - (-1270)/35). Is 27 >= s?
True
Let d(k) = -k + 7. Let m be d(7). Let f = -178724 + 4468084/25. Which is smaller: m or f?
f
Let w = -85 - -181. Let v = w - 60. Let p = v + -50. Is p at least as big as 1/3?
False
Let a be (2/(-4) - 0)/(3/2). Let l = -8.175 - -8.1. Let b = -45.075 - l. Is a at most b?
False
Suppose 19 = 2*b + 3*u, 82*u = 5*b + 77*u - 10. Which is bigger: -13 or b?
b
Let t be 2*2 + (-2730)/685. Suppose 24 - 35 = -11*r. Which is smaller: r or t?
t
Let a = 14 + 0. Let u be (5 + -1078)*1*(-2)/a. Let h = u - 153. Which is smaller: 1.7 or h?
h
Let q = 235 + -230. Suppose -5*f - q*u - 196 = 59, -2*u = -3*f - 143. Which is bigger: f or -48?
-48
Let a(f) = 12*f**2 - 34*f - 133. Let b be a(-3). Which is greater: 2 or b?
b
Let l be (562/(-3))/(1 - 8/24). Is -290 greater than or equal to l?
False
Let s = -277 - -280. Suppose s*y + 5*w + 87 = -94, y + 3*w + 63 = 0. Which is greater: y or -60?
y
Let r = -3.64 - 1.08. Let x = r - 0.88. Let g = 62/3 - 21. Which is bigger: x or g?
g
Suppose -3*h = -2*k - 11, -k + 2*k = -2*h - 2. Let t be k/((-160)/(-35)) - -4. Which is smaller: t or 4?
t
Let n be (264/(-77) - -2)*(76/(-20) - -1). Let i be (-45)/(-7) - (-1 - -2). Which is smaller: i or n?
n
Suppose 15 = -3*m + 6. Let r be (-1 + (-4)/m)*-3. Let j = 2 - 5. Is r at most j?
False
Let s = -0.02 - -14.02. Let z = s - 34. Let c = z - -19.76. Is c less than 0.1?
True
Suppose -k + 19 = -5*u, -2*k + 4*u - 7 = -21. Let y be (-3 - (-8 + 5))/k. Let v be (-1 - -3)*(-1)/(-82). Is y at least v?
False
Let q be (-52)/(-9) + 148/666. Let c(o) = -2*o**2 - 30*o + 151. Let x be c(q). Which is smaller: x or -203/2?
-203/2
Let n(o) = -40*o + 200. Let w be n(5). Suppose 7*t + 941 + 571 = w. Is -216 bigger than t?
False
Let o = 445 - 301. Suppose -3*a + 132 = o. Do -23/5 and a have different values?
True
Let s(n) = -460*n - 2760. Let w be s(-6). Which is greater: w or 3/658?
3/658
Suppose 56*z - 73*z = 16881. Let g be 0 + 4956/z - (-70)/14. Is 1 >= g?
True
Let g(u) = -2*u**2 + 10*u - 9. Let w be g(1). Which is greater: w or -24/97?
-24/97
Let b(z) = 2*z**2 + 338*z - 6723. Let x be b(18). Which is smaller: 524 or x?
x
Let r(m) = -m**3 - 2*m**2 + 18*m - 7. Let v be r(-7). Suppose 5*p + c - 140 = 0, -4*p + v = 3*c - c. Is p greater than 29?
False
Suppose 0 = -9*h + 4*h. Let k be ((-16)/2944)/(3795/1320). Which is greater: k or h?
h
Let w(n) = 21*n + 2601. Let f be w(-59). Is 1364 bigger than f?
True
Let w = 22.92 - 24. Let x = w - -2.08. Let g = 2.5 - -8.5. Which is greater: g or x?
g
Let z be 2/(-4) + (-38)/(-12). Let j(x) = x**2 + 3*x - 864. Let g be j(28). Which is bigger: g or z?
g
Let a = 334 + -222. Let r be 6/4*a/(-21). Let f be r/(-14) - (2932/(-2072) + 2). Which is greater: f or 1?
1
Let g be (-1 + 10 + 3)/((-280)/140). Let t(o) = 2*o + 5. Let s(h) = -h**2 - 3*h + 4. Let x be s(-5). Let c be t(x). Is g < c?
False
Let h = 270.47 - 271. Let g = h + 0.13. Let j = 0.4 - 0.3. Is j at most as big as g?
False
Let o be (-3 - -3)/(1 + -2). Is o greater than -25/56?
True
Suppose -s + r - 5441 + 1360 = 0, 20377 = -5*s + r. Is s smaller than -4075?
False
Let q = -32475 - -30598. Is q greater than 2?
False
Let s = -2/5365 + -10604/337995. Let v be (-9 - -3)*19/2052*18. Is s at most as big as v?
False
Let d be 6/(-7)*(10 - 3). Suppose -2*x - 3 = -35. Let k be 2 + (x/d - -1). Are k and -1 equal?
False
Let z = -2563 + 4110. Is 1546 bigger than z?
False
Suppose -410 = 5*x - 5*i, 4*x + 3*i = 43 - 336. Let p be ((-42)/x)/3 - 48/22. Is p < 5?
True
Let x = -7/43 - 445/172. Let i(b) = -2*b**2 - 47*b - 109. Let l be i(-21). Which is smaller: x or l?
l
Let v = 70.92 - 0.92. Let o = 595199.3 + -595199. Is o greater than or equal to v?
False
Suppose 4*n = 4, 9 = 2*v - 0*v + 5*n. Let o be -37*(-2)/48 - (v + 0). Are 0 and o equal?
False
Suppose -u = -s - 18, 0 = u + 4*s + 3 + 4. Suppose 0*d - 2*d + 3*f = -7, 4*d + 3*f + u = 0. Is 3/109 less than d?
False
Suppose 0 = -7*r - 15*r - 66. Let o be (-1