se -9*d + i*d = -45. Let p be (-6)/d*(-9)/6. Are 2 and p equal?
False
Let d(r) = -r**2 + 2*r - 1. Let o = 127 - 124. Let a be d(o). Let q = 11 - 15. Are q and a equal?
True
Let j(f) be the second derivative of f**5/20 + 5*f**4/4 - 17*f**3/6 - 17*f**2/2 + 4*f. Let i be j(-16). Which is bigger: -3/26 or i?
-3/26
Let v = -0.009 - 0.067. Let w = v + 1.076. Do w and 10 have different values?
True
Suppose 2*b = -5*m + 4*b + 1, -m = -4*b + 7. Which is smaller: m or 1/2?
1/2
Let i(s) = 3*s**3 - 12*s**2 - 4*s + 3. Let r be i(6). Is 193 greater than or equal to r?
False
Let p = 64.99 - 65. Let j = -0.1 - p. Which is smaller: 0.2 or j?
j
Let g = 1488 + -19356/13. Suppose -2*q + 12 = -3*h, -3*h - 101*q + 99*q = 0. Is g less than h?
False
Suppose 4*p = -3*f - 18, -5*f + 0*f - 3*p = 19. Let r(c) = c**2 + 3*c + 0*c**3 + c**3 - 2*c**3 + 2. Let z be r(f). Which is bigger: 9 or z?
9
Let t = -1368 + 1399.04. Let x = t - 31. Let q be 2/(-12)*-2*3. Which is bigger: q or x?
q
Let r(g) = g**3 - 5*g**2 - 1. Let i be r(5). Let a = 0 - 23. Let t = -23 - a. Is i equal to t?
False
Let s be (13 + -2)/(-2 + 1). Let b be (-30)/(-8) + s/(-44). Which is bigger: b or 1?
b
Let k = 6918 - 9964. Let f be 6/21 + k/1008. Let o = 13/8 + f. Which is smaller: o or -1?
o
Let x(n) = -n**2 + 7*n + 5. Let q be x(7). Suppose 2*r = -6, 4*w + q*r + 0*r = 21. Let i(l) = -5*l - 2. Let p be i(-2). Which is greater: w or p?
w
Let l = -15 - -18. Suppose l*z + 6 = 39. Let u = -12 + z. Which is smaller: 1/30 or u?
u
Let m be 4/(-14) - 260/(-28). Let d(v) be the third derivative of v**4/24 - 3*v**3/2 + 2*v**2. Let c be d(m). Which is smaller: 2/25 or c?
c
Let l = 9/22 + 1/11. Let n = -10 - -11.4. Let m = n - 1.4. Which is bigger: l or m?
l
Let t be 8/28 + (-305)/(-35). Suppose 16*i = 19*i + t. Which is smaller: i or 5?
i
Let b = -69 + 71. Which is bigger: b or 1/70?
b
Let g = 2108 - 1292. Is 815 at most as big as g?
True
Let t = -0.01 - 1.99. Let q = -33 - 15. Let s = -48 - q. Which is smaller: t or s?
t
Let r be ((-5)/10)/(1/386). Is r at most -192?
True
Let g = 58 + -87. Let t = g - -30. Which is smaller: 8 or t?
t
Let a = 1 + -1. Let y(t) = -2*t - 4. Let l(q) = -4*q - 7. Let d(r) = 3*l(r) - 7*y(r). Let k be d(a). Are k and 6 unequal?
True
Let f = -0.0629 - -1.0239. Let b = f + 0.039. Which is greater: b or -0.01?
b
Let u(s) = -s**2 + 3*s - 2. Let y be u(3). Let r(n) = -n**2 - 5*n - 5. Let a be r(y). Which is smaller: 1/6 or a?
1/6
Suppose 3*a = 2*f - a - 8, f = 3*a. Let g be 2/(-3)*f/8. Is g < -3/10?
True
Suppose 0 = 2*m + 3*m - 5*q + 100, -18 = m + q. Let c = 20 + m. Is -1 >= c?
False
Let h = -184.031 - -0.031. Is h smaller than 1/8?
True
Suppose 0*h - h = w + 760, -2*h - w = 1518. Which is greater: h or -757?
-757
Suppose -529 = 5*p + 5*q - q, 4*q = -2*p - 202. Is p >= -113?
True
Let r(o) = -o**3 + 14*o**2 - 12*o - 11. Let w be r(13). Is w greater than 42/13?
False
Let d = -135/2 + 1489/22. Let f be (-12)/(-3) - (8 - 7). Suppose f = -12*l + 15*l. Which is greater: l or d?
l
Suppose 0 = 21*s - 17*s + 80. Let y = -28 - s. Which is smaller: y or 1?
y
Let u = 8911 + -115911/13. Is u < -4?
True
Let o = 20 + -19.45. Let t = -2105.1 + 2105. Which is bigger: o or t?
o
Let g be ((-8)/228)/(1 - 0). Let d = 86/111 - 184/333. Which is greater: d or g?
d
Let c be -3 + 2 + 1155/84. Do c and 14 have different values?
True
Suppose 0 = 3*d + 4*u + 42, 10*d - 6*d = 4*u - 28. Is -107/10 bigger than d?
False
Suppose 0 = 6*s - 22 - 8. Suppose 40 = 10*u - s*u. Let b = 1.96 - -0.04. Which is bigger: b or u?
u
Let f be (2 + (-70)/(-36)*-1)/(-1). Suppose -4*u = 2*q + q - 10, -2*u + q = 0. Which is smaller: f or u?
f
Suppose -5*g = -2*q + 55, 10*q + 5*g = 6*q + 35. Which is smaller: q or -4?
-4
Let m(x) = 146*x - 1022. Let k be m(7). Is k not equal to -1/3175?
True
Suppose -68 = 11*g + 6*g. Is -126/25 at most as big as g?
True
Let t be 3202/(-90) - (-16)/(-72). Which is bigger: t or -37?
t
Let g = -2/77 + 164/385. Let z = -598 - -612.04. Let h = -0.04 + z. Are h and g non-equal?
True
Suppose 4*g = s - 11, 5*s - 4 = -5*g - 24. Let a(x) be the first derivative of -2*x**3/3 - x**2 - x + 1. Let w be a(s). Which is smaller: -2/59 or w?
w
Let j(a) = -2*a**2 - 2*a - 1. Let x be j(-2). Let o be -1 + (2 - x*3). Let i(v) = 2*v - 22. Let l be i(o). Is l > 10?
False
Suppose 123*c = 127*c - 124. Suppose a - 2*a = -3. Suppose 4*u + a - c = 0. Is 7 at most u?
True
Let h = 3.634 + -3.6. Let q = h + 32.966. Let r = q - 29. Is -0.4 less than r?
True
Let i = -16 + 19. Suppose -i*o - 33 - 21 = 2*k, 0 = -k - 5*o - 27. Let v be ((-2)/15)/(3/k). Is 2 smaller than v?
False
Suppose 0 = -2*i - 6*i - 352. Let a = i + 32. Is a < -12?
False
Let t = -49/2 + 631/26. Let m(y) = -y**2 + 33*y + 189. Let g be m(38). Is g equal to t?
False
Suppose 0 = -2*h - 2*a - 10, -2*h = -3*h + a + 3. Does h = 4/129?
False
Let x be (-5)/(25/(-15)) - 5. Is x greater than or equal to -10/17?
False
Suppose -4*n + 2*n + 80 = 0. Suppose 65 = 5*o - n. Let l = 28 - o. Is l at least as big as 8?
False
Suppose -54 = 16*s + 2*s. Which is smaller: -150 or s?
-150
Let x = -274 - -5753/21. Suppose -5*j - 16 = -4*u, 3*u + j = 2*u - 5. Which is greater: x or u?
x
Suppose 7*i + 710 - 332 = 0. Which is smaller: -53 or i?
i
Let g = -0.3 + 4.3. Let v = g - 5. Suppose 4 = 3*b + 2*k, 3*b - k + 2*k + 1 = 0. Which is smaller: v or b?
b
Let n(m) be the third derivative of m**6/120 + m**5/60 - 5*m**3/6 - m**2. Let r be n(0). Let p be 2/9 + (-1330)/315. Is r > p?
False
Let x = 49.71 - 0.71. Let w = -48 + x. Which is smaller: w or -0.062?
-0.062
Let l = -6 + 1.15. Let p = 1.15 - l. Which is smaller: 5/3 or p?
5/3
Suppose -5*l = 6*l. Which is smaller: l or 7/16?
l
Suppose 0 = 4*f - 8 - 8. Let g(t) = -t - 3. Let o be g(-3). Let y = o + f. Is y != 3?
True
Let f = 35 - -7. Suppose -b = 2*s + 2*b + 89, f = -s - 4*b. Do s and -47 have different values?
True
Suppose -n - 6 = -3*n. Let z = n - 4. Let k = 731/15 + -148/3. Is z less than k?
True
Suppose -3*z + 4*s = 6*s - 669, 2*s + 1099 = 5*z. Is 221 <= z?
True
Let l(t) = -t**3 - 25*t**2 + 27*t - 1. Let u be l(-26). Is u at least as big as -18?
False
Let w = -3415/12 + 853/3. Which is smaller: w or -1434?
-1434
Let j(k) = -2*k + 15. Let r be 2/14 - ((-110)/14 - 0). Let m be j(r). Which is bigger: m or -8/17?
-8/17
Let f = 126 - -51. Which is smaller: f or 532/3?
f
Let s be 1/((-7)/4648*1). Is -664 > s?
False
Let f be (-1)/1*(-1 + -52*2). Do f and 105 have different values?
False
Let g be ((-4)/36)/(-4*(-2)/(-12)). Suppose v + 2*y = 8, 9*y - 20 = -4*v + 4*y. Which is bigger: v or g?
g
Let c be ((-9)/4)/(21/(-1472)). Let b = 158 - c. Suppose 45 = 41*k + 4*k. Is b < k?
True
Suppose -3*c = i - c - 6, 0 = 5*i + 5*c - 5. Let q = i - -8. Let z(n) = n**3 - 6*n**2 + 7*n - 5. Let d be z(5). Which is greater: q or d?
d
Suppose -490*g - 32 = -498*g. Is 0.18 bigger than g?
False
Let p = -5938 - -5925. Let q = 9 + -24. Which is greater: q or p?
p
Let u = -12.82 - -13. Let y = 0.758 - -0.062. Let s = y + u. Which is bigger: 3 or s?
3
Suppose -2 - 22 = -4*k. Suppose -o - k = 5*s, 0 = -o - 0*o - 4*s - 4. Are 3 and o nonequal?
True
Let v = 39 + -42. Is -71/2 != v?
True
Let f = 94.3 + -99. Let v = f + 0.7. Let c = -4.3 - v. Is c greater than -1/4?
False
Suppose -6*r + 180 = -3*r + 3*p, 120 = 2*r - 4*p. Let a be ((-1)/(-10))/((-450)/r). Which is greater: -1 or a?
a
Let x be (106 - (-3)/(-3)) + 0. Suppose 5*n - 10*n = x. Let i = n - -11. Which is smaller: -1/3 or i?
i
Let d = -777 + 1114. Which is bigger: d or 338?
338
Let d(g) = -g**2 + 2. Suppose -10*a = -6*a + 8. Let p be d(a). Is -2 <= p?
True
Suppose -3*f = 3*y + 66, -3*y + 20 = -2*f + y. Let i be 1/((-1)/3) + (5 - f). Which is bigger: i or 56/3?
i
Let f(p) = 899*p**3 - 2*p**2 + 41*p + 41. Let d be f(-1). Is d less than or equal to -899?
True
Let v(p) = p**2 + 4*p - 5. Let w be v(-5). Let g be 51/(-7) + (-12)/(-42). Let r = w + g. Is -5 at most as big as r?
False
Suppose 0 = x + 3*x + 4*r, 3*r = x + 16. Let w = -3 - x. Let y be 6/63*-3 + 48/21. Is y less than w?
False
Let f = -20941 - -1382143/66. Let m be 6/(-4)*(-8)/198. Let o = f - m. Which is smaller: o or -18?
-18
Let w = 2.9587 - 0.0687. Which is greater: w or -0.1?
w
Let q = -8 - -11. Suppose 2*h - o + 8 = 5*h, -4*o + 2 = -q*h. Suppose 4*d = -r - 7 + 4, 0 =