/(-21) - 1). Do v and n have different values?
True
Let b = -168019 - -168022.4. Let i = 0.2 - 1.2. Which is smaller: b or i?
i
Let n be (-9975)/4 - 40/160. Which is bigger: -2492 or n?
-2492
Let j = 2.64 - 3.14. Let y(p) = p + 1. Let i(q) = -q**3 + 7*q**2 - 6*q - 1. Let o be i(6). Let b be y(o). Is j < b?
True
Suppose 16*b - 15 = 11*b. Suppose 2*y = -y - b. Is 119 != y?
True
Let b = -4.5791 - 0.0409. Let q = 0.38 - b. Let k = -1.5 - 0.5. Which is smaller: k or q?
k
Let y = -2591/279493 + 9904491093/1337094512. Let r = 5/368 - y. Which is smaller: r or -7?
r
Let u be ((-2)/8)/((-1386)/(-48)). Let z(q) = -566*q + 7357. Let c be z(13). Is u greater than or equal to c?
True
Let h = 0.7049 - -0.9951. Is -3/40 at least as big as h?
False
Let w = -4562 + 5758. Are 1199 and w equal?
False
Let m = -1256 + 1255.7. Is 17/42 <= m?
False
Let u(v) be the first derivative of v**4/12 + 4*v**3/3 - 10*v**2 - 7*v + 22. Let r(b) be the first derivative of u(b). Let f be r(-10). Are f and 34 nonequal?
True
Suppose -6*n + 24 = -10*n. Let f be ((-16)/(-6))/(n/828). Let k be 13/39 + (f/(-546) - 1). Is k smaller than -1?
False
Let k = -54686 + 2460884/45. Suppose -v - 2*v = 3. Which is smaller: v or k?
v
Suppose 1657 + 1359 = -814*z - 1054. Suppose 0 = -c - 2*c. Let o = c - 6. Which is greater: o or z?
z
Let w be ((-24)/(-15) - 2)/(8/(-80)). Suppose -4*j + 773 = -z, 2*j = w*z + 204 + 200. Let i = j - 2879/15. Is i greater than or equal to -2/3?
True
Let d(k) be the first derivative of 3*k**2/2 + 6*k + 391. Suppose -3*b = -15, -3*b + 19 = 3*h + 2*b. Let n be d(h). Is 1 smaller than n?
False
Suppose 36 = -2*z - 2*z - 5*z. Is 459 at least z?
True
Suppose 0 = 3*t + v - 16, -3*v = -0*t - 3*t. Suppose t*i + 268 = 2*m, 3*i = -5*m + 7*i + 640. Which is bigger: m or -1?
m
Let w(r) = -302*r + 2836. Let p be w(10). Which is smaller: p or -550/3?
p
Let a(w) = -w**2 - 7*w - 49. Let f(x) = 9*x + 60. Let b be f(-8). Let z be a(b). Which is greater: z or -108?
-108
Let t be 1/993*((-5)/(-2) + 1*2). Which is smaller: t or 1?
t
Let j = -0.35 - 0.12. Let t = 1114/59 + -3460/177. Which is smaller: j or t?
t
Let m = 20 + -44. Let t be 54/m*8/(-6). Which is greater: 62 or t?
62
Let b be 12/78 - (-246)/936. Let g = 7 + -7. Suppose -u + 2 - 1 = g. Which is greater: b or u?
u
Suppose -t = 2*w + 52, -w + t - 31 = 1. Let i = -20822/763 - 202/109. Which is bigger: i or w?
w
Suppose 69*k - 77*k + 2288 = 0. Let j = -401 + k. Is j bigger than -115?
False
Suppose 5*m + 2980 = -2*o, 0 = -3*o - o + 20. Let z = 489 + m. Which is greater: z or -110?
z
Let a be (-1 - (-33)/39)/2. Let i(p) = 6*p + 25. Let x be i(3). Let o = 44 - x. Which is smaller: o or a?
a
Suppose 285*d + 1020 = 81*d. Which is smaller: -69 or d?
-69
Suppose -9 = 2*u - 22*x + 21*x, -3*u - x = 26. Which is smaller: u or 217?
u
Let y = -509/3 + 113. Let v = -21596/381 - y. Is v less than or equal to 1?
True
Let c = -863.83 - -863. Let q = -27.13 - -38.96. Let y = q + c. Which is smaller: 1 or y?
1
Let u(r) = -3*r**3 + 3*r**2 + r - 2. Let y be u(2). Let m(t) = -t - 18. Let n be m(y). Let q be 4 + n - (-128)/60. Are q and 0 equal?
False
Suppose 4*f = -4*f - 5*f. Suppose 0 = -7*h + 9*h. Is h at most f?
True
Let k = 130/3 - 44. Let a(p) = p**2 - 14*p - 63. Let d be a(17). Let g be 0*(-3 - 32/d). Is g greater than or equal to k?
True
Suppose -a + 6*r - 2 = 10*r, 0 = 5*a + 4*r - 6. Let t be (15/a)/(-5)*32/48. Let d = 90587/157 + -577. Which is greater: t or d?
d
Suppose 0 = 2*r - 0 - 8. Suppose 0 = -5*o + r*o - 8. Let s(d) = d**3 + 6*d**2 - 14*d + 14. Let k be s(o). Which is bigger: k or -4?
k
Let q = -4645 + 4694. Let w = -3450 - -13999/4. Let o = w - q. Which is smaller: o or 1?
o
Let m = 5.682 + -5.572. Is -0.096 bigger than m?
False
Let h = -323/606 + 10/303. Which is smaller: -130.8 or h?
-130.8
Suppose -4*q = a - 27, -2*q + 121 = 2*a + 61. Let u = 41 - 14. Which is smaller: a or u?
u
Let f = 16916 - 16911. Which is smaller: f or 1855?
f
Suppose -2*c + 0*c - 8 = 0. Let u be (116/(-435))/((-2)/(-30)). Is u > c?
False
Suppose -1784888 = l + 6*l. Let c be (-3)/(2220/l) + (-2)/(-5). Let g = c + -345. Is 0 at most as big as g?
False
Suppose -468*z - 230 = 3*x - 472*z, -2*x - 4*z - 140 = 0. Which is smaller: x or -68?
x
Let y(c) = 24*c - 423. Let o be y(47). Suppose 0 = -o*z + 702*z. Let p = 80 + -561/7. Which is smaller: z or p?
p
Let j(c) = -c**3 - 23*c**2 - 45*c + 33. Let p be j(-21). Suppose -10*q + 16*q + p = 0. Let f be -3 - ((-93)/36 - (-4)/(-6)). Are q and f non-equal?
True
Let l be 21 - (4 + 5)/(-3). Let z = 45.1 + -45. Is z > l?
False
Suppose -43*f + 32*f + 154 = 0. Suppose 8*a - f - 90 = 0. Is a <= 6?
False
Let z be (-52)/(-182) - (-19)/7. Let u be (-64)/(-10) + (z - 14) + 6. Do u and 3 have the same value?
False
Let n be 2 - (0 + 259654/45437). Let b = 2/6491 + n. Suppose 4*j - i = i - 14, 0 = -3*i - 3. Which is smaller: j or b?
j
Suppose 2*r - 20 = -48. Suppose 3*q + 227 = -2*m + 184, -q = -m + 11. Which is smaller: q or r?
r
Let r(n) = 3*n + 65. Suppose -4*w + 16 = 0, -2*a - 3*w = -w + 20. Let b be r(a). Suppose -5*q = -104 - 16. Is b != q?
True
Let p be ((-28153125)/(-55524))/39 + -13. Which is bigger: p or 0?
p
Let a = 2.6 + 8.4. Let o(n) = n - 18. Let r(i) = -5*i - 27. Let q be r(-9). Let j be o(q). Which is smaller: a or j?
j
Suppose -j = -j + 3*j. Let d = -44 - -26. Let g be (0 - -2)/(372/d). Is g greater than j?
False
Let g = -15/118 - 123/1121. Let q be 3/6 + (-3)/2. Is g less than or equal to q?
False
Suppose -33*d - 84 = -39*d. Let m = -76 + 90. Is d >= m?
True
Suppose -6 + 1 = -5*i. Let p be -1*(610/(-1))/((-2)/(-2)). Let d be 12/85 - 122/p. Is d less than i?
True
Let l = 11465 - 699402/61. Is -2 at least as big as l?
False
Let h = -52/33 + -1/11. Let u = 0.6 + -2.6. Which is bigger: u or h?
h
Let g = 1033024.143 + -1033467. Let n = -443 - g. Which is greater: -1 or n?
n
Let v = -5830 - -5856. Which is greater: v or 467/18?
v
Let y = 356/107 - 1610295/483961. Is 0 < y?
False
Suppose -108 = -2*t - 4*y, -29*t = -34*t - y + 315. Let h(c) = 73*c**3 + 2*c**2 + 2*c + 1. Let b be h(-1). Let x = -9 - b. Which is smaller: x or t?
x
Suppose -4 = -3*i + 5, 5*n - 5*i = -3265. Let o = -649 - n. Is 16/65 not equal to o?
True
Let g be ((-21)/(-322))/((-44)/8)*3965. Let l = g - -510/11. Is l < -1?
False
Let i(n) = 7*n - 186. Suppose 5*k = 12 + 8, -3*k - 158 = -5*a. Let l be i(a). Is 53 at least l?
True
Let z(o) = -o**3 - 3*o**2 - 5*o + 4. Let a = 54 + -58. Let d be z(a). Let g = 39 - d. Is g smaller than 2?
True
Let s = 10 + -8. Let g = s + 47. Let y = g - 49.4. Which is smaller: 1/3 or y?
y
Let k(r) = 4*r**2 + 12*r - 80. Let b be k(-6). Which is smaller: b or -33/4?
-33/4
Let k(n) = -867*n - 12. Let d be k(-5). Let v = d + -237757/55. Let m = v + -439/2640. Which is greater: 0 or m?
0
Suppose 5*p - 31 = -2*t - 6, 0 = -2*t + 5*p - 5. Suppose -t*x - 3*b + 0*b = 6, x - 4*b - 8 = 0. Which is smaller: -2/21 or x?
-2/21
Let p(n) = 66*n**2 - 17*n - 18. Let o be p(-1). Let b be 20/(-16)*508/(-10). Does b = o?
False
Let d = 26060 + -26051. Are 365 and d non-equal?
True
Let z = -22 - -38. Let l = -1693 + 1712. Let p = z - l. Which is greater: 0 or p?
0
Suppose 4*x + 55 = -81. Let o = -38 - x. Let d = -29 + 30. Are o and d non-equal?
True
Let i(v) = -27*v**2 + 230*v + 16. Let y be i(8). Which is smaller: 134 or y?
y
Let c = -10751 + 10752. Which is bigger: c or -44/139?
c
Suppose 0 = -b + 5*v + 743, -v + 2888 = -19*b + 23*b. Is b greater than or equal to -1?
True
Let h = 15671/9 - 1740. Are 2 and h equal?
False
Suppose 5*f + 6*k - 40 = 3*k, -2*k = -2*f. Suppose 0 = 2*o + 3*z - z - 10, -z = -5*o - f. Which is smaller: o or 9/59?
o
Let j = -162.03 + 180.03. Does -354 = j?
False
Let u = -120 + 122.2. Let n be ((-3)/(-6) - 1)/((-390)/60). Which is smaller: u or n?
n
Let i = 78839/2 + -37767. Which is smaller: i or 1652?
1652
Let j(b) = -16*b**2 + 4*b + 4491. Let v be j(0). Which is greater: v or 2?
v
Let g = -1971.69 - -1910. Which is smaller: g or 1?
g
Let l be 2750/(-347) - (-16 + 8). Which is greater: l or -1?
l
Let s = 43069/9072 - 34/567. Which is smaller: 4 or s?
4
Suppose -206*f = -44*f - 1296. Let l = -1 + 1. Which is smaller: f or l?
l
Suppose 3393 = -18*i + 2205. Are -65 and i nonequal?
True
Let y be 11/((-33)/(-9)) - (236/(-39) + 9). 