 4*g + 26 = 0. Let b(n) = -n**2 + 3*n + 5. Let o be b(4). Let z be (m*o)/(-7 - -5). Is z <= -1?
True
Suppose h + 5*i + 27 = 3*h, 4*h - 24 = 4*i. Let b = 8 + -10. Let g be (h/b)/(1/(-2)). Is g greater than or equal to 0?
True
Let k be 1/3*(-6)/20. Let l(v) = -v**3 - 13*v**2 - 12*v. Let u be (-6)/(-3) - (-14)/(-1). Let j be l(u). Which is greater: j or k?
j
Let j(i) = -5*i + 66. Let f be j(13). Let q be f*(-4)/1 - 13. Is q > -17?
False
Let x = 3/28 - -37/28. Let k = 0 + 1. Is k greater than x?
False
Let o be 87 + 15/(-6)*30/(-25). Is o < 89?
False
Suppose 51*x - 143*x = 98*x. Let g = 26 - 15. Let a = -5 + g. Are a and x equal?
False
Let t = 532.9 - 498. Let h = 87 - 122. Let w = t + h. Is -1.3 bigger than w?
False
Let l = 120 - 145. Is l at most -22?
True
Let i = -54 - -16. Let q = 30 + i. Is q at least as big as -2?
False
Let k be 10/(-4)*(0 + -2). Suppose 2*x + k + 1 = 0. Let p(h) = h + 4. Let o be p(x). Is o equal to -6/13?
False
Suppose 7*m - 6*m + 24 = 4*x, 3*x - 9 = 3*m. Suppose f - 5 = -0*f. Which is bigger: x or f?
x
Let d be (-6)/(-45) + (-257853)/1035. Is -250 at most as big as d?
True
Let d = 1291 + -984. Which is greater: d or 309?
309
Let s be (-720)/(-117) - (-4)/(-26). Let p = s - 3. Suppose -2*n - p*d + 6 = -4*d, 2*n + d + 2 = 0. Which is bigger: n or 2?
2
Let b = 69 - 68. Is b at most -3?
False
Let m(c) = -c**3 - 20*c**2 - 1. Let d be m(-20). Which is bigger: 3/10 or d?
3/10
Suppose -10*x + 1700 = -1050. Is x at least 277?
False
Let l be 24*(-2 - 22/(-8)). Let o be (-2)/(2 - 32/l). Suppose x = c - 120 + 110, 0 = x + 2*c + 7. Is x > o?
False
Let c = 17.97 + -21.5. Is 2/3 smaller than c?
False
Let j be ((-66)/(-9) + -2)*3. Let s = 138 + -194. Let b be 6/28 - j/s. Which is smaller: 0.03 or b?
0.03
Let h(j) = j**3 + j**2 + j + 20. Suppose -4*o = -3*o - 4*c - 4, 0 = 4*o - c - 1. Let y be h(o). Suppose m + 14 = -2*v + 4, y = 5*m - 4*v. Is m equal to 0?
True
Let y be (2/76)/(30/(-60)). Is 1 at least as big as y?
True
Let f(p) = -p**3 - 9*p**2 - 20*p + 4. Let z be f(-5). Let c be ((-26)/(-16))/1 + (-4)/z. Is 0 greater than c?
False
Let f(g) = 2*g**2 - 65*g + 31. Let p be f(32). Is p bigger than -17/22?
False
Let y = -140/3 - -47. Let p be (-40)/(-4)*1 + -2. Suppose -4 + p = -g. Is g less than or equal to y?
True
Let t be (1203/(-4))/(82/(-328)). Is 1202 less than or equal to t?
True
Let k = -103 + 103. Which is greater: k or -1/79?
k
Let s = 11060731/1321 + -8373. Is -1 not equal to s?
True
Let q be 2/8 - 150/280. Which is smaller: 0.01 or q?
q
Suppose -15*c + 16 = -17*c - 5*g, 0 = -g - 4. Is c less than 5?
True
Let o be (-335)/(-3417)*(-1 - 0). Which is bigger: 1 or o?
1
Let y = 758 + -760. Which is bigger: y or 24?
24
Suppose -209 = 9*t - 182. Let b be 13/(-26) - 50/(-4). Is b >= t?
True
Suppose -94 = -4*i + k, 4*k = 3*i - 8*i + 128. Suppose 3*h + 4*m + 46 = 131, 5*h - 3*m - 103 = 0. Which is smaller: i or h?
h
Let l be 1 - (3 - (-1 - -2)). Let v be ((-3965)/416)/5 + (2 - 0). Which is smaller: v or l?
l
Let c = -77 - -69. Let t = -7.94 - c. Which is smaller: t or 2/7?
t
Suppose 5*l - 38 = 7. Let f be 14/5 - (-10)/50. Suppose -18 = y - f*y. Is y != l?
False
Let f = -51.7 - -49. Let l = f - 1.3. Let w = l + 2. Is w bigger than -2?
False
Let m = -3.1 - 0.1. Let q = 0.2 + m. Let x = -19 + 21. Is x not equal to q?
True
Suppose 4*y + 26 = 5*v, v - y = -3*y - 6. Which is smaller: 151 or v?
v
Let o = 79 + -81. Suppose -2 = 4*f + 2. Let q = f + -2. Are q and o equal?
False
Suppose -3*v - 11 - 112 = 0. Let f be 2/(-9) + (36/(-324))/(2/716). Is v less than f?
True
Suppose 2*t - 68 = -4*r - 0, 68 = 4*r + 5*t. Let w = r - 14. Suppose 2*l - 15 = -w*l. Is l less than 3?
False
Let i = 575 + -575.0068. Which is bigger: i or 0?
0
Suppose -3*x + 0*x - 142 = 4*u, 2*u = 10. Let f be ((x/(-141))/6)/(1/(-1)). Which is bigger: 1 or f?
1
Suppose -k - 4*k = 0. Let d = 512 - 5631/11. Which is greater: k or d?
d
Let m(q) = q**2 + 139*q + 1317. Let i be m(-10). Is 24 bigger than i?
False
Let p be (1 + 2)/((-72)/32). Let m = p + 1. Is 0.07 at most as big as m?
False
Suppose 5*u + 18 + 2 = 0. Let d(y) = 3*y + 8. Let s be ((-6)/4)/((-18)/(-48)). Let k be d(s). Is u < k?
False
Suppose -47 - 89 = -2*s. Let z = -21229/320 - -7/960. Let b = z + s. Which is bigger: b or 1?
b
Let y be 4/(4/123*3) - -5. Which is smaller: 47 or y?
y
Suppose 2*w = -i - 18, i + 6*w - 3*w + 21 = 0. Are i and -3/29 equal?
False
Let z(j) = -2*j + 10. Let y be z(0). Let v be (-105)/y*((-8)/(-3))/(-4). Is 9 <= v?
False
Let g = -27/10 - -3. Which is bigger: g or 0?
g
Suppose 3*q + 4*r - 8 = 0, q = r - 3 - 6. Let t = 0.28 + -13.28. Let v = -11 - t. Is q at least as big as v?
False
Let t = -11/8 - -61/56. Which is bigger: t or 528?
528
Let y be 151569/(-2970) + 6/(-20). Which is bigger: -52 or y?
y
Let k = -18791/15 + 1253. Which is smaller: -9 or k?
-9
Suppose -991 = 4*k - 2047. Is 264 at least k?
True
Suppose 0*p = -3*p - 24. Let c(l) = 4*l**2 + 5*l - 5. Let j be c(2). Let r = 13 - j. Is r < p?
False
Let w = -5408/7751 + 30/337. Is w >= -2?
True
Let n = -478 + 352. Is n <= -125?
True
Let m = -162 - -101. Let j = -58 - m. Which is greater: j or 18/11?
j
Suppose 5*g - 13 = -5*s + 2*s, 1 = 5*s - 2*g. Suppose -11 = -2*f - 5. Is f smaller than s?
False
Let k = -253 + 294. Which is bigger: 40 or k?
k
Suppose 3*m + 5 = -19. Let l = 259 + -251. Let q = m + l. Is 1 smaller than q?
False
Suppose 303 - 96 = 5*h + 3*q, 0 = 2*h + 2*q - 86. Let p = -116/3 + h. Which is smaller: -2/11 or p?
-2/11
Let q = -336.4 - 21.6. Is -1 not equal to q?
True
Suppose -3*u = -5*w + 330, 2*w + 0*w + 220 = -2*u. Which is bigger: u or -111?
u
Let i be 35/(-150) + 10/20. Is i bigger than 30?
False
Suppose -89*f - 38498 = -37786. Let i(q) = -4*q - 1. Let b be i(3). Is b greater than f?
False
Let u be (-50)/28 - 2/(-7). Let p = -20 + 19.4. Let k = p + 0.7. Are k and u equal?
False
Let o(j) = -329*j**3 - 3*j + 274*j**3 - 1 - j**2 - 1. Let d be o(-1). Which is greater: 53 or d?
d
Let t = -16 - -14.8. Let n = 13.8 + -14. Let q = t - n. Is q <= 2/9?
True
Let f be 144/(-26) - 36/(-18). Is -4 less than or equal to f?
True
Suppose 14 = -2*m - 3*d, 0 = 4*m + 3*d + 9 + 7. Suppose -2*q + 2*k + 3*k - 13 = 0, 0 = q + 5*k - 16. Suppose 0 - q = t. Are m and t equal?
True
Let z = -396 - -433. Is 3 bigger than z?
False
Suppose -4 - 5 = 3*a. Let v = 23 + -44. Let g = v - -21. Are a and g non-equal?
True
Let x be (3 + -5 + 1)*(1 + 18). Let u = 22 + x. Which is smaller: 7/4 or u?
7/4
Suppose 0 = 3812*v - 3822*v + 10. Let d be (-2)/194*2/3. Which is bigger: d or v?
v
Let u = -170 + 169. Is -2/315 greater than or equal to u?
True
Let c be (-15)/(-92) - 2/8. Suppose 5*u - 12 = 13. Suppose -b - u + 6 = 0. Which is greater: c or b?
b
Let q = -0.5 - -0.24. Let z = q - 16.74. Let u = z + 16.9. Which is smaller: u or -1/2?
-1/2
Let c = -23 + 20. Let q be -16*(-3)/(-126)*(2 - -7). Which is bigger: q or c?
c
Let h = -35934893/230 + 156239. Let l = -10/23 + h. Let w be (10 + -2 + -7)*0. Which is smaller: l or w?
l
Suppose -n - 4*n = 0. Let y(j) = -4*j**2 + j + 27. Let c be y(-5). Let a be ((-2)/c)/(2/6). Is a <= n?
False
Let p be (-1 - -3)/2 - -1. Suppose -5*t = -5*y - 105, t = 6*t + 3*y - 113. Let i = -18 + t. Which is smaller: i or p?
p
Suppose -2*f = 5*r + 3, -2*f = 5*r + 3*f. Let k = 203 - 18. Let b = k + -3516/19. Is b greater than r?
True
Let s = -0.5 - -0.6. Which is smaller: 99 or s?
s
Let t = -0.4 + 0.2. Let w = t + 0.3. Let u = 11110 + -11110.3. Is w less than or equal to u?
False
Let n = -132 + 186. Let q = 44 - n. Is -1 at most as big as q?
False
Let n(j) = 3*j + 6. Let l be n(-4). Let q(y) be the first derivative of -y**2 - 12*y - 140. Let m be q(l). Is 2/5 greater than m?
True
Let c(i) = -i**3 - 15*i**2 - 12*i + 4. Let k be c(-14). Let a = k - -40. Suppose a = 4*d - 4*x, 4*d + x - 6*x = 19. Which is smaller: 1/24 or d?
1/24
Let t(y) = y**3 - 14*y**2 + 18*y + 29. Let f be t(11). Which is smaller: f or -134?
f
Let l = -532 + 1089. Is l less than 558?
True
Suppose 0 = -7*z + 3*z - 8. Let q = 0.04 - -14.96. Let r = -15.1 + q. Which is greater: r or z?
r
Let b = 0.4 - 7.4. Let c = -250 - -250.151. Let h = c + 0.049. Which is smaller: b or h?
b
Let j be (102/(-15))/(6/50). Let a = j + 58. Suppose -5*h - 11*x = -12*x - 1, 0 = -h + 5*x - 19. Which is s