d derivative of 5*h**4/24 + 13*h**3/2 + 28*h**2. Let u be y(-6). Let j be (-7)/(-3 - (-4 - u/(-12))). Which is smaller: -27 or j?
j
Suppose 5*h = 4*d + 27, -2*d - d = -5*h + 29. Let q(n) = -2*n - 23. Let x be q(-13). Suppose -3*y - 21 = -4*m, 2*m - 3*y = x*m - 9. Is m at least h?
False
Suppose -286 + 345 = -3*c - 2*w, 0 = -c + w + 2. Let b = -1 + 1.1. Let k = b - 1.1. Which is smaller: c or k?
c
Let m be (12/(-8))/((-5)/(-2) + -3). Let g(h) be the second derivative of -h**3/6 - 3*h**2/2 + 2*h. Let y be g(m). Does y = -5?
False
Let f = 121/2 + -63. Let g be 3 - (-5)/620*-301. Let q = g + -10/31. Is q at most f?
False
Let p(r) = 18*r + 242. Let n be p(6). Let v be 114/n + 7*22/(-539). Are -1 and v unequal?
True
Let w(v) = -7*v - 15. Let z be w(-6). Let b = z - -41. Let t = 113 - b. Are t and 46 non-equal?
True
Let z be (-279)/(-15) - (-4)/10. Let b = 22 - z. Let k be b/(-2)*8/6. Is k less than -5/4?
True
Let z = 670728/17 - 39438. Which is bigger: 16 or z?
z
Suppose 3*t = -20*t + 4255. Let o = t + -179. Which is smaller: o or 0?
0
Let b = 377 - 36570/97. Suppose v + 8*m - 12*m + 780 = 0, 3832 = -5*v + 3*m. Let x = 764 + v. Is b greater than x?
False
Let k = -40 + 23. Let y = k - -57. Let g = 47 - y. Which is bigger: 2/5 or g?
g
Suppose 18*a = -31*a + 5*a. Which is greater: a or 2/12329?
2/12329
Let z = -16 - -36. Let x = z + -20.05. Let a = -0.45 - x. Is a less than 9?
True
Let w = -9649/1476 + 59/9. Let s(b) = 12*b**2 + 537*b - 136. Let u be s(-45). Are u and w nonequal?
True
Let a be (-71)/(-142)*(-1 - (2 - (0 + 3))). Is -6/277 at most a?
True
Let o = 78.5 + -473.5. Let g = 386 + o. Let u be (-1 - 0)/(-3 - -2). Is g < u?
True
Let c be 12*15/8190*13. Which is smaller: c or -6/17?
-6/17
Let o = -3/22078 + -7081514/33117. Which is smaller: -214 or o?
-214
Let j be (525/396)/7 + 2/(-8). Let d(y) = 2*y - 2. Let q be d(1). Suppose 4*w + l = w - 1, -2*w - 2*l - 2 = q. Does w = j?
False
Let x be (0 + 8/260)*((-3211)/(-273) + -12). Which is smaller: x or -10?
-10
Let m = -18 + 20. Let k(b) = 2 - 9*b + 4*b**2 + 2*b**3 - b**3 - 10*b**m. Let f be k(7). Do -10 and f have different values?
True
Let i = 468 - 464. Suppose -i*c = -17*c - 364. Is -30 > c?
False
Let z(p) = -70*p**2 - 313*p + 57. Let c be z(-10). Is c greater than -3813?
False
Suppose 0 = -3*t + 2*h + 990, 0 = -32*t + 30*t - 3*h + 647. Which is smaller: 327 or t?
327
Let w(p) = -2*p**2 - 14*p - 34. Suppose 132 = 4*q - m, 48 = -q + 2*q - 4*m. Suppose q = -0*y - 8*y. Let k be w(y). Which is smaller: k or -9?
k
Let v = -6.83 - 482.17. Let b = v - -488. Are 0.505 and b equal?
False
Let f(t) = 2*t**2 + 17*t - 57. Let r be f(-18). Is 289 <= r?
False
Let c = -21082 - -5333753/253. Is c <= 1?
True
Let k be ((-3)/12)/(4 - (-453)/(-113)). Let v = k + -30. Which is smaller: -2 or v?
-2
Suppose -3*q + 11*y = 13*y - 82, -4*y = -2*q + 76. Let o(w) = 4*w + 5. Let f be o(6). Suppose -f = -0*n - n. Which is bigger: n or q?
q
Let i = -3 + 6. Let l(w) = -2*w + 4. Let c be l(i). Suppose -111*x = -247*x. Is c > x?
False
Let t = -1749 + 1748.973. Is -14 at most as big as t?
True
Let m(u) = 5 + 2*u + 2*u**2 + 4*u**3 - 10*u - 5*u**3 + 13*u. Let o be m(-3). Let g = 41 + -5. Which is bigger: g or o?
g
Suppose 15*d - 65 = 70. Let x be d/((-4)/7 - (-75)/(-175)). Are x and -9 unequal?
False
Let z(x) = -14*x - 162. Let k be z(-12). Let u be 95/114*8/k. Which is greater: u or -1/4?
u
Let p be (-60)/40*(-4)/18. Suppose -4*b + 3*z = 4, z + 0 = b + 1. Which is bigger: b or p?
p
Let p(c) = -c - 9. Let y be p(-2). Let s be 6/4 - y/(2 - -26). Is s bigger than 2?
False
Let b(n) = -8*n**3 - 51*n**2 - 9*n - 81. Let i be b(-6). Let d be (-1 + 3)*-1*67. Is i <= d?
True
Suppose 0 = -7*d + 3*d + 36. Let u(j) = j**3 - 9*j**2 + 2*j - 13. Let i be u(d). Let n be (-8)/34*(i - 126/24). Is -1 greater than n?
False
Let a = -12 - -22. Suppose -4*d + 3*g = -a, 5*d = -6*g + 2*g + 28. Let i be 560/(-116)*5/6 + d. Which is smaller: i or -1?
-1
Let x be 535424/(-38352)*(-1)/6*9/(-2). Is -10 at most as big as x?
False
Suppose 0 = 9*f - 4*f - 5. Let n be (-4 - (0 + f)) + -36. Do n and -39 have different values?
True
Let k = 0.0802 + 0.1198. Is k less than or equal to -17?
False
Let y = -3 + 13/4. Let v = 0.78 + 0.18. Let w = v - -0.04. Is y less than w?
True
Let q(g) = g**3 - 7*g**2 - 7*g - 17. Let l be q(8). Let f be (-60)/l*1/2*9. Suppose 110 = -4*x + f. Is -23 at least x?
False
Let q = 1489273/96 + -15513. Is q > 1?
False
Let f be (-7 - -13) + (-1)/((-1)/(-2)). Suppose -5*x + 65 = f*o + o, -x - 77 = -5*o. Is o > -2/19?
True
Let v = 12720636/713 + -17841. Which is smaller: 1 or v?
v
Suppose 0 = 20472*h - 20492*h - 11900. Let z(o) = -150*o + 4. Let y be z(4). Is h < y?
False
Suppose 7 = -3*t - 14. Let a = 10 + t. Suppose -5 = -d - 3*m, 5*m - a + 0 = -d. Which is greater: d or -2/7?
d
Let s be (-150)/(-50)*(-1012)/6. Let b = -509 - s. Which is bigger: b or -21/13?
-21/13
Suppose 0 = q - 4*r - 1493, 729 = 5*q + 2*r - 6824. Suppose q + 549 = 6*a. Let j = a - 16805/49. Which is smaller: j or -1?
-1
Let v(w) = 6 - w + 2 - 4. Let n be v(6). Let p = 546 + -542. Which is bigger: n or p?
p
Suppose -7 = -5*o + 8, -r + 5 = 2*o. Let l = 245 - 242. Suppose l*q - 5*q - x - 11 = 0, 38 = -5*q + x. Which is smaller: r or q?
q
Let q(k) = -3*k + 3. Let j be q(3). Let n be 1/3*(7 + j). Let y = -0.293 - -0.193. Are y and n nonequal?
True
Let n be (-171)/(-972) + 2/(-8). Let w = n + 91/135. Let r = -355 - -365. Do w and r have the same value?
False
Let w = 9.725 + 1.275. Which is smaller: w or 0.279?
0.279
Let p = 3353.1 - 3353. Are p and -2205 unequal?
True
Let t = 56.2 - 65.48. Let q = -8.9 - t. Let c = 0.38 - q. Is c at most as big as -10?
False
Suppose 3*m = 2*o + m - 28, 2*o = 5*m + 34. Let g = 8 - o. Suppose 91*y - 382*y = 582. Is y smaller than g?
False
Let r be ((-9)/(-6))/(21250/14620 - (-4)/86). Is -12/3253 greater than or equal to r?
False
Let o = 0.0318 - 4.5618. Let b = o - -4.7. Let s = -0.13 - b. Which is greater: 1/7 or s?
1/7
Let t be (-40)/30*(-21)/(-98). Let h = 95 - 5. Is t > h?
False
Let q(o) = 2*o - 4. Let g be q(-2). Let c be g/2 - (-15 + 9). Suppose 0 = 4*l + j - 17, -4*j + 7 = -2*l - 7. Is l < c?
False
Let b(d) = -3*d**3 + 19*d**2 - 24*d + 20. Let a be b(5). Is a at most -28/1059?
False
Let g be 13/((-195)/(-20))*30. Let o be g/235*(30/(-8))/5. Is 0 at most as big as o?
False
Let x = -0.89 - 2.63. Let w = x - -3.32. Suppose -6*a + 4*a - 16 = f, -4*f = -8. Are w and a equal?
False
Suppose 0 = 11*a - 14 + 3. Let p be 9245/27600 + ((-20)/(-12) - 2). Let v = -1213/384560 - p. Which is smaller: v or a?
v
Let n = -6 - -9. Suppose -q - 1 = -n. Suppose y = -15 - q. Do -17 and y have the same value?
True
Let x be 8/(-3)*8/(48/9). Let y be (x/(-6))/(-9*(-8)/108). Let i be (-6)/(-3)*y*3/(-195). Does 0.4 = i?
False
Let x = -4720 - -4703. Is x > 25?
False
Suppose -o - 10 = -3*o. Suppose -3*f - 36 - 411 = 3*a, o*a + 724 = 2*f. Let r = a - -1024/7. Is r bigger than 0.15?
True
Suppose -2*n + 27 = -11*n. Suppose -5*t - 25 = -240. Let i = t + -45. Which is smaller: i or n?
n
Suppose 10*k - 16*k + 690 = 0. Suppose -4*w + k = -105. Let h = 329/6 - w. Which is bigger: h or 1?
1
Let z = 72 + -69. Suppose z*s + 0*o = o, 0 = -4*s + 5*o. Which is smaller: s or -2/41?
-2/41
Let s(t) = t**3 + 12*t**2 - 13*t + 11. Let z be s(-13). Suppose -18*b = -z*b - 126. Suppose 4 = b*h - 17*h. Is 4 greater than h?
False
Let j be 8 + (-42)/6 + 638. Which is smaller: 637 or j?
637
Let p = -714.24 + 714.4. Is 30 bigger than p?
True
Suppose -84902 = -20*r + 272938. Is r > 17892?
False
Let q(i) = -423*i - 1992. Let s be q(-5). Which is smaller: s or -10?
-10
Let p(o) = 185*o - 2217. Let n be p(12). Which is smaller: n or -3/16?
-3/16
Let z be ((2 - 2)/(-1))/(-1 - -2). Suppose -27 = -2*s - 5*r + 1, z = 4*r - 16. Suppose 0 = f + 3*u + s, f + 6*u + 6 = u. Is f at most as big as -2/37?
True
Let n be 264550/(-1480) + (-2)/(-12)*2. Which is bigger: -179 or n?
n
Suppose 3*p - 30 = -3*o + 18, 2*p - 5*o = 67. Suppose 0 = u + 38 - p. Is -22 equal to u?
False
Let l(i) = -10*i - 167. Let f be l(-12). Let c = -2/269 + -116728/2421. Which is smaller: f or c?
c
Suppose 14*m + 12 = 11*m. Let h be (1 + 0)/(m/((-208)/(-3))). Does h = -17?
False
Let k be 5/(-4) - (-4634)/8. Let i = 579 - k. Which is smaller