 -3*p - 2, -4*d - 3*p - 16 - 10 = 0. Is d > c?
False
Let d be (12/(-4))/(3 - 15/4). Let q be (d + -4 - -4) + -6. Is -3/4 at most as big as q?
False
Suppose -u - 3*a = -12, 6 - 33 = 4*u - 3*a. Suppose -7*n - 16 = -3*n. Is u > n?
True
Let y(m) = m**3 - 22*m**2 - 23*m - 9. Let z be y(23). Let l be (12/(-14))/(z/14). Which is smaller: l or -5/4?
-5/4
Let f = 4 - 2. Suppose 5*t = v - 774, 4*v - 632 = -2*t + 6*t. Let x be t/(-147) - 2/6. Which is bigger: f or x?
f
Suppose -33 = -5*d + 4*y, -7*y - 28 = -4*d - 3*y. Suppose -f - 2*v = 3, 14 = d*f - 2*v + 5. Which is smaller: f or -10?
-10
Let g = 1 + 3. Let f be (3/(-4))/(g/80). Which is smaller: -13 or f?
f
Let y(l) = l**3 + 6*l**2 - 10*l - 17. Let d be y(-7). Suppose 2 + 21 = -3*z - 4*t, -5*t - 21 = -d*z. Which is bigger: -1/35 or z?
-1/35
Let w = -0.16 - -3.96. Let l = 4 - 3.2. Let r = l - w. Which is smaller: r or -2/3?
r
Let c be (48 - 2)/(0 - 2). Let y = -53 - -30. Are c and y non-equal?
False
Suppose -4*m + 10 = -3*c, 10*c + m = 9*c + 6. Let d be 2*(-1 - (-5)/2). Is d bigger than c?
True
Let k = -3662 - -3670.955. Let j = 0.045 + k. Which is greater: j or 0?
j
Let p = 14/73 + 12486/365. Is 33 < p?
True
Let r = 0.02 - 1.22. Let b = r + -3.8. Let i = -8 - b. Which is greater: i or -1/2?
-1/2
Let f be ((-36)/(-224))/((-168)/(-98)). Which is smaller: f or -1?
-1
Let r(v) be the second derivative of v**4/12 + 2*v**3/3 + v**2 - 18*v. Suppose a = -4*c + 2*a - 9, 5*c = 4*a - 14. Let t be r(c). Which is bigger: -4/7 or t?
-4/7
Let r = -18 - -18. Let q(g) = r - 2*g + 8 + 4 + 0*g. Let d be q(5). Is 4 <= d?
False
Let n = -1674 - -1629. Is n != -1/16?
True
Let d = 3798 + -2666. Let j be (4262/128)/(18/(-612)). Let g = j + d. Are g and -1 nonequal?
True
Let z = 10 + -10.08. Let l = 0.22 - z. Let i = -2/21 + 52/105. Is l != i?
True
Let c = -1401 + 1402. Which is bigger: c or 5/111?
c
Let k = -4/911 + 46573/25508. Which is greater: 1 or k?
k
Let o(t) = -7*t + 96. Let u be o(12). Are 43/4 and u unequal?
True
Suppose 2*k = -4*t + 16, 4*t + 3*k = -2*k + 16. Suppose t*u + 17 = -23. Is -10 >= u?
True
Let q = -1846 - -1847. Which is greater: -1022 or q?
q
Let z = 2.1 + 42.9. Let s = 44.7 - z. Which is smaller: s or 4/7?
s
Let i be ((-7)/(-1) + (-115)/23)/(-2339). Is i bigger than 0.1?
False
Let c = -15 - -9. Let u(q) = -q**2 + 6*q - 9. Let l be u(4). Is l greater than c?
True
Let s be 2/5 + 18/5. Suppose 3*f + u - 5*u - 31 = 0, -2*f + 2*u + 18 = 0. Let z = f - s. Which is bigger: 0 or z?
z
Let x be ((-2 - -1)*1)/(-1). Let i = 1/181 - -265/17557. Which is smaller: i or x?
i
Suppose 2*j - 6 = k - 3, 0 = 5*k - 2*j - 9. Let x be (-4)/k*2/8. Let o be (13/195*-5)/(3/((-36)/10)). Which is greater: x or o?
o
Suppose 0 = -3*c + 50 + 16. Let n = c - 20. Is n at most as big as 4?
True
Let n(s) = -2*s**2 + 8*s + 3. Let b be n(6). Let g be ((-3)/2*-1)/b. Suppose 198 = 3*f + 201. Is f greater than g?
False
Let z be (-219)/(-42) - 260/52. Is z smaller than -1/33?
False
Let n = 1 + -1. Let k = -3 - n. Let p = -229/238 - -23/34. Which is smaller: k or p?
k
Let j(s) = 11*s - 30. Let i(o) = 5*o - 10. Let m be i(3). Let t be j(m). Are t and 26 nonequal?
True
Let q be 4 - (-231)/9*-1. Let j = -449/21 - q. Are 0.14 and j nonequal?
True
Let k = -332 - -337. Let p = 4791/5 - 954. Is k at most as big as p?
False
Let l = 3355 + -10246/3. Let c = 129992 - 2731097/21. Let h = l - c. Which is greater: h or 1?
1
Suppose 0 = -40*j + 49*j + 153. Let r = 3 + -17. Let n = r + -4. Are n and j nonequal?
True
Suppose 3*n = -n + 12. Let v(z) = z**3 - 2*z**2 - 3. Let d be v(n). Suppose -1 = 3*g - j - 14, 5*g = -4*j + 16. Is g not equal to d?
True
Let m be (4 + (-924)/230)/(28/5). Are -1 and m non-equal?
True
Let g = -353 + 454. Which is smaller: g or 100?
100
Let h = 4913 + -555183/113. Is h at most 1?
True
Let c(i) = -i**3 + 12*i**2 - 18*i - 2. Let t be c(10). Let l = t - 49. Is -31 at most l?
True
Let i = -0.11 + 0.21. Let y = 23 + -32. Is y less than i?
True
Suppose -7 = -3*k - v + 137, k = 4*v + 61. Let y = k + -41. Which is smaller: y or 4?
4
Let b = -22.4 - -8.4. Which is smaller: 1/6 or b?
b
Let a = 1/927 + 1741/104751. Let c be (-8)/452 + (-3)/(-42)*4. Let f = a + c. Is -1 less than f?
True
Suppose -60 = 7*m - 11*m. Let s = 31 - 55. Let v = s + m. Is -8 at least as big as v?
True
Let z = -10.2 + 57. Let v = z - 46. Is 1/4 not equal to v?
True
Suppose -8*s + 3*s = -5*r, -3*r = 3. Which is greater: s or -2/4563?
-2/4563
Suppose -4*m + 4*t = 1 - 77, 0 = 3*m - 2*t - 60. Let z = -22 + m. Which is smaller: z or 1/31?
z
Suppose n + 1 = 2*h, -2*n + 2 = 12. Let m = -524 - -521. Is m > h?
False
Let v = -9 - -8. Let j be (v + 0)/((-16)/304). Is 17 <= j?
True
Let j = -0.3 - -0.2. Let a = 23.119 + -9.119. Which is greater: a or j?
a
Suppose 134*o = 138*o + 16. Let q be -2*-3*o/(-24). Which is bigger: q or 7/6?
7/6
Let y = 23 + -22.95. Let t = y - 0.15. Let i = -308/9 - -34. Are t and i unequal?
True
Let a be -5 - (0 - -5)*(-3 - -2). Is -1/32 <= a?
True
Let p(j) = -2*j + 2. Let z be p(0). Suppose -2*m = -4*f - 9 - 9, m + 6 = -f. Let g be 3 - 5 - (-2 + m). Which is greater: z or g?
z
Let z be (-11*(-2)/(-4))/(5*15/150). Let i be 8*((-6)/4 + 0). Which is smaller: z or i?
i
Let r = -4017812/297 - -13528. Is 1 greater than or equal to r?
True
Let n = 18 - 41. Let l = n + 22. Let j = 12 - 12.7. Is l equal to j?
False
Let i = -3/10 + -271/30. Let d = 2660 + -2670. Which is bigger: i or d?
i
Let i be 3/(-12) + (-2)/(-6). Let v(k) = k**3 - 6*k**2 + 3*k - 18. Let a = 63 + -57. Let m be v(a). Which is bigger: i or m?
i
Let q = 0.51 + -0.01. Let s = q - 0.52. Let n = s - -0.52. Which is greater: n or 0.2?
n
Let n be 4/(-10) - (5068/10)/(-7). Let f = -656/9 + n. Suppose -4 + 15 = -4*a - 3*y, -y + 7 = -4*a. Which is bigger: a or f?
f
Let n(o) = -o - 6. Let l be n(-13). Suppose -3*p - 8 - l = 0. Are p and -8 non-equal?
True
Let u(x) = -27*x + 4. Let o be u(4). Let r be ((-1 - (-12)/8) + 2)*-8. Let f be r/o*20/25. Is f smaller than -0.3?
False
Suppose 20 = -d + 5*i - 3, -5*d = -4*i + 10. Let n be 1*d - (9 + -9). Suppose 28 = n*v + 2. Which is smaller: v or 12?
12
Let f(g) = -g**3 + 6*g**2 + 8*g - 8. Let a be f(7). Let y be 14/56*4*2. Let x be a/((-3)/(y + -5)). Is x > 1?
False
Let z be (12/165*123)/(14/(-35)). Is -21 <= z?
False
Let b be 7 - (-3 + 2 + 9). Is 1/8 less than b?
False
Suppose -3*p + g + 224 = 0, 2*p - 82 = -3*g + 49. Let k = 70 - p. Which is smaller: -0.1 or k?
k
Let v be (10 - 11)*(-213)/(-1). Is v > -213?
False
Suppose -f + 71 = 70. Which is greater: 1/293 or f?
f
Let h(o) = -o**2 - 7*o - 22. Let i be h(-5). Let c(s) = s**3 + 6*s**2 - 6*s - 9. Let r be c(-7). Let z = i - r. Is 6 > z?
True
Let f be -1 - (-23)/7 - (-16)/(-8). Which is smaller: -4/15 or f?
-4/15
Let r = 16.79 - 17. Let g = -0.21 - r. Are g and -1/3 equal?
False
Let x be 6/(-34)*(-2)/(-3). Suppose 3 = 3*h, -2*c + 0*c = 2*h + 8. Let q(z) = -z**3 - 6*z**2 - 6*z - 5. Let g be q(c). Is x less than or equal to g?
True
Suppose 44*p + 14320 = 39*p. Let c = p - -575662/201. Which is bigger: c or -1?
c
Suppose -3*p - 4*f + 965 = -23, -3*f = -3*p + 1002. Is 333 greater than or equal to p?
True
Suppose 4*s + 1 = l + 18, 12 = -s - 3*l. Suppose -s = -4*p + 2*a - 1, -7 = -5*p + 4*a. Is -1 greater than p?
False
Let q be 374 + 3 + (-5)/1. Suppose 28*k - q = 32*k. Is -92 at most k?
False
Let v(n) = n**3 + 5*n**2 - 17*n - 14. Let i be v(-7). Suppose u - 2 = 12. Suppose -1 - u = -3*r. Which is smaller: r or i?
r
Let t be 1*(4 - -1) - 3. Let d(r) = r + 11. Suppose -z = -4*l - 27, 6*l - 3*l - 3*z + 9 = 0. Let p be d(l). Which is greater: t or p?
p
Suppose -5*g + 65 = -50. Is g <= 23?
True
Let r(o) = 46*o**3 + 3*o**2 - o - 1. Let a be r(1). Suppose a*y - 43*y = 24. Which is smaller: y or 5?
5
Suppose 60 = 2*u - 2*d + d, -d + 2 = 0. Let f = 32 - u. Which is smaller: f or -1/57?
-1/57
Let v(m) = -m**2 - m. Let d be (4/(-2) - 1) + 0. Let o be v(d). Let l be 45/o*(-20)/125. Is l at least as big as 1?
True
Suppose -3*l - 3*k = 147, 3*k + 127 = 5*l + 348. Which is bigger: -49 or l?
l
Let u(p) = -p**2 + 5*p - 10. Let w be u(-7). Is -94 greater than or equal to w?
True
Let p(x) be the second derivative of x**5/20 - x**4/3 + x**3/6 - 5*x**2/2 + 3*x. Let a be p(4). Which is smaller: -2/43 or a?
a
Suppose -3*r - 14 = -29. Let