Let b(o) = o**3 + o**2 + o + 1. Let n(d) = 7*b(d) + 2*m(d). Let w = -10 + 8. Let h be n(w). Is -12 equal to h?
False
Let c be (-51)/34*(-2 + (-8)/(-12)). Suppose 13 - 2 = 4*n + 3*y, -c*y = 2*n - 8. Let g = -2/123 - 203/123. Which is smaller: n or g?
g
Suppose -5*d - 6 = -86. Let m(g) = g**2 - 9*g + 10. Let k be m(8). Let j be (3 + -6)*k*(-21)/9. Which is bigger: d or j?
d
Suppose -34*k = -6 + 108. Let l be 1/k*(-49 + 28). Which is bigger: -2 or l?
l
Let b = -67 - -43. Let f = 25 + b. Let c = -238 - -255. Is f smaller than c?
True
Suppose 14 - 4 = o. Let f(p) be the third derivative of p**5/60 - 11*p**4/24 - p**3 + 5*p**2. Let w be f(o). Which is bigger: -14 or w?
-14
Let p = -2716 - -3312. Which is greater: p or 602?
602
Let m = -101 - -149. Suppose 2*w - 6*w = -m. Let o(l) = l**3 + 4*l**2 - 8*l - 3. Let v be o(-5). Is w equal to v?
True
Suppose -8 + 0 = -2*l. Suppose 0 = 3*a - 0*h - 4*h + 20, 5*h = -l*a + 25. Let v be (4/(-70) - 0)/(-4). Which is greater: a or v?
v
Let y(g) = 4*g**3 - 2*g**2 + 1. Let n be y(1). Suppose 0 = -n*a - 0*a + 9. Let m = -2712 + 2715. Do m and a have different values?
False
Let z = 12514 - 12514. Which is smaller: z or -2613?
-2613
Let c = -5436 + 5426. Which is smaller: -183/17 or c?
-183/17
Suppose 0 = 4*a + 17 - 13. Let h = -8/187 + 685/20383. Is h <= a?
False
Let j = -4743.7 - -4752. Let y = -17 - -9. Let t = j + y. Which is bigger: t or -2/5?
t
Suppose -25*n + 7965 + 13085 = 0. Which is smaller: 0 or n?
0
Let h(w) = -6*w - 10. Let x be h(-4). Suppose -5*t = c - 78, 38*c = 2*t + 41*c - 26. Which is bigger: t or x?
t
Let r(m) = -7*m - 16. Let k be r(-2). Let d be 152/5 + (-16)/(-10) + k. Suppose 0 = -5*s + 10*p - 5*p + 175, -50 = -2*s - 2*p. Do d and s have different values?
False
Let b = 13.45 + -105.55. Let k = b + 92. Which is greater: k or 15/13?
15/13
Let g = -40.054 - -0.054. Let s = g + 1. Let f = s + 38.9. Is 25 bigger than f?
True
Let t be (-2)/(5 - 171/33). Let n be (1/((-1)/t))/(-1). Suppose -24 = -4*d - 3*v, 7*d = 2*d + v + 49. Which is smaller: n or d?
d
Let w(x) = -x**2 + 1. Let d be w(5). Let b be (-1)/(-2)*(-36 - 4)/(-4). Suppose -v + 2*k - b*k - 27 = 0, -2*k + 22 = -v. Is d smaller than v?
False
Suppose 0*t + 111 = -2*t - w, -4*t + w = 213. Let b = -0.734 - -0.7. Let s = -1.966 + b. Is t <= s?
True
Let s = 4.3 + -4.4. Let a = 100 + -78. Let f = a - 16. Is f at least as big as s?
True
Let q = -1267/23103 - 4109879638/1363077. Let r = q - -3015. Which is smaller: r or -1?
-1
Let n = 2856208610/11223 + -254496. Let z = n - 34109/2469060. Which is greater: z or 1?
1
Let u = -8/5 + 1/10. Let z = -34853 + 34812. Is z >= u?
False
Suppose -98 = -6*i - 14. Let t be (16/12)/(i/(-63)). Which is smaller: -8 or t?
-8
Let b = -59 + 58. Let m be 2/b - 12172/(-6084). Let v = m - 9143/25857. Are -1 and v equal?
False
Let m = 0.14868 + -7760.14868. Is -0.1 <= m?
False
Suppose -4 = -3*d + g - 3, 7 = -d + 4*g. Let n be d*(-7)/(-5 - -12). Is n != 2/31?
True
Let r = 13 + -12. Let s be 3/6*(-6)/133. Which is smaller: s or r?
s
Let z(u) = u**2 + 15*u + 33. Let w be z(-13). Suppose -2*m - 4 = d, -4*d = 4*m - w*m + 5. Which is greater: d or -8/7?
-8/7
Let l(k) = -k**2 + 6*k - 10. Let t be l(2). Let j be t/13 + 1290/7540. Suppose 0 = -4*x + 3*x. Is x equal to j?
False
Let q be 8/10 + (-245)/(-75)*-33. Does q = -126?
False
Let u = 177031 - 2301407/13. Let s = -3 + 2. Is u > s?
True
Suppose -3541*b = -3511*b + 30. Which is bigger: b or -4/267?
-4/267
Suppose -1 = -70*c + 14*c - 57. Suppose -156 = 3*v - 3*t, 5*v + 0*t + 4*t = -224. Is v at most c?
True
Let k = -101105573325641/1114349379 - 126585658/133471. Let j = 91679 + k. Let r = j - 32467/5566. Which is smaller: r or -7?
-7
Suppose -3*g = -49 + 139. Let r(a) = 16*a - 30. Let w be r(11). Suppose -w - 574 = 24*u. Is u smaller than g?
False
Suppose 0 = -4*g - 20, -q + 820 = -6*q - g. Let v be (-172608)/1056 - (-6)/(-11). Which is smaller: q or v?
v
Suppose -34*k - 40 = -38*k. Suppose -28*d = -30*d - k. Let a be (-68)/(-12) + d - 232/(-30). Is a less than or equal to 7?
False
Let b = -4632 - -5533. Is b bigger than 0?
True
Let n be -89*(-1)/(1/5). Let f = -2438 - -2440. Let s be (168/n + f/(-5))*1. Which is greater: 1 or s?
1
Let o be (0 - (-18)/(-8238))*(144/(-27) - -6). Which is smaller: 0 or o?
o
Let l = 0.3 - -37.7. Suppose -7*f - 47 = 2*g - 45, -f - 5 = 5*g. Which is greater: l or f?
l
Suppose 0*l = 4*p - 5*l + 46, 2*p + 4*l = -10. Let k = -24 + 34. Let w be (k/(-3))/(3/9). Is p greater than or equal to w?
True
Let z = -12.1 + 8.3. Let g = 1893 - 1896. Which is bigger: z or g?
g
Let u = 478560/671 + 23406/61. Which is smaller: 1096 or u?
1096
Let w = -12185 - -12239.99. Let m = w + -55. Let i be 4/(-10)*(0 - -1). Are m and i non-equal?
True
Let v(f) = 3*f + 14. Let z be v(-4). Suppose -3*t - a = -6*t - 12, z*t - a + 9 = 0. Which is smaller: -11/3 or t?
-11/3
Let z = 34798 - 32644. Is -5/3 at most z?
True
Let u = -3778 - -3787.7. Let q = -27.4 - -37. Let s = u - q. Is s at most as big as 0.1?
True
Let i = 1115 + -1114.992. Are i and 8/9 equal?
False
Let p be (-12*30/400)/(1434/5). Is p less than or equal to -1?
False
Suppose 0 = 8*v + 41 - 393. Which is bigger: 42 or v?
v
Let v be 6 + 1 + -1 + (6 - 1). Which is smaller: 49/4 or v?
v
Suppose 18*b - 12*b + 0*b - 5406 = 0. Which is bigger: 900 or b?
b
Let l = 8870 + -9090. Do l and -240 have the same value?
False
Let x(s) = s**2 + 82*s + 81. Let z be x(-81). Which is smaller: z or -2/10595?
-2/10595
Let i = -175489/5 - -36500. Is i not equal to 1403?
True
Let w = -773/1029414 - -206621088647/1178679030. Let n = w - 53/229. Let g = n + -175. Which is greater: 0 or g?
g
Let h = 3.815 - -725.185. Is 3 at least h?
False
Let j be (-43489)/(((-21)/4)/((-24)/32)). Let v = j - -6231. Is v > 18?
True
Let b = 1/49677 + 146731/114257100. Is b equal to 1?
False
Let k be -10 + -1 - -7 - -11. Let x(q) = 5*q**2 + 141*q + 43. Let t be x(-28). Are k and t equal?
False
Let n = 3.9 + -4. Suppose 4*y + 3*k + 847 = 0, -2*y + k - 2*k - 421 = 0. Let x = y - -195. Are n and x unequal?
True
Let z = -2038189/660 + 403/220. Is z at least -3086?
False
Suppose 9*z = -15516 - 2342 - 2653. Which is bigger: z or -2281?
z
Suppose -23*h + 10 = -20*h - 2*j, -15 = -4*h + j. Suppose 3*r + 1 = -h*i, i + 4 = -r - 4*i. Let w be (-4)/(-82)*3/2. Which is smaller: r or w?
w
Suppose 6*n - 786 = 3*b, -25*b = -28*b - 4*n - 786. Is b smaller than -260?
True
Let v(o) = 44*o**2 - 15*o + 49. Let r be v(6). Do 1545 and r have different values?
True
Let v = -34734 - -29277. Which is bigger: v or -5456?
-5456
Let j = 421/10 + -9707/270. Let a = 412/135 + j. Which is bigger: a or 9?
a
Suppose 17*s - 13*s + 22 = 2*f, 3*s + 3 = -3*f. Suppose l + 4*o = -4, -3 = -0*l + l + f*o. Which is greater: l or 2/37?
2/37
Suppose 5*t - 7*t = -8. Let b be ((-7)/14)/(3/t). Let f = -4655/11 - -423. Is b at least as big as f?
False
Let x be ((-6)/6*(1 - (2 - 1)))/1. Is -2/2513 < x?
True
Let b = 3715/21 + -1236/7. Is 0.5023 at least as big as b?
True
Let y(z) = 2*z**3 - 27*z**2 - 169*z - 193. Let p be y(-13). Is -6953 <= p?
True
Let p be (-3)/(-30)*5*0. Suppose 0 = -0*v + v - 3*t - 7, 2*v - 5*t - 12 = p. Suppose -3 = u + v. Which is smaller: u or -26/5?
-26/5
Let i = -8521 + 9125. Is i equal to 602?
False
Let w = 166241/33 + -16129/3. Which is smaller: w or -338?
w
Let y = 5920 + -5918. Let m be 0 + -1 + (2 - -1). Suppose 4 = y*a + m*s, 5*s - 5 = 5. Is a at least as big as -2/73?
True
Suppose 82*i + 112536 = 58*i. Which is smaller: 1 or i?
i
Let d = 272 + 442. Suppose 51*x - 72*x + d = 0. Is 2 < x?
True
Let j be ((-16)/12)/(18 - 535144/29730). Do j and 9911 have the same value?
False
Suppose -20*j + 22*j = -1194. Let u = -99700/167 - j. Is u < -1?
False
Let z = -26.86 - -26.73. Which is greater: z or 0.027?
0.027
Let v(u) = u**3 + 14*u**2 - 2*u - 29. Let t be v(-14). Let r be t*((-60)/75)/(2/5). Which is smaller: r or -6?
-6
Let k = -3042 + 3169. Which is smaller: 121 or k?
121
Suppose 0 = -4*y - 4*n + 124, -y - 2*y + 5*n + 133 = 0. Let j be y/(-24)*((-8)/(-3))/(-2). Is 7/12 less than or equal to j?
True
Let s be (12/(-15))/(8/(-20)). Suppose -s*q = 17 - 9. Let z be ((-5)/(10/q))/(10*1). Which is smaller: -0.6 or z?
-0.6
Let g = 234617/6 + -39003. Is g bigger than 101?
False
Let r = 33 + -32.