 0). Let m = -113 + h. Is m less than -3/4?
False
Let o(g) = -g**3 + 10*g**2 - 9*g + 22. Let i be o(9). Suppose 21 = 5*b - h, -2*b = -4*h + 5 + 1. Suppose 0 = -s - b, -2*j + s + i = -3*s. Is -2/7 equal to j?
False
Let z(b) = b**3 - 10*b**2 - 2*b + 3. Let f be z(10). Let k = -16 - f. Is 1 at least k?
True
Let u be (-5 + (-26)/(-3))*18. Are u and 67 equal?
False
Suppose 5 = -2*m + 1, 2*z - 4 = -m. Let g = 4 - z. Which is bigger: g or -3/31?
g
Let i = 0.126 + 0.874. Which is smaller: -197 or i?
-197
Let n be 2 + (4312/(-2149))/1. Which is bigger: n or 0?
0
Let r(y) = -y**2 - 5*y. Let g be r(-6). Suppose 22*w + 288 - 46 = 0. Is g >= w?
True
Suppose h - 61 = -3*k - 0*k, -2*k = -3*h + 128. Let z be -6*(h/(-24))/((-3)/12). Is z not equal to -47?
True
Let i(c) = 8*c**2 + c + 1. Let r be i(-1). Suppose 3*a - 4*a = 2*m - r, -2*a + 19 = 5*m. Let t be (48/63)/(a/(-3)). Is t greater than 0?
False
Let l = -757 + 803. Is l greater than 223/5?
True
Let r(t) = -2*t**2 + 23*t - 81. Let s be r(5). Which is smaller: s or -56?
-56
Let o = -47.9 + 67.2. Let t = 19 - o. Let d = 0.37 + t. Are d and -1 nonequal?
True
Let f = 31.5 + 26.2. Let v = -58 + f. Is v equal to -2?
False
Let b be 2 + (-1 + 26)/5. Suppose b + 21 = 14*k. Let s = -991 - -10915/11. Which is bigger: k or s?
k
Let m(p) = -2*p + 17. Let i be m(7). Let t = -24 - -27. Suppose -5*k - 3*x = -i - 6, k - 9 = -t*x. Is k greater than -3/4?
True
Let c(r) = -r**3 + 9*r**2 - 31*r + 188. Let f be c(8). Which is bigger: 58/11 or f?
58/11
Let g be (2 - -6)/(2 - 0). Suppose g = 5*n - 16. Suppose 3*w + 2*w - n*h = 0, w - 3*h - 11 = 0. Is -5 < w?
True
Let q = -2582 - -2579.2. Let r be (-10)/(-8)*(-1)/(-5). Which is bigger: q or r?
r
Let u be -9 - (-6448)/648 - 3/3. Are 1 and u unequal?
True
Let d(k) = k**2 - 8*k + 9. Let m be d(7). Let j be (6/(-18))/(2/(-48)). Suppose -3*t - 2*c = -3, j*c - 3*c + 15 = 0. Is t not equal to m?
True
Let l = -1.395 - -9.395. Which is smaller: 6.6 or l?
6.6
Let s be (-453)/(-1480) + (-9)/(-24). Let i = 3/37 - s. Which is greater: i or -2?
i
Let b(m) = 3*m. Let n be b(-4). Is -8 smaller than n?
False
Suppose -9*t - 251 = -4*t + x, t = -2*x - 52. Let s(z) = z**2 - 16*z + 17. Let u be s(15). Let m be u + 1 + t/18. Is 2/5 less than or equal to m?
False
Let i = -70 + 138. Suppose i = 4*x - 4*d, -3*d = 3*x - 84 + 27. Is x < 18?
False
Let z(g) = 4*g**3 + 17*g**2 - 2*g - 11. Let s be z(-4). Suppose -5*b = -10*b + 70. Is b <= s?
False
Suppose -55 = -6*o - 5*o. Suppose o*d = -3*t - 4, -6*d - 4*t = -8*d + 14. Let l = 67/76 + -12/19. Is d greater than or equal to l?
True
Let z = -15 - -7. Let x be z/(-6) - 15/(-9). Is x >= 3?
True
Let x be (0 - -1)/(8/(48/(-4266))). Let p = 2905/43371 + x. Which is greater: p or 0?
p
Suppose 21*u = 17*u - d - 1420, 348 = -u - 2*d. Is u greater than or equal to -355?
False
Let r = 81 - 67. Suppose 20 = -2*v + 4*z - 38, 10 = -5*z. Let m = 47 + v. Is m at least as big as r?
True
Let j(b) = 28*b**2 + 168*b + 1. Let l be j(-6). Which is bigger: -2/203 or l?
l
Let c(f) = f**2 + 5*f + 1. Let l be c(-5). Suppose -4*y + l - 5 = 0. Let g = 505/7 + -72. Is y <= g?
True
Suppose 12 - 45 = 3*f + 3*u, -3*f = -5*u - 7. Is f at most 1/6?
True
Suppose 4*o - 3 = 5*h + 6*o, -17 = 3*h + 5*o. Suppose 0*s + s = -36. Let q be (1/(-9))/(24/s). Is h equal to q?
False
Let n be (-87)/30 - (-6)/12. Let p = -41/15 - n. Is p greater than -2/29?
False
Suppose -5*h - 3*q - 5 + 1 = 0, -q + 2 = 5*h. Let y be (h + -2 - 0)*4. Which is smaller: 3 or y?
y
Let i = 428.6 + -427. Is i != 2/39?
True
Suppose 4*q + 26 - 90 = 0. Let o = q - 18. Let u be (-22)/152 - o/8. Which is smaller: -1 or u?
-1
Let q be (-6)/10 + 397/670. Which is smaller: q or -0.1?
-0.1
Suppose -h + 6*h + 25 = 0, 0 = -3*v - 3*h - 75. Which is smaller: v or -142/7?
-142/7
Let k(w) = -w + 32. Let y be k(26). Suppose 4*f + 5*b + 14 = 0, 5*f + 4*b = -y - 7. Is f < -1/18?
True
Let r(g) = -g - 3. Let o be r(-3). Let a = -1515/481 + 42/13. Which is smaller: o or a?
o
Let y(a) = -a**3 - 16*a**2 - 40*a - 19. Let k be y(-12). Is k greater than -114?
False
Let q = 52 + -51. Let b = -338 - -230. Let p be (-1)/(-4) - b/(-240). Is p greater than q?
False
Let t be (-10*4/8*-5)/1. Is t bigger than 46?
False
Let q(o) be the second derivative of o**5/20 - 5*o**4/6 + 4*o**3/3 + 6*o**2 + 13*o. Let b be q(9). Which is bigger: b or 16/5?
16/5
Let f be 115/20 - (2 + 0). Suppose -3*g = -12*g + 27. Is g greater than f?
False
Let c(b) = -b**2 - 12*b + 3. Let n be c(-13). Let o(d) = d + 34. Let v be o(n). Which is smaller: 23 or v?
23
Let c be 2*3/18*(-114)/1615. Suppose 3*q + 4 = -q. Let d(p) = -2*p**2 - p. Let n be d(q). Is c >= n?
True
Let i(f) = f**3 - 6*f**2 - 8*f. Let l be i(6). Let p(d) = -25*d + 704. Let m be p(30). Is l at least as big as m?
False
Let t(k) be the third derivative of -k**5/60 - 13*k**4/24 - 3*k**3/2 - 18*k**2. Let v be t(-13). Is v smaller than -9?
False
Suppose g = -g + 52. Let f be 18/72 + g/(-72). Is 2/5 <= f?
False
Let r(l) = 6*l + 2 + 1 - 2*l + 0*l. Let a be r(-5). Let u = -14 - a. Does 1/2 = u?
False
Let s = -13223/8 + 1653. Let c = -4 + 7. Suppose 7 - c = -4*n. Is n at most as big as s?
True
Let s = -7.1 - -55. Let m = 51 - s. Let f = 12.9 + m. Which is greater: -2/5 or f?
f
Let j = 2/445 + -3578/4005. Which is bigger: j or -3/8?
-3/8
Let n = 325 - 127. Let u = 2194/25 - -2771/25. Let c = n - u. Which is smaller: c or -5?
-5
Let y(d) = -d + 4. Let j be y(9). Let m be j/(-2)*8/5. Suppose 1 = -3*k + m. Is k > -2/7?
True
Let r = -0.23 - 3.47. Let v = -3.9 - r. Which is smaller: -8 or v?
-8
Let k = 15638/15 - 1042. Is 2 smaller than k?
False
Let a = 83 - 78. Suppose a*k + 515 = 5*b - 10*b, 2*k - 4*b = -206. Is k < -102?
True
Let h = 15 - 13. Suppose 0 = 3*b - 5*z - 6 + 5, h*z = 8. Suppose 0 = b*k - 9*k. Is -1 != k?
True
Let b = 2/11 + -19/44. Let o be 15/2*(-36)/30. Let h be o/(-2) + (-4)/1. Is h at most b?
False
Let c be (-14)/6*(-14)/49. Which is smaller: c or -22?
-22
Let c be (-13)/(-2) + (-2)/4. Let o be -3 + 17 - (c - 3). Which is smaller: o or 49/5?
49/5
Let l = -1438.05 + 1438. Is l bigger than -155?
True
Suppose 0 = -5*i + 3*j - 49, -4*i - 29 = 5*j - 12. Is -1/3 bigger than i?
True
Let l(t) = -t**3 + 12*t**2 + 31*t + 4. Let m be l(14). Which is greater: -6 or m?
m
Let q = 157/16 - 146763/14960. Which is smaller: q or 1?
q
Suppose 5*a = 2*n - 225, 114 = n + 3*a - 4*a. Which is smaller: 119 or n?
n
Let u(b) = 2*b**2 - 4*b + 1. Let x(i) = i**3 - 10*i**2 - 2*i + 23. Let k be x(10). Let y be u(k). Is 4 less than or equal to y?
True
Suppose 4 = 2*t + 2*t. Let b be -2 + (1 - t) + 6. Suppose -3*p - 2*p = -10. Do p and b have the same value?
False
Let b = 1 - 10. Let h = -9.14 + 0.14. Let x = b - h. Is 3 greater than x?
True
Let j = 117 + -120. Is j less than or equal to 0?
True
Let h(b) = -8*b**3 + 2*b - 2. Let k be h(1). Let g be k/(3 + 37) - 8/10. Which is smaller: -4/35 or g?
g
Let n be 1 - ((-474)/117 + 4)*-12. Is 1 greater than n?
True
Let h(k) = 5*k**3 + k**2 - 2*k + 1. Let t be h(1). Suppose -36 = 5*j + 4*j. Let d be 1/(-5) + 20/(-25)*j. Which is greater: d or t?
t
Suppose -3*b - 10 = -f, 3*f = 2*b + 1 + 8. Is -31/8 greater than or equal to b?
False
Let j = -429 + 423. Let c = 9 - 4. Let t be -2*(1 + c/(-6)). Do t and j have different values?
True
Let t be 246/(-205)*(-10)/(-153). Which is greater: t or 1?
1
Let w be (-169)/(-78)*(28/12 - -1). Is 7 greater than w?
False
Let k = 45 - 160. Let m = k - -85. Which is greater: m or -32?
m
Let l = 40392/7 - 504650/119. Let g = 1530 - l. Which is smaller: g or 0.1?
0.1
Suppose -3*g = -4*q + 419, -2*g = 2*q + 2*g - 182. Let n be 3/(-12) + q/372. Which is smaller: 0 or n?
0
Suppose 36 = 4611*a - 4605*a. Let o = -53/6 - -40/3. Is o > a?
False
Let v be (-3)/5 - (-219)/15. Let i be 14/28*v/(-1). Let k = -5 - i. Is k equal to 14?
False
Let v = -5652 - -22613/4. Let m = -14 - -8. Let g = m + 8. Is g bigger than v?
True
Suppose 5 = 5*w - 5. Suppose 0 = -2*b - w*b + 16. Suppose -b*o = -0*o. Is 2 greater than or equal to o?
True
Let v(g) = -10*g + 2. Let z be v(3). Let w be (-1)/((z/(-12))/(-7)). Suppose -5*u = 5*p - 20, -12 - 8 = 5*u - w*p. Which is smaller: u or 3/20?
u
Let o = 8 + -8.07. Let g = o - -0.07. Let x be 0 - (-2 - (-5 - -3)). Do x and g have the same value?
True
Suppose -4*s - 