27. Let g be p(-12). Let r = g - 2537/3. Let b = -15 - r. Which is smaller: -1 or b?
-1
Suppose 4*p - 3*p - 2 = 0. Let u = -6.9 - -7. Which is bigger: p or u?
p
Let f = 4.59 + -4.79. Let b = -836 + 3319/4. Is f at least b?
True
Let h = -0.1619 - -0.0619. Which is smaller: h or 1.9?
h
Let b = 0.01 - -58.99. Let h = b - 53. Suppose -20 = -5*u, -3*u + 9 = v - 2. Do h and v have the same value?
False
Let q be 1/(-2)*1 - (-9)/(-6). Let m be ((-20)/280)/(-1 - (-5)/q). Which is smaller: -1 or m?
-1
Let y be 1*(-64)/(-6) - ((-440)/30)/(-22). Suppose -3*r + 3*w + 15 = 0, 2*r - 5*w = -w. Is r < y?
False
Let h(n) = 2*n**2 - 12*n + 2. Let i be h(9). Let p = i + -55. Which is smaller: 10/17 or p?
10/17
Let g = -131/5 - -26. Let r = -191 - -193. Which is bigger: r or g?
r
Suppose 15 = 3*x - u, -2*x - u + 4 = -1. Suppose -2*k - 4*b = -16, 2*k + 0 = b - x. Is 2 at least k?
True
Suppose -8*n + 305 = -3*n. Is 64 equal to n?
False
Let t = 2259 - 2251. Is t at least as big as 114/13?
False
Let r = 1480/9 + -164. Let g(b) = -b**3 - 5*b**2 - 2*b - 7. Let f be g(-5). Let d be (f + -3)*1*-1. Is d bigger than r?
False
Let o = 61 + -58. Suppose -o*b + 18 = z, -z + 5*z = 4*b + 104. Is z at least 24?
True
Let l = -8 + 7. Let j(t) = -t**3 - 2*t**2 + 3*t - 6. Let n be j(-4). Which is greater: l or n?
n
Let h = -66.19 + 0.19. Which is greater: h or 1?
1
Let v be 8*(33/6 - 4). Suppose -v*u + 16*u - 28 = 0. Suppose 5*k - 3*r = 31, -k - 3*r = k - 25. Is u not equal to k?
True
Let k = 2018 - 1915. Are 105 and k unequal?
True
Let a = 589 - 662. Is a < -72?
True
Let u = 0.2 - 0.3. Let l = -27.93 + 28. Let i = l + 0.23. Is i greater than u?
True
Let q = 166 - 158. Let f = 27 - 29. Which is smaller: f or q?
f
Suppose -39*i - 1224 = 1077. Is i >= -8?
False
Let q = 372066539/560 + -664405. Let k = -3/80 - q. Let o = 257 + -257. Which is bigger: o or k?
k
Let d = 0.0311 - 0.0311. Which is smaller: 1/9 or d?
d
Suppose -4*x - 12 = 0, -217*c - x = -222*c - 42. Which is greater: c or 86?
86
Suppose -4*q + m = 286, -2*q + 0*q + 3*m = 148. Is q >= -71?
True
Suppose -3*o = 3 - 24. Suppose -5*v - 10 = -o*v. Are 2 and v nonequal?
True
Let m(c) = c**2 - c - 2. Let z be (14 + -2)/(-2) - -2. Let j(d) = -3*d - 10. Let o be j(z). Let w be m(o). Which is smaller: w or -4/19?
-4/19
Let n be (793 - -2)/(20 - 19). Is n < 794?
False
Let c = 0 - -0.1. Suppose 0 = -f + 2*q + 23 - 20, -q + 6 = 2*f. Which is smaller: f or c?
c
Let l be 161/(((-5)/(-50))/((-2)/(-4))). Which is greater: l or 806?
806
Suppose -2*n + 2 = -48. Let a be (430/n)/(4/10). Which is bigger: a or 44?
44
Let g = 4 + -8. Let l be (1/3)/(6/36). Suppose 4*q = u + 1, -3*q + l*u + 3 = -u. Is g <= q?
True
Let b(q) = -q - 3. Suppose 3*p + 56 = -p. Let u be b(p). Suppose -12 + u = -j. Is j < -1/3?
False
Let f = 146 - 166. Let n = -72 - -50. Which is smaller: f or n?
n
Let r(l) = l**3 + 29*l**2 - 45*l - 60. Let o be r(-30). Which is bigger: 389 or o?
o
Let m be 2/(-30) - (-131568)/720. Do m and 184 have the same value?
False
Let r = -5 - -15. Suppose -r = -i - 4*i. Suppose -g + 4 + i = 0. Which is bigger: g or 5?
g
Let q(z) = -z - 3. Let s be q(-4). Suppose 0 = -5*r - 5*g - 15, 3*g = -s - 11. Let h be -1 + 3 + (0 - 0). Which is smaller: h or r?
r
Let q = -29 - -32. Suppose -x + 3*x - 1538 = 0. Let f = 3866/5 - x. Which is smaller: q or f?
q
Suppose -19*p = 2*a - 14*p - 40, 32 = -2*a + 4*p. Let q = -3 - -4. Is a < q?
True
Let z = 1913297 - 3501335201/1830. Let v = z - -7/122. Let p = v - 14/15. Is -1 at least as big as p?
True
Suppose 207 = 16*o - 13*o. Let t = o + -70. Which is smaller: 3/23 or t?
t
Let j(p) = p**2 + 13*p + 19. Let q be j(-11). Let h be (18/75)/(q/(-5)). Is h smaller than 2/15?
False
Let b(s) = 5*s + 1. Let w be b(1). Let g(r) = 3 + 7*r**2 - 17*r**3 + 18*r**3 + 7*r + w. Let i be g(-6). Is 2 > i?
False
Suppose 17*y = 21*y - 4. Suppose y = 4*n - 3. Let l be 28*n*4/(-8). Which is greater: 0.1 or l?
0.1
Let s = 68 - 32. Let m = s + -52. Let l = m - -17. Which is greater: l or 4?
4
Suppose -3*z + 3 = 0, -3*z + 5*z = 4*r - 302. Let i = -72 + r. Is i smaller than 2?
False
Let o(g) = g**2 - 4*g - 7. Let s be o(6). Suppose s*y = 5, u + 0*u - 5 = -3*y. Let f be u/1*3/2. Is f <= 3?
True
Let b = -902.1 + 902. Let s(r) = -r**2 - 7*r - 5. Let k be s(-5). Let h be 1/(-3) + k/(-3). Which is greater: b or h?
b
Let y be 130/8*(-4)/10. Let v = -12 - -5. Do v and y have the same value?
False
Let j be ((-3)/2 + 0)*84/(-1071). Is j > 0.1?
True
Let h = 1177 + -1246. Is h at least -70?
True
Let l be ((-1)/(-4))/(2/(-4)). Let u = -0.886 + 0.99. Let t = -0.104 + u. Which is greater: t or l?
t
Suppose -1 = 2*c - 11. Let y(n) = n**3 - 5*n**2 + 6*n - 6. Let v be y(c). Which is greater: v or 25?
25
Let d(z) = z + 1. Let j(n) = -n**2 + 2*n - 6. Let k(h) = -5*d(h) - j(h). Let m be k(6). Does m = -2?
False
Suppose -5*u + 14 = -5*n - 6, -4*u - 4*n + 8 = 0. Do 10 and u have the same value?
False
Let i be (-7)/36 + 14/224*12. Is -0.07 <= i?
True
Let h = -421 + 420.79. Let q = 0.1 + 0. Which is greater: q or h?
q
Let n be 2/1 + -1 + 6. Suppose n*o = 3*o - 108. Suppose 0 = 2*d - 4*g + 48, -2*d - 46 - 5 = -g. Is o <= d?
True
Let v = 44 - 41. Suppose -v*d + 176 = 8*d. Are d and 17 nonequal?
True
Let o be (-5)/((-20)/8) - 1*36. Let h = -17 - -9. Let c be (-15)/o + h/16. Does 1 = c?
False
Let x = 0.26 + -3.06. Let f = 3 + x. Let z be ((-1)/(-3))/(10/120). Which is smaller: f or z?
f
Let p be (-17 - 1)*1*(-38)/(-836). Which is bigger: p or 0?
0
Let c(g) = g**3 + 3*g**2 - 1. Let h(t) = -2*t**3 - 5*t**2 + t + 1. Let b(l) = -9*c(l) - 4*h(l). Let n be b(-6). Let z be (n + 0/4)/1. Which is greater: -8 or z?
z
Let l = -12 + 11.92. Let q = 9 - 15. Which is bigger: q or l?
l
Let k = -11177 + 44465/4. Is -61 smaller than k?
True
Let r(c) = c + 1. Let k be r(-2). Let v be (k - 0)*266/19. Is -14 equal to v?
True
Let q = 757 - 5316/7. Suppose 0 = 7*t - t + 6. Which is smaller: q or t?
q
Suppose -3*f - 4 = -5*f - 2*i, 0 = -2*f + 2*i - 12. Let r be 3 + -2 - (f + 3). Suppose 4*g - 4 = -a, -3*a + 5*g = 2*a + 30. Which is greater: a or r?
r
Let m(q) = q**2 - 4*q - 8. Let d be m(7). Let z = d - 3. Let t(a) = -2*a + 2. Let f be t(-4). Is f < z?
False
Suppose 4 = 3*s - 2*w, -4*w = -3*s + 2 - 0. Suppose -5*g + 2 = n + 9, -3*g - s*n - 7 = 0. Is -1/64 not equal to g?
True
Let a be (-4)/20 + (-1)/(-5). Suppose -5*j + 2 + 3 = a. Which is greater: 1/22 or j?
j
Let o(m) = m**3 - 5*m**2 - 4. Suppose 0 = -4*g - l + 13, -5*g + 8 = 5*l - l. Let h be o(g). Let j be ((-10)/h)/(-1 + 0). Is -9 greater than or equal to j?
False
Let c(s) = s + 9. Let m be c(-8). Suppose -4 + 5 = -l. Let x be (20/45)/(l + -1). Do m and x have different values?
True
Let q be (-118)/(-177)*(-294)/(-4). Which is greater: -2/7 or q?
q
Let v be 65/(-15) + 3 + (-1400)/21. Which is smaller: v or -0.3?
v
Let z(c) = -8*c**2 - 3*c + 6. Let p be z(1). Which is bigger: -175 or p?
p
Let n be ((-52)/(-10))/((-5)/25). Let l be (-4)/n + 24/(-104). Which is greater: l or 1?
1
Suppose 4*v + 37 = r, 0 = 6*v - 3*v + 9. Let k be (-14)/144 - (-3 + r/9). Let g = -2.7 - -0.7. Is g greater than k?
False
Let o be -2 - (10 + (-15)/3). Is -18 < o?
True
Let j = 9 - 153. Is -144 equal to j?
True
Suppose -g + 40 = 3*g - 3*d, 3*d + 12 = 0. Is g at most 10?
True
Let j be 1/(-2)*(3 - 25). Suppose -2*w = -j - 11. Suppose 5*i - 1 + w = 0. Is i bigger than -9/4?
True
Let m be (20/8)/(6/(-24)*2). Which is bigger: -66/13 or m?
m
Suppose 0 = -h - 7. Let k be (-6)/((27 - 22) + (-17)/4). Is h at most as big as k?
False
Let o = 106 + -105. Do -1/101 and o have the same value?
False
Suppose 6*b + 36 = -12*b. Is -0.1 at most as big as b?
False
Let l be ((-17)/(-7))/((-18)/(-21)). Let p = -1/3 + l. Which is greater: 1 or p?
p
Suppose d = 2*d. Let l(o) = -o**3 - 3. Let z be l(d). Let h be (-4)/z*(-6)/(-4). Do h and -4 have different values?
True
Suppose 3*h + 4 = -t, 3*h + 16 = 3*t - 2*h. Let f be ((-6)/(-1935))/(30/18 - t). Which is greater: 0 or f?
0
Let q be 4 - (-2 - 1 - -7). Suppose -5*a - 45 = -q*a - 5*m, 1 = -m. Let u = 14 - 22. Does u = a?
False
Suppose 17*r = 15*r + 26. Let s be (-1 - (r + -2))*(-1)/(-5). Is -1 less than s?
False
Let q = 2/157 + -1103/314. Let i(p) = 4*p + 7. Let j be i(-3). Is j not equal to q?
True
Let m = -2178/8099 + 21/89. Do m and 1 h