. Let n(h) = h**2 + 4*h - 5. Let y be n(-5). Is y <= v?
True
Let j = -3.14 + 3.31. Is j at most 8/5?
True
Let i be (-1130)/(-280) + -4 + (-4)/14. Is 4/15 > i?
True
Let b(y) = -y**2 + 12*y - 9. Let z be b(11). Suppose 0 = -4*c + z*s - 3*s + 25, 5*s + 7 = 2*c. Which is greater: c or 4?
c
Suppose 4*c = -4 - 4. Let w = -551 + 550. Is c > w?
False
Let f be (7204/48 - 2)*(0 + -1). Let k = f + 148. Is 0 less than or equal to k?
False
Let t = -204 + 3880/19. Is t smaller than 1?
True
Let n = -167 - -171.8. Which is smaller: n or -1/3?
-1/3
Let b be 20/8 - 3087/6. Is -511 < b?
False
Suppose -6 = -6*s - 0*s. Let b be (6 - s)/(-5) + 9. Let y be ((-126)/b)/7 - -2. Is 23 less than y?
False
Let i = 0.71 + 0.29. Which is bigger: i or -1/47?
i
Let k(r) = -2*r**2 + r - 1. Let t be k(1). Let v(i) = -i**2 + 3*i + 6. Let u be v(t). Which is bigger: u or 0.1?
0.1
Let t = 413 + -413. Is t at most as big as 3/502?
True
Let q = 11 + -11. Suppose z - 3*v + 22 = q, -2*z - v - 3*v = 4. Suppose -2*s = 13 + 7. Is z smaller than s?
False
Let u = 0.316 - -0.584. Does 3 = u?
False
Suppose -5*z = -9*z + 12. Suppose -z*y = 38 + 4. Let b be 70/(-60)*(-2)/y. Are -0.1 and b equal?
False
Let g be ((-4)/7)/(266/(-49)). Which is smaller: 0.29 or g?
g
Let j be (-1 - -2)/(2/(-14)). Let d = -2441/2 + 1369. Let k = 142 - d. Which is bigger: k or j?
k
Suppose 5*o + 5 = -d, -2*o = -5*d - 7*o - 5. Suppose d = 3*x + 3, -p - 3*x - 11 = 2*x. Is p equal to -27/4?
False
Suppose 10*q = 5*q - 10, -a = -3*q - 8. Suppose i + 5*l = -47, 2*i + 63 = -a*i + 5*l. Is -43/2 less than or equal to i?
False
Let q be (1 + -4 + -1)/(-2). Is 56/17 bigger than q?
True
Let l = -16922/9 + 1878. Let n = -49/18 - l. Let i = 0.45 - 0.4. Which is smaller: i or n?
n
Let b be 2*-1 - (11 + -30). Suppose -5*a = -3*n - b, 0 = 5*a + 2*n - 0*n + 3. Let p be 2/(-6)*2/3. Is a < p?
False
Let a = -11 + 76. Let c = a + -70. Which is bigger: c or 0?
0
Let w be (-1 - -2)*(-16 - -15). Is 8/17 equal to w?
False
Let j be 0/(-1) - -9 - -1036. Which is smaller: j or 1044?
1044
Let g be ((-3)/200)/((-156)/16). Which is smaller: g or -1?
-1
Let n = 13 + -8. Let m be 3 - n/5 - 154. Let o be 15/60 - (-30)/m. Is o less than 0?
False
Let r = 8 + -9. Let j = 600 + -599.454. Let g = 0.054 + j. Is g > r?
True
Suppose -2*f + 5*g = 29, -5*g + 1 + 7 = f. Let w = 5 + f. Let v(o) = -o**2 - 5*o - 3. Let n be v(-5). Which is bigger: w or n?
w
Let i be 80334/279 - (-4)/62. Which is bigger: i or 289?
289
Let c = -3/260 + -1273/2340. Let d = c - -83/117. Let f = -37 + 36. Is d smaller than f?
False
Let n be (-4)/(-14) + (-1290)/(-140) + -10. Do n and -4/69 have different values?
True
Let c = -3235137 - -110005233/34. Let l = c - 311. Which is greater: 0 or l?
l
Let z be 517/(-660) - ((-12)/10 - -1). Let j = z - 11/12. Is -1 < j?
False
Let i = -7 + 9. Suppose -i = -142*f + 140*f. Which is smaller: 2/151 or f?
2/151
Let w be (0 - -2)/((-4)/(-2)). Let u = -3.052 - -3. Let r = -0.948 + u. Is r >= w?
False
Let z(m) = -3*m**3 - 6*m**2 + 1. Let w be z(-3). Suppose 0 = 2*o + 3*h - 24 - 31, -4*o + 4*h + 120 = 0. Which is bigger: w or o?
o
Let q = -8 - -11. Let t(o) = 4*o - 14. Let s(l) = -3*l - 14. Let d be s(-6). Let u be t(d). Which is bigger: u or q?
q
Suppose -2*l - l = -54. Suppose 2*d = -d - l. Let z = -1 + d. Which is bigger: -6 or z?
-6
Suppose 0 = -2*q - 3*f + 12, 4*f = 4*q - 15 - 29. Suppose 81*y + 2*m = 79*y + 24, 0 = y + 5*m - 16. Is y at most q?
False
Suppose 4*i - 31*d - 600 = -33*d, i - 150 = -4*d. Is i equal to 149?
False
Let x = 1685/4 - 416. Which is bigger: 2 or x?
x
Let i = -288 + 433. Suppose -4*h = y - i, -y + 6*y = 5. Which is smaller: h or 0?
0
Let x(r) = r**2 - 22*r + 5. Let w be x(22). Which is smaller: 45/8 or w?
w
Let s = -0.122 - -0.022. Are -5/3 and s nonequal?
True
Let i be (-12)/(-75)*(-10)/4. Let k = 82939/21 - 3951. Let h = k - -6/7. Is h less than i?
True
Let f(i) be the second derivative of -i**3/6 - 3*i**2 + 8*i. Let h be f(-7). Which is bigger: h or 17?
17
Suppose s + 27 = 80. Suppose 0 = 6*t - 1 - s. Which is greater: 51/5 or t?
51/5
Suppose -2*g + 6011 = -7*d + 2*d, -8 = 4*g. Let p = -13243/11 - d. Suppose -4*x + q = 78 - 74, -3*q + 12 = 4*x. Is x smaller than p?
False
Let q be (-3 - 28/(-8))*8. Let m be (4 + (-18)/q)/(58/(-4)). Is 0 at most m?
True
Suppose 4*b - 4 = 4*g, -5*b + 58*g - 61*g - 3 = 0. Let a = -5 + 4. Let f be a + (-3 - 6/(-2)). Is f greater than or equal to b?
False
Let y(j) = -j - 1. Let x be y(-1). Let i be 105/6*(2 - x). Let k be i/(-570) + 2/(-19). Is -0.1 > k?
True
Let d = -2609/16280 - 1/296. Which is greater: 1 or d?
1
Let r(y) = y - 8. Let s be r(6). Let i = 22 + -18. Suppose 0 = -4*c + i. Which is bigger: s or c?
c
Suppose 0 = 128*j - 133*j - 140. Which is bigger: -27 or j?
-27
Let r = 39 - 41. Let y be 2/12 + 3 + r. Is y < 0?
False
Let a = 8030 - 8036. Suppose -50 = 5*x - 5*g, 30 = -0*x - 3*x - 5*g. Let j = x + 39/4. Which is bigger: a or j?
j
Suppose 219 = 5*n + 4*o, 0*n + 196 = 4*n - 2*o. Which is greater: n or 45?
n
Let g be (-837)/12 - (1 - (-1 - 1)). Let d = g + 73. Which is smaller: -7/9 or d?
-7/9
Let u = 36 - 33. Let z = 5.6 - u. Which is smaller: -0.1 or z?
-0.1
Let j(c) = -c**3 + 13*c**2 + 17*c - 9. Let g be j(14). Let o = -30 + g. Which is smaller: o or 2/3?
2/3
Let n(i) = 4*i**3 + 3*i**2 - 7*i - 6. Let l be n(5). Let t = 14955/28 - l. Which is smaller: t or 0?
0
Suppose 0 = -b - 3*u - 2*u - 22, -b - 7 = 2*u. Let p(r) = r**2 - 4. Let x be p(b). Suppose -v = -x*q - 22, 5*q + 35 - 9 = 3*v. Which is smaller: v or 1?
1
Suppose -2*h = -5*h - 15, 5*r - 90 = -3*h. Suppose -6*i + r = -9*i. Is -7 greater than i?
False
Suppose 2*u - 5 + 27 = -5*f, -2 = -2*u + f. Let s(n) = 7*n**3 + 4*n**2 + 5*n + 3. Let g be s(u). Let k be 0 + (-2 - -2 - 7). Which is smaller: k or g?
k
Suppose -93*u = -29*u - 1664. Are u and 11 unequal?
True
Suppose 2*i - 2*v = 0, -v + 4*v = -3. Let j be ((-7)/(0 - -14))/(i/(-26)). Let f = 3/2 + -1. Is j >= f?
False
Suppose 20*f + 10 = 21*f. Suppose w = f*w. Is -2/3 <= w?
True
Let u(v) = -v + 3. Let j be u(4). Suppose 5*c = 4*y - 491, 8*y - 5*c = 6*y + 243. Let q = y - 499/4. Do j and q have the same value?
False
Let i be -1*((-588)/33 - 10/55). Let a = 7 - 23. Let l = i + a. Which is bigger: 7 or l?
7
Let a(l) = -3*l - 10. Let g be a(-3). Let p = -2 + -6. Let j be ((-3)/(-16))/((-12)/p). Are j and g equal?
False
Let i(a) = a - 13. Let c be i(10). Let h = 67 - 71. Which is smaller: h or c?
h
Let h be -1 + (-3)/(-6) + 3/6. Let p be h/((-39)/18 - 3/(-18)). Is p >= -4/7?
True
Let j = -4334/5 + 870. Let o(r) = -r - 1. Let c be o(-3). Which is smaller: c or j?
c
Let w = 533 - 534. Is 14/43 smaller than w?
False
Suppose -17*b - 7808 = -2402. Is b not equal to -316?
True
Suppose 3*r - 33 = 5*m, -7*m - 4*r = -4*m + 14. Let b be 12/8*(-68)/m. Suppose -3*a = -g + b - 1, g - 28 = 5*a. Is a greater than or equal to -7?
True
Let n(z) = -3*z + 12. Let h be n(4). Which is smaller: 1/111 or h?
h
Let q = -395 - -398. Which is smaller: 0.04 or q?
0.04
Let t be (-3060)/(-84) - (-8)/14. Let s = -37 + t. Is s bigger than 9/35?
False
Let v = -2697 - -1786. Let w = -23689/26 - v. Which is smaller: -1 or w?
-1
Let d = -36 - -26. Do -10 and d have different values?
False
Let g = -693 + 4857/7. Are g and 3 nonequal?
True
Suppose -j - g = -112, -562 = -5*j - 2*g - 2*g. Let b = j + -113. Which is smaller: b or 3/4?
3/4
Let k = -571 + 126. Do k and -446 have the same value?
False
Let a = -1.229 + -116.871. Let r = -122 - a. Is r >= -2/3?
False
Let k be (-4)/(-18) + ((-305)/(-45) - 0). Let b be ((-378)/15)/((-33)/10). Which is greater: b or k?
b
Let r(g) be the third derivative of -g**4/4 + 3*g**3/2 - 4*g**2. Let p be r(5). Let t = p + 9. Is -13 at most as big as t?
True
Let s = 1249 + -1346. Do s and -93 have the same value?
False
Let j(o) be the first derivative of -11/2*o**2 - 7*o - 1 - 1/3*o**3. Let c be j(-11). Does c = -7?
True
Let n = 8 + -6. Let o = -171/520 + 7/40. Which is bigger: o or n?
n
Suppose -89 = 6*h - 17. Let r = h - -6. Is -2 at least r?
True
Suppose 3*i = i. Suppose -d - 2*g = -6, 2*d + 5*g - 20 + 5 = i. Let v = -13239/31 - -427. Is v at least d?
False
Let o = 38.83 - 39. Let l = -11.17 - o. Are 0 and l non-equal?
True
Suppose -6*r + 178 - 40 = 0. Suppose 0 = r*a - 20*a - 6. Which is sm