0 = -4*n - k*v - 756, -4*n + 2*v - 3*v = 756. Let m be 3/5 - 1 - n/135. Is m greater than 9/8?
False
Let q(r) = -r**3 - 4*r**2 + 3*r - 4. Let a(s) = 6*s. Let l be a(1). Suppose -3*t = -2*i + l*i + 32, 4*i = t - 16. Let m be q(i). Is m bigger than 25/4?
False
Let d = -330 - -88. Let g = 275 + d. Is g at least as big as 1?
True
Let y = -6155 - -6154.9. Let g = 27 - 27.47. Which is smaller: y or g?
g
Let u = 65 - 54. Let o = u - 7. Let r = -0.02 - -1.02. Is o <= r?
False
Let z be (931 + -932)/((-1291)/15). Which is bigger: z or 1?
1
Let g = 7039 - 6595. Is 442 greater than g?
False
Suppose i - 4*i = 15. Suppose 6*l - 105 = 141. Suppose 0 = 28*u + 127 + l. Which is smaller: u or i?
u
Let a = -137 - -89. Let s = -461.1 + 413. Let r = a - s. Is r at least as big as -11?
True
Let t(z) be the third derivative of z**6/120 + 4*z**5/15 + 3*z**3/2 - 11*z**2. Let u be t(-16). Suppose g = m - 9, -m - 4*g = -2*m + u. Is m bigger than 9?
False
Let g = -417 - -394. Is g less than or equal to -0.15?
True
Let w = -14078 - -168107/12. Let t = -69 - w. Do 0 and t have different values?
True
Suppose -15*t = 3*t + 15466 + 8690. Which is bigger: -1346 or t?
t
Let f = -3 - -47/7. Let s be (495/12)/(2/(-8)). Let g = -160 - s. Is g less than f?
False
Let p = 17/12 + -5/4. Suppose 2*f - 5*d = -34, -5*f - d = -2*d + 108. Let k = f + 22. Do p and k have the same value?
False
Let v(p) = 3*p**3 - 2*p - 1. Let c be v(-1). Let a = c + -1. Let n = -198 + 194. Is a bigger than n?
True
Let b = -56496 + 199939346/3539. Is b at least -1?
True
Let q = 982 + -985. Do -3.8 and q have different values?
True
Let b = -34 - 17. Let p be 4/12 - b/(-234). Is 0 at least p?
False
Let g = -24660 + 25686. Is g greater than or equal to 1021?
True
Let c = -131/324 - 1/81. Let i = 627 + -626. Is i less than c?
False
Let f be 6/33 + 18/22 + 2. Let h be (-2 + (-4)/(-3))/((-1)/f). Let o be -3 + h - ((-192)/(-18) + -5). Are o and -7 non-equal?
True
Let t(b) = -b**2 - 23*b + 14. Let f be t(-23). Suppose -f = l - 22. Suppose 15 = 9*y - l*y. Is 14 < y?
True
Let q(f) = -f**3 + 2*f**2 + 35*f + 1. Suppose 2*p - 20 = 3*z, -5*p + 30 + 2 = -3*z. Let w be q(z). Is -41 not equal to w?
True
Let d = 299 - 250. Suppose 88 - d = -13*k. Which is greater: k or -36/17?
-36/17
Let g = -37.61 - -37.7125. Is -0.1 > g?
False
Suppose 0 = -11*u + 5744 - 959. Suppose 36 = -u*r + 438*r. Which is smaller: 5 or r?
5
Let k = -21 + 117. Let i = 113 - k. Is i greater than 17?
False
Let z(f) = -25*f**3 - 11*f**2 + 10*f + 1. Let l be z(7). Let r = l - -2215531/245. Are 1 and r non-equal?
True
Let s be (0 + 1)/(((-15248)/(-192))/((-1)/(-4))). Is 2/9 <= s?
False
Suppose -4*f + 17 = -5*b, 4*b + 2*f - 8 = -2*f. Let n be (-4855602)/(-10868) + (-2)/(-11). Let x = n - 447. Which is bigger: b or x?
x
Let n be (-152)/(-26) + (-10)/(-65). Let f be (-33)/(-88) + (0 - 5/n). Which is bigger: 1 or f?
1
Let j be -3953 - 11 - (-2)/(4/6). Let s = -304988/77 - j. Is 0 less than or equal to s?
True
Let t = 3.651 - 1.651. Is 42/11 at most as big as t?
False
Suppose -4 + 228 = 14*x. Suppose x = t + 35. Which is bigger: t or -24?
t
Suppose -2*m - m - 19 = -k, -28 = -2*k + 4*m. Suppose -9*o - 286 = -k*o + 2*q, q + 3 = 0. Which is greater: o or -57?
o
Let y(i) be the first derivative of i**6/360 - 17*i**5/120 + 23*i**4/24 - 14*i**3/3 + 2. Let t(d) be the third derivative of y(d). Let m be t(16). Is m > 9?
False
Let o = -34.068 - -0.068. Let v = o - -2. Let u = -15 - v. Which is greater: 2 or u?
u
Let f be 5 + -7 - (-33)/(-3). Suppose -2*k - 25 = 4*z + 13, k = 2*z - 7. Is k at least f?
True
Let r(f) = 2*f**3 + 16*f**2 + 14*f - 2. Let y be r(-7). Let h = -4 + 9. Suppose h*z = -21 - 94. Which is bigger: z or y?
y
Suppose -4*o = -69 - 3. Suppose -2*g = -5*k + 11, 3*k + 33 - 44 = -g. Suppose -g*w + o = 2*t, 0 = 5*w + 3*t - 89 + 36. Are 12 and w equal?
False
Let p be 16/1 + (-1 - 3). Let w be (13/3)/(4/p). Let q(z) = -z**3 + 12*z**2 + 12*z + 17. Let b be q(w). Which is bigger: 8 or b?
8
Let c be ((4/2)/((-6)/(-501)))/1. Let l(q) = 30*q - 41. Let p be l(7). Is p <= c?
False
Let c be (-40)/30*(1747 - 0 - 1). Which is bigger: -2327 or c?
-2327
Let t be (-3 + 4)/(3/75) - 2. Let m = -21 + t. Suppose -2*o = 6, x - 4*o + 9 = -m*x. Which is smaller: x or -5?
x
Let c be ((-135960)/(-242) + (-6)/(-33))/2. Is c smaller than 3/8?
False
Let s = 17956/23 - 782. Let v = 164/161 + s. Which is greater: 3/10 or v?
3/10
Let s(h) = -h**2 + 27*h - 197. Let x be s(-42). Do -3093 and x have different values?
True
Let d be (-9596)/(48/((-72)/6)). Is 2401 >= d?
True
Let o(m) = 10*m + 75. Let l be o(-7). Suppose 5*p + 24 = -a, -2*a = l*p - 7*a. Which is smaller: p or 17?
p
Let u(k) = k**3 - 6*k**2 - 16*k. Let s be u(8). Suppose s = -53*x + 58*x - 205. Is 41 at least x?
True
Suppose 2*k - 20 = -2*k. Suppose 2*j = -5*n + 206, 0*n - 5*n + k*j = -185. Let m = n - 42. Which is smaller: m or 2?
m
Let c = -4903 + 19615/4. Which is bigger: -12/7 or c?
c
Let g(i) = i**3 - 18*i**2 + 30*i + 35. Let n be g(16). Suppose 4*s + n = -9. Let q = -167/52 + 19/13. Which is greater: q or s?
q
Let d = 4514 + -4578. Do d and 1.1 have the same value?
False
Suppose -4*n - 4*z = -210 + 198, 0 = -5*n + 4*z - 12. Is n less than or equal to 1/2583?
True
Let n be (48/30 - 2)/(14/35). Is n at least as big as 11/424?
False
Let z be (-9)/(-45)*(-1 - 2610/(-2634)). Is -1 at least z?
False
Let l = -0.1178 - -411.1178. Is l at least -10?
True
Let z = 58/3 + -19. Let v = 16702 + -16753. Is z at least v?
True
Let d(p) = -289*p - 8964. Let r be d(-29). Which is smaller: -588 or r?
-588
Let x = 11411 - -12998. Is 24410 greater than or equal to x?
True
Let p be (-6)/(-39) - 836/26. Let w be -7*(p/63 + (-4)/(-18)). Let a be (177/30 - 5)*w. Is a < 3?
True
Let k = 5392 - 5388.3. Which is bigger: k or -60?
k
Suppose 14 - 10 = 4*k. Suppose -4*a + 8*b - 3*b + 77 = 0, 5*b = -2*a + k. Let y be (-9)/(-11) - (4 - 184/44). Is a at least y?
True
Let z(v) = -v**2 - 25*v + 31. Let o be z(-26). Suppose -4*l + 0*i + 3*i - 11 = 0, -o*l = -3*i + 10. Which is smaller: -2/87 or l?
-2/87
Let l be (-53 - (-4308)/84)/((-22)/(-28) + -1). Which is smaller: 217/23 or l?
l
Let v(f) = -28*f**2 + f - 41. Let d be v(9). Are -0.1 and d unequal?
True
Let a = 4.16 - 0.66. Let i = -62 + 31.5. Let d = i + a. Which is bigger: -2 or d?
-2
Suppose -16937 = -10*u - 1137. Let n = u - 2468. Let b = n + 5291/6. Are b and -6 nonequal?
True
Let b = 345 - 325. Let y = -32 - -36. Is b smaller than y?
False
Let u(v) = v**3 - 17*v**2 - 82*v - 7. Let t be u(-4). Which is smaller: -139/9 or t?
-139/9
Let w be 576/(-108)*(-54)/(-3). Is -114 <= w?
True
Let w be ((-264)/32 - -7) + (-1821)/(-84). Let o(n) = -3*n**2 - 16*n + 14. Let q be o(-5). Are q and w non-equal?
True
Let v(h) = h**2 + 17*h + 36. Let m be v(-2). Let l(d) = -8*d + 2 + 4*d + 20 + 7. Let q be l(m). Which is greater: q or 2?
q
Let y = 715.617 + -4.617. Which is bigger: y or -1/2?
y
Suppose 21*c - 6960 = 90*c - 29*c. Which is smaller: c or -176?
-176
Let o = 19900 + -19846. Is o <= 52?
False
Let x(w) = -13*w**2 + 12*w - 12. Let d be x(1). Do d and -14 have different values?
True
Let g = 12/29 + 793/116. Let f = 135 + -128. Let s = g - f. Which is smaller: s or 7/2?
s
Let w(c) = c**3 + 24*c**2 - 5*c + 349. Let n be w(-21). Are 1776 and n nonequal?
True
Let a = -9.91 + -489.09. Let f = a - -499.1. Is f less than 23.8?
True
Let p = 1768 + -1769. Which is bigger: 22/125 or p?
22/125
Let v = -187 + 173.6. Let w = v + 12.9. Which is greater: w or -13?
w
Let c be (-1)/(-6) + (31886/(-84))/(-107). Which is bigger: c or -7/3?
c
Suppose -343*n + q = -344*n - 11, -5*q = -n + 61. Let p = 293 - 1763/6. Let k = p + 31/12. Which is smaller: n or k?
n
Let x be -4 - 216/(-52) - (-320408)/104. Is x less than 3083?
True
Let n = 857 + -463. Let m = n - 446. Which is bigger: -0.3 or m?
-0.3
Suppose 3*d = 5*z + 5, -2*d - 3 = -13. Suppose 0 = 2*s - z + 18. Suppose 0 = -b - 144 + 143. Are b and s unequal?
True
Let z = 9.05 + -9. Let v = -19.4 + 19.45. Let c = z - v. Is c <= 9?
True
Suppose 2*w = -4*b + 4006, 0 = 2*b + 454*w - 449*w - 2007. Which is greater: b or -3?
b
Suppose 12*y + 3117 = -p + 7*y, -4*p - 12438 = 5*y. Which is bigger: -3108 or p?
p
Let t = 3503/7 + -5972643/11935. Is t not equal to 1?
True
Let p be (-1623)/54 + 6/108