+ 27. Let h(r) = -r**2 - 12*r + 36. Let t be h(-15). Let g be i(t). Is g <= -2/41?
False
Let g = 3.2 - 4. Let b = -0.8 - g. Suppose 4*l = 3*r - 1, 18*r - 5*l - 10 = 23*r. Which is bigger: b or r?
b
Let j be 31/(-40) + (20 - (-628)/(-32)). Let n = -2 - -1.92. Is j equal to n?
False
Let b = -2.03 + 2. Let s(p) = p**2 - 7*p + 8. Let u be s(5). Is u greater than b?
False
Let z(m) = m - 79. Let t be z(45). Let w(k) = k**3 - 8*k**2 + 7*k - 4. Let h be w(6). Are t and h equal?
True
Suppose 0 = -4*x - 8, v = -x - 20 - 7. Suppose -c + 19 = 45. Which is bigger: v or c?
v
Suppose 3*n - 30 + 2 = 4*z, 4*n + 36 = -2*z. Let y be 3/(-12)*-4 - z. Is 12 greater than or equal to y?
True
Let t = -150.1 - -149.461. Let a = 0.039 + t. Is a at least as big as -1?
True
Suppose -5*h = -2*y + 11, -5*y + 16*h - 50 = 19*h. Let t be -1 + (1 - (-1)/2). Which is bigger: t or y?
t
Let x = -276 + 281. Which is greater: x or 0.09?
x
Let q(s) = s - 10. Let m(f) = f**3 + 6*f**2. Let r be m(-6). Let k be q(r). Let b be (33 - 3)*4/k. Do b and -11 have the same value?
False
Let b(x) = -x**2 + 7*x - 4. Let w be b(6). Suppose q + 2 = -w*k, q = -6*k + k - 5. Which is bigger: q or -3/13?
q
Suppose -3 = -2*q + 1. Suppose g - 4 = 0, q*v - 2*g - 12 = -2*v. Let o = -7 + 13. Which is bigger: o or v?
o
Suppose 0 = -34*o - 4255 + 583. Is 0 at most as big as o?
False
Let s = 1344.9 + -1345. Is s >= 0.131?
False
Let a be (-27)/6*(80/2658)/(-10). Is 1 at most as big as a?
False
Let b = -509 - -4574/9. Let o = 100 + -100. Which is bigger: b or o?
o
Let h be ((-2)/(-4))/((-1)/(-2)). Let p = 83 - 65. Let f be (-28)/p - 16/(-8). Are h and f nonequal?
True
Suppose 31*y = 29*y. Is -3/407 >= y?
False
Suppose 4*o - 2*o = 3*s - 9, 0 = -4*o - s - 39. Which is bigger: 1 or o?
1
Let z = 193 + -193. Let x be (1 - 15/12)*439. Let s = x - -109. Do z and s have different values?
True
Let y be (-1 - (2/4)/(-1))*0. Suppose y*n + 4*n = 3*i - 71, -2*i + 66 = -4*n. Is n smaller than -13?
True
Let t be (-334)/(-14) + (-22)/(-154). Which is greater: t or 27?
27
Let m = -23271/7 - -34510907/10381. Let w = 1427/41524 + m. Is w >= -1?
True
Let v = -212 + 2117/10. Suppose 4*k - t - 33 = -2*t, 4*k - t - 23 = 0. Let a be ((-14)/4)/k*2. Is a at most v?
True
Suppose -2*i - 20 = -58. Suppose 0 = 6*t - 241 + i. Is t bigger than 37?
False
Let b(j) = -j**3 + 17*j**2 - j. Let y be b(17). Which is greater: -16 or y?
-16
Let h = 1.12 - -0.1. Let d = h + 0.18. Let b(g) = -8*g - 46. Let n be b(-6). Which is smaller: n or d?
d
Suppose 11*d - 598 = 1481. Suppose -183 = 3*u - d. Which is greater: u or 21/13?
u
Let a be 14/(-16) - 156/(-416). Which is smaller: a or 1/150?
a
Let p(a) = 2*a - 2. Suppose 0 = d + 5*h - 36, 4*h - 93 = -4*d + h. Suppose 2*c - d + 5 = 0. Let l be p(c). Is l equal to 14?
True
Suppose -5*k - 77 = 2*s + 143, 4*k + 183 = -3*s. Let n = -6 - k. Is n greater than 36?
False
Suppose -d = -2*y + 2, -4*y - d = 2*d - 4. Let p be -1 - y - (-3 + 4). Let o be 0 - 3*(-2)/p. Is -2 at least as big as o?
True
Let y be 245/(-35) + 663/21. Do 26 and y have the same value?
False
Let s = -63 + 63.27. Let k = 0.307 - s. Are -1 and k equal?
False
Let x(q) = -q**2 + 8*q - 10. Let m be (-3)/((-3)/(-1))*-9. Let v be x(m). Let c = 18 + v. Which is greater: c or -2/67?
-2/67
Suppose -8*n + 3*n = -125. Is 20 smaller than n?
True
Let a = -138 - -142. Suppose 2*s = -a*x - 2, -x + 6 = 4*s + 24. Which is smaller: -29/5 or s?
-29/5
Let b be ((-4)/(-3))/((-4)/(-6)). Let l be (6/b)/(4 + (-55)/10). Which is bigger: -1 or l?
-1
Let u be (-3 - -3) + (-4)/(-197). Let f = u + 1130/2561. Is f less than or equal to 0?
False
Let u be (-92)/12*-3 - 1. Suppose 18*g - u*g = 0. Which is greater: g or -5/23?
g
Let y = 10/27 + -316/999. Let c = -107/74 - y. Is c bigger than -1?
False
Let m = -30.2 + 29.57. Which is greater: -2/5 or m?
-2/5
Let r = 2 - -8. Let j = -54 + 64. Let c = j - r. Which is smaller: -4/5 or c?
-4/5
Let n = -19.65 - -19. Let p = -2.4 - n. Let i = 0.25 - p. Is i at least as big as 1?
True
Let c be (-9)/(-12) + 4/32*202. Suppose p + 4 = 0, c = -2*a - 8*p + 3*p. Let l = -255/4 + 62. Is a less than or equal to l?
True
Let p = -868 - -943. Is p != 76?
True
Suppose -3 = -28*t + 31*t. Which is smaller: t or 1/96?
t
Let n(p) = -2*p + 2. Let d be n(-2). Let c(l) = 5*l - 1. Let z be c(2). Let f = -2 + z. Is d greater than or equal to f?
False
Let s be 3*(0 + 3/(-9)). Which is smaller: s or -4/353?
s
Let r be (-6)/24*20/14. Let d be (3 + -3)*(-2)/(-6). Is r not equal to d?
True
Suppose 5*z - 28 = -2*a, -2*z + 16 = a + z. Suppose -5*h - 27 - 8 = -5*n, 3*h + 28 = a*n. Let f be (n/14)/((-1)/(-2)). Is 4/3 at most f?
False
Let r(o) = 2*o + 8. Let m be r(3). Let x be (-1 - 8/6)*m/(-49). Are x and -18 nonequal?
True
Let g = 0.2 - 0.3. Which is smaller: -7/2 or g?
-7/2
Suppose 0 = x - 5*v - 27, 0 = -0*v + 4*v + 20. Suppose -4*w = 6 - x. Let z = 1091/21813 - -7/661. Is w >= z?
False
Let v = -407 - -4474/11. Let b = 0.7 + 4.3. Let j = b - 4.9. Is v greater than j?
False
Let m = 1490 + -1499. Is 12 != m?
True
Let c be 47 + (3/(-4) - (-30)/(-24)). Let h = -40 + c. Let j(l) = l**3 + 7*l**2 + 4*l - 8. Let m be j(-6). Is h < m?
False
Let c(v) = 626*v + 75. Let k be c(-1). Is k < -550?
True
Let x = -0.632 - 0.368. Is -1/2 greater than or equal to x?
True
Let n = -1337 + 1337.1. Let z(s) = -s + 1. Let g be z(2). Which is bigger: g or n?
n
Let u(r) = -8*r + 1. Let p be u(1). Let q be -3 + (7/(-4))/p. Which is smaller: q or -3?
-3
Let m = 572 - 573. Is m at least as big as -1.9?
True
Let v = 207 - 1038/5. Let t = 1 - -1. Suppose -t*m - 4 = -2*w, -m - 3 = 3*w - 1. Is v at most as big as w?
True
Let w be 5*2/4*-2. Which is smaller: -2 or w?
w
Suppose 0 = l - 1, -2*v - 2*l = -0*v - 26. Suppose 0 = o - v*o - 88. Is -9 at least o?
False
Suppose 3*j - 26 = -k + 7*j, -3*k + 118 = -2*j. Does 30 = k?
False
Let m(q) = 2*q**3 - 9*q**2 - 2*q + 4. Suppose -5*j + r = -2*j - 11, 4*r - 4 = 0. Let g be m(j). Which is smaller: g or -21?
-21
Let v = -7168 - -2740. Let x = v + 190382/43. Let z = -234/215 + x. Do z and -3 have the same value?
False
Let n be 59/70 - (-30)/(-35). Let p(c) = c**3 - 6*c**2 + 1. Let o be p(6). Which is greater: n or o?
o
Let h be 4/(-3) - (-3 - (-330)/192). Which is smaller: h or 0?
h
Suppose 0 = 2*p - 4*q + 24, 3*p - 4*q = q - 31. Let m be (-3 - 5) + (-2)/p. Let k = m + 10. Is k at most as big as 3?
True
Let w = -158/5 + 454/15. Which is smaller: 22 or w?
w
Let x = -334 - -294. Which is smaller: -3/5 or x?
x
Let s = 6.61 + -13.62. Let n = 7 + s. Let o be (4/21)/((-2)/(-3)). Which is smaller: n or o?
n
Suppose 106 = -3*p + 3*j - 29, 5*j = 2*p + 96. Which is bigger: p or -40?
-40
Let m = 6 + 10. Let n be (0 - -6)*10/(-3). Let i = n + m. Which is greater: i or -5?
i
Suppose 4*f = 85 + 267. Is f greater than 88?
False
Let t = -48/29 + 11453/6902. Which is bigger: t or -1?
t
Let u = 694 + -669. Which is greater: 10 or u?
u
Let f be (-9)/(-6)*2/(-3). Let u be (-12)/(-28)*(-7)/f. Let i be (u*-2)/2 + 3. Which is smaller: 1/29 or i?
i
Let a = -10 + -8. Let n = a + 20. Suppose b = 3*b + n. Is 2/7 at most as big as b?
False
Let s = 797 - 629. Is s >= 168?
True
Let a = 9 + -23. Let u = 14 + a. Which is bigger: 5 or u?
5
Suppose 3*a = -4*h + 26, -2*a - 4*h - h + 8 = 0. Suppose 121 = -5*n + 16*n. Let v = n - -2. Which is bigger: a or v?
a
Let y be 1/(-3) - 13/(-3). Suppose -2 - 46 = y*a. Let i = -20 - a. Does -9 = i?
False
Let z(k) = k**3 + 5*k**2 - 5*k + 6. Let p be z(-6). Suppose -3607 = -7*w - 1150. Let f = w + -3151/9. Is p <= f?
True
Let g = -39.9 + 40. Let w = -0.4 + 0.5. Let s = w + g. Which is smaller: s or 3?
s
Let c be (-1833)/234 - (-1 - 5). Which is smaller: c or -3/4?
c
Let g = 173 - 164. Suppose 3 = -4*s - g. Which is smaller: -4 or s?
-4
Let v(a) = -a**2 - 84*a + 734. Let q be v(8). Is q < 126?
True
Let u = 613 - 696. Which is bigger: u or -0.2?
-0.2
Let p(k) = 5*k - 19. Let o(i) = 6*i - 18. Let d(s) = 6*o(s) - 7*p(s). Let h be d(0). Suppose -5*w = 4*v + h, w + 1 + 4 = -v. Is v smaller than -2?
False
Suppose 0 = -15*k + 1716 + 834. Is k greater than 170?
False
Let s(q) = -36*q**2 - 187*q + 3. Let b be s(-5). Let m = 3 - 4. Which is bigger: b or m?
b
Let j(s) = -s**3 + 10*s**2 + 13*s - 16. Let u be j(11). Let z = -3 + u. Suppose 3*x - z = -0. Which is bigge