) = -h**2 - 16*h - 66. Let z be i(-12). Which is greater: z or -23?
z
Let w = -19 - -19. Suppose 4*o = -w*y - 2*y + 6, o + 5*y = -21. Suppose -z + o*g = 42 - 7, 30 = -3*z - 3*g. Is z equal to -16?
False
Suppose -k + 8 = 2*f, -4 = 3*k - 5*k + 2*f. Suppose -3*m + 59 = -k*h + 6, 15 = -3*h. Let l = 11 - m. Is l at most 1/4?
True
Let m(u) = 6*u + 6. Let h be m(8). Suppose -4*s + 72 = -5*a - 0*s, -2*s - h = 5*a. Let f = 5 + a. Which is bigger: f or -6?
-6
Suppose 35 = -3*q - 2*h - 168, -q - 77 = 3*h. Is 4 greater than q?
True
Let x be ((-4)/(-6))/((-45)/27). Let o be (-4)/10 + ((-6580)/25)/4. Let d = o - -66. Which is smaller: d or x?
x
Let o = 9/3491 + -13345/2468137. Do 1 and o have the same value?
False
Suppose -6*y + y + 22 = 2*b, 3*b - 19 = -4*y. Suppose -2*c + 30 = 4*p + 80, 20 = y*c. Let x be (6/(-20))/((-18)/p). Is x at least -2?
True
Let n = 287426 + -25006378/87. Let f = 1/29 - n. Let j be 18/4 - (-1)/2. Is j > f?
True
Let g(y) = -7*y + 3. Let l(h) = 48*h - 21. Let k(u) = 27*g(u) + 4*l(u). Let q be k(3). Let s = 186 + -180. Is s < q?
False
Let z = -38.048 + 0.048. Let x = -26 - z. Which is greater: x or -1?
x
Let y(l) = 3*l**2 - 7*l - 14. Let n be y(-3). Suppose -j - 462 = -15*j. Is j >= n?
False
Let d(y) = y**3 - 4*y**2 - y + 7. Suppose 8*t - 15 = 3*t. Let l be d(t). Do -4 and l have the same value?
False
Let i(q) = 10*q**2 + 3*q - 10. Let m be i(4). Let n be (-2)/(-9) - 3/(m/75). Which is greater: -2/5 or n?
-2/5
Let s = -6.6 + 7.28. Are -1 and s equal?
False
Let q = -55416/157 - -353. Which is smaller: 0 or q?
0
Let k(j) = -j**3 + 10*j**2 - 6*j + 4. Let o be k(5). Suppose 10*f - o - 81 = 0. Is f equal to 13?
False
Let p = 94/135 + -2122/1755. Which is smaller: -2 or p?
-2
Let z = -26 - -25. Which is greater: -1/4 or z?
-1/4
Let k be ((-2)/(-12)*5)/1. Suppose 0 = 4*h + 3*w + 39, 2*w + 40 + 0 = -5*h. Let c be 3 - ((-2)/h)/(2/18). Which is bigger: c or k?
k
Let f = -0.06 - -0.16. Let m(d) = -d + 3. Let o be m(10). Let i = 12 + o. Are f and i unequal?
True
Let d = -8 - -13. Let n = 4.9 - d. Let s = n - 0. Which is smaller: -0.07 or s?
s
Let n = -671 - -668. Let r be (-4)/8 + 1/(-2). Is n at least as big as r?
False
Suppose -3*t + 3*m = -9, 2*m + 7 = 7*t - 6*t. Which is greater: t or 1/99?
1/99
Let p = 88.3 + -88.2. Is p at most -16?
False
Let r be 6*(-2)/8*4/(-2). Suppose 6 = -2*k + 4*h, 0*k - k = r*h - 12. Are k and 9 nonequal?
True
Suppose -2*n - r + 10 = -47, -r = -5. Let f be 2 - (0 + n)/(-2). Is 15 at most f?
True
Suppose -5*f = 4*p - 31, 5*f - 4 = -p - 0. Let n(i) = -i**2 + 8*i + 5. Let m be n(p). Let l be 108/30 + m/(-10). Which is bigger: 5 or l?
5
Suppose 2 = -w - 3*n, -10 = w + n - 2*n. Let x(z) = -3*z + 1. Let d be x(3). Is d at least w?
True
Let c = 86 + -31. Let i = c - 66. Which is greater: -8 or i?
-8
Let p(o) be the first derivative of 5*o**4/4 + o**3 + o**2 - 2*o - 14. Let k be p(-2). Is -32 at least as big as k?
True
Let p be 132/(-144) + (-5)/60. Let y be (-3)/(-6) - 2/12. Is y equal to p?
False
Let u = -1.1 + 1.35. Suppose 0*s = 13*s. Which is smaller: u or s?
s
Let u be (430/(-86))/(1*(1 + -2)). Which is smaller: 11 or u?
u
Suppose 3*s + 189 = -0*k - 3*k, -4*s + 189 = -3*k. Let q be (-2)/(-9) - 364/k. Let p be (3/q)/(1/(-11)). Is -5 >= p?
True
Let j = 0.9 - 4.9. Let f = j - -2. Let y be (0 + 2)/2*1. Do y and f have the same value?
False
Let t be (-2)/8 - (-2)/(-56). Let w = -125 - -140. Suppose 2*z = -7 + w. Which is bigger: t or z?
z
Let x = 67 - -70. Which is bigger: x or -3?
x
Suppose 0 = 4*j - m + 3, 4 = -4*j - 4*m + 16. Let t be ((-3)/(-21))/(j + (-180)/(-21)). Which is smaller: t or 1?
t
Suppose y + 16 = 3*y. Let o = y - 40. Is -31 smaller than o?
False
Let l(x) = x**3 - 6*x**2 - 7*x - 2. Let k be l(7). Let i be (k/(-6))/((-6)/(-612)). Let b = 101/3 - i. Which is smaller: -0.3 or b?
b
Let r(g) = 0 - 6*g - g**3 + 6 + 2 - 5*g**2 - 3*g**2. Let j be r(-7). Suppose b - 3*q - 7 = -4*b, -5*b - j = -q. Is b <= 0?
True
Let n be (18 - 8 - 7)*2/24. Which is smaller: n or 143?
n
Let v be 3/(-7) - 30/(-315). Is -1/76 less than or equal to v?
False
Let k = -77 - -84.8. Let c = 0.8 - k. Let d = 6.9 + c. Which is greater: d or 7/3?
7/3
Let n be 6/(-15) - (-92)/(-20). Let w = -17 + n. Let j = w - -43/2. Is -1 less than or equal to j?
True
Let r = 308 + -307. Is -5/64 < r?
True
Let b(n) be the first derivative of n**2 + 33*n + 9. Let f be b(-4). Are f and 25 equal?
True
Let f = 0.1 - -0.9. Let k = -41.8 + 41. Let o = -2.8 - k. Which is smaller: f or o?
o
Let s be (-1 + (-22)/(-10))*(-59 - -44). Which is smaller: -20 or s?
-20
Let m = -37529/4 + 9255. Let q(v) = -13*v + 1. Let u be q(10). Let b = m - u. Which is greater: b or 2?
2
Let r = -0.41 - -0.7. Let w = -15.29 + r. Let g = 15 + w. Is 8 < g?
False
Suppose 0*u - 8 = -4*u. Let h be (u/21)/((-3)/81). Which is bigger: -2 or h?
-2
Let y = -18 - -14.3. Let x = y + 4.05. Let t = 0.55 - x. Which is bigger: t or -1/7?
t
Suppose -7223 = -4*n + 5*l, -2*n + 3*l + 3599 = -2*l. Let y be ((-2)/(-6))/((-20)/n). Let b = -30 - y. Which is smaller: 1 or b?
b
Let s be ((-1)/(-1))/((-5)/(-155)). Let p = s - 30. Let j(m) = m + 1. Let y be j(0). Is y <= p?
True
Let q(k) = k - 20. Let g be q(25). Let b be (g/1 - 4)*1. Is 3 at least b?
True
Suppose -3*h = o + 86, 65 = -2*h + 3*o + 15. Does h = -27?
False
Let w be (-32)/(-600)*(135/(-138))/5. Do w and 1 have the same value?
False
Let g be ((-14)/6 + 4)*3. Suppose 0*i = -i - 3*y + 5, 0 = g*i - y + 7. Is 2/9 at least i?
True
Let k be -3*(6/(-9) + 1). Let m be -6*93/(-192) + k + -2. Which is smaller: m or -1?
-1
Let y = -127 + 1399/11. Which is bigger: y or -1?
y
Let f be (1582/339)/(4/(-6)). Which is smaller: f or -38/5?
-38/5
Let h = 50 - 28. Let d be (-44)/h*(9 - 1). Is d equal to -16?
True
Let a = 242 - 234.88. Let g = 7.2 - a. Let h = 0 - -0.1. Do g and h have the same value?
False
Suppose -34*f + 38*f - 9 = 3*j, -j + 4*f = 11. Is j at most -1/749?
False
Suppose 14*k - 15*k + 3 = 0. Let b be (-38)/(-14) + (-6)/(-21). Is k <= b?
True
Suppose 138 = b + 5*w, -12*b - 3*w = -11*b - 134. Which is smaller: b or -2/7?
-2/7
Let r = -6.4 + -7.6. Which is smaller: r or -0.3?
r
Let n = 4993/308 + 3/77. Which is bigger: 16 or n?
n
Let k be (-855)/(-18)*(-2)/(-10). Let q be 318/(-16)*(-4)/9. Let h = q - k. Is -1/4 equal to h?
False
Let k = -159 + 142. Which is bigger: k or 0.06?
0.06
Let v = 7 + -6. Let f = -55 - -55.23. Let n = -0.23 + f. Is v >= n?
True
Let t = -895 - -4489/5. Let p = -4.6 - -5.6. Which is smaller: p or t?
p
Suppose 0 = 4*x + 4*d - 1884, -4*x - 9*d + 1880 = -6*d. Is 467 at most x?
True
Suppose -5*s + 17 = -4*d, -3*d - 8 = 3*s - 2. Do s and 3/68 have the same value?
False
Let x = -7.13 + 0.73. Let g = -6.41 - x. Which is smaller: g or -0.1?
-0.1
Let x be ((-126)/16)/(18/(-984)). Let f = x - 469. Let v = -37 - f. Which is bigger: v or -0.7?
v
Let l = 15267 - 29671/2. Let n = l - 4263/10. Let z = -99/20 + n. Which is smaller: 0 or z?
0
Let y = -8.3 + 0.3. Let k = -8.21 - -0.21. Let r = k - y. Which is smaller: r or -0.01?
-0.01
Suppose 3*u - 9 = 5*v, -4*v - 3*u - 6 = -5*u. Suppose v*w - 4*w = -16. Let x be 1/(-4) + 77/20. Are w and x equal?
False
Suppose 2 - 8 = -3*i. Suppose 62 = -i*j + 2*r, r - 3*r + 26 = -j. Let y = 29 + j. Which is smaller: -9 or y?
-9
Let l = -72 - -22. Let u = -22 - l. Which is greater: 27 or u?
u
Let t = 18 + -10. Suppose -5*h - t = 7. Let q be (-63)/168*2/h. Which is smaller: -4 or q?
-4
Let t be -54 + 2 + 5/5. Suppose v + 2*v + 150 = 0. Is t at most v?
True
Let v = -3031 + 3035. Let w = -6 - -10. Is w at most v?
True
Suppose -5*s = 3*m + 313, -m = 2*m - 3*s + 273. Is m <= -95?
True
Suppose p = 4*l - 6, -5*l - 5*p = -7*l - 6. Let g = 295321/3073 + 18/439. Let v = -95 + g. Is l equal to v?
False
Suppose n = -0*n + 1. Let r be (13/(-23))/1 + n. Let c = 149/184 - r. Does c = -1?
False
Let g = -623 - -625. Which is bigger: g or -11.5?
g
Let m = -4408.929 - -4418. Let w = m + -9. Which is bigger: 0.1 or w?
0.1
Let d = 576327/149 + -3868. Does -1 = d?
False
Let l = 38.036 - 0.036. Let b = l - 56. Let a = -17 - b. Which is smaller: a or 17?
a
Suppose -7*p + p = -60. Let t = p - 9. Let j = 1134 - 69176/61. Which is smaller: t or j?
j
Let a = 9 - 0. Let z = a - 8.9. Suppose -5*c + k = -36, 0 = k - 0*k + 1. Which is greater: c o