91/133. Let g = -7 + 9. Let p = 2 - g. Which is bigger: h or p?
h
Let a(n) = 0*n**2 - 4*n**2 + 7*n**2 + 1 - 2*n**2. Let m be a(3). Let p be 16/(-15) - m/(-25). Is p <= -1/9?
True
Let p = -13 - -13. Suppose 5*k - 60 = 3*w + 2*w, 5*w - 3*k + 54 = p. Let a(n) = -n - 14. Let v be a(-6). Which is smaller: v or w?
w
Let g(k) be the third derivative of 7*k**5/12 - k**4/12 - k**3/2 - 9*k**2. Let o be g(-1). Let r be o/(-14) - (-3)/7. Do -2 and r have the same value?
True
Let n = 332 + -449. Which is smaller: n or -233/2?
n
Let a = -3 + 2. Let c be (3 - 2) + 44/6. Let n = -131/15 + c. Is a > n?
False
Suppose 2*w - w - 21 = 0. Let l = 30 - w. Let x = 69/4 + -71/4. Is x at least l?
False
Let c = 645.8 - 646. Is c > -119?
True
Suppose 12 = -3*q + 5*l - 0, 11 = -q + 4*l. Suppose 3*g - 8 = 1. Suppose 0 = 2*b - 5*m + 23, -b - g - 7 = -2*m. Which is smaller: b or q?
b
Let z(j) = -j**2 + 4*j + 3. Let y be z(3). Let l be (-4 + 4 + -2)*3/(-2). Let s be (l + (-15)/y)*-4. Are -2 and s nonequal?
False
Let m be -1 + 19 + (-2 - 0). Suppose 3*z - 20 = z + 5*q, 2*z + 4*q = -m. Let j = 114 - 229/2. Which is smaller: z or j?
j
Let w = 581 + -848. Which is smaller: -1 or w?
w
Let m(w) = -w**3 + 5*w**2 + 7*w - 8. Let d be m(6). Let f(o) = -2*o**3 - 2*o**2 - 3*o - 3. Let x be f(d). Is x less than 11?
False
Suppose -39 - 27 = 2*s. Let y be ((-121)/s)/(2/6). Is y less than 11?
False
Let y = -0.1892 + -1.8108. Which is greater: y or 5.69?
5.69
Let c be 65/(-117)*2*(-1)/5. Which is bigger: c or 3?
3
Let j be (6/8)/((-1)/(-4)). Suppose -4*f - 3 = -15. Is j > f?
False
Let y = 0.06 - 20.06. Let r = y + 20. Which is smaller: r or 10?
r
Let n(p) = -p - 4. Let z be n(-4). Suppose 3*k + 5*w + 4 = z, k - 4*w = -k + 12. Which is smaller: 3/2 or k?
3/2
Let k = -0.01 - -0.051. Let y = -9.959 - k. Which is greater: 1 or y?
1
Let p = 5.52 - 5.52. Does p = 177/4?
False
Suppose o - 2*x - 21 = -71, -o = -3*x + 55. Let r be (4/(o/(-806)))/1. Let d = -81 + r. Which is bigger: d or 0?
0
Let f = -851 + 850.91. Is -108 at most f?
True
Suppose -12 = 4*y, -5*y = -2*b - 12 + 29. Which is bigger: b or 4/255?
b
Let b(l) = -l - 6. Let c be b(-9). Let i be (2/c)/(24/(-36)). Which is bigger: i or -2.5?
i
Let b(y) = -y**2 + 16*y + 36. Let q be b(18). Let k be 4/4*(-1)/(-47). Which is greater: q or k?
k
Suppose -b = -4*p - 3 - 72, 5*p + 4*b = -78. Let u = -159 + 140. Which is smaller: u or p?
u
Let f = 40 - 30. Let k be 64/f + (-4)/10. Suppose -15*h + 11*h = -20. Is k > h?
True
Let j be ((-1)/(-2))/(4/(-8)). Let k be 5*(0 + (-21)/(-5)). Let z = 64/3 - k. Which is smaller: z or j?
j
Let n be (-11 + 9 - -4) + -2. Is n smaller than 222?
True
Let p be 0 + 1/(-7)*-2. Let s be 8/(3/9*-3). Let q = s + 33/4. Is q less than or equal to p?
True
Let m = 1344 + -541629/403. Does m = -1?
False
Suppose -9*y = 4*y + 91. Let b be ((-14)/(-30))/y*(3 + -36). Which is greater: b or 1?
b
Let u be (-68)/6 - (-8)/(-12). Let h(b) be the first derivative of b**3/3 + 6*b**2 - 2*b + 7. Let k be h(u). Is -1 at least as big as k?
True
Let n = -67217305687135/57823 - -1162466591. Let k = -2/1091 - n. Which is greater: -1 or k?
k
Let d(l) be the second derivative of -3*l**3/2 + l**2/2 - 10*l. Let q be d(-1). Is q <= 8?
False
Suppose 18*p - 14*p + 8 = 0. Let l be (-2 - p)*(2 - 1). Which is greater: l or 2/9?
2/9
Suppose 2*r + 2*i + 142 = -0*r, 5 = -i. Let y be (-7)/((-147)/(-6)) + r/14. Does y = -3?
False
Let b = -805 - -795.06. Let d = b + 10. Let f = d + -0.16. Is f < 0?
True
Let v(y) = -y**3 - 7*y**2 + y - 3. Let z be v(-8). Is 53 bigger than z?
False
Let p(m) = -2*m**2 - m - 2. Suppose h + 25 = 28. Let x be p(h). Let k be 6*8/12 - x. Which is bigger: 26 or k?
k
Suppose 0 = 14*u - 13*u - 61. Which is bigger: u or 56?
u
Let k = 374087/6882 + -509/222. Let h = 52 - k. Suppose -2*z - 2*z = 0. Is h < z?
True
Let d = 345 - 342. Which is smaller: 2.7 or d?
2.7
Let c = 1087.79 + -207.86. Let l = 874 - c. Let h = l + -0.07. Is h < 1?
True
Let t = -0.26 - -1.26. Let z = 1749 - 169650/97. Let o = z + 125/2231. Is t < o?
False
Suppose -38 = 3*l - 71. Suppose -l + 13 = -2*k. Is -3/85 not equal to k?
True
Let f = 26 + -14. Let g(y) = 2*y - 17. Let x be g(f). Let d be x/(1204/180) - 1. Is -1 >= d?
False
Let v = 48 + -39. Let n = 0.6 - 12.6. Let z = n + v. Is -1/5 at least z?
True
Suppose 4*c + 11 = -5. Let u be (-5)/((-4)/((-16)/c)). Suppose f + 25 = 3*x - u*x, -11 = x + f. Do -14 and x have the same value?
True
Let k be 66/(-165) + (-2124)/(-10). Which is bigger: k or 214?
214
Let r = -26 + 30. Suppose -c - 12 = 3*y, 0 = -y - r*y + 10. Which is greater: c or -17?
-17
Let j = -0.51 - -0.29. Let g = -1.3 + 1.22. Let l = j + g. Which is smaller: 2/11 or l?
l
Let z = 43 - 49. Let o = -90 - -94. Which is smaller: o or z?
z
Let t = 20 + -11. Let j be (2/(-3))/((-2)/18). Let u be 2 - -8 - j/3. Which is smaller: t or u?
u
Suppose 3*u - 12 = 9. Let o(r) = r + 1. Suppose -4*k = 7 - 31. Let j be o(k). Is j < u?
False
Let m = -446.4 - -509. Let v = m - 63. Is -6 greater than v?
False
Let c = -0.058 + 6.958. Let m = 6.75 - -0.25. Let u = c - m. Which is smaller: u or -0.2?
-0.2
Let g = -5651/36 - -157. Suppose 2*s - 3*s = 0. Which is smaller: s or g?
s
Suppose -87 = -3*w - 21. Suppose 21*z = 25*z. Let d be (1 - (0 + z))*(-1 + 22). Which is smaller: w or d?
d
Suppose 12 = 3*d + 3*d. Suppose 5*a + d*a = -7. Is a at least 2/23?
False
Suppose 3*f = j + 6, f + 4 = 4*j + 6. Which is greater: 2/473 or j?
2/473
Let m = 20.9 - 8. Let q = 12 - m. Which is bigger: q or -2?
q
Let d(q) = -q**3 - 23*q**2 - 39*q + 45. Let s be d(-21). Which is greater: -19 or s?
s
Let t(h) = -105*h + 419. Let l be t(4). Which is smaller: 14/71 or l?
l
Let f(q) = q**2 + 5*q + 1. Let p be f(-7). Let n be 4 + (p/(-7) - 2). Is 1 at least as big as n?
True
Suppose 3*b = -3*b. Let t = 4 - b. Is t less than or equal to 13/4?
False
Suppose 0 = -l + 8*l + 49. Let f(t) = 4*t + 29. Let c be f(l). Which is smaller: c or 4/9?
4/9
Suppose 4*t = -8, 0 = 3*k + 3*t + 9. Is -1/214 at least k?
True
Let g be 9 - 6 - (-48)/(-15). Let c = -4 + 6. Is c != g?
True
Let i be (104/(-754))/((-2)/3). Which is bigger: i or 0?
i
Let t = 17.18 + 0.12. Let k = t + -18. Let m = 0.5 + k. Which is bigger: -0.1 or m?
-0.1
Let o(k) = k**3 - 10*k**2 + 9. Let b be o(10). Suppose -w = b - 25. Which is greater: 15 or w?
w
Let f = -17.5 - -33.4. Let x = 2.9 - f. Which is smaller: -3/5 or x?
x
Let u(d) = -3*d + 35. Let b be u(11). Suppose -b*v = -5*v + 12. Which is greater: 3 or v?
v
Let p = -387 - -384.08. Is -1 at most p?
False
Let n be (102 + -103)/(26/((-2)/1)). Which is greater: 3 or n?
3
Let w be ((-225)/20)/9*4. Is -6 >= w?
False
Let j = 265 - 287. Which is bigger: -20 or j?
-20
Suppose 3*j - 3*i + 10 = -j, -2*i = 4*j. Let g(y) = 4*y**2 + 33*y + 12. Let r be g(-8). Let w be (0 - r) + 39/15. Which is smaller: j or w?
w
Suppose -8525 - 655 = -18*h. Which is bigger: 508 or h?
h
Let l be 12*(-4)/(-30)*(-95 + 5). Do -142 and l have the same value?
False
Let m = -281 - -281.15. Which is bigger: m or 1?
1
Let x = 20 + -20. Suppose 5*t = -4*n + 65, x = 2*n - 2*t - 25 - 21. Suppose -5*l = 5*j, 8*l - 3*l = -n. Is 8/3 at most as big as j?
True
Let x = 19.5 - 20.93. Which is bigger: x or 2?
2
Let t = -0.15 - 0.55. Let y = t + 0.1. Let a = -9 + 9. Which is smaller: y or a?
y
Let l = 169 + -155. Which is smaller: 7 or l?
7
Let y be 4/84*(-7)/(-6). Let t(x) = -x**2 - 17*x - 20. Let u be t(-15). Suppose 0 = i - a - 1 - 1, 3*i + 5*a = -u. Which is bigger: i or y?
y
Let a be 19/(((-2)/(-24))/((-1)/(-3))). Suppose a = -0*s - 4*s - 5*n, 0 = -s + 2*n - 19. Which is smaller: -18 or s?
s
Let r be 8 + 8 + (-2 - -1). Let i = 0 + 4. Suppose -r = -i*m - m. Is 11/5 smaller than m?
True
Let k(b) = b**3 - 5*b**2 - 6*b - 6. Let x be k(6). Let o(c) = -c**3 - 6*c**2 - 8*c + 5. Let g be o(x). Let j = g + -221/4. Is j <= -1?
True
Suppose 3*z = -6, 5*s - 3*z - 1815 - 14116 = 0. Let w = s - 25615/8. Let k = w + 17. Are 0.2 and k equal?
False
Suppose 7*i + 38 - 73 = 0. Suppose -4*t - i = 3*r + 3, -4*t = -3*r + 8. Let c = -863/6 + 143. Which is greater: r or c?
r
Suppose -5*t = 4*q + 20, 5*t + 0*t + 20 = -q. Suppose x + 7 - 2 = q, 0 = 4*f + 2*x - 50. Suppose -52*c + 504 = -16*c. Is f equal to c?
False
Let g = -3537 - -3536.9. Let r = -12/29 + 193/116. Which is s