.9. Which is smaller: p or 5?
5
Let t(q) = 4*q**2 - 32*q + 27. Let p be t(7). Is 207 smaller than p?
False
Suppose 3*j = 4*n + 5 + 9, 5*j - 4*n - 18 = 0. Suppose -a - 2 + 3 = -2*q, -5*a - q = -38. Let l be 6/285*(j - a). Which is smaller: 0 or l?
l
Let z be -68*(4/(-5) - (-618)/660). Let c(s) = -7*s - 1. Let a be c(1). Are a and z equal?
False
Let m be (-1*21)/(8 - 9). Let l be (-70)/(-88) - m/28. Suppose f - 3*f = 0. Are f and l unequal?
True
Let c be (-10)/(-25) + 496/10. Let d be (c/(-15))/((-2)/(-9)). Let s = -15 - d. Which is bigger: s or 1/9?
1/9
Let m(a) be the first derivative of a**5/120 + a**4/8 - 4*a**3/3 + 3. Let g(w) be the third derivative of m(w). Let b be g(-3). Is 0 bigger than b?
False
Let m = 16.93 - 17. Let x = m - -0.04. Suppose 6*k + 5 = 11*k. Is x less than k?
True
Suppose -2*w - 16 = z - 2*z, 3*w + 89 = 4*z. Let d = 20 + 6. Is z at least as big as d?
True
Let l = -35.6 + 23. Let t = l + 13. Let q = -1.7 - -1.9. Is q <= t?
True
Let d(x) = 2*x**3 + 16*x**2 + 2*x + 14. Let r be d(-8). Is -5 less than or equal to r?
True
Suppose -10 = -4*n + 2*v, -2*n - 25 = -385*v + 390*v. Is -3/2 greater than or equal to n?
False
Suppose j = -q + 115, 5*j - 21 = -4*q + 436. Suppose -4*f + 236 = -5*w, 2*f + w - q = 3*w. Is 59 at least as big as f?
True
Let z = 9.6 - 9.7. Let t = 0.017 - -0.903. Let v = t + -1. Which is smaller: z or v?
z
Let s = -8 + 7. Let h be (1/s + -3)/(-11). Let a be (-1 - 0)*(3 + -2). Is h >= a?
True
Let q = 58192 + -162413870/2791. Is 0 at most q?
True
Let z(j) = 2*j**2 + 6*j + 6. Let s be z(-3). Suppose -s*o = -3*o. Is o < -2/3?
False
Let x = -15.833 + 1.793. Is -0.1 greater than x?
True
Suppose -5*b + 1 = 21. Let l be (-1 + -5)*-1*3. Let d be 27/l*8/(-6). Which is bigger: b or d?
d
Let m(i) = -2*i + 26. Suppose -5*d - 2*j + 1 = -62, -3*d + j + 40 = 0. Let z be m(d). Is z greater than 3/22?
False
Let q be -6*(15/(-9) - -1). Suppose t + q*t = 0. Let x be -1*2/(-6) - t. Does x = -0.8?
False
Let w(v) = 3*v - 11. Let i be w(5). Suppose -k = 2*p + 11, 15 = -2*p - i*k - 5. Let r be 1/(1/p*-4). Which is smaller: 0 or r?
0
Suppose -h = -2*r - 10, 3*r + 2 + 4 = -3*h. Suppose h*y - 3 = 5*y. Let s = -126 + 627/5. Are y and s non-equal?
True
Let t = -0.3 + 0.2. Let r = 892 - 1785/2. Which is smaller: r or t?
r
Let x(j) = -2*j - 11. Let r be x(-7). Suppose -2*v - 26 = -r*m, -3*m + 9 = -v - 10. Which is smaller: -4 or v?
v
Let c = 168 + -174. Let i be -255*(4 - (-26)/c). Do 85 and i have different values?
False
Let l(h) = h**3 + 9*h**2 - 2*h - 5. Let r be l(-9). Suppose -y - 4*x = 13, -y - 2*x = x + r. Let b be -3 - y - 0 - 2. Is 9 < b?
False
Let r = -0.1 + 0. Let j = 1.4 + -4. Let u = j - -2.9. Are u and r equal?
False
Let m = 2761/8931 - 1/687. Let r = 197 + -192. Suppose r*k + 25 = 0, -2*v - 3 = -4*v + k. Which is bigger: v or m?
m
Let h(c) = -c**3 - 6*c**2 + 2*c + 7. Suppose 5*m - 67 = 4*l, 5*l - 4*m + 22 + 64 = 0. Let d be (-40)/(-30)*l/4. Let k be h(d). Is -23/4 > k?
False
Let z(p) = 3*p - 3. Let l be z(2). Suppose l*x - 6 = x. Let a be -4*(x + 44/(-16)). Which is greater: -1/13 or a?
-1/13
Let b(s) = -s - 17. Let r(n) = 2*n + 34. Let x(u) = -7*b(u) - 4*r(u). Let o be x(6). Are -23 and o unequal?
False
Let o be 6 - 2 - (0 - -2). Suppose 4 = 3*p - 2*i, -3*i = 2*p + o*p + 6. Suppose -4*h = 8*h + 228. Are h and p equal?
False
Let l = -2/1606867 + -14362177236/8034335. Let j = 1781 + l. Which is bigger: -7 or j?
j
Let j(d) = d**3 + 8*d**2 + 8*d + 10. Let t be j(-7). Let m(z) = -z**2 + 3*z. Let l be m(2). Suppose -l*a - a + 12 = 0. Is a >= t?
True
Suppose -5*n - 310 = 3*g - 804, 0 = 2*g + 2*n - 332. Is 165 at least as big as g?
False
Let u(s) = -s**2 + 7*s - 5. Let w be u(5). Suppose 11 = 2*x + 5*z, 24 = w*x + z + 8. Suppose 3*c - 63 = -0*f - x*f, 2*c - 2*f = 22. Which is smaller: 17 or c?
c
Let j be 12/9 + 4/6. Let k(x) = x**j - 29 + 20 - 4*x + 2*x. Let v be k(-4). Is 14 < v?
True
Suppose 32*d + g = 31*d - 20, d = -5*g - 12. Suppose -2*c - 32 = 10. Is d smaller than c?
True
Let u = -111 + 144. Do -5 and u have the same value?
False
Let r be (-237)/(-60) - 9/(36/16). Do 0 and r have different values?
True
Let t = 4.0694 - 0.0694. Are -0.04 and t nonequal?
True
Let t = 50 + -23. Let a = -27 + t. Are a and 0.5 equal?
False
Suppose -3*r + 3 = 2*u - 2*r, -7 = -3*u - 2*r. Let a be ((-3 - u) + 2)*-1. Which is greater: -8/11 or a?
a
Let t = -0.1 - 0.1. Let f = 557 + -559. Is t bigger than f?
True
Let j(b) = -57*b - 708. Let u be j(-14). Are 624/7 and u unequal?
True
Let m(k) = k**2 - 3*k + 1. Let p be m(1). Let s be p/(-1) - 2/4. Suppose -4*b - 38 + 22 = 2*u, 2 = -4*u - 2*b. Which is smaller: s or u?
s
Let f = 4 + -3. Let g = 0 + 13. Let x = -21 + g. Which is smaller: x or f?
x
Let b = -0.8 + 22.8. Which is bigger: -6 or b?
b
Let q(a) = -4*a - 23. Let c be 28 - 27 - 1*7. Let p be q(c). Does p = -3/11?
False
Let t(i) = -i - 8. Suppose 2*d - 30 = 10. Suppose 5*n = d, -a + 4*n - 28 + 3 = 0. Let v be t(a). Which is greater: -1/3 or v?
v
Let p be (-6)/(-9) - 70/6. Let w = -2 - p. Let n be ((-6)/36)/(5/w). Is n >= -1?
True
Suppose 3*a - 36 = -a. Let g = -20 - -29. Is g greater than a?
False
Let m be (-4)/(-3)*6/(-4). Let x = 6 + m. Let c be ((-12)/3)/4*x. Is -2 less than or equal to c?
False
Suppose 5*d + t - 70 = 6*t, -5*t = 2*d - 7. Which is smaller: d or 37/3?
d
Let z = -0.711 + -0.029. Let p = -0.26 + z. Are p and 8 non-equal?
True
Let o = -109 + 185. Is 77 at most o?
False
Suppose -4*u - 1 = -2*y + 1, 0 = -2*y + 2*u. Is -1/34 at most y?
False
Let x be 10812/(-446641) + 4/26. Let n be 9/(-282)*-28 - 1. Let u = x + n. Is -1 less than u?
True
Let t = 317137/13 - 24342. Let a = t - 53. Is -1/4 < a?
True
Let n = -590 + 25372/43. Let u = 53/215 - n. Suppose -2*v = 2*v. Which is smaller: u or v?
v
Suppose 18*w - 17*w = 34. Are 36 and w nonequal?
True
Let j be (-24)/6 + -1 + 5. Which is smaller: 0.04 or j?
j
Let z = 319 + -316.9. Is -2 at least as big as z?
False
Let s = 2.29 - 3.29. Let y = 16 + -10. Let c = -6.12 + y. Which is bigger: c or s?
c
Let p be (-15)/(-20)*874/6. Let q = p + -3011/28. Which is bigger: q or 2?
2
Suppose 2*g - 3*d - 3 = 14, 4*g + d - 13 = 0. Suppose g*f + 5*k - 3*k = 68, k + 56 = 3*f. Let c be f/(-42) - (-130)/238. Do c and -1 have the same value?
False
Let m = -234 - -143. Let d = 90.7 + m. Which is bigger: -15 or d?
d
Let m(f) = -f**3 - 2*f**2 - 1. Let c be m(-2). Let a(o) = o**2 - 3*o - 4. Let x be a(5). Let w be x/(-15)*(-2)/(-12). Which is bigger: w or c?
w
Let j = -595 + 588. Let c(b) = -b**2 + 3*b - 3. Let k be c(4). Is k at most as big as j?
True
Let k be ((-1)/3)/(1/3). Let a = -5 - -8. Let p be -4*(a/(-4))/(-1). Is k greater than p?
True
Let y = -84 - -107. Let u = -23 + y. Which is greater: -16 or u?
u
Let d(u) = -5*u - 1. Let r be d(-1). Let b = -4 + r. Suppose -2*q + 12 + 2 = b. Which is bigger: 8 or q?
8
Suppose 0 - 35 = -5*v. Let u = -11 + v. Is -5 less than or equal to u?
True
Suppose 9*z = 3*m - 42, -2*z - 11 + 4 = -3*m. Let f(s) = s**2 + 6*s. Let o be f(-6). Let w be 0 + (1 - o) - 6. Is z bigger than w?
False
Let c(q) = -q**3 + 4*q**2 + 5*q - 4. Let n be c(5). Let l = -1695 - -1688. Is n equal to l?
False
Let n be 2/9 - 238/(-63). Suppose -p + 1 = 0, -2*p - p = -n*q - 3. Suppose q = 3*j + 5*o - 13, o = -j + 3*o - 3. Is -6/13 at most j?
True
Suppose -4*m + 6 = -d, -7*d + 2*d - 9 = m. Which is greater: m or -1/330?
m
Let v(x) = -5*x**2 - 15*x + 7. Let o(k) = k**2 - k - 1. Let b(y) = 4*o(y) + v(y). Let l be b(-19). Suppose 6*c = l*c - 3. Is 1/12 at least c?
True
Let l = 134 - 134.03. Which is bigger: l or -43?
l
Let r(m) = m**2 - 5*m - 11. Let k be r(7). Let y be 21/14*-2*(-1)/k. Which is bigger: y or 3?
3
Let y = 242 - 195. Which is smaller: 1/3 or y?
1/3
Let n = -0.013 + -2.987. Let z be 1 + (-2)/(78/33). Which is bigger: z or n?
z
Suppose -5*k - 28 = 3*h, 17*k = -2*h + 14*k - 17. Which is smaller: 454 or h?
h
Let y(h) = h + 4*h - 2*h. Let k be y(-2). Let x be k/14 + 25/(-7). Do x and -1 have the same value?
False
Suppose 2*z = 4*z - 2*y + 274, 0 = z - 2*y + 142. Are -134 and z nonequal?
True
Let k = 112/3 + -37. Let p(r) = -r**2 - 8*r - 6. Let f(h) = 3*h - 1. Let v be f(-2). Let l be p(v). Is k greater than l?
False
Suppose 10*c - 1941 = 329. Which is smaller: 228 or c?
c
Let g = -0.9 - -0.02. L