 6/11 or u?
6/11
Let p(c) be the second derivative of -c**5/20 + c**4/12 + c**3/6 + 9*c. Suppose g = 5*b - 3*g + 3, 0 = 3*b + 5*g - 13. Let l be p(b). Which is greater: 3 or l?
3
Suppose 44*m - 46*m - 14 = 3*r, 7 = -r - m. Which is greater: -2/79819 or r?
r
Suppose 3*w - 9 + 0 = n, -9 = 3*n - 3*w. Suppose -4*p = n, -3*u - 7*p + 3*p + 441 = 0. Do 147 and u have the same value?
True
Let i = -12 - -19. Let y = 1603.24 - 1595.24. Which is bigger: i or y?
y
Let x be (-16 - -17)*(-4 + 0). Let j = -9 + 9. Let a = j + -14. Is x equal to a?
False
Suppose -5*z - 358 = a, 5*z - 226 = -5*a - 576. Let j be (-126)/(-4)*z/54. Let l = j - -41. Which is greater: l or -3/11?
-3/11
Let c(b) = b + 3. Let y be c(1). Suppose u + 3 = -2*w + 1, 16 = -y*u. Let s = 5618/4071 + -32/23. Are s and w unequal?
True
Let k = -37 + 46. Let o(d) = -3*d - 15. Let l be o(k). Let n = l + 83/2. Is 1 greater than n?
True
Suppose -16*w + 19*w + 4*a - 3143 = 0, 0 = 4*w - 4*a - 4172. Let p = 1045 - w. Let d = 5/1386 - -1907/239778. Is p at most d?
True
Suppose 19*r + 8 + 11 = 0. Let o be 56 - (2 + 5)/r. Which is bigger: o or 0?
o
Let i = 0.1453 - 60.0453. Let s = 60 + i. Which is greater: -5 or s?
s
Let x = -0.1112 - -0.3112. Which is smaller: x or 124/17?
x
Let i be (4/(-80) - 1/5)*-4. Let n(v) = 4*v - 7*v**2 + 2*v**2 + 2 - 2*v + 7*v**2. Let b be n(-1). Which is smaller: i or b?
i
Let p = 35 + -31. Let d be 6 - (2 + p) - -1. Is d equal to 1/121?
False
Let p = 75070280384/86043 - 872474. Is 0 at most p?
True
Let j = 422 - 416. Let k be (-1)/(j/(-9)*(-15)/10). Is -3/170 != k?
True
Let l be (-4 - (-756)/70)/((-7)/(-2520)). Is 2448 less than l?
False
Let o be 4/14*5/(-2). Let x be ((48/45)/8)/((-7071)/(-1410) - 5). Let h = o - x. Which is smaller: -9 or h?
h
Let p = 17377557/43 + -404111. Is 19 != p?
True
Suppose 15*l - 400 = 5*l. Let r = -41 + l. Is r greater than or equal to -5/33?
False
Let g be (980/210*(-6)/116)/(-27). Which is smaller: g or 0?
0
Let t be (3/(-36))/((-2)/(-4)). Let g = 0.24651 + 0.15349. Is t not equal to g?
True
Let g(q) = q**3 + 6*q**2 + 18*q - 7. Let y be g(-6). Let r be 8/(-20) - y/(-25). Let n be (-33)/11*(-1)/(-1). Is r equal to n?
False
Let z(p) = 2*p**3 - 151*p**2 - 79*p + 284. Let k be z(76). Which is bigger: 67 or k?
67
Suppose -20*p + 535 = -445. Which is greater: p or 814/17?
p
Let b(y) = -30*y - 13. Let l be b(-3). Suppose -2*n - l = -107. Are n and 14 unequal?
True
Suppose -13*f + 18*f = -55. Let n be (9 + f + -2)*1/31. Is n at least 0?
False
Let j be 2*(3 + (-15)/10). Let k be 0 - j - (-174)/6. Let f = 27 - k. Is f < 12/5?
True
Suppose -230*c + 24 = -231*c. Let t be 2/894 + (c - -20) + 4. Do t and -1 have the same value?
False
Let h(u) = -u**2 - 7*u + 6. Let r be h(-6). Suppose r*l - 11*l = -31. Let x = 17 + -49. Is x at least l?
False
Suppose -38 = -6*o - 2. Let n(m) = m**3 - 6*m**2 - 2*m + 8. Let k be n(o). Let g be (k/(-624))/(2 + (-15)/12). Which is bigger: g or 1?
1
Let q(c) = 5*c**3 - 2*c - 6*c**2 - 18*c**3 + 5*c + 3*c + 2 + 16*c**3. Let o be q(2). Which is smaller: o or 16?
o
Let t(c) = -624*c + 2495. Let s be t(4). Suppose 5*j + 0*q - 113 = 4*q, -q = -j + 23. Let r be 2 - (78/j + -2). Which is greater: r or s?
r
Suppose -6*w + 3*y - 58 = 5, 0 = -w + 5*y + 12. Let i = 1.7 - 2. Let h = 0.2 + i. Does w = h?
False
Let n = -4.926 - 0.984. Let r = 5.89 + n. Which is smaller: r or 1?
r
Let c = -1618 + 2564. Suppose 343*f = 354*f - c. Is f at least as big as 87?
False
Let k = -193 - -195. Suppose -k*h - 4*c = 2, h - 9 = 2*c - 6. Let g = 782008/3757 - 2706/13. Is g less than h?
True
Let u be 3/6*5/(5/12). Suppose -x - u*x - 1050 = 0. Let d = -7349/49 - x. Which is greater: d or 0?
d
Suppose 6*y - 5*l = -17977, 2*l = 3*y - 0*l + 8989. Is -2996 <= y?
False
Suppose 0 = -4*l + i - 3*i + 8, 5*l - 4*i + 16 = 0. Suppose 5*z + m + l*m = -642, -4*m = -2*z - 270. Is z less than or equal to -128?
True
Suppose 5*d - 32 = p, 5*p - 10*d + 5*d = -40. Which is smaller: 2 or p?
p
Let y(b) be the first derivative of -b**3 - 17*b**2/2 - 11*b + 60. Let q be y(-8). Is -67 equal to q?
True
Let n(j) = -j**2 + 11*j - 19. Suppose 4*y - 61 = -5*c, c - 2*c - 4*y + 25 = 0. Let v be n(c). Let u be 3 + 1 - (-4 - -8). Which is smaller: v or u?
v
Let j be ((-51702462)/(-1068))/(-27) + -3 + 0. Let l = j - -1796. Do l and -1 have the same value?
False
Let f(x) be the third derivative of x**5/60 + 31*x**4/24 + 43*x**3/2 + 84*x**2. Let n be f(-26). Which is smaller: n or -7/50?
n
Let y be (-36)/42 - (-2)/2. Let c = -7896 + 7895. Which is greater: c or y?
y
Suppose -6 = -2*k - 4*p, 3 = -0*k + k - 4*p. Let i be ((-4)/8 - 0)*0. Suppose r + i*r - 1 = 0, 20 = -u - k*r. Are u and -23 equal?
True
Suppose -m + 5*r - 3 = -68, -r - 112 = -2*m. Suppose -m = -2*s - 85. Is s equal to 2/21?
False
Let c be (0 + (-2 - (791/266 + -5)))/(-38). Is 1 > c?
True
Let k(p) = p + 8. Let y be k(-3). Suppose -4*w - 3*i = -i + 42, y*w + 57 = -4*i. Let o be -1*(-3)/((-9)/2). Does o = w?
False
Let j(t) = -2*t**3 - 17*t**2 + 46*t + 129. Let o be j(-11). Is o > 240?
False
Let f be 12/(-14) + (-1430)/(-770). Is f at most as big as -2/11507?
False
Let m = 78379851/83423870 - 1/388018. Which is greater: m or 1?
1
Let b be 3/(-5)*(-6 + (-2795)/(-470)). Let x = 203/470 - b. Which is smaller: -2/169 or x?
-2/169
Let s(o) = o**3 - 13*o**2 - o - 182. Let q be s(14). Which is bigger: q or -7/307?
q
Let z be (8/(-6) - -2)/((-2)/(-12)). Suppose -h + 92 = -r, 146 = z*h - 3*r - 227. Suppose 0 = -3*i + 5*o - 15 - 52, -4*i = o + h. Which is smaller: -25 or i?
-25
Let k = -292623/119 - -2459. Suppose 0 = -4*h - 0*h. Which is smaller: k or h?
k
Let t = -877 + 880. Let d be (380/80)/(t + 9/(-2)). Is -3 >= d?
True
Let o = 98 - 99. Let c be -2 + ((-478)/(-482) - o). Suppose 2*g = 5*y - 15, 23*g = 25*g + 10. Which is smaller: c or y?
c
Let m = 12497 - 12496. Which is smaller: m or 1/7038?
1/7038
Suppose 0 = 1423*d - 1429*d + 18. Suppose 5*y = -2*x + 2, -4*x + 49 = d*y + 17. Let w = -3 - -2.8. Which is smaller: w or x?
w
Suppose -26*r - 23615 = -120*r - 8293. Do r and 176 have different values?
True
Let s(a) = -51*a**3 + 2*a**2 + 5. Let j be s(3). Which is greater: 0.2 or j?
0.2
Let q be 83 - 95 - 917/(-74). Is q < 0?
False
Let r = 77 + 20. Let q be 1*(-9)/(-12)*(-8)/2*-1. Is r greater than q?
True
Let z(s) = -s**2 - 2*s - 2. Let u(p) = -7*p**2 - 6*p + 110. Let y(h) = u(h) - 6*z(h). Let d be y(9). Which is bigger: 96 or d?
96
Suppose -2994 = -24*j - 114. Suppose 4*d = 5*t + 451, -3*t - 45 = -2*d + 178. Is d at most as big as j?
True
Let j = 167 - 126. Let m = 49 - 9. Suppose -x = -m + j. Is x at most as big as 3/79?
True
Let m = 0.67 + -0.47. Let o be -16*1*3/4. Let n be 8/o + 2/3. Is n > m?
False
Suppose 3*p + 7 = 2*r, 390*p - 391*p - 21 = 4*r. Suppose 4*w - 12 = -4*t, 0 = 5*t + w - 7 - 4. Suppose -3*v - t*v = 0. Do p and v have the same value?
False
Let g = 0.1217 + -0.0826. Let o = g - 2.0691. Which is greater: 0.1 or o?
0.1
Suppose 21*u - 121 = 131. Suppose v - u = -2*h - 2*v, 2*h = -v + 4. Which is greater: -2/21 or h?
h
Let m(a) = a**3 + a**2 + 2*a - 3. Let u(z) = -2*z**2 + 6*z + 8. Let s be u(4). Let g be m(s). Let n be g + (18/8)/(-1). Which is smaller: n or -4?
n
Let r = 11.52 + 17.506. Let s = r - 0.026. Which is bigger: 0.2 or s?
s
Let s(d) be the second derivative of d**4/4 - 9*d**2 - 25*d. Let l be s(0). Let t be (4*3/l)/3. Do t and 0.5 have the same value?
False
Suppose -29*s + 9*s = 20. Let j be -204 - (s + -2 + 3). Which is bigger: 1 or j?
1
Let t(s) = 352*s - 892. Let n be t(4). Which is bigger: 517 or n?
517
Let g(n) = 7*n**2 + 22*n - 390. Let s be g(6). Is s > -217?
True
Let i = -32475598/9867 + 4/3289. Which is bigger: -3290 or i?
-3290
Let a = 17842 + -13220921/741. Is -0.3 less than or equal to a?
True
Suppose -445*r = -4*o - 446*r - 11514, -2*r = -12. Which is greater: -2879 or o?
-2879
Let g be (-420)/(168/(-14)) - 20. Which is greater: 71 or g?
71
Let t = 10846 + -44559/4. Which is bigger: t or -295?
t
Suppose 13 = -14*z + z. Let q be (z + 6/12)*24. Which is smaller: q or -13?
-13
Suppose -4*l + 18 = 2. Suppose 0*r - l*r - 2568 = 0. Let a = -3158/5 - r. Which is bigger: a or 9?
a
Let i = -292.5 - -300. Let o = i - 7.6. Is -2/35 at least o?
True
Let z = 39181 + -39182. Which is smaller: z or -58/37?
-58/37
Suppos